derek/TheRock
1
0 Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
Files
main
TheRock/compiler/amd-llvm/llvm/test/Transforms/InferAlignment/gep-recurrence.ll
T
derek.holloway 7502bf64a4
CodeQL / Analyze (actions) (push) Canceled after 0s
Details
CodeQL / Analyze (python) (push) Canceled after 0s
Details
pre-commit / pre-commit (push) Canceled after 0s
Details
Multi-Arch CI / setup (push) Canceled after 0s
Details
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Details
Setup (Multi-Arch) / setup (push) Canceled after 0s
Details
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Details
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Details
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Details
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Details
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Details
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
Details
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Details
Multi-Arch CI / CI Summary (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Details
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Details
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Details
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Details
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Details
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Details
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Details
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
Details
Flatten subprojects into a single base monorepo
2026-09-02 16:34:47 -07:00

575 lines
17 KiB
LLVM
Raw Permalink Blame History

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -passes=infer-alignment -S %s | FileCheck %s
target datalayout = "p1:64:64:64:32"
declare i1 @cond()
define void @recur_i8_128(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_128(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 128
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 128
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_128_no_nusw(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_128_no_nusw(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr i8, ptr [[IV]], i64 128
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr i8, ptr %iv, i64 128
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_64(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_64(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 64
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 64
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_63(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_63(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 63
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 63
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_32(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_32(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 32
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 32
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_16(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_16(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 16
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 16
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_8(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_8(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 8
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 8
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_4(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_4(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 4
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 4
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_2(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_2(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 2
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 2
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_1(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_1(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 1
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 1
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_unknown_step(ptr align 128 %dst, i64 %off) {
; CHECK-LABEL: define void @recur_i8_unknown_step(
; CHECK-SAME: ptr align 128 [[DST:%.*]], i64 [[OFF:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 [[OFF]]
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 %off
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_step_known_multiple(ptr align 128 %dst, i64 %off) {
; CHECK-LABEL: define void @recur_i8_step_known_multiple(
; CHECK-SAME: ptr align 128 [[DST:%.*]], i64 [[OFF:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: [[UREM:%.*]] = urem i64 [[OFF]], 128
; CHECK-NEXT: [[C_UREM:%.*]] = icmp eq i64 [[UREM]], 0
; CHECK-NEXT: [[C_POS:%.*]] = icmp sge i64 [[OFF]], 0
; CHECK-NEXT: [[AND:%.*]] = and i1 [[C_UREM]], [[C_POS]]
; CHECK-NEXT: br i1 [[AND]], label %[[LOOP:.*]], label %[[EXIT:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 [[OFF]]
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
%urem = urem i64 %off, 128
%c.urem = icmp eq i64 %urem, 0
%c.pos = icmp sge i64 %off, 0
%and = and i1 %c.urem, %c.pos
br i1 %and, label %loop, label %exit
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 %off
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_i16_128(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_i16_128(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i16 128
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i16 128
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_i8_132(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_i8_132(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i8 -124
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i8 132
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i32_4(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i32_4(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i32, ptr [[IV]], i64 4
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i32, ptr %iv, i64 4
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i32_3(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i32_3(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i32, ptr [[IV]], i64 4
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i32, ptr %iv, i64 4
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_neg_128(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_neg_128(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 -128
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 -128
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_neg64(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_neg64(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 -64
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 -64
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_neg_63(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_neg_63(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 -63
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 -63
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
define void @recur_i8_neg_32(ptr align 128 %dst) {
; CHECK-LABEL: define void @recur_i8_neg_32(
; CHECK-SAME: ptr align 128 [[DST:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LOOP:.*]]
; CHECK: [[LOOP]]:
; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[DST]], %[[ENTRY]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]
; CHECK-NEXT: store i64 0, ptr [[IV]], align 1
; CHECK-NEXT: [[IV_NEXT]] = getelementptr nusw i8, ptr [[IV]], i64 -32
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label %[[LOOP]], label %[[EXIT:.*]]
; CHECK: [[EXIT]]:
; CHECK-NEXT: ret void
;
entry:
br label %loop
loop:
%iv = phi ptr [ %dst, %entry ], [ %iv.next, %loop ]
store i64 0, ptr %iv, align 1
%iv.next = getelementptr nusw i8, ptr %iv, i64 -32
%c = call i1 @cond()
br i1 %c, label %loop, label %exit
exit:
ret void
}
Reference in new issue View Git Blame Copy Permalink