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 target triple = "x86_64-unknown-linux-gnu"
   8
   9 define void @Z4() nounwind {
  10 bb:
  11   br label %bb3
  12
  13 bb1:                                              ; preds = %bb3
  14   br i1 undef, label %bb10, label %bb2
  15
  16 bb2:                                              ; preds = %bb1
  17   %t = add i64 %t4, 1                         ; <i64> [#uses=1]
  18   br label %bb3
  19
  20 bb3:                                              ; preds = %bb2, %bb
  21   %t4 = phi i64 [ %t, %bb2 ], [ 0, %bb ]      ; <i64> [#uses=3]
  22   br label %bb1
  23
  24 bb10:                                             ; preds = %bb9
  25   %t7 = icmp eq i64 %t4, 0                    ; <i1> [#uses=1]
  26   %t3 = add i64 %t4, 16                     ; <i64> [#uses=1]
  27   br label %bb14
  28
  29 bb14:                                             ; preds = %bb14, %bb10
  30   %t2 = getelementptr inbounds i8* undef, i64 %t4 ; <i8*> [#uses=1]
  31   store i8 undef, i8* %t2
  32   %t6 = load float** undef
  33   %t8 = bitcast float* %t6 to i8*              ; <i8*> [#uses=1]
  34   %t9 = getelementptr inbounds i8* %t8, i64 %t3 ; <i8*> [#uses=1]
  35   store i8 undef, i8* %t9
  36   br label %bb14
  37 }