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.
37 lines
1002 B
Swift
37 lines
1002 B
Swift
|
|
// RUN: %target-swift-frontend %s -parse-as-library -enable-spec-devirt -O -Xllvm -sil-print-types -emit-sil | %FileCheck %s
|
|
// RUN: %target-swift-frontend %s -parse-as-library -Osize -Xllvm -sil-print-types -emit-sil
|
|
//
|
|
// Test speculative devirtualization.
|
|
|
|
// REQUIRES: swift_in_compiler
|
|
|
|
public class Cat {
|
|
var cats: Int
|
|
|
|
required init(cats: Int) {
|
|
self.cats = cats
|
|
}
|
|
}
|
|
|
|
public class BigCat : Cat {
|
|
required init(cats: Int) {
|
|
super.init(cats: cats)
|
|
}
|
|
}
|
|
|
|
public func make(type: Cat.Type, cats: Int) -> Cat {
|
|
return type.init(cats: cats)
|
|
}
|
|
|
|
// CHECK-LABEL: sil @$s23devirt_speculative_init4make4type4catsAA3CatCAFm_SitF : $@convention(thin) (@thick Cat.Type, Int) -> @owned Cat {
|
|
// CHECK: checked_cast_br [exact] @thick Cat.Type in %0 : $@thick Cat.Type to @thick Cat.Type, bb2, bb3
|
|
// CHECK: bb1{{.*}}:
|
|
// CHECK: return
|
|
// CHECK: bb2({{%.*}} : $@thick Cat.Type):
|
|
// CHECK: alloc_ref $Cat
|
|
// CHECK: br bb1
|
|
// CHECK: bb3:
|
|
// CHECK: alloc_ref $BigCat
|
|
// CHECK: br bb1
|