1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
// RUN: %target-sil-opt -performance-constant-propagation %s | %FileCheck %s
// REQUIRES: objc_interop
sil_stage canonical
import Builtin
import Swift
import Foundation
class TestObjCKeyTy : NSObject {
override init()
}
struct TestBridgedKeyTy : _ObjectiveCBridgeable {
func _bridgeToObjectiveC() -> TestObjCKeyTy
static func _forceBridgeFromObjectiveC(_ x: TestObjCKeyTy, result: inout TestBridgedKeyTy?)
static func _conditionallyBridgeFromObjectiveC(_ x: TestObjCKeyTy, result: inout TestBridgedKeyTy?) -> Bool
static func _unconditionallyBridgeFromObjectiveC(_ source: TestObjCKeyTy?) -> TestBridgedKeyTy
}
// Test that we don't crash in the verifier because of a critical edge
// CHECK-LABEL: testit
// CHECK: checked_cast_br
sil @testit : $@convention(thin) (@owned NSObject) -> () {
bb0(%0 : $NSObject):
%73 = alloc_stack $NSObject
store %0 to %73 : $*NSObject
%75 = alloc_stack $Optional<TestBridgedKeyTy>
%76 = init_enum_data_addr %75 : $*Optional<TestBridgedKeyTy>, #Optional.some!enumelt
%77 = load %73 : $*NSObject
checked_cast_addr_br take_always NSObject in %73 : $*NSObject to TestBridgedKeyTy in %76 : $*TestBridgedKeyTy, bb1, bb2
bb1:
br bb3
bb2:
br bb3
bb3:
dealloc_stack %75 : $*Optional<TestBridgedKeyTy>
dealloc_stack %73 : $*NSObject
%r = tuple ()
return %r : $()
}
|
