Compiler projects using llvm
; RUN: llc -march=hexagon < %s | FileCheck %s
; Check that there are no packets with two or more instructions, except
; for the endloop packet.

; This is the expected code:
;
;  p0 = cmp.gt(r3,#0)
;  if (!p0) jump:nt .LBB0_3
;  loop0(.LBB0_2,r3)
;  r3 = memw(r1++#4)
;  r4 = memw(r2++#4)
;  r3 = add(r4,r3)
;  memw(r0++#4) = r3
;  { nop; nop }:endloop0
;  jumpr r31

; CHECK-LABEL: fred:
; CHECK:      {
; CHECK-NEXT:   cmp
; CHECK-NEXT: }
; CHECK:      {
; CHECK-NEXT:   jump
; CHECK-NEXT: }
; CHECK:      {
; CHECK-NEXT:   loop0
; CHECK-NEXT: }
; CHECK:      {
; CHECK-NEXT:   memw
; CHECK-NEXT: }
; CHECK:      {
; CHECK-NEXT:   memw
; CHECK-NEXT: }
; CHECK:      {
; CHECK-NEXT:   add
; CHECK-NEXT: }
; CHECK:      {
; CHECK-NEXT:   memw
; CHECK-NEXT: }
; CHECK:      {
; CHECK-NEXT:   nop
; CHECK-NEXT:   nop
; CHECK-NEXT: }{{[ \t]*}}:endloop0
; CHECK:      {
; CHECK-NEXT:   jumpr r31
; CHECK-NEXT: }

target triple = "hexagon"


define void @fred(i32* nocapture %a0, i32* nocapture readonly %a1, i32* nocapture readonly %a2, i32 %a3) local_unnamed_addr #0 {
b4:
  %v5 = icmp sgt i32 %a3, 0
  br i1 %v5, label %b6, label %b21

b6:                                               ; preds = %b4
  br label %b7

b7:                                               ; preds = %b7, %b6
  %v8 = phi i32 [ %v18, %b7 ], [ 0, %b6 ]
  %v9 = phi i32* [ %v17, %b7 ], [ %a0, %b6 ]
  %v10 = phi i32* [ %v14, %b7 ], [ %a2, %b6 ]
  %v11 = phi i32* [ %v12, %b7 ], [ %a1, %b6 ]
  %v12 = getelementptr inbounds i32, i32* %v11, i32 1
  %v13 = load i32, i32* %v11, align 4
  %v14 = getelementptr inbounds i32, i32* %v10, i32 1
  %v15 = load i32, i32* %v10, align 4
  %v16 = add nsw i32 %v15, %v13
  %v17 = getelementptr inbounds i32, i32* %v9, i32 1
  store i32 %v16, i32* %v9, align 4
  %v18 = add nuw nsw i32 %v8, 1
  %v19 = icmp eq i32 %v18, %a3
  br i1 %v19, label %b20, label %b7

b20:                                              ; preds = %b7
  br label %b21

b21:                                              ; preds = %b20, %b4
  ret void
}

attributes #0 = { norecurse nounwind "target-cpu"="hexagonv60" "target-features"="-packets" }