blob: eb0773f7e1672a1268c3faa6644d8d8eb3f18c15 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
; Test that LICM works when there is not a loop-preheader
; RUN: as < %s | opt -licm | dis
void "testfunc"(int %i, bool %ifcond) {
br bool %ifcond, label %Then, label %Else
Then:
br label %Loop
Else:
br label %Loop
Loop:
%j = phi uint [0, %Then], [12, %Else], [%Next, %Loop]
%i = cast int %i to uint
%i2 = mul uint %i, 17
%Next = add uint %j, %i2
%cond = seteq uint %Next, 0
br bool %cond, label %Out, label %Loop
Out:
ret void
}
|