1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// RUN: %target-sil-opt -enable-sil-verify-all %s -mandatory-inlining -verify
import Builtin
import Swift
sil [transparent] @test_circular_foo : $@convention(thin) (Float32) -> Float32 {
bb0(%0 : $Float32):
%3 = function_ref @test_circular_bar : $@convention(thin) (Float32) -> Float32
%5 = apply %3(%0) : $@convention(thin) (Float32) -> Float32 // expected-error {{inlining 'transparent' functions forms circular loop}} expected-note 2 {{while inlining here}}
return %5 : $Float32
}
sil [transparent] @test_circular_bar : $@convention(thin) (Float32) -> Float32 {
bb0(%0 : $Float32):
%3 = function_ref @test_circular_baz : $@convention(thin) (Float32) -> Float32
%5 = apply %3(%0) : $@convention(thin) (Float32) -> Float32 // expected-error {{inlining 'transparent' functions forms circular loop}} expected-note 2 {{while inlining here}}
return %5 : $Float32
}
sil [transparent] @test_circular_baz : $@convention(thin) (Float32) -> Float32 {
bb0(%0 : $Float32):
%3 = function_ref @test_circular_foo : $@convention(thin) (Float32) -> Float32
%5 = apply %3(%0) : $@convention(thin) (Float32) -> Float32 // expected-error {{inlining 'transparent' functions forms circular loop}} expected-note 2 {{while inlining here}}
return %5 : $Float32
}
|
