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
|
// RUN: %target-sil-opt -enable-sil-verify-all -enable-lexical-lifetimes %s -mem2reg -enable-library-evolution | %FileCheck %s
import Builtin
import Swift
public struct ResilientStruct {
var x: AnyObject
}
// CHECK-LABEL: sil [ossa] @mem2reg_debug_value :
// CHECK: {{bb[^,]+}}([[REGISTER_0:%[^,]+]] : $*ResilientStruct):
// CHECK-NEXT: [[REGISTER_1:%[^,]+]] = load [copy] [[REGISTER_0]]
// CHECK-NEXT: debug_value [[REGISTER_1]] : $ResilientStruct, var, name "before"
// CHECK-NEXT: [[REGISTER_3:%[^,]+]] = move_value [lexical] [[REGISTER_1]]
// CHECK-NEXT: debug_value [[REGISTER_3]] : $ResilientStruct, let, name "after"
// CHECK-NEXT: destroy_value [[REGISTER_3]]
// CHECK-LABEL: } // end sil function 'mem2reg_debug_value'
sil [ossa] @mem2reg_debug_value : $@convention(thin) (@in_guaranteed ResilientStruct) -> () {
bb0(%0 : $*ResilientStruct):
%1 = alloc_stack [lexical] $ResilientStruct
%2 = load [copy] %0 : $*ResilientStruct
store %2 to [init] %1 : $*ResilientStruct
debug_value %1 : $*ResilientStruct, var, name "before", expr op_deref
%3 = load [take] %1 : $*ResilientStruct
debug_value %3 : $ResilientStruct, let, name "after"
destroy_value %3 : $ResilientStruct
dealloc_stack %1 : $*ResilientStruct
%4 = tuple ()
return %4 : $()
}
|
