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

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