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.
23 lines
1.0 KiB
Swift
23 lines
1.0 KiB
Swift
// RUN: %target-swift-frontend %s -Osize -Xllvm -sil-print-types -Xllvm -sil-print-after=loadable-address -import-objc-header %S/Inputs/large_union.h -c -o %t/t.o 2>&1 | %FileCheck %s
|
|
|
|
public func test1(_ s: some_struct) -> some_struct {
|
|
var copy = s
|
|
copy.out.a = 1
|
|
return copy
|
|
}
|
|
// CHECK: sil @$s1t5test1ySo11some_structaADF : $@convention(thin) (@in_guaranteed some_struct) -> @out some_struct {
|
|
// CHECK-NOT: unchecked_trivial_bitcast
|
|
// CHECK: unchecked_addr_cast {{.*}} : $*some_struct to $*some_struct.__Unnamed_struct_out
|
|
// CHECK-NOT: unchecked_trivial_bitcast
|
|
// CHECK: } // end sil function '$s1t5test1ySo11some_structaADF'
|
|
|
|
// CHECK: sil @$s1t5test2yySo11some_structazF : $@convention(thin) (@inout some_struct) -> () {
|
|
// CHECK-NOT: unchecked_trivial_bitcast
|
|
// CHECK: unchecked_addr_cast {{.*}} : $*some_struct to $*some_struct.__Unnamed_struct_out
|
|
// CHECK-NOT: unchecked_trivial_bitcast
|
|
// CHECK: } // end sil function '$s1t5test2yySo11some_structazF'
|
|
|
|
public func test2(_ s: inout some_struct) {
|
|
s.out.a = 1
|
|
}
|