| Sanjoy Das | 6f062c8 | 2015-07-09 18:46:12 +0000 | [diff] [blame] | 1 | ; RUN: opt -S -indvars < %s | FileCheck %s |
| 2 | |
| 3 | define void @f(i32 %length.i.88, i32 %length.i, i8* %tmp12, i32 %tmp10, i8* %tmp8) { |
| 4 | ; CHECK-LABEL: @f( |
| 5 | not_zero11.preheader: |
| 6 | %tmp13 = icmp ugt i32 %length.i, %length.i.88 |
| 7 | %tmp14 = select i1 %tmp13, i32 %length.i.88, i32 %length.i |
| 8 | %tmp15 = icmp sgt i32 %tmp14, 0 |
| 9 | br i1 %tmp15, label %not_zero11, label %not_zero11.postloop |
| 10 | |
| 11 | not_zero11: |
| 12 | %v_1 = phi i32 [ %tmp22, %not_zero11 ], [ 0, %not_zero11.preheader ] |
| 13 | %tmp16 = zext i32 %v_1 to i64 |
| 14 | %tmp17 = getelementptr inbounds i8, i8* %tmp8, i64 %tmp16 |
| 15 | %tmp18 = load i8, i8* %tmp17, align 1 |
| 16 | %tmp19 = zext i8 %tmp18 to i32 |
| 17 | %tmp20 = or i32 %tmp19, %tmp10 |
| 18 | %tmp21 = trunc i32 %tmp20 to i8 |
| 19 | %addr22 = getelementptr inbounds i8, i8* %tmp12, i64 %tmp16 |
| 20 | store i8 %tmp21, i8* %addr22, align 1 |
| 21 | %tmp22 = add nuw nsw i32 %v_1, 1 |
| 22 | %tmp23 = icmp slt i32 %tmp22, %tmp14 |
| 23 | br i1 %tmp23, label %not_zero11, label %main.exit.selector |
| 24 | |
| 25 | main.exit.selector: |
| 26 | ; CHECK-LABEL: main.exit.selector: |
| 27 | ; CHECK: %tmp24 = icmp slt i32 %tmp14, %length.i |
| 28 | %tmp24 = icmp slt i32 %tmp22, %length.i |
| 29 | br i1 %tmp24, label %not_zero11.postloop, label %leave |
| 30 | |
| 31 | leave: |
| 32 | ret void |
| 33 | |
| 34 | not_zero11.postloop: |
| 35 | ret void |
| 36 | } |