mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
71 lines
1.9 KiB
Plaintext
71 lines
1.9 KiB
Plaintext
// RUN: %empty-directory(%t)
|
|
// RUN: %build-irgen-test-overlays
|
|
// RUN: %target-swift-frontend(mock-sdk: -sdk %S/Inputs -I %t) %s -emit-ir | %FileCheck %s
|
|
|
|
// REQUIRES: CPU=i386 || CPU=x86_64
|
|
// REQUIRES: objc_interop
|
|
|
|
sil_stage canonical
|
|
|
|
import Builtin
|
|
import Swift
|
|
import gizmo
|
|
|
|
// CHECK-LABEL: define {{.*}} @test
|
|
// CHECK: [[ALLOC1:%.*]] = call ptr @objc_allocWithZone
|
|
// CHECK: br
|
|
|
|
// CHECK: [[ALLOC2:%.*]] = call ptr @objc_allocWithZone
|
|
// CHECK: br
|
|
|
|
// CHECK: phi ptr [ [[ALLOC2]], %{{.*}} ], [ [[ALLOC1]], %{{.*}} ]
|
|
// CHECK: ret
|
|
|
|
sil @test : $@convention(thin) (@owned Optional<Int>) -> () {
|
|
bb0(%0 : $Optional<Int>):
|
|
switch_enum %0 : $Optional<Int>, case #Optional.none!enumelt: bb1, case #Optional.some!enumelt: bb2
|
|
|
|
bb1:
|
|
%1 = alloc_ref [objc] $Gizmo
|
|
br bb3(%1 : $Gizmo)
|
|
|
|
bb2:
|
|
%2 = alloc_ref [objc] $Gizmo
|
|
br bb3(%2 : $Gizmo)
|
|
|
|
bb3(%3 : $Gizmo):
|
|
%4 = objc_method %3 : $Gizmo, #Gizmo.frob!foreign : (Gizmo) -> () -> (), $@convention(objc_method) (Gizmo) -> ()
|
|
%5 = apply %4(%3) : $@convention(objc_method) (Gizmo) -> ()
|
|
%6 = tuple ()
|
|
return %6 : $()
|
|
}
|
|
|
|
// CHECK-LABEL: define {{.*}} @class_test
|
|
// CHECK: [[ALLOC1:%.*]] = call ptr @objc_allocWithZone
|
|
// CHECK: br
|
|
|
|
// CHECK: [[ALLOC2:%.*]] = call ptr @objc_allocWithZone
|
|
// CHECK: br
|
|
|
|
// CHECK: phi ptr [ [[ALLOC2]], %{{.*}} ], [ [[ALLOC1]], %{{.*}} ]
|
|
// CHECK: ret
|
|
|
|
|
|
sil @class_test : $@convention(thin) (@owned Optional<Int>, @thick Gizmo.Type) -> () {
|
|
bb0(%0 : $Optional<Int>, %1: $@thick Gizmo.Type):
|
|
%4 = thick_to_objc_metatype %1 : $@thick Gizmo.Type to $@objc_metatype Gizmo.Type
|
|
switch_enum %0 : $Optional<Int>, case #Optional.none!enumelt: bb1, case #Optional.some!enumelt: bb2
|
|
|
|
bb1:
|
|
%5 = alloc_ref_dynamic [objc] %4 : $@objc_metatype Gizmo.Type, $Gizmo
|
|
br bb3(%5 : $Gizmo)
|
|
|
|
bb2:
|
|
%2 = alloc_ref_dynamic [objc] %4 : $@objc_metatype Gizmo.Type, $Gizmo
|
|
br bb3(%2 : $Gizmo)
|
|
|
|
bb3(%3 : $Gizmo):
|
|
%6 = tuple ()
|
|
return %6 : $()
|
|
}
|