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" 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 } 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 } 67
