averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
jgrynspan/windows-GUID-hashable-6.2.1
swift-mirror/test/SILOptimizer/arcsequenceopts_loops.sil
Andrew Trick 1220c03947 Fix test SILOpt test cases for edge splitting.
2020-11-03 01:40:00 -08:00

554 lines
13 KiB
Plaintext
Raw Permalink Blame History

// RUN: %target-sil-opt -enable-sil-verify-all -enable-loop-arc=1 -arc-sequence-opts %s | %FileCheck %s
//////////////////
// Declarations //
//////////////////
import Builtin
sil @user : $@convention(thin) (Builtin.NativeObject) -> ()
///////////
// Tests //
///////////
// CHECK-LABEL: sil @trivial_self_loop : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK-NOT: strong_retain
// CHECK-NOT: strong_release
sil @trivial_self_loop : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
br bb1
bb1:
cond_br undef, bb2, bb3
bb2:
br bb1
bb3:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// CHECK-LABEL: sil @self_loop_with_decrement : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK: strong_retain
// CHECK: strong_release
// CHECK: strong_release
sil @self_loop_with_decrement : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
br bb1
bb1:
strong_release %0 : $Builtin.NativeObject
cond_br undef, bb2, bb3
bb2:
br bb1
bb3:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// CHECK-LABEL: sil @self_loop_with_use : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK: strong_retain
// CHECK-NOT: strong_retain
// CHECK-NOT: strong_release
sil @self_loop_with_use : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
br bb1
bb1:
strong_retain %0 : $Builtin.NativeObject
cond_br undef, bb2, bb3
bb2:
br bb1
bb3:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// CHECK-LABEL: sil @self_loop_with_removable_retain_release_pair_1 : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK-NOT: strong_retain
// CHECK-NOT: strong_release
sil @self_loop_with_removable_retain_release_pair_1 : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
br bb1
bb1:
strong_retain %0 : $Builtin.NativeObject
strong_release %0 : $Builtin.NativeObject
cond_br undef, bb2, bb3
bb2:
br bb1
bb3:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// We can remove the inner retain, release but not the outer retain, release.
//
// CHECK-LABEL: sil @self_loop_with_non_removable_retain_release_pair_1 : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK: strong_retain
// CHECK-NOT: strong_retain
// CHECK: strong_release
// CHECK-NOT: strong_release
sil @self_loop_with_non_removable_retain_release_pair_1 : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
%1 = function_ref @user : $@convention(thin) (Builtin.NativeObject) -> ()
br bb1
bb1:
strong_retain %0 : $Builtin.NativeObject
apply %1(%0) : $@convention(thin) (Builtin.NativeObject) -> ()
strong_release %0 : $Builtin.NativeObject
cond_br undef, bb2, bb3
bb2:
br bb1
bb3:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// CHECK-LABEL: sil @self_loop_with_known_safe_removable_retain_release_pair : $@convention(thin) (@owned Builtin.NativeObject) -> () {
// CHECK-NOT: strong_retain
// CHECK: strong_release
// CHECK-NOT: strong_release
sil @self_loop_with_known_safe_removable_retain_release_pair : $@convention(thin) (@owned Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
%1 = function_ref @user : $@convention(thin) (Builtin.NativeObject) -> ()
br bb1
bb1:
strong_retain %0 : $Builtin.NativeObject
apply %1(%0) : $@convention(thin) (Builtin.NativeObject) -> ()
strong_release %0 : $Builtin.NativeObject
cond_br undef, bb2, bb3
bb2:
br bb1
bb3:
strong_release %0 : $Builtin.NativeObject
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// Make sure we can move releases over loops.
// CHECK-LABEL: sil @self_loop_move_release_over_loops : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK: bb0
// CHECK: strong_retain
// CHECK: apply
// CHECK: apply
// CHECK: bb1
// CHECK-NOT: strong_retain
// CHECK-NOT: strong_release
// CHECK: bb2
sil @self_loop_move_release_over_loops : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
%1 = function_ref @user : $@convention(thin) (Builtin.NativeObject) -> ()
apply %1(%0) : $@convention(thin) (Builtin.NativeObject) -> ()
apply %1(%0) : $@convention(thin) (Builtin.NativeObject) -> ()
br bb1
bb1:
strong_retain %0 : $Builtin.NativeObject
strong_release %0 : $Builtin.NativeObject
cond_br undef, bb2, bb3
bb2:
br bb1
bb3:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// Make sure we can move retains over loops.
// CHECK-LABEL: sil @self_loop_move_retain_over_loops : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK: bb0
// CHECK: strong_retain
// CHECK: bb2
// CHECK: apply
// CHECK: apply
// CHECK: strong_release
sil @self_loop_move_retain_over_loops : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
%1 = function_ref @user : $@convention(thin) (Builtin.NativeObject) -> ()
br bb1
bb1:
strong_retain %0 : $Builtin.NativeObject
strong_release %0 : $Builtin.NativeObject
cond_br undef, bb2, bb3
bb2:
br bb1
bb3:
apply %1(%0) : $@convention(thin) (Builtin.NativeObject) -> ()
apply %1(%0) : $@convention(thin) (Builtin.NativeObject) -> ()
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// Make sure that a use before the loop and a decrement after the loop block code motion/removing items.
//
// CHECK-LABEL: sil @use_decrement_propagate_over_loops : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK: bb0
// CHECK: strong_retain
// CHECK: apply
// CHECK: bb1
// CHECK-NOT: strong_retain
// CHECK-NOT: strong_release
// CHECK: bb2
// CHECK: apply
// CHECK: strong_release
sil @use_decrement_propagate_over_loops : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
%1 = function_ref @user : $@convention(thin) (Builtin.NativeObject) -> ()
apply %1(%0) : $@convention(thin) (Builtin.NativeObject) -> ()
br bb1
bb1:
strong_retain %0 : $Builtin.NativeObject
strong_release %0 : $Builtin.NativeObject
cond_br undef, bb2, bb3
bb2:
br bb1
bb3:
apply %1(%0) : $@convention(thin) (Builtin.NativeObject) -> ()
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// CHECK-LABEL: sil @multi_level_loop_simple_removal : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK-NOT: strong_retain
// CHECK-NOT: strong_release
sil @multi_level_loop_simple_removal : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
br bb1
bb1:
br bb2
bb2:
cond_br undef, bb3, bb4
bb3:
br bb2
bb4:
cond_br undef, bb5, bb6
bb5:
br bb1
bb6:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// CHECK-LABEL: sil @multi_level_loop_propagate_guaranteeduse_from_inner_loop : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK: strong_retain
// CHECK: strong_release
// CHECK: strong_release
sil @multi_level_loop_propagate_guaranteeduse_from_inner_loop : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
br bb1
bb1:
br bb2
bb2:
strong_release %0 : $Builtin.NativeObject
cond_br undef, bb3, bb4
bb3:
br bb2
bb4:
cond_br undef, bb5, bb6
bb5:
br bb1
bb6:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// CHECK-LABEL: sil @multi_level_loop_ignore_use_from_inner_loop : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK: strong_retain
// CHECK-NOT: strong_retain
// CHECK-NOT: strong_release
sil @multi_level_loop_ignore_use_from_inner_loop : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
br bb1
bb1:
br bb2
bb2:
strong_retain %0 : $Builtin.NativeObject
cond_br undef, bb3, bb4
bb3:
br bb2
bb4:
cond_br undef, bb5, bb6
bb5:
br bb1
bb6:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// Make sure we can insert multiple exits
// CHECK-LABEL: sil @loop_multiple_exits_remove_retain_release : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK-NOT: strong_retain
// CHECK-NOT: strong_release
sil @loop_multiple_exits_remove_retain_release : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
br bb1
bb1:
cond_br undef, bb2, bb3
bb2:
br bb1
bb3:
cond_br undef, bb4, bb5
bb4:
br bb1
bb5:
cond_br undef, bb6, bb7
bb6:
br bb1
bb7:
br bb8
bb8:
br bb9
bb9:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// CHECK-LABEL: sil @loop_multiple_exits_multiple_insertion_points : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK: bb0
// CHECK: strong_retain
// CHECK-NOT: strong_retain
// CHECK-NOT: strong_release
// CHECK: bb6
// CHECK: strong_release
// CHECK-NOT: strong_release
// CHECK: bb8
// CHECK: strong_release
sil @loop_multiple_exits_multiple_insertion_points : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
br bb1
bb1:
cond_br undef, bb2, bb4
bb2:
cond_br undef, bb3, bb6
bb3:
br bb1
bb4:
strong_release %0 : $Builtin.NativeObject
cond_br undef, bb5, bb7
bb5:
br bb1
bb6:
br bb8
bb7:
br bb8
bb8:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// Make sure that an opportunity for PRE disrupts our optimization.
//
// CHECK-LABEL: sil @loop_multiple_exits_multiple_insertion_points_pre : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK: strong_retain
// CHECK-NOT: strong_retain
// CHECK: strong_release
// CHECK-NOT: strong_release
// CHECK: strong_retain
// CHECK-NOT: strong_retain
// CHECK: strong_release
// CHECK-NOT: strong_retain
// CHECK-NOT: strong_release
sil @loop_multiple_exits_multiple_insertion_points_pre : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
br bb1
bb1:
cond_br undef, bb2, bb3
bb2:
cond_br undef, bb2a, bb4
bb2a:
br bb1
bb3:
strong_release %0 : $Builtin.NativeObject
cond_br undef, bb3a, bb5
bb3a:
br bb1
bb4:
strong_retain %0 : $Builtin.NativeObject
br bb6
bb5:
br bb6
bb6:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// Make sure that we properly clear state at early exits. We do not handle this
// case yet.
//
// CHECK-LABEL: sil @simple_early_exit : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK: bb0
// CHECK: strong_retain
// CHECK: bb1
// CHECK: strong_retain
// CHECK: bb2
// CHECK: strong_release
// CHECK: bb3
// CHECK: strong_release
// CHECK: strong_release
sil @simple_early_exit : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
br bb1
bb1:
strong_retain %0 : $Builtin.NativeObject
cond_br undef, bb2, bb3
bb2:
strong_release %0 : $Builtin.NativeObject
br bb1
bb3:
strong_release %0 : $Builtin.NativeObject
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// We do handle unreachable early exits though.
//
// CHECK-LABEL: sil @unreachable_early_exits_one_loop : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK-NOT: strong_retain
// CHECK-NOT: strong_release
sil @unreachable_early_exits_one_loop : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
%1 = function_ref @user : $@convention(thin) (Builtin.NativeObject) -> ()
br bb1
bb1:
strong_retain %0 : $Builtin.NativeObject
cond_br undef, bb2, bb3
bb2:
unreachable
bb3:
strong_release %0 : $Builtin.NativeObject
cond_br undef, bb3a, bb4
bb3a:
br bb1
bb4:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
// CHECK-LABEL: sil @unreachable_early_exits_multiple_loops : $@convention(thin) (Builtin.NativeObject) -> () {
// CHECK-NOT: strong_retain
// CHECK-NOT: strong_release
sil @unreachable_early_exits_multiple_loops : $@convention(thin) (Builtin.NativeObject) -> () {
bb0(%0 : $Builtin.NativeObject):
strong_retain %0 : $Builtin.NativeObject
%1 = function_ref @user : $@convention(thin) (Builtin.NativeObject) -> ()
br bb1
bb1:
br bb2
bb2:
strong_retain %0 : $Builtin.NativeObject
cond_br undef, bb3, bb4
bb3:
unreachable
bb4:
strong_release %0 : $Builtin.NativeObject
cond_br undef, bb4a, bb5
bb4a:
br bb2
bb5:
cond_br undef, bb5a, bb6
bb5a:
br bb1
bb6:
strong_release %0 : $Builtin.NativeObject
return undef : $()
}
Reference in New Issue View Git Blame Copy Permalink