|
150
|
1 ; RUN: opt -S -passes=spec-phis %s
|
|
|
2
|
|
|
3 ; This testcase crashes during the speculate around PHIs pass. The pass however
|
|
|
4 ; results in no changes.
|
|
|
5
|
|
|
6 define i32 @test1() {
|
|
|
7 entry:
|
|
|
8 callbr void asm sideeffect "", "X,X,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@test1, %return), i8* blockaddress(@test1, %f))
|
|
|
9 to label %asm.fallthrough [label %return, label %f]
|
|
|
10
|
|
|
11 asm.fallthrough:
|
|
|
12 br label %return
|
|
|
13
|
|
|
14 f:
|
|
|
15 br label %return
|
|
|
16
|
|
|
17 return:
|
|
|
18 %retval.0 = phi i32 [ 0, %f ], [ 1, %asm.fallthrough ], [ 1, %entry ]
|
|
|
19 ret i32 %retval.0
|
|
|
20 }
|
|
|
21
|
|
|
22 define void @test2() {
|
|
|
23 entry:
|
|
|
24 br label %tailrecurse
|
|
|
25
|
|
|
26 tailrecurse:
|
|
|
27 %call = tail call i32 @test3()
|
|
|
28 %tobool1 = icmp eq i32 %call, 0
|
|
|
29 callbr void asm sideeffect "", "X,X,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@test2, %test1.exit), i8* blockaddress(@test2, %f.i))
|
|
|
30 to label %if.end6 [label %test1.exit, label %f.i]
|
|
|
31
|
|
|
32 f.i:
|
|
|
33 br label %test1.exit
|
|
|
34
|
|
|
35 test1.exit:
|
|
|
36 %retval.0.i = phi i1 [ false, %f.i ], [ true, %tailrecurse ]
|
|
|
37 %brmerge = or i1 %tobool1, %retval.0.i
|
|
|
38 br i1 %brmerge, label %if.end6, label %tailrecurse
|
|
|
39
|
|
|
40 if.end6:
|
|
|
41 ret void
|
|
|
42 }
|
|
|
43
|
|
|
44 declare i32 @test3()
|
