mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +01:00
e5d87f75a8
It is necessary for opaque values where for casts that will newly start out as checked_cast_brs and be lowered to checked_cast_addr_brs, since the latter has the source formal type, IRGen relies on being able to access it, and there's no way in general to obtain the source formal type from the source lowered type.
87 lines
2.0 KiB
Plaintext
87 lines
2.0 KiB
Plaintext
// RUN: %target-sil-opt -enable-sil-verify-all -simplify-cfg -debug-only=sil-simplify-cfg %s -o /dev/null 2>&1 | %FileCheck %s
|
|
|
|
// REQUIRES: asserts
|
|
|
|
import Builtin
|
|
import Swift
|
|
|
|
import Builtin
|
|
import Swift
|
|
|
|
protocol OtherKlass : AnyObject {}
|
|
|
|
class Klass {}
|
|
|
|
sil @getKlass : $@convention(thin) () -> @owned Klass
|
|
|
|
// Verify that checked-cast jump-threading kicks in and generates verifiable SIL.
|
|
//
|
|
// CHECK: Condition is the same if reached over {{.*}} parent @$testCheckCastJumpThread : $@convention(thin) (@guaranteed Klass) -> @owned any OtherKlass }
|
|
// CHECK-NEXT: bb3(%{{.*}} : $any OtherKlass):
|
|
// CHECK-NEXT: br bb5(%{{.*}} : $Klass)
|
|
sil shared @$testCheckCastJumpThread : $@convention(thin) (@guaranteed Klass) -> @owned OtherKlass {
|
|
bb0(%0 : $Klass):
|
|
%1 = function_ref @getKlass : $@convention(thin) () -> @owned Klass
|
|
%2 = integer_literal $Builtin.Int64, 1
|
|
%3 = apply %1() : $@convention(thin) () -> @owned Klass
|
|
checked_cast_br Klass in %3 : $Klass to OtherKlass, bb1, bb2
|
|
|
|
bb1(%5 : $OtherKlass):
|
|
%6 = integer_literal $Builtin.Int1, -1
|
|
br bb3(%6 : $Builtin.Int1)
|
|
|
|
bb2:
|
|
%8 = integer_literal $Builtin.Int1, 0
|
|
br bb3(%8 : $Builtin.Int1)
|
|
|
|
bb3(%10 : $Builtin.Int1):
|
|
cond_br %10, bb5, bb6
|
|
|
|
bb4:
|
|
unreachable
|
|
|
|
bb5:
|
|
br bb7(%3 : $Klass)
|
|
|
|
bb6:
|
|
strong_release %3 : $Klass
|
|
br bb10(%2 : $Builtin.Int64)
|
|
|
|
bb7(%16 : $Klass):
|
|
checked_cast_br Klass in %16 : $Klass to OtherKlass, bb9, bb8
|
|
|
|
bb8:
|
|
strong_release %16 : $Klass
|
|
br bb4
|
|
|
|
bb9(%20 : $OtherKlass):
|
|
return %20 : $OtherKlass
|
|
|
|
bb10(%22 : $Builtin.Int64):
|
|
%23 = apply %1() : $@convention(thin) () -> @owned Klass
|
|
checked_cast_br Klass in %23 : $Klass to OtherKlass, bb11, bb12
|
|
|
|
bb11(%25 : $OtherKlass):
|
|
%26 = integer_literal $Builtin.Int1, -1
|
|
br bb13(%26 : $Builtin.Int1)
|
|
|
|
bb12:
|
|
%28 = integer_literal $Builtin.Int1, 0
|
|
br bb13(%28 : $Builtin.Int1)
|
|
|
|
bb13(%30 : $Builtin.Int1):
|
|
cond_br %30, bb14, bb15
|
|
|
|
bb14:
|
|
br bb7(%23 : $Klass)
|
|
|
|
bb15:
|
|
cond_br undef, bb16, bb17
|
|
|
|
bb16:
|
|
br bb4
|
|
|
|
bb17:
|
|
br bb10(undef : $Builtin.Int64)
|
|
}
|