test/Transforms/LoopStrengthReduce/uglygep.ll

   1 ; RUN: opt < %s -loop-reduce -S | FileCheck %s
   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 ; CHECK-LABEL: define void @Z4(
  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 ; CHECK: bb10:
  25 ; CHECK-NEXT: %t7 = icmp eq i64 %t4, 0
  26 ; Host %t2 computation outside the loop.
  27 ; CHECK-NEXT: [[SCEVGEP:%[^ ]+]] = getelementptr i8, i8* undef, i64 %t4
  28 ; CHECK-NEXT: br label %bb14
  29 bb10:                                             ; preds = %bb9
  30   %t7 = icmp eq i64 %t4, 0                    ; <i1> [#uses=1]
  31   %t3 = add i64 %t4, 16                     ; <i64> [#uses=1]
  32   br label %bb14
  33
  34 ; CHECK: bb14:
  35 ; CHECK-NEXT: store i8 undef, i8* [[SCEVGEP]]
  36 ; CHECK-NEXT: %t6 = load float*, float** undef
  37 ; Fold %t3's add within the address.
  38 ; CHECK-NEXT: [[SCEVGEP1:%[^ ]+]] = getelementptr float, float* %t6, i64 4
  39 ; CHECK-NEXT: [[SCEVGEP2:%[^ ]+]] = bitcast float* [[SCEVGEP1]] to i8*
  40 ; Use the induction variable (%t4) to access the right element
  41 ; CHECK-NEXT: [[ADDRESS:%[^ ]+]] = getelementptr i8, i8* [[SCEVGEP2]], i64 %t4
  42 ; CHECK-NEXT: store i8 undef, i8* [[ADDRESS]]
  43 ; CHECK-NEXT: br label %bb14
  44 bb14:                                             ; preds = %bb14, %bb10
  45   %t2 = getelementptr inbounds i8, i8* undef, i64 %t4 ; <i8*> [#uses=1]
  46   store i8 undef, i8* %t2
  47   %t6 = load float*, float** undef
  48   %t8 = bitcast float* %t6 to i8*              ; <i8*> [#uses=1]
  49   %t9 = getelementptr inbounds i8, i8* %t8, i64 %t3 ; <i8*> [#uses=1]
  50   store i8 undef, i8* %t9
  51   br label %bb14
  52 }
  53
  54 define fastcc void @TransformLine() nounwind {
  55 ; CHECK-LABEL: @TransformLine(
  56 bb:
  57   br label %loop0
  58
  59 ; CHECK: loop0:
  60 ; Induction variable is initialized to -2.
  61 ; CHECK-NEXT: [[PHIIV:%[^ ]+]] = phi i32 [ [[IVNEXT:%[^ ]+]], %loop0 ], [ -2, %bb ]
  62 ; CHECK-NEXT: [[IVNEXT]] = add nuw nsw i32 [[PHIIV]], 1
  63 ; CHECK-NEXT: br i1 false, label %loop0, label %bb0
  64 loop0:                                            ; preds = %loop0, %bb
  65   %i0 = phi i32 [ %i0.next, %loop0 ], [ 0, %bb ]  ; <i32> [#uses=2]
  66   %i0.next = add i32 %i0, 1                       ; <i32> [#uses=1]
  67   br i1 false, label %loop0, label %bb0
  68
  69 bb0:                                              ; preds = %loop0
  70   br label %loop1
  71
  72 ; CHECK: loop1:
  73 ; CHECK-NEXT: %i1 = phi i32 [ 0, %bb0 ], [ %i1.next, %bb5 ]
  74 ; IVNEXT covers the uses of %i0 and %t0.
  75 ; Therefore, %t0 has been removed.
  76 ; The critical edge has been split.
  77 ; CHECK-NEXT: br i1 false, label %bb2, label %[[LOOP1BB6:.+]]
  78 loop1:                                            ; preds = %bb5, %bb0
  79   %i1 = phi i32 [ 0, %bb0 ], [ %i1.next, %bb5 ]   ; <i32> [#uses=4]
  80   %t0 = add i32 %i0, %i1                          ; <i32> [#uses=1]
  81   br i1 false, label %bb2, label %bb6
  82
  83 ; CHECK: bb2:
  84 ; Critical edge split.
  85 ; CHECK-NEXT: br i1 true, label %[[BB2BB6:[^,]+]], label %bb5
  86 bb2:                                              ; preds = %loop1
  87   br i1 true, label %bb6, label %bb5
  88
  89 ; CHECK: bb5:
  90 ; CHECK-NEXT: %i1.next = add i32 %i1, 1
  91 ; CHECK-NEXT: br i1 true, label %[[BB5BB6:[^,]+]], label %loop1
  92 bb5:                                              ; preds = %bb2
  93   %i1.next = add i32 %i1, 1                       ; <i32> [#uses=1]
  94   br i1 true, label %bb6, label %loop1
  95
  96 ; bb5 to bb6 split basic block.
  97 ; CHECK: [[BB5BB6]]:
  98 ; CHECK-NEXT: [[INITIALVAL:%[^ ]+]] = add i32 [[IVNEXT]], %i1.next
  99 ; CHECK-NEXT: br label %[[SPLITTOBB6:.+]]
 100
 101 ; bb2 to bb6 split basic block.
 102 ; CHECK: [[BB2BB6]]:
 103 ; CHECK-NEXT: br label %[[SPLITTOBB6]]
 104
 105 ; Split basic blocks to bb6.
 106 ; CHECK: [[SPLITTOBB6]]:
 107 ; CHECK-NEXT: [[INITP8:%[^ ]+]] = phi i32 [ [[INITIALVAL]], %[[BB5BB6]] ], [ undef, %[[BB2BB6]] ]
 108 ; CHECK-NEXT: [[INITP9:%[^ ]+]] = phi i32 [ undef, %[[BB5BB6]] ], [ %i1, %[[BB2BB6]] ]
 109 ; CHECK-NEXT: br label %bb6
 110
 111 ; CHECK: [[LOOP1BB6]]:
 112 ; CHECK-NEXT: br label %bb6
 113
 114 ; CHECK: bb6:
 115 ; CHECK-NEXT: %p8 = phi i32 [ undef, %[[LOOP1BB6]] ], [ [[INITP8]], %[[SPLITTOBB6]] ]
 116 ; CHECK-NEXT: %p9 = phi i32 [ %i1, %[[LOOP1BB6]] ], [ [[INITP9]], %[[SPLITTOBB6]] ]
 117 ; CHECK-NEXT: unreachable
 118 bb6:                                              ; preds = %bb5, %bb2, %loop1
 119   %p8 = phi i32 [ %t0, %bb5 ], [ undef, %loop1 ], [ undef, %bb2 ] ; <i32> [#uses=0]
 120   %p9 = phi i32 [ undef, %bb5 ], [ %i1, %loop1 ], [ %i1, %bb2 ] ; <i32> [#uses=0]
 121   unreachable
 122 }