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.
22 lines
633 B
Swift
22 lines
633 B
Swift
|
|
// RUN: %target-swift-emit-silgen -Xllvm -sil-print-types -module-name argument_labels %s | %FileCheck %s
|
|
|
|
public struct X { }
|
|
public struct Y { }
|
|
|
|
public class Foo {
|
|
func doSomething(x: X, y: Y) { }
|
|
func doSomethingElse(x: X) { }
|
|
}
|
|
|
|
// CHECK-LABEL: sil hidden [ossa] @$s15argument_labels7testFoo{{[_0-9a-zA-Z]*}}F
|
|
// CHECK: bb0([[ARG0:%.*]] : @guaranteed $Foo,
|
|
func testFoo(foo: Foo, x: X, y: Y) {
|
|
// CHECK: class_method [[ARG0]] : $Foo, #Foo.doSomething : (Foo) -> (X, Y) -> ()
|
|
foo.doSomething(x: x, y: y)
|
|
|
|
// CHECK: class_method [[ARG0]] : $Foo, #Foo.doSomethingElse : (Foo) -> (X) -> ()
|
|
foo.doSomethingElse(x: x)
|
|
}
|
|
|