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
|
// RUN: %target-sil-opt -enable-sil-verify-all -sil-print-debuginfo -sroa %s | %FileCheck --check-prefix=CHECK-SROA %s
sil_stage canonical
import Builtin
import Swift
struct Empty {}
sil_scope 1 { loc "sroa.swift":7:6 parent @bar : $@convention(thin) (Int64, Int64) -> Int64 }
// CHECK-SROA-LABEL: sil {{.+}} @bar
// bar(in_x:in_y:)
sil hidden @bar : $@convention(thin) (Int64, Int64) -> Int64 {
bb0(%0 : $Int64, %1 : $Int64):
%4 = alloc_stack $Empty, var, name "my_struct", loc "sroa.swift":8:9, scope 1
debug_value %4 : $*Empty, let, name "my_copy", expr op_deref, loc "sroa.swift":7:10, scope 1
// Make sure SROA keeps the debug info
// CHECK-SROA: debug_value undef : $*Empty, var
// CHECK-SROA-SAME: name "my_struct",
// CHECK-SROA-SAME: loc "sroa.swift":8:9
// CHECK-SROA: debug_value undef : $*Empty, let
// CHECK-SROA-SAME: name "my_copy",
// CHECK-SROA-SAME: loc "sroa.swift":7:10
%6 = struct $Empty (), loc "sroa.swift":9:8, scope 1
store %6 to %4 : $*Empty, loc "sroa.swift":10:8, scope 1
dealloc_stack %4 : $*Empty, loc "sroa.swift":8:9, scope 1
return %0 : $Int64, loc "sroa.swift":11:5, scope 1
} // end sil function 'foo'
|
