blob: 7165c5bd29b493f231e505ebae66ec69af10d705 [file] [log] [blame]
Chris Lattner8a536882006-10-20 00:41:31 +00001; PR957
Tanya Lattnerceca1942008-03-10 07:21:50 +00002; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | \
Reid Spencer9aafdcf2007-04-15 09:21:47 +00003; RUN: not grep select
Chris Lattner8a536882006-10-20 00:41:31 +00004
Tanya Lattnerceca1942008-03-10 07:21:50 +00005define i32 @test(i32 %tmp) {
6cond_false179:
7 %tmp181 = icmp eq i32 %tmp, 0 ; <i1> [#uses=1]
8 br i1 %tmp181, label %cond_true182, label %cond_next185
9cond_true182: ; preds = %cond_false179
10 br label %cond_next185
11cond_next185: ; preds = %cond_true182, %cond_false179
12 %d0.3 = phi i32 [ udiv (i32 1, i32 0), %cond_true182 ], [ %tmp, %cond_false179 ] ; <i32> [#uses=1]
13 ret i32 %d0.3
Chris Lattner8a536882006-10-20 00:41:31 +000014}
15
Tanya Lattnerceca1942008-03-10 07:21:50 +000016define i32 @test2(i32 %tmp) {
17cond_false179:
18 %tmp181 = icmp eq i32 %tmp, 0 ; <i1> [#uses=1]
19 br i1 %tmp181, label %cond_true182, label %cond_next185
20cond_true182: ; preds = %cond_false179
21 br label %cond_next185
22cond_next185: ; preds = %cond_true182, %cond_false179
23 %d0.3 = phi i32 [ udiv (i32 1, i32 0), %cond_true182 ], [ %tmp, %cond_false179 ] ; <i32> [#uses=1]
24 call i32 @test( i32 4 ) ; <i32>:0 [#uses=0]
25 ret i32 %d0.3
Chris Lattner8a536882006-10-20 00:41:31 +000026}