Tanya Lattner | 97b38e1 | 2008-03-19 05:39:35 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | opt -predsimplify -disable-output |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
Tanya Lattner | 97b38e1 | 2008-03-19 05:39:35 +0000 | [diff] [blame^] | 3 | define i32 @test_wp_B_slice(i32 %select_method) { |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | entry: |
| 5 | br label %bb309 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 6 | cond_true114: ; preds = %bb309 |
Tanya Lattner | 97b38e1 | 2008-03-19 05:39:35 +0000 | [diff] [blame^] | 7 | %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 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 11 | cond_true166: ; preds = %bb303 |
Tanya Lattner | 97b38e1 | 2008-03-19 05:39:35 +0000 | [diff] [blame^] | 12 | ret i32 0 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 13 | cond_false200: ; preds = %bb303 |
Tanya Lattner | 97b38e1 | 2008-03-19 05:39:35 +0000 | [diff] [blame^] | 14 | %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 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 17 | bb303: ; preds = %cond_true114 |
Tanya Lattner | 97b38e1 | 2008-03-19 05:39:35 +0000 | [diff] [blame^] | 18 | %tmp165 = icmp eq i32 %min, 0 ; <i1> [#uses=1] |
| 19 | br i1 %tmp165, label %cond_true166, label %cond_false200 |
| 20 | bb309: ; preds = %entry |
| 21 | br i1 false, label %cond_true114, label %bb314 |
| 22 | bb314: ; preds = %bb309, %cond_true114 |
| 23 | ret i32 0 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 24 | } |
Tanya Lattner | 97b38e1 | 2008-03-19 05:39:35 +0000 | [diff] [blame^] | 25 | |