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.
82 lines
4.5 KiB
Swift
82 lines
4.5 KiB
Swift
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types -parse-as-library %s | %FileCheck %s
|
|
|
|
// CHECK: sil private [global_init_once_fn] [ossa] @[[T:.*]]WZ : $@convention(c) (Builtin.RawPointer) -> () {
|
|
// CHECK: alloc_global @$s12lazy_globals1xSiv
|
|
// CHECK: [[XADDR:%.*]] = global_addr @$s12lazy_globals1xSivp : $*Int
|
|
// CHECK: store {{%.*}} to [trivial] [[XADDR]] : $*Int
|
|
|
|
// CHECK: sil hidden [global_init] [ossa] @$s12lazy_globals1xSivau : $@convention(thin) () -> Builtin.RawPointer {
|
|
// CHECK: [[TOKEN_ADDR:%.*]] = global_addr @[[T]]Wz : $*Builtin.Word
|
|
// CHECK: [[TOKEN_PTR:%.*]] = address_to_pointer [[TOKEN_ADDR]] : $*Builtin.Word to $Builtin.RawPointer
|
|
// CHECK: [[INIT_FUNC:%.*]] = function_ref @[[T]]WZ : $@convention(c) (Builtin.RawPointer) -> ()
|
|
// CHECK: [[ONCE:%.*]] = builtin "once"([[TOKEN_PTR]] : $Builtin.RawPointer, [[INIT_FUNC]] : $@convention(c) (Builtin.RawPointer) -> ()) : $Builtin.SILToken
|
|
// CHECK: [[GLOBAL_ADDR:%.*]] = global_addr @$s12lazy_globals1xSivp : $*Int depends_on [[ONCE]]
|
|
// CHECK: [[GLOBAL_PTR:%.*]] = address_to_pointer [[GLOBAL_ADDR]] : $*Int to $Builtin.RawPointer
|
|
// CHECK: return [[GLOBAL_PTR]] : $Builtin.RawPointer
|
|
// CHECK: }
|
|
var x: Int = 0
|
|
|
|
// CHECK: sil private [global_init_once_fn] [ossa] @[[T:.*]]WZ : $@convention(c) (Builtin.RawPointer) -> () {
|
|
// CHECK: alloc_global @$s12lazy_globals3FooV3fooSivpZ
|
|
// CHECK: [[XADDR:%.*]] = global_addr @$s12lazy_globals3FooV3fooSivpZ : $*Int
|
|
// CHECK: store {{.*}} to [trivial] [[XADDR]] : $*Int
|
|
// CHECK: return
|
|
|
|
struct Foo {
|
|
// CHECK: sil hidden [global_init] [ossa] @$s12lazy_globals3FooV3fooSivau : $@convention(thin) () -> Builtin.RawPointer {
|
|
// CHECK: [[TOKEN_ADDR:%.*]] = global_addr @[[T]]Wz : $*Builtin.Word
|
|
// CHECK: [[TOKEN_PTR:%.*]] = address_to_pointer [[TOKEN_ADDR]] : $*Builtin.Word to $Builtin.RawPointer
|
|
// CHECK: [[INIT_FUNC:%.*]] = function_ref @[[T]]WZ : $@convention(c) (Builtin.RawPointer) -> ()
|
|
// CHECK: [[ONCE:%.*]] = builtin "once"([[TOKEN_PTR]] : $Builtin.RawPointer, [[INIT_FUNC]] : $@convention(c) (Builtin.RawPointer) -> ()) : $Builtin.SILToken
|
|
// CHECK: [[GLOBAL_ADDR:%.*]] = global_addr @$s12lazy_globals3FooV3fooSivpZ : $*Int depends_on [[ONCE]]
|
|
// CHECK: [[GLOBAL_PTR:%.*]] = address_to_pointer [[GLOBAL_ADDR]] : $*Int to $Builtin.RawPointer
|
|
// CHECK: return [[GLOBAL_PTR]] : $Builtin.RawPointer
|
|
static var foo: Int = 22
|
|
|
|
static var computed: Int {
|
|
return 33
|
|
}
|
|
|
|
static var initialized: Int = 57
|
|
}
|
|
|
|
// CHECK: sil private [global_init_once_fn] [ossa] @[[T:.*3bar.*]]WZ : $@convention(c) (Builtin.RawPointer) -> () {
|
|
// CHECK: alloc_global @$s12lazy_globals3BarO3barSivpZ
|
|
// CHECK: [[XADDR:%.*]] = global_addr @$s12lazy_globals3BarO3barSivpZ : $*Int
|
|
// CHECK: store {{.*}} to [trivial] [[XADDR]] : $*Int
|
|
// CHECK: return
|
|
|
|
enum Bar {
|
|
// CHECK: sil hidden [global_init] [ossa] @$s12lazy_globals3BarO3barSivau : $@convention(thin) () -> Builtin.RawPointer {
|
|
// CHECK: [[TOKEN_ADDR:%.*]] = global_addr @[[T]]Wz : $*Builtin.Word
|
|
// CHECK: [[TOKEN_PTR:%.*]] = address_to_pointer [[TOKEN_ADDR]] : $*Builtin.Word to $Builtin.RawPointer
|
|
// CHECK: [[INIT_FUNC:%.*]] = function_ref @[[T]]WZ : $@convention(c) (Builtin.RawPointer) -> ()
|
|
// CHECK: [[ONCE:%.*]] = builtin "once"([[TOKEN_PTR]] : $Builtin.RawPointer, [[INIT_FUNC]] : $@convention(c) (Builtin.RawPointer) -> ()) : $Builtin.SILToken
|
|
// CHECK: [[GLOBAL_ADDR:%.*]] = global_addr @$s12lazy_globals3BarO3barSivpZ : $*Int depends_on [[ONCE]]
|
|
// CHECK: [[GLOBAL_PTR:%.*]] = address_to_pointer [[GLOBAL_ADDR]] : $*Int to $Builtin.RawPointer
|
|
// CHECK: return [[GLOBAL_PTR]] : $Builtin.RawPointer
|
|
static var bar: Int = 33
|
|
}
|
|
|
|
// We only emit one initializer function per pattern binding, which initializes
|
|
// all of the bound variables.
|
|
|
|
func f() -> (Int, Int) { return (1, 2) }
|
|
|
|
// CHECK: sil private [global_init_once_fn] [ossa] @[[T:.*2a1.*2b1.*]]WZ : $@convention(c) (Builtin.RawPointer) -> () {
|
|
// CHECK: function_ref @$s12lazy_globals1fSi_SityF : $@convention(thin) () -> (Int, Int)
|
|
// CHECK: sil hidden [global_init] [ossa] @$s12lazy_globals2a1Sivau : $@convention(thin) () -> Builtin.RawPointer
|
|
// CHECK: function_ref @[[T]]WZ : $@convention(c) (Builtin.RawPointer) -> ()
|
|
// CHECK: global_addr @$s12lazy_globals2a1Sivp : $*Int
|
|
// CHECK: sil hidden [global_init] [ossa] @$s12lazy_globals2b1Sivau : $@convention(thin) () -> Builtin.RawPointer {
|
|
// CHECK: function_ref @[[T]]WZ : $@convention(c) (Builtin.RawPointer) -> ()
|
|
// CHECK: global_addr @$s12lazy_globals2b1Sivp : $*Int
|
|
var (a1, b1) = f()
|
|
|
|
var computed: Int {
|
|
return 44
|
|
}
|
|
|
|
var initialized: Int = 57
|
|
|