test/CodeGen/Hexagon/hwloop1.ll

   1 ; RUN: llc -march=hexagon -enable-pipeliner=false < %s | FileCheck %s
   2 ; Check that we generate hardware loop instructions.
   3
   4 ; Case 1 : Loop with a constant number of iterations.
   5 ; CHECK-LABEL: @hwloop1
   6 ; CHECK: loop0(.LBB{{.}}_{{.}},#10)
   7 ; CHECK: endloop0
   8
   9 @a = common global [10 x i32] zeroinitializer, align 4
  10 define i32 @hwloop1() nounwind {
  11 entry:
  12   br label %for.body
  13 for.body:
  14   %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  15   %arrayidx = getelementptr inbounds [10 x i32], [10 x i32]* @a, i32 0, i32 %i.01
  16   store i32 %i.01, i32* %arrayidx, align 4
  17   %inc = add nsw i32 %i.01, 1
  18   %exitcond = icmp eq i32 %inc, 10
  19   br i1 %exitcond, label %for.end, label %for.body
  20 for.end:
  21   ret i32 0
  22 }
  23
  24 ; Case 2 : Loop with a run-time number of iterations.
  25 ; CHECK-LABEL: @hwloop2
  26 ; CHECK: loop0(.LBB{{.}}_{{.}},r{{[0-9]+}})
  27 ; CHECK: endloop0
  28
  29 define i32 @hwloop2(i32 %n, i32* nocapture %b) nounwind {
  30 entry:
  31   %cmp1 = icmp sgt i32 %n, 0
  32   br i1 %cmp1, label %for.body.preheader, label %for.end
  33
  34 for.body.preheader:
  35   br label %for.body
  36
  37 for.body:
  38   %a.03 = phi i32 [ %add, %for.body ], [ 0, %for.body.preheader ]
  39   %i.02 = phi i32 [ %inc, %for.body ], [ 0, %for.body.preheader ]
  40   %arrayidx = getelementptr inbounds i32, i32* %b, i32 %i.02
  41   %0 = load i32, i32* %arrayidx, align 4
  42   %add = add nsw i32 %0, %a.03
  43   %inc = add nsw i32 %i.02, 1
  44   %exitcond = icmp eq i32 %inc, %n
  45   br i1 %exitcond, label %for.end.loopexit, label %for.body
  46
  47 for.end.loopexit:
  48   br label %for.end
  49
  50 for.end:
  51   %a.0.lcssa = phi i32 [ 0, %entry ], [ %add, %for.end.loopexit ]
  52   ret i32 %a.0.lcssa
  53 }
  54
  55 ; Case 3 : Induction variable increment more than 1.
  56 ; CHECK-LABEL: @hwloop3
  57 ; CHECK: lsr(r{{[0-9]+}},#2)
  58 ; CHECK: loop0(.LBB{{.}}_{{.}},r{{[0-9]+}})
  59 ; CHECK: endloop0
  60
  61 define i32 @hwloop3(i32 %n, i32* nocapture %b) nounwind {
  62 entry:
  63   %cmp1 = icmp sgt i32 %n, 0
  64   br i1 %cmp1, label %for.body.preheader, label %for.end
  65
  66 for.body.preheader:
  67   br label %for.body
  68
  69 for.body:
  70   %a.03 = phi i32 [ %add, %for.body ], [ 0, %for.body.preheader ]
  71   %i.02 = phi i32 [ %inc, %for.body ], [ 0, %for.body.preheader ]
  72   %arrayidx = getelementptr inbounds i32, i32* %b, i32 %i.02
  73   %0 = load i32, i32* %arrayidx, align 4
  74   %add = add nsw i32 %0, %a.03
  75   %inc = add nsw i32 %i.02, 4
  76   %exitcond = icmp eq i32 %inc, %n
  77   br i1 %exitcond, label %for.end.loopexit, label %for.body
  78
  79 for.end.loopexit:
  80   br label %for.end
  81
  82 for.end:
  83   %a.0.lcssa = phi i32 [ 0, %entry ], [ %add, %for.end.loopexit ]
  84   ret i32 %a.0.lcssa
  85 }
  86
  87 ; Case 4 : Loop exit compare uses register instead of immediate value.
  88 ; CHECK-LABEL: @hwloop4
  89 ; CHECK: loop0(.LBB{{.}}_{{.}},r{{[0-9]+}})
  90 ; CHECK: endloop0
  91
  92 define i32 @hwloop4(i32 %n, i32* nocapture %b) nounwind {
  93 entry:
  94   %cmp1 = icmp sgt i32 %n, 0
  95   br i1 %cmp1, label %for.body.preheader, label %for.end
  96
  97 for.body.preheader:
  98   br label %for.body
  99
 100 for.body:
 101   %i.02 = phi i32 [ %inc, %for.body ], [ 0, %for.body.preheader ]
 102   %arrayidx = getelementptr inbounds i32, i32* %b, i32 %i.02
 103   store i32 %i.02, i32* %arrayidx, align 4
 104   %inc = add nsw i32 %i.02, 1
 105   %exitcond = icmp eq i32 %inc, %n
 106   br i1 %exitcond, label %for.end.loopexit, label %for.body
 107
 108 for.end.loopexit:
 109   br label %for.end
 110
 111 for.end:
 112   ret i32 0
 113 }
 114
 115 ; Case 5: After LSR, the initial value is 100 and the iv decrements to 0.
 116 ; CHECK-LABEL: @hwloop5
 117 ; CHECK: loop0(.LBB{{.}}_{{.}},#100)
 118 ; CHECK: endloop0
 119
 120 define void @hwloop5(i32* nocapture %a, i32* nocapture %res) nounwind {
 121 entry:
 122   br label %for.body
 123
 124 for.body:
 125   %i.03 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
 126   %arrayidx = getelementptr inbounds i32, i32* %a, i32 %i.03
 127   %0 = load i32, i32* %arrayidx, align 4
 128   %mul = mul nsw i32 %0, %0
 129   %arrayidx2 = getelementptr inbounds i32, i32* %res, i32 %i.03
 130   store i32 %mul, i32* %arrayidx2, align 4
 131   %inc = add nsw i32 %i.03, 1
 132   %exitcond = icmp eq i32 %inc, 100
 133   br i1 %exitcond, label %for.end, label %for.body
 134
 135 for.end:
 136   ret void
 137 }
 138
 139 ; Case 6: Large immediate offset
 140 ; CHECK-LABEL: @hwloop6
 141 ; CHECK-NOT: loop0(.LBB{{.}}_{{.}},#1024)
 142 ; CHECK: loop0(.LBB{{.}}_{{.}},r{{[0-9]+}})
 143 ; CHECK: endloop0
 144
 145 define void @hwloop6(i32* nocapture %a, i32* nocapture %res) nounwind {
 146 entry:
 147   br label %for.body
 148
 149 for.body:
 150   %i.02 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
 151   %arrayidx = getelementptr inbounds i32, i32* %a, i32 %i.02
 152   %0 = load i32, i32* %arrayidx, align 4
 153   %arrayidx1 = getelementptr inbounds i32, i32* %res, i32 %i.02
 154   store i32 %0, i32* %arrayidx1, align 4
 155   %inc = add nsw i32 %i.02, 1
 156   %exitcond = icmp eq i32 %inc, 1024
 157   br i1 %exitcond, label %for.end, label %for.body
 158
 159 for.end:
 160   ret void
 161 }