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
46
|
// RUN: %target-sil-opt --onone-simplification %s | %FileCheck %s
// REQUIRES: swift_in_compiler
import Builtin
import Swift
class Klass {}
enum EnumTy: ~Copyable {
case klass(Klass)
case int(Builtin.Word)
}
// CHECK-LABEL: sil [ossa] @test_switch_trivial_arm
sil [ossa] @test_switch_trivial_arm : $@convention(thin) (@guaranteed EnumTy) -> () {
entry(%a : @guaranteed $EnumTy):
%b = explicit_copy_value %a : $EnumTy
// CHECK: [[MOVE:%.*]] = move_value
%c = move_value %b : $EnumTy
// CHECK: [[BORROW:%.*]] = begin_borrow [[MOVE]]
%d = begin_borrow %c : $EnumTy
// CHECK: switch_enum [[BORROW]] : {{.*}}, case #EnumTy.int!enumelt: [[INTBB:bb[0-9]+]]
switch_enum %d : $EnumTy, case #EnumTy.klass!enumelt: klass, case #EnumTy.int!enumelt: int
klass(%e : @guaranteed $Klass):
end_borrow %d : $EnumTy
%f = unchecked_enum_data %c : $EnumTy, #EnumTy.klass!enumelt
destroy_value %f : $Klass
br end
// We shouldn't remove the `unchecked_enum_data` here because it consumes the
// original enum, even though it otherwise appears dead.
// CHECK: [[INTBB]]({{.*}}):
int(%p : $Builtin.Word):
// CHECK: end_borrow [[BORROW]]
end_borrow %d : $EnumTy
// CHECK: unchecked_enum_data [[MOVE]]
%q = unchecked_enum_data %c : $EnumTy, #EnumTy.int!enumelt
br end
end:
return undef : $()
}
|
