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.
66 lines
2.4 KiB
Swift
66 lines
2.4 KiB
Swift
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types %s | %FileCheck %s
|
|
|
|
func fizzbuzz(i: Int) -> String {
|
|
return i % 3 == 0
|
|
? "fizz"
|
|
: i % 5 == 0
|
|
? "buzz"
|
|
: "\(i)"
|
|
// CHECK: cond_br {{%.*}}, [[OUTER_TRUE:bb[0-9]+]], [[OUTER_FALSE:bb[0-9]+]]
|
|
// CHECK: [[OUTER_TRUE]]:
|
|
// CHECK: br [[OUTER_CONT:bb[0-9]+]]
|
|
// CHECK: [[OUTER_FALSE]]:
|
|
// CHECK: cond_br {{%.*}}, [[INNER_TRUE:bb[0-9]+]], [[INNER_FALSE:bb[0-9]+]]
|
|
// CHECK: [[INNER_TRUE]]:
|
|
// CHECK: br [[INNER_CONT:bb[0-9]+]]
|
|
// CHECK: [[INNER_FALSE]]:
|
|
// CHECK: function_ref {{.*}}stringInterpolation
|
|
// CHECK: br [[INNER_CONT]]
|
|
// CHECK: [[INNER_CONT]]({{.*}}):
|
|
// CHECK: br [[OUTER_CONT]]
|
|
// CHECK: [[OUTER_CONT]]({{.*}}):
|
|
// CHECK: return
|
|
}
|
|
|
|
protocol AddressOnly {}
|
|
|
|
struct A : AddressOnly {}
|
|
struct B : AddressOnly {}
|
|
|
|
func consumeAddressOnly(_: AddressOnly) {}
|
|
|
|
// CHECK: sil hidden [ossa] @$s12ternary_expr010addr_only_A2_1{{[_0-9a-zA-Z]*}}F
|
|
func addr_only_ternary_1(x: Bool) -> AddressOnly {
|
|
// CHECK: bb0([[RET:%.*]] : $*any AddressOnly, {{.*}}):
|
|
// CHECK: [[a:%[0-9]+]] = alloc_box ${ var any AddressOnly }, var, name "a"
|
|
// CHECK: [[a_LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[a]]
|
|
// CHECK: [[PBa:%.*]] = project_box [[a_LIFETIME]]
|
|
var a : AddressOnly = A()
|
|
// CHECK: [[b:%[0-9]+]] = alloc_box ${ var any AddressOnly }, var, name "b"
|
|
// CHECK: [[b_LIFETIME:%[^,]+]] = begin_borrow [lexical] [var_decl] [[b]]
|
|
// CHECK: [[PBb:%.*]] = project_box [[b_LIFETIME]]
|
|
var b : AddressOnly = B()
|
|
|
|
// CHECK: cond_br {{%.*}}, [[TRUE:bb[0-9]+]], [[FALSE:bb[0-9]+]]
|
|
// CHECK: [[TRUE]]:
|
|
// CHECK: [[READa:%.*]] = begin_access [read] [unknown] [[PBa]]
|
|
// CHECK: copy_addr [[READa]] to [init] [[RET]]
|
|
// CHECK: br [[CONT:bb[0-9]+]]
|
|
// CHECK: [[FALSE]]:
|
|
// CHECK: [[READb:%.*]] = begin_access [read] [unknown] [[PBb]]
|
|
// CHECK: copy_addr [[READb]] to [init] [[RET]]
|
|
// CHECK: br [[CONT]]
|
|
return x ? a : b
|
|
}
|
|
|
|
// <rdar://problem/31595572> - crash when conditional expression is an
|
|
// lvalue of IUO type
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s12ternary_expr011iuo_lvalue_A01xSiSbSgz_tF : $@convention(thin) (@inout Optional<Bool>) -> Int
|
|
// CHECK: [[IUO_BOOL_ADDR:%.*]] = begin_access [read] [unknown] %0 : $*Optional<Bool>
|
|
// CHECK: [[IUO_BOOL:%.*]] = load [trivial] [[IUO_BOOL_ADDR]] : $*Optional<Bool>
|
|
// CHECK: switch_enum [[IUO_BOOL]]
|
|
func iuo_lvalue_ternary(x: inout Bool!) -> Int {
|
|
return x ? 1 : 0
|
|
}
|