mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
7cceaff5f3
Type annotations for instruction operands are omitted, e.g. ``` %3 = struct $S(%1, %2) ``` Operand types are redundant anyway and were only used for sanity checking in the SIL parser. But: operand types _are_ printed if the definition of the operand value was not printed yet. This happens: * if the block with the definition appears after the block where the operand's instruction is located * if a block or instruction is printed in isolation, e.g. in a debugger The old behavior can be restored with `-Xllvm -sil-print-types`. This option is added to many existing test files which check for operand types in their check-lines.
50 lines
1.0 KiB
Plaintext
50 lines
1.0 KiB
Plaintext
// RUN: %target-sil-opt -sil-print-types -loadable-address %s | %FileCheck %s
|
|
|
|
sil_stage canonical
|
|
|
|
import Builtin
|
|
import Swift
|
|
|
|
struct X {
|
|
var x1 : Int
|
|
var x2 : Int
|
|
var x3 : Int
|
|
var x4: Int
|
|
var x5: Int
|
|
var x6: Int
|
|
var x7: Int
|
|
var x8: Int
|
|
var x9: Int
|
|
var x10: Int
|
|
var x11: Int
|
|
var x12: Int
|
|
var x13: Int
|
|
var x14: Int
|
|
var x15: Int
|
|
var x16: Int
|
|
}
|
|
|
|
|
|
// CHECK: sil @test1 : $@convention(thin) () -> () {
|
|
// CHECK: bb0:
|
|
// CHECK: %0 = alloc_stack $Optional<X>
|
|
// CHECK: %1 = alloc_stack $X
|
|
// CHECK: %2 = alloc_stack $X
|
|
// CHECK: %3 = alloc_stack $Optional<X>
|
|
// CHECK: debug_value %{{[0-9]+}} : $*X, let, name "temp"
|
|
// CHECK: } // end sil function 'test1'
|
|
|
|
sil @test1 : $@convention(thin) () -> () {
|
|
bb0:
|
|
%0 = alloc_stack $X
|
|
%1 = alloc_stack $Optional<X>
|
|
%2 = load %0 : $*X
|
|
debug_value %2 : $X, let, name "temp"
|
|
%3 = enum $Optional<X>, #Optional.some!enumelt, %2 : $X
|
|
store %3 to %1 : $*Optional<X>
|
|
dealloc_stack %1 : $*Optional<X>
|
|
dealloc_stack %0 : $*X
|
|
%t = tuple ()
|
|
return %t : $()
|
|
}
|