; RUN: llc -mtriple=hexagon -mcpu=hexagonv5 -O3 < %s | FileCheck %s

; CHECK-LABEL: f0:
; CHECK: loop0
; a < b
define void @f0(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 28395, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ 28395, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 1
  %v8 = icmp sle i32 %v7, %a2
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f1:
; CHECK: loop0
; a < b
define void @f1(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 9073, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ 9073, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 2
  %v8 = icmp sle i32 %v7, %a2
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f2:
; CHECK: loop0
; a < b
define void @f2(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 21956, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ 21956, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 4
  %v8 = icmp sle i32 %v7, %a2
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f3:
; CHECK: loop0
; a < b
define void @f3(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 16782, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ 16782, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 8
  %v8 = icmp sle i32 %v7, %a2
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f4:
; CHECK: loop0
; a < b
define void @f4(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 19097, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ 19097, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 16
  %v8 = icmp sle i32 %v7, %a2
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f5:
; CHECK: loop0
; a < b
define void @f5(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 %a1, 14040
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ %a1, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 1
  %v8 = icmp sle i32 %v7, 14040
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f6:
; CHECK: loop0
; a < b
define void @f6(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 %a1, 13710
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ %a1, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 2
  %v8 = icmp sle i32 %v7, 13710
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f7:
; CHECK: loop0
; a < b
define void @f7(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 %a1, 9920
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ %a1, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 4
  %v8 = icmp sle i32 %v7, 9920
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f8:
; CHECK: loop0
; a < b
define void @f8(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 %a1, 18924
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ %a1, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 8
  %v8 = icmp sle i32 %v7, 18924
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f9:
; CHECK: loop0
; a < b
define void @f9(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 %a1, 11812
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ %a1, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 16
  %v8 = icmp sle i32 %v7, 11812
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f10:
; CHECK: loop0
; a < b
define void @f10(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 %a1, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ %a1, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 1
  %v8 = icmp sle i32 %v7, %a2
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f11:
; CHECK: loop0
; a < b
define void @f11(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 %a1, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ %a1, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 2
  %v8 = icmp sle i32 %v7, %a2
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f12:
; CHECK: loop0
; a < b
define void @f12(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 %a1, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ %a1, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 4
  %v8 = icmp sle i32 %v7, %a2
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f13:
; CHECK: loop0
; a < b
define void @f13(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 %a1, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ %a1, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 8
  %v8 = icmp sle i32 %v7, %a2
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

; CHECK-LABEL: f14:
; CHECK: loop0
; a < b
define void @f14(ptr nocapture %a0, i32 %a1, i32 %a2) #0 {
b0:
  %v0 = icmp sle i32 %a1, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ %a1, %b1 ], [ %v7, %b2 ]
  %v2 = getelementptr inbounds i8, ptr %a0, i32 %v1
  %v3 = load i8, ptr %v2, align 1
  %v4 = zext i8 %v3 to i32
  %v5 = add nsw i32 %v4, 1
  %v6 = trunc i32 %v5 to i8
  store i8 %v6, ptr %v2, align 1
  %v7 = add nsw i32 %v1, 16
  %v8 = icmp sle i32 %v7, %a2
  br i1 %v8, label %b2, label %b3

b3:                                               ; preds = %b2, %b0
  ret void
}

attributes #0 = { nounwind "target-cpu"="hexagonv5" }