test/CodeGen/Hexagon/swp-const-tc.ll

   1 ; RUN: llc -march=hexagon -mcpu=hexagonv5 -enable-pipeliner -verify-machineinstrs < %s | FileCheck %s
   2
   3 ; If the trip count is a compile-time constant, then decrement it instead
   4 ; of computing a new LC0 value.
   5
   6 ; CHECK-LABEL: @test
   7 ; CHECK: loop0(.LBB0_1,#999)
   8
   9 define i32 @test(i32* %A, i32* %B, i32 %count) {
  10 entry:
  11   br label %for.body
  12
  13 for.body:
  14   %sum.02 = phi i32 [ 0, %entry ], [ %add, %for.body ]
  15   %arrayidx.phi = phi i32* [ %A, %entry ], [ %arrayidx.inc, %for.body ]
  16   %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  17   %0 = load i32, i32* %arrayidx.phi, align 4
  18   %add = add nsw i32 %0, %sum.02
  19   %inc = add nsw i32 %i.01, 1
  20   %exitcond = icmp eq i32 %inc, 1000
  21   %arrayidx.inc = getelementptr i32, i32* %arrayidx.phi, i32 1
  22   br i1 %exitcond, label %for.end, label %for.body
  23
  24 for.end:
  25   ret i32 %add
  26 }
  27
  28 ; The constant trip count is small enough that the kernel is not executed.
  29
  30 ; CHECK-LABEL: @test1
  31 ; CHECK-NOT: loop0(
  32
  33 define i32 @test1(i32* %A, i32* %B, i32 %count) {
  34 entry:
  35   br label %for.body
  36
  37 for.body:
  38   %sum.02 = phi i32 [ 0, %entry ], [ %add, %for.body ]
  39   %arrayidx.phi = phi i32* [ %A, %entry ], [ %arrayidx.inc, %for.body ]
  40   %i.01 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  41   %0 = load i32, i32* %arrayidx.phi, align 4
  42   %add = add nsw i32 %0, %sum.02
  43   %inc = add nsw i32 %i.01, 1
  44   %exitcond = icmp eq i32 %inc, 1
  45   %arrayidx.inc = getelementptr i32, i32* %arrayidx.phi, i32 1
  46   br i1 %exitcond, label %for.end, label %for.body
  47
  48 for.end:
  49   ret i32 %add
  50 }
  51