| Dan Gohman | f8d0578 | 2010-04-09 19:14:31 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -loop-reduce -S | not grep uglygep |
| 2 | |
| 3 | ; LSR shouldn't consider %t8 to be an interesting user of %t6, and it |
| 4 | ; should be able to form pretty GEPs. |
| 5 | |
| 6 | target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" |
| Dan Gohman | f8d0578 | 2010-04-09 19:14:31 +0000 | [diff] [blame] | 7 | |
| 8 | define void @Z4() nounwind { |
| 9 | bb: |
| 10 | br label %bb3 |
| 11 | |
| 12 | bb1: ; preds = %bb3 |
| 13 | br i1 undef, label %bb10, label %bb2 |
| 14 | |
| 15 | bb2: ; preds = %bb1 |
| 16 | %t = add i64 %t4, 1 ; <i64> [#uses=1] |
| 17 | br label %bb3 |
| 18 | |
| 19 | bb3: ; preds = %bb2, %bb |
| 20 | %t4 = phi i64 [ %t, %bb2 ], [ 0, %bb ] ; <i64> [#uses=3] |
| 21 | br label %bb1 |
| 22 | |
| 23 | bb10: ; preds = %bb9 |
| 24 | %t7 = icmp eq i64 %t4, 0 ; <i1> [#uses=1] |
| 25 | %t3 = add i64 %t4, 16 ; <i64> [#uses=1] |
| 26 | br label %bb14 |
| 27 | |
| 28 | bb14: ; preds = %bb14, %bb10 |
| 29 | %t2 = getelementptr inbounds i8* undef, i64 %t4 ; <i8*> [#uses=1] |
| 30 | store i8 undef, i8* %t2 |
| 31 | %t6 = load float** undef |
| 32 | %t8 = bitcast float* %t6 to i8* ; <i8*> [#uses=1] |
| 33 | %t9 = getelementptr inbounds i8* %t8, i64 %t3 ; <i8*> [#uses=1] |
| 34 | store i8 undef, i8* %t9 |
| 35 | br label %bb14 |
| 36 | } |
| Dan Gohman | e5f7687 | 2010-04-09 22:07:05 +0000 | [diff] [blame] | 37 | |
| 38 | define fastcc void @TransformLine() nounwind { |
| 39 | bb: |
| 40 | br label %loop0 |
| 41 | |
| 42 | loop0: ; preds = %loop0, %bb |
| 43 | %i0 = phi i32 [ %i0.next, %loop0 ], [ 0, %bb ] ; <i32> [#uses=2] |
| 44 | %i0.next = add i32 %i0, 1 ; <i32> [#uses=1] |
| 45 | br i1 false, label %loop0, label %bb0 |
| 46 | |
| 47 | bb0: ; preds = %loop0 |
| 48 | br label %loop1 |
| 49 | |
| 50 | loop1: ; preds = %bb5, %bb0 |
| 51 | %i1 = phi i32 [ 0, %bb0 ], [ %i1.next, %bb5 ] ; <i32> [#uses=4] |
| 52 | %t0 = add i32 %i0, %i1 ; <i32> [#uses=1] |
| 53 | br i1 false, label %bb2, label %bb6 |
| 54 | |
| 55 | bb2: ; preds = %loop1 |
| 56 | br i1 true, label %bb6, label %bb5 |
| 57 | |
| 58 | bb5: ; preds = %bb2 |
| 59 | %i1.next = add i32 %i1, 1 ; <i32> [#uses=1] |
| 60 | br i1 true, label %bb6, label %loop1 |
| 61 | |
| 62 | bb6: ; preds = %bb5, %bb2, %loop1 |
| 63 | %p8 = phi i32 [ %t0, %bb5 ], [ undef, %loop1 ], [ undef, %bb2 ] ; <i32> [#uses=0] |
| 64 | %p9 = phi i32 [ undef, %bb5 ], [ %i1, %loop1 ], [ %i1, %bb2 ] ; <i32> [#uses=0] |
| 65 | unreachable |
| 66 | } |