; RUN: llc -mtriple=hexagon -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 slt i32 32623, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ 32623, %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 ne 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 slt i32 29554, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ 29554, %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 ne 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 slt i32 15692, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ 15692, %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 ne 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 slt i32 10449, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ 10449, %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 ne 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 slt i32 32087, %a2
  br i1 %v0, label %b1, label %b3

b1:                                               ; preds = %b0
  br label %b2

b2:                                               ; preds = %b2, %b1
  %v1 = phi i32 [ 32087, %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 ne 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 slt i32 %a1, 3472
  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 ne i32 %v7, 3472
  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 slt i32 %a1, 8730
  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 ne i32 %v7, 8730
  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 slt i32 %a1, 1493
  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 ne i32 %v7, 1493
  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 slt i32 %a1, 1706
  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 ne i32 %v7, 1706
  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 slt i32 %a1, 1886
  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 ne i32 %v7, 1886
  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 slt 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 ne 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 slt 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 ne 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 slt 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 ne 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 slt 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 ne 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 slt 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 ne i32 %v7, %a2
  br i1 %v8, label %b2, label %b3

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

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