Reid Spencer | c6b9efa | 2007-04-13 22:33:10 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | opt -sccp | llvm-dis -o /dev/null -f && |
2 | ; RUN: llvm-as < %s | opt -sccp | llvm-dis | not grep phi | ||||
3 | |||||
4 | define i999 @test(i999%A, i1 %c) { | ||||
5 | bb1: | ||||
6 | br label %BB2 | ||||
7 | BB2: | ||||
8 | %V = phi i999 [2, %bb1], [%A, %BB4] | ||||
9 | br label %BB3 | ||||
10 | |||||
11 | BB3: | ||||
12 | %E = trunc i999 %V to i1 | ||||
13 | %F = and i1 %E, %c | ||||
14 | br i1 %F, label %BB4, label %BB5 | ||||
15 | BB4: | ||||
16 | br label %BB2 | ||||
17 | |||||
18 | BB5: | ||||
19 | ret i999 %V | ||||
20 | } |