mirror of
https://github.com/apple/swift.git
synced 2025-12-21 12:14:44 +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.
37 lines
2.3 KiB
Plaintext
37 lines
2.3 KiB
Plaintext
// First parse this and then emit a *.sib. Then read in the *.sib, then recreate
|
|
// RUN: %empty-directory(%t)
|
|
// RUN: %target-sil-opt -sil-print-types %s -emit-sib -o %t/tmp.sib -module-name without_actually_escaping
|
|
// RUN: %target-sil-opt -sil-print-types %t/tmp.sib -o %t/tmp.2.sib -module-name without_actually_escaping
|
|
// RUN: %target-sil-opt -sil-print-types %t/tmp.2.sib -module-name without_actually_escaping | %FileCheck %s
|
|
|
|
// thunk for @escaping @callee_guaranteed () -> ()
|
|
// Check that the [without_actually_escaping] thunk attribute is parsed and printed.
|
|
// CHECK-LABEL: sil shared [transparent] [serialized] [reabstraction_thunk] [without_actually_escaping] [ossa] @f1_testWithoutActuallyEscapingThunk : $@convention(thin) (@guaranteed @callee_guaranteed () -> ()) -> () {
|
|
sil shared [transparent] [serialized] [reabstraction_thunk] [without_actually_escaping] [ossa] @f1_testWithoutActuallyEscapingThunk : $@convention(thin) (@guaranteed @callee_guaranteed () -> ()) -> () {
|
|
bb0(%0 : @guaranteed $@callee_guaranteed () -> ()):
|
|
%1 = apply %0() : $@callee_guaranteed () -> ()
|
|
return %1 : $()
|
|
}
|
|
|
|
// Check that the convert_function [without_actually_escaping] attribute is parsed and printed.
|
|
// CHECK-LABEL: sil hidden [ossa] @f2_testWithoutActuallyEscapingBlock : $@convention(thin) (@owned @convention(block) @noescape () -> ()) -> () {
|
|
// CHECK: convert_function %0 : $@convention(block) @noescape () -> () to [without_actually_escaping] $@convention(block) () -> ()
|
|
sil hidden [ossa] @f2_testWithoutActuallyEscapingBlock : $@convention(thin) (@owned @convention(block) @noescape () -> ()) -> () {
|
|
bb0(%0 : @owned $@convention(block) @noescape () -> ()):
|
|
%cvt = convert_function %0 : $@convention(block) @noescape () -> () to [without_actually_escaping] $@convention(block) () -> ()
|
|
%f = function_ref @closure1 : $@convention(thin) (@guaranteed @convention(block) () -> ()) -> ()
|
|
%call = apply %f(%cvt) : $@convention(thin) (@guaranteed @convention(block) () -> ()) -> ()
|
|
destroy_value %cvt : $@convention(block) () -> ()
|
|
%v = tuple ()
|
|
return %v : $()
|
|
}
|
|
|
|
// closure #1 in testBlock(block:)
|
|
sil private [ossa] @closure1 : $@convention(thin) (@guaranteed @convention(block) () -> ()) -> () {
|
|
bb0(%0 : @guaranteed $@convention(block) () -> ()):
|
|
%call = apply %0() : $@convention(block) () -> ()
|
|
%v = tuple ()
|
|
return %v : $()
|
|
}
|
|
|