mirror of
https://github.com/apple/swift.git
synced 2026-09-30 10:17:34 +02:00
Erik Eckstein
535a58e3fb
Even if an indirect argument is unused, pretend that the function reads from it. If the unused argument is passed to another generic function and that function is specialized, the argument may be re-abstracted and the specializer inserts a load from the indirect argument. Therefore we must be prepared that unused indirect argument might get loaded from at some time. Fixes a compiler crash rdar://168623362
27 lines
793 B
Swift
27 lines
793 B
Swift
// RUN: %target-swift-frontend -O -Xllvm -sil-disable-pass=FunctionSignatureOpts -disable-arc-opts -emit-sil %s | %FileCheck %s
|
|
|
|
// We can't deserialize apply_inst with subst lists. When radar://14443304
|
|
// is fixed then we should convert this test to a SIL test.
|
|
|
|
protocol P { func p() }
|
|
protocol Q { func q() }
|
|
|
|
class Foo: P, Q {
|
|
@inline(never)
|
|
func p() {}
|
|
@inline(never)
|
|
func q() {}
|
|
}
|
|
|
|
@inline(never)
|
|
func inner_function<T : P & Q>(In In : T) { }
|
|
@inline(never)
|
|
func outer_function<T : P & Q>(In In : T) { inner_function(In: In) }
|
|
|
|
//CHECK: sil shared [noinline] {{.*}}@$s10spec_conf214outer_function2Inyx_tAA1PRzAA1QRzlFAA3FooC_Tg5
|
|
//CHECK: function_ref @$s10spec_conf214inner_function2Inyx_tAA1PRzAA1QRzlFAA3FooC_Tg5
|
|
//CHECK-NEXT: apply
|
|
//CHECK: return
|
|
|
|
outer_function(In: Foo())
|