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.
55 lines
3.1 KiB
Swift
55 lines
3.1 KiB
Swift
|
|
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types -module-name multi_file -primary-file %s %S/Inputs/multi_file_helper.swift | %FileCheck %s
|
|
|
|
func markUsed<T>(_ t: T) {}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s10multi_file12rdar16016713{{[_0-9a-zA-Z]*}}F
|
|
func rdar16016713(_ r: Range) {
|
|
// CHECK: [[LIMIT:%[0-9]+]] = function_ref @$s10multi_file5RangeV5limitSivg : $@convention(method) (Range) -> Int
|
|
// CHECK: {{%[0-9]+}} = apply [[LIMIT]]({{%[0-9]+}}) : $@convention(method) (Range) -> Int
|
|
markUsed(r.limit)
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s10multi_file26lazyPropertiesAreNotStored{{[_0-9a-zA-Z]*}}F
|
|
func lazyPropertiesAreNotStored(_ container: LazyContainer) {
|
|
var container = container
|
|
// CHECK: {{%[0-9]+}} = function_ref @$s10multi_file13LazyContainerV7lazyVarSivg : $@convention(method) (@inout LazyContainer) -> Int
|
|
markUsed(container.lazyVar)
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s10multi_file29lazyRefPropertiesAreNotStored{{[_0-9a-zA-Z]*}}F
|
|
func lazyRefPropertiesAreNotStored(_ container: LazyContainerClass) {
|
|
// CHECK: bb0([[ARG:%.*]] : @guaranteed $LazyContainerClass):
|
|
// CHECK: {{%[0-9]+}} = class_method [[ARG]] : $LazyContainerClass, #LazyContainerClass.lazyVar!getter : (LazyContainerClass) -> () -> Int, $@convention(method) (@guaranteed LazyContainerClass) -> Int
|
|
markUsed(container.lazyVar)
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s10multi_file25finalVarsAreDevirtualizedyyAA18FinalPropertyClassCF
|
|
func finalVarsAreDevirtualized(_ obj: FinalPropertyClass) {
|
|
// CHECK: bb0([[ARG:%.*]] : @guaranteed $FinalPropertyClass):
|
|
// CHECK: ref_element_addr [[ARG]] : $FinalPropertyClass, #FinalPropertyClass.foo
|
|
markUsed(obj.foo)
|
|
// CHECK: class_method [[ARG]] : $FinalPropertyClass, #FinalPropertyClass.bar!getter
|
|
markUsed(obj.bar)
|
|
}
|
|
|
|
// rdar://18448869
|
|
// CHECK-LABEL: sil hidden [ossa] @$s10multi_file34finalVarsDontNeedMaterializeForSetyyAA27ObservingPropertyFinalClassCF
|
|
func finalVarsDontNeedMaterializeForSet(_ obj: ObservingPropertyFinalClass) {
|
|
obj.foo += 1
|
|
// CHECK: bb0([[CLASS:%.*]] : @guaranteed $ObservingPropertyFinalClass):
|
|
// CHECK: [[REF:%.*]] = function_ref @$s10multi_file27ObservingPropertyFinalClassC3fooSivM : $@yield_once @convention(method) (@guaranteed ObservingPropertyFinalClass) -> @yields @inout Int
|
|
// CHECK-NEXT: ([[ONE:%.*]], [[TWO:%.*]]) = begin_apply [[REF]]([[CLASS]]) : $@yield_once @convention(method) (@guaranteed ObservingPropertyFinalClass) -> @yields @inout Int
|
|
}
|
|
|
|
// rdar://18503960
|
|
// Ensure that we type-check the materializeForSet accessor from the protocol.
|
|
class HasComputedProperty: ProtocolWithProperty {
|
|
var foo: Int {
|
|
get { return 1 }
|
|
set {}
|
|
}
|
|
}
|
|
// CHECK-LABEL: sil hidden [transparent] [ossa] @$s10multi_file19HasComputedPropertyC3fooSivM : $@yield_once @convention(method) (@guaranteed HasComputedProperty) -> @yields @inout Int {
|
|
// CHECK-LABEL: sil private [transparent] [thunk] [ossa] @$s10multi_file19HasComputedPropertyCAA012ProtocolWithE0A2aDP3fooSivMTW : $@yield_once @convention(witness_method: ProtocolWithProperty) @substituted <τ_0_0> (@inout τ_0_0) -> @yields @inout Int for <HasComputedProperty> {
|