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
|
// RUN: %target-sil-opt -enable-sil-verify-all %s -redundant-load-elimination | %FileCheck %s
sil_stage canonical
import Builtin
struct MyStruct {
var value: Builtin.FPIEEE64
}
enum MyEnum {
case some(MyStruct)
case none
}
// Check if alias analysis can handle unchecked_take_enum_data_addr correctly
// and does not crash with a stack overflow.
// CHECK-LABEL: sil @testit
// CHECK: load
// CHECK: load
// CHECK: return
sil @testit : $@convention(method) (MyEnum) -> Builtin.FPIEEE64 {
bb0(%0 : $MyEnum):
%x1 = alloc_stack $MyEnum
store %0 to %x1 : $*MyEnum
%x7 = unchecked_take_enum_data_addr %x1 : $*MyEnum, #MyEnum.some!enumelt
%x8 = struct_element_addr %x7 : $*MyStruct, #MyStruct.value
%x11 = alloc_stack $MyEnum
store %0 to %x11 : $*MyEnum
%x19 = unchecked_take_enum_data_addr %x11 : $*MyEnum, #MyEnum.some!enumelt
%x20 = struct_element_addr %x19 : $*MyStruct, #MyStruct.value
%x24 = load %x20 : $*Builtin.FPIEEE64
%x27 = load %x8 : $*Builtin.FPIEEE64
%x28 = builtin "fsub_FPIEEE64"(%x27 : $Builtin.FPIEEE64, %x24 : $Builtin.FPIEEE64) : $Builtin.FPIEEE64
dealloc_stack %x11 : $*MyEnum
dealloc_stack %x1 : $*MyEnum
return %x28 : $Builtin.FPIEEE64
}
|
