blob: 906d7c363bf6cde548ae9daffe9e8555e5fa285e [file] [log] [blame]
Tanya Lattnerce7d5db2008-03-19 05:39:35 +00001; RUN: llvm-as < %s | opt -predsimplify -disable-output
Nick Lewycky565706b2006-11-22 23:49:16 +00002
Tanya Lattnerce7d5db2008-03-19 05:39:35 +00003define i32 @test_wp_B_slice(i32 %select_method) {
Nick Lewycky565706b2006-11-22 23:49:16 +00004entry:
5 br label %bb309
Nick Lewycky565706b2006-11-22 23:49:16 +00006cond_true114: ; preds = %bb309
Tanya Lattnerce7d5db2008-03-19 05:39:35 +00007 %tmp130 = icmp slt i32 0, 128 ; <i1> [#uses=1]
8 %min = select i1 %tmp130, i32 0, i32 127 ; <i32> [#uses=2]
9 %tmp143 = load i32* null ; <i32> [#uses=0]
10 br i1 false, label %bb303, label %bb314
Nick Lewycky565706b2006-11-22 23:49:16 +000011cond_true166: ; preds = %bb303
Tanya Lattnerce7d5db2008-03-19 05:39:35 +000012 ret i32 0
Nick Lewycky565706b2006-11-22 23:49:16 +000013cond_false200: ; preds = %bb303
Tanya Lattnerce7d5db2008-03-19 05:39:35 +000014 %tmp205 = sdiv i32 %min, 2 ; <i32> [#uses=1]
15 %iftmp.380.0.p = select i1 false, i32 0, i32 %tmp205 ; <i32> [#uses=0]
16 ret i32 0
Nick Lewycky565706b2006-11-22 23:49:16 +000017bb303: ; preds = %cond_true114
Tanya Lattnerce7d5db2008-03-19 05:39:35 +000018 %tmp165 = icmp eq i32 %min, 0 ; <i1> [#uses=1]
19 br i1 %tmp165, label %cond_true166, label %cond_false200
20bb309: ; preds = %entry
21 br i1 false, label %cond_true114, label %bb314
22bb314: ; preds = %bb309, %cond_true114
23 ret i32 0
Nick Lewycky565706b2006-11-22 23:49:16 +000024}
Tanya Lattnerce7d5db2008-03-19 05:39:35 +000025