; RUN: llc -march=hexagon -enable-pipeliner -stats -o /dev/null < %s 2>&1 -pipeliner-experimental-cg=true | FileCheck %s --check-prefix=STATS
; REQUIRES: asserts

; We're unable to pipeline a loop with a subreg as an operand of a Phi.

; STATS-NOT: 1 pipeliner   - Number of loops software pipelined

; Function Attrs: nounwind readnone
define void @f0(i32 %a0) #0 {
b0:
  %v0 = sext i32 %a0 to i64
  br label %b1

b1:                                               ; preds = %b1, %b0
  %v1 = phi i32 [ 805306368, %b0 ], [ %v12, %b1 ]
  %v2 = phi i32 [ 5, %b0 ], [ %v13, %b1 ]
  %v3 = sext i32 %v1 to i64
  %v4 = mul nsw i64 %v3, %v0
  %v5 = lshr i64 %v4, 32
  %v6 = trunc i64 %v5 to i32
  %v7 = sub nsw i32 536870912, %v6
  %v8 = sext i32 %v7 to i64
  %v9 = mul nsw i64 %v8, %v3
  %v10 = lshr i64 %v9, 32
  %v11 = shl nuw nsw i64 %v10, 4
  %v12 = trunc i64 %v11 to i32
  %v13 = add nsw i32 %v2, -1
  %v14 = icmp eq i32 %v13, 0
  br i1 %v14, label %b2, label %b1

b2:                                               ; preds = %b1
  ret void
}

attributes #0 = { nounwind readnone "target-cpu"="hexagonv55" }