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.
47 lines
2.2 KiB
Plaintext
47 lines
2.2 KiB
Plaintext
// RUN: %target-sil-opt -sil-print-types -enable-objc-interop -enable-sil-verify-all=true %s | %target-sil-opt -sil-print-types -enable-objc-interop -enable-sil-verify-all=true | %FileCheck %s
|
|
|
|
sil_stage raw
|
|
|
|
import Builtin
|
|
|
|
class Klass {}
|
|
|
|
sil @use_foo : $@convention(thin) (@guaranteed Klass) -> ()
|
|
|
|
// CHECK-LABEL: sil [ossa] @foo : $@convention(thin) (@owned Klass) -> @owned Klass {
|
|
// CHECK: bb0([[ARG:%[0-9]+]] :
|
|
// CHECK: [[MOVE_ONLY:%[0-9]+]] = copyable_to_moveonlywrapper [owned] [[ARG]] : $Klass
|
|
// CHECK: [[BORROWED_MOVE_ONLY:%[0-9]+]] = begin_borrow [[MOVE_ONLY]]
|
|
// CHECK: moveonlywrapper_to_copyable [guaranteed] [[BORROWED_MOVE_ONLY]] : $@moveOnly Klass
|
|
// CHECK: moveonlywrapper_to_copyable [owned] [[MOVE_ONLY]] : $@moveOnly Klass
|
|
// CHECK: } // end sil function 'foo'
|
|
sil [ossa] @foo : $@convention(thin) (@owned Klass) -> @owned Klass {
|
|
bb0(%0 : @owned $Klass):
|
|
%1 = copyable_to_moveonlywrapper [owned] %0 : $Klass
|
|
%1a = begin_borrow %1 : $@moveOnly Klass
|
|
%2a = moveonlywrapper_to_copyable [guaranteed] %1a : $@moveOnly Klass
|
|
%f = function_ref @use_foo : $@convention(thin) (@guaranteed Klass) -> ()
|
|
apply %f(%2a) : $@convention(thin) (@guaranteed Klass) -> ()
|
|
end_borrow %1a : $@moveOnly Klass
|
|
%2 = moveonlywrapper_to_copyable [owned] %1 : $@moveOnly Klass
|
|
return %2 : $Klass
|
|
}
|
|
|
|
// CHECK-LABEL: sil [ossa] @foo2 : $@convention(thin) (@guaranteed Klass) -> () {
|
|
// CHECK: bb0([[ARG:%[0-9]+]] :
|
|
// CHECK: [[MOVE_ONLY:%[0-9]+]] = copyable_to_moveonlywrapper [guaranteed] [[ARG]] : $Klass
|
|
// CHECK: [[BORROWED_MOVE_ONLY:%[0-9]+]] = begin_borrow [[MOVE_ONLY]]
|
|
// CHECK: moveonlywrapper_to_copyable [guaranteed] [[BORROWED_MOVE_ONLY]] : $@moveOnly Klass
|
|
// CHECK: } // end sil function 'foo2'
|
|
sil [ossa] @foo2 : $@convention(thin) (@guaranteed Klass) -> () {
|
|
bb0(%0 : @guaranteed $Klass):
|
|
%1 = copyable_to_moveonlywrapper [guaranteed] %0 : $Klass
|
|
%1a = begin_borrow %1 : $@moveOnly Klass
|
|
%2a = moveonlywrapper_to_copyable [guaranteed] %1a : $@moveOnly Klass
|
|
%f = function_ref @use_foo : $@convention(thin) (@guaranteed Klass) -> ()
|
|
apply %f(%2a) : $@convention(thin) (@guaranteed Klass) -> ()
|
|
end_borrow %1a : $@moveOnly Klass
|
|
%9999 = tuple()
|
|
return %9999 : $()
|
|
}
|