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.
68 lines
2.9 KiB
Swift
68 lines
2.9 KiB
Swift
// RUN: %target-swift-frontend -Xllvm -sil-print-types -emit-silgen -target %target-swift-5.1-abi-triple %s -module-name accessors -swift-version 5 | %FileCheck --enable-var-scope %s
|
|
|
|
class C {
|
|
// CHECK-DAG: sil hidden [ossa] @$s9accessors1CC16prop_asyncThrowsSivg : $@convention(method) @async (@guaranteed C) -> (Int, @error any Error) {
|
|
var prop_asyncThrows : Int {
|
|
get async throws { 0 }
|
|
}
|
|
// CHECK-DAG: sil hidden [ossa] @$s9accessors1CC10prop_asyncSivg : $@convention(method) @async (@guaranteed C) -> Int {
|
|
var prop_async : Int {
|
|
get async { 1 }
|
|
}
|
|
// CHECK-DAG: sil hidden [ossa] @$s9accessors1CC11prop_throwsSivg : $@convention(method) (@guaranteed C) -> (Int, @error any Error) {
|
|
var prop_throws : Int {
|
|
get throws { 2 }
|
|
}
|
|
}
|
|
|
|
struct S {
|
|
// CHECK-DAG: sil hidden [ossa] @$s9accessors1SVyS2icig : $@convention(method) @async (Int, S) -> Int {
|
|
subscript(_ s : Int) -> Int {
|
|
get async { 0 }
|
|
}
|
|
// CHECK-DAG: sil hidden [ossa] @$s9accessors1SVySiSdcig : $@convention(method) (Double, S) -> (Int, @error any Error) {
|
|
subscript(_ s : Double) -> Int {
|
|
get throws { 0 }
|
|
}
|
|
}
|
|
|
|
enum E {
|
|
// CHECK-DAG: sil hidden [ossa] @$s9accessors1EOyS2icig : $@convention(method) @async (Int, E) -> (Int, @error any Error) {
|
|
subscript(_ e : Int) -> Int {
|
|
get async throws { 0 }
|
|
}
|
|
}
|
|
|
|
actor A {
|
|
// CHECK-DAG: sil hidden [transparent] [ossa] @$s9accessors1AC10normalPropSivg : $@convention(method) (@sil_isolated @guaranteed A) -> Int {
|
|
var normalProp : Int = 0
|
|
// CHECK-DAG: sil hidden [ossa] @$s9accessors1AC12computedPropSivg : $@convention(method) (@sil_isolated @guaranteed A) -> Int {
|
|
var computedProp : Int { get { 0 } }
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s9accessors1AC9asyncPropSivg : $@convention(method) @async (@sil_isolated @guaranteed A) -> Int {
|
|
// CHECK: bb0([[SELF:%[0-9]+]] : @guaranteed $A):
|
|
// CHECK: hop_to_executor [[SELF]] : $A
|
|
// CHECK: } // end sil function '$s9accessors1AC9asyncPropSivg'
|
|
var asyncProp : Int {
|
|
get async { 0 }
|
|
}
|
|
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s9accessors19testImplicitlyAsync1aSiAA1AC_tYaF : $@convention(thin) @async (@guaranteed A) -> Int {
|
|
// CHECK: hop_to_executor
|
|
// CHECK: apply {{%[0-9]+}}({{%[0-9]+}}) : $@convention(method) (@sil_isolated @guaranteed A) -> Int
|
|
// CHECK: hop_to_executor
|
|
// CHECK: } // end sil function '$s9accessors19testImplicitlyAsync1aSiAA1AC_tYaF'
|
|
func testImplicitlyAsync(a : A) async -> Int {
|
|
return await a.computedProp
|
|
}
|
|
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s9accessors15testNormalAsync1aSiAA1AC_tYaF : $@convention(thin) @async (@guaranteed A) -> Int {
|
|
// CHECK: apply {{%[0-9]+}}({{%[0-9]+}}) : $@convention(method) @async (@sil_isolated @guaranteed A) -> Int
|
|
// CHECK: } // end sil function '$s9accessors15testNormalAsync1aSiAA1AC_tYaF'
|
|
func testNormalAsync(a : A) async -> Int {
|
|
return await a.asyncProp
|
|
}
|