test/CodeGen/Hexagon/cext-valid-packet2.ll

   1 ; RUN: llc -march=hexagon -mcpu=hexagonv4 < %s | FileCheck %s
   2 ; Check that the packetizer generates valid packets with constant
   3 ; extended add and base+offset store instructions.
   4
   5 ; CHECK: {
   6 ; CHECK-NEXT: r{{[0-9]+}}{{ *}}={{ *}}add(r{{[0-9]+}}, ##{{[0-9]+}})
   7 ; CHECK-NEXT: memw(r{{[0-9]+}}+{{ *}}##{{[0-9]+}}){{ *}}={{ *}}r{{[0-9]+}}.new
   8 ; CHECK-NEXT: }
   9
  10 define i32 @test(i32* nocapture %a, i32* nocapture %b, i32 %c) nounwind {
  11 entry:
  12   %add = add nsw i32 %c, 200002
  13   %0 = load i32, i32* %a, align 4
  14   %add1 = add nsw i32 %0, 200000
  15   %arrayidx2 = getelementptr inbounds i32, i32* %a, i32 3000
  16   store i32 %add1, i32* %arrayidx2, align 4
  17   %1 = load i32, i32* %b, align 4
  18   %add4 = add nsw i32 %1, 200001
  19   %arrayidx5 = getelementptr inbounds i32, i32* %a, i32 1
  20   store i32 %add4, i32* %arrayidx5, align 4
  21   %arrayidx7 = getelementptr inbounds i32, i32* %b, i32 1
  22   %2 = load i32, i32* %arrayidx7, align 4
  23   %cmp = icmp sgt i32 %add4, %2
  24   br i1 %cmp, label %if.then, label %if.else
  25
  26 if.then:                                          ; preds = %entry
  27   %arrayidx8 = getelementptr inbounds i32, i32* %a, i32 2
  28   %3 = load i32, i32* %arrayidx8, align 4
  29   %arrayidx9 = getelementptr inbounds i32, i32* %b, i32 2000
  30   %4 = load i32, i32* %arrayidx9, align 4
  31   %sub = sub nsw i32 %3, %4
  32   %arrayidx10 = getelementptr inbounds i32, i32* %a, i32 4000
  33   store i32 %sub, i32* %arrayidx10, align 4
  34   br label %if.end
  35
  36 if.else:                                          ; preds = %entry
  37   %arrayidx11 = getelementptr inbounds i32, i32* %b, i32 3200
  38   store i32 %add, i32* %arrayidx11, align 4
  39   br label %if.end
  40
  41 if.end:                                           ; preds = %if.else, %if.then
  42   ret i32 %add
  43 }