409 lines
11 KiB
LLVM
409 lines
11 KiB
LLVM
|
; RUN: llc -march=hexagon -O3 < %s | FileCheck %s
|
||
|
|
|
||
|
|
; CHECK-LABEL: f0:
|
||
|
|
; CHECK: loop0
|
||
|
|
; a < b
|
||
|
|
define void @f0(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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(i8* 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, i8* %a0, i32 %v1
|
||
|
|
%v3 = load i8, i8* %v2, align 1
|
||
|
|
%v4 = zext i8 %v3 to i32
|
||
|
|
%v5 = add nsw i32 %v4, 1
|
||
|
|
%v6 = trunc i32 %v5 to i8
|
||
|
|
store i8 %v6, i8* %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" }
|