test/Transforms/LoopStrengthReduce/uglygep.ll

   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 }