test/Transforms/IndVarSimplify/uglygep.ll

   1 ; RUN: opt -indvars -S < %s | not grep uglygep
   2 ; rdar://8197217
   3
   4 ; Indvars should be able to emit a clean GEP here, not an uglygep.
   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-apple-darwin11.0"
   8
   9 @numf2s = external global i32                     ; <i32*> [#uses=1]
  10 @numf1s = external global i32                     ; <i32*> [#uses=1]
  11 @tds = external global double**                   ; <double***> [#uses=1]
  12
  13 define void @init_td(i32 %tmp7) nounwind {
  14 entry:
  15   br label %bb4
  16
  17 bb4:                                              ; preds = %bb3, %entry
  18   %i.0 = phi i32 [ 0, %entry ], [ %tmp9, %bb3 ]   ; <i32> [#uses=3]
  19   br label %bb
  20
  21 bb:                                               ; preds = %bb4
  22   br label %bb2
  23
  24 bb2:                                              ; preds = %bb1, %bb
  25   %j.0 = phi i32 [ 0, %bb ], [ %tmp6, %bb1 ]      ; <i32> [#uses=3]
  26   %tmp8 = icmp slt i32 %j.0, %tmp7                ; <i1> [#uses=1]
  27   br i1 %tmp8, label %bb1, label %bb3
  28
  29 bb1:                                              ; preds = %bb2
  30   %tmp = load double*** @tds, align 8             ; <double**> [#uses=1]
  31   %tmp1 = sext i32 %i.0 to i64                    ; <i64> [#uses=1]
  32   %tmp2 = getelementptr inbounds double** %tmp, i64 %tmp1 ; <double**> [#uses=1]
  33   %tmp3 = load double** %tmp2, align 1            ; <double*> [#uses=1]
  34   %tmp6 = add nsw i32 %j.0, 1                     ; <i32> [#uses=1]
  35   br label %bb2
  36
  37 bb3:                                              ; preds = %bb2
  38   %tmp9 = add nsw i32 %i.0, 1                     ; <i32> [#uses=1]
  39   br label %bb4
  40 }