aboutsummaryrefslogtreecommitdiff
path: root/test/CodeGen/ARM/load.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/CodeGen/ARM/load.ll')
-rw-r--r--test/CodeGen/ARM/load.ll564
1 files changed, 0 insertions, 564 deletions
diff --git a/test/CodeGen/ARM/load.ll b/test/CodeGen/ARM/load.ll
deleted file mode 100644
index b8f3003755a0..000000000000
--- a/test/CodeGen/ARM/load.ll
+++ /dev/null
@@ -1,564 +0,0 @@
-; RUN: llc -mtriple=thumbv6m-eabi %s -o - | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-T1
-; RUN: llc -mtriple=thumbv7m-eabi %s -o - | FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-T2
-
-
-; Register offset
-
-; CHECK-LABEL: ldrsb_rr
-; CHECK: ldrsb r0, [r0, r1]
-define i32 @ldrsb_rr(i8* %p, i32 %n) {
-entry:
- %arrayidx = getelementptr inbounds i8, i8* %p, i32 %n
- %0 = load i8, i8* %arrayidx, align 1
- %conv = sext i8 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrsh_rr
-; CHECK-T1: lsls r1, r1, #1
-; CHECK-T1: ldrsh r0, [r0, r1]
-; CHECK-T2: ldrsh.w r0, [r0, r1, lsl #1]
-define i32 @ldrsh_rr(i16* %p, i32 %n) {
-entry:
- %arrayidx = getelementptr inbounds i16, i16* %p, i32 %n
- %0 = load i16, i16* %arrayidx, align 2
- %conv = sext i16 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrb_rr
-; CHECK: ldrb r0, [r0, r1]
-define i32 @ldrb_rr(i8* %p, i32 %n) {
-entry:
- %arrayidx = getelementptr inbounds i8, i8* %p, i32 %n
- %0 = load i8, i8* %arrayidx, align 1
- %conv = zext i8 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrh_rr
-; CHECK-T1: lsls r1, r1, #1
-; CHECK-T1: ldrh r0, [r0, r1]
-; CHECK-T2: ldrh.w r0, [r0, r1, lsl #1]
-define i32 @ldrh_rr(i16* %p, i32 %n) {
-entry:
- %arrayidx = getelementptr inbounds i16, i16* %p, i32 %n
- %0 = load i16, i16* %arrayidx, align 2
- %conv = zext i16 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldr_rr
-; CHECK-T1: lsls r1, r1, #2
-; CHECK-T1: ldr r0, [r0, r1]
-; CHECK-T2: ldr.w r0, [r0, r1, lsl #2]
-define i32 @ldr_rr(i32* %p, i32 %n) {
-entry:
- %arrayidx = getelementptr inbounds i32, i32* %p, i32 %n
- %0 = load i32, i32* %arrayidx, align 4
- ret i32 %0
-}
-
-; CHECK-LABEL: strb_rr
-; CHECK: strb r2, [r0, r1]
-define void @strb_rr(i8* %p, i32 %n, i32 %x) {
-entry:
- %conv = trunc i32 %x to i8
- %arrayidx = getelementptr inbounds i8, i8* %p, i32 %n
- store i8 %conv, i8* %arrayidx, align 1
- ret void
-}
-
-; CHECK-LABEL: strh_rr
-; CHECK-T1: lsls r1, r1, #1
-; CHECK-T1: strh r2, [r0, r1]
-; CHECK-T2: strh.w r2, [r0, r1, lsl #1]
-define void @strh_rr(i16* %p, i32 %n, i32 %x) {
-entry:
- %conv = trunc i32 %x to i16
- %arrayidx = getelementptr inbounds i16, i16* %p, i32 %n
- store i16 %conv, i16* %arrayidx, align 2
- ret void
-}
-
-; CHECK-LABEL: str_rr
-; CHECK-T1: lsls r1, r1, #2
-; CHECK-T1: str r2, [r0, r1]
-; CHECK-T2: str.w r2, [r0, r1, lsl #2]
-define void @str_rr(i32* %p, i32 %n, i32 %x) {
-entry:
- %arrayidx = getelementptr inbounds i32, i32* %p, i32 %n
- store i32 %x, i32* %arrayidx, align 4
- ret void
-}
-
-
-; Immediate offset of zero
-
-; CHECK-LABEL: ldrsb_ri_zero
-; CHECK-T1: ldrb r0, [r0]
-; CHECK-T1: sxtb r0, r0
-; CHECK-T2: ldrsb.w r0, [r0]
-define i32 @ldrsb_ri_zero(i8* %p) {
-entry:
- %0 = load i8, i8* %p, align 1
- %conv = sext i8 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrsh_ri_zero
-; CHECK-T1: ldrh r0, [r0]
-; CHECK-T1: sxth r0, r0
-; CHECK-T2: ldrsh.w r0, [r0]
-define i32 @ldrsh_ri_zero(i16* %p) {
-entry:
- %0 = load i16, i16* %p, align 2
- %conv = sext i16 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrb_ri_zero
-; CHECK: ldrb r0, [r0]
-define i32 @ldrb_ri_zero(i8* %p) {
-entry:
- %0 = load i8, i8* %p, align 1
- %conv = zext i8 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrh_ri_zero
-; CHECK: ldrh r0, [r0]
-define i32 @ldrh_ri_zero(i16* %p) {
-entry:
- %0 = load i16, i16* %p, align 2
- %conv = zext i16 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldr_ri_zero
-; CHECK: ldr r0, [r0]
-define i32 @ldr_ri_zero(i32* %p) {
-entry:
- %0 = load i32, i32* %p, align 4
- ret i32 %0
-}
-
-; CHECK-LABEL: strb_ri_zero
-; CHECK: strb r1, [r0]
-define void @strb_ri_zero(i8* %p, i32 %x) {
-entry:
- %conv = trunc i32 %x to i8
- store i8 %conv, i8* %p, align 1
- ret void
-}
-
-; CHECK-LABEL: strh_ri_zero
-; CHECK: strh r1, [r0]
-define void @strh_ri_zero(i16* %p, i32 %x) {
-entry:
- %conv = trunc i32 %x to i16
- store i16 %conv, i16* %p, align 2
- ret void
-}
-
-; CHECK-LABEL: str_ri_zero
-; CHECK: str r1, [r0]
-define void @str_ri_zero(i32* %p, i32 %x) {
-entry:
- store i32 %x, i32* %p, align 4
- ret void
-}
-
-
-; Maximum Thumb-1 immediate offset
-
-; CHECK-LABEL: ldrsb_ri_t1_max
-; CHECK-T1: movs r1, #31
-; CHECK-T1: ldrsb r0, [r0, r1]
-; CHECK-T2: ldrsb.w r0, [r0, #31]
-define i32 @ldrsb_ri_t1_max(i8* %p) {
-entry:
- %arrayidx = getelementptr inbounds i8, i8* %p, i32 31
- %0 = load i8, i8* %arrayidx, align 1
- %conv = sext i8 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrsh_ri_t1_max
-; CHECK-T1: movs r1, #62
-; CHECK-T1: ldrsh r0, [r0, r1]
-; CHECK-T2: ldrsh.w r0, [r0, #62]
-define i32 @ldrsh_ri_t1_max(i16* %p) {
-entry:
- %arrayidx = getelementptr inbounds i16, i16* %p, i32 31
- %0 = load i16, i16* %arrayidx, align 2
- %conv = sext i16 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrb_ri_t1_max
-; CHECK: ldrb r0, [r0, #31]
-define i32 @ldrb_ri_t1_max(i8* %p) {
-entry:
- %arrayidx = getelementptr inbounds i8, i8* %p, i32 31
- %0 = load i8, i8* %arrayidx, align 1
- %conv = zext i8 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrh_ri_t1_max
-; CHECK: ldrh r0, [r0, #62]
-define i32 @ldrh_ri_t1_max(i16* %p) {
-entry:
- %arrayidx = getelementptr inbounds i16, i16* %p, i32 31
- %0 = load i16, i16* %arrayidx, align 2
- %conv = zext i16 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldr_ri_t1_max
-; CHECK: ldr r0, [r0, #124]
-define i32 @ldr_ri_t1_max(i32* %p) {
-entry:
- %arrayidx = getelementptr inbounds i32, i32* %p, i32 31
- %0 = load i32, i32* %arrayidx, align 4
- ret i32 %0
-}
-
-; CHECK-LABEL: strb_ri_t1_max
-; CHECK: strb r1, [r0, #31]
-define void @strb_ri_t1_max(i8* %p, i32 %x) {
-entry:
- %conv = trunc i32 %x to i8
- %arrayidx = getelementptr inbounds i8, i8* %p, i32 31
- store i8 %conv, i8* %arrayidx, align 1
- ret void
-}
-
-; CHECK-LABEL: strh_ri_t1_max
-; CHECK: strh r1, [r0, #62]
-define void @strh_ri_t1_max(i16* %p, i32 %x) {
-entry:
- %conv = trunc i32 %x to i16
- %arrayidx = getelementptr inbounds i16, i16* %p, i32 31
- store i16 %conv, i16* %arrayidx, align 2
- ret void
-}
-
-; CHECK-LABEL: str_ri_t1_max
-; CHECK: str r1, [r0, #124]
-define void @str_ri_t1_max(i32* %p, i32 %x) {
-entry:
- %arrayidx = getelementptr inbounds i32, i32* %p, i32 31
- store i32 %x, i32* %arrayidx, align 4
- ret void
-}
-
-
-; One past maximum Thumb-1 immediate offset
-
-; CHECK-LABEL: ldrsb_ri_t1_too_big
-; CHECK-T1: movs r1, #32
-; CHECK-T1: ldrsb r0, [r0, r1]
-; CHECK-T2: ldrsb.w r0, [r0, #32]
-define i32 @ldrsb_ri_t1_too_big(i8* %p) {
-entry:
- %arrayidx = getelementptr inbounds i8, i8* %p, i32 32
- %0 = load i8, i8* %arrayidx, align 1
- %conv = sext i8 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrsh_ri_t1_too_big
-; CHECK-T1: movs r1, #64
-; CHECK-T1: ldrsh r0, [r0, r1]
-; CHECK-T2: ldrsh.w r0, [r0, #64]
-define i32 @ldrsh_ri_t1_too_big(i16* %p) {
-entry:
- %arrayidx = getelementptr inbounds i16, i16* %p, i32 32
- %0 = load i16, i16* %arrayidx, align 2
- %conv = sext i16 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrb_ri_t1_too_big
-; CHECK-T1: movs r1, #32
-; CHECK-T1: ldrb r0, [r0, r1]
-; CHECK-T2: ldrb.w r0, [r0, #32]
-define i32 @ldrb_ri_t1_too_big(i8* %p) {
-entry:
- %arrayidx = getelementptr inbounds i8, i8* %p, i32 32
- %0 = load i8, i8* %arrayidx, align 1
- %conv = zext i8 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrh_ri_t1_too_big
-; CHECK-T1: movs r1, #64
-; CHECK-T1: ldrh r0, [r0, r1]
-; CHECK-T2: ldrh.w r0, [r0, #64]
-define i32 @ldrh_ri_t1_too_big(i16* %p) {
-entry:
- %arrayidx = getelementptr inbounds i16, i16* %p, i32 32
- %0 = load i16, i16* %arrayidx, align 2
- %conv = zext i16 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldr_ri_t1_too_big
-; CHECK-T1: movs r1, #128
-; CHECK-T1: ldr r0, [r0, r1]
-; CHECK-T2: ldr.w r0, [r0, #128]
-define i32 @ldr_ri_t1_too_big(i32* %p) {
-entry:
- %arrayidx = getelementptr inbounds i32, i32* %p, i32 32
- %0 = load i32, i32* %arrayidx, align 4
- ret i32 %0
-}
-
-; CHECK-LABEL: strb_ri_t1_too_big
-; CHECK-T1: movs r2, #32
-; CHECK-T1: strb r1, [r0, r2]
-; CHECK-T2: strb.w r1, [r0, #32]
-define void @strb_ri_t1_too_big(i8* %p, i32 %x) {
-entry:
- %conv = trunc i32 %x to i8
- %arrayidx = getelementptr inbounds i8, i8* %p, i32 32
- store i8 %conv, i8* %arrayidx, align 1
- ret void
-}
-
-; CHECK-LABEL: strh_ri_t1_too_big
-; CHECK-T1: movs r2, #64
-; CHECK-T1: strh r1, [r0, r2]
-; CHECK-T2: strh.w r1, [r0, #64]
-define void @strh_ri_t1_too_big(i16* %p, i32 %x) {
-entry:
- %conv = trunc i32 %x to i16
- %arrayidx = getelementptr inbounds i16, i16* %p, i32 32
- store i16 %conv, i16* %arrayidx, align 2
- ret void
-}
-
-; CHECK-LABEL: str_ri_t1_too_big
-; CHECK-T1: movs r2, #128
-; CHECK-T1: str r1, [r0, r2]
-; CHECK-T2: str.w r1, [r0, #128]
-define void @str_ri_t1_too_big(i32* %p, i32 %x) {
-entry:
- %arrayidx = getelementptr inbounds i32, i32* %p, i32 32
- store i32 %x, i32* %arrayidx, align 4
- ret void
-}
-
-
-; Maximum Thumb-2 immediate offset
-
-; CHECK-LABEL: ldrsb_ri_t2_max
-; CHECK-T1: ldr r1, .LCP
-; CHECK-T1: ldrsb r0, [r0, r1]
-; CHECK-T2: ldrsb.w r0, [r0, #4095]
-define i32 @ldrsb_ri_t2_max(i8* %p) {
-entry:
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
- %0 = load i8, i8* %add.ptr, align 1
- %conv = sext i8 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrsh_ri_t2_max
-; CHECK-T1: ldr r1, .LCP
-; CHECK-T1: ldrsh r0, [r0, r1]
-; CHECK-T2: ldrsh.w r0, [r0, #4095]
-define i32 @ldrsh_ri_t2_max(i8* %p) {
-entry:
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
- %0 = bitcast i8* %add.ptr to i16*
- %1 = load i16, i16* %0, align 2
- %conv = sext i16 %1 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrb_ri_t2_max
-; CHECK-T1: ldr r1, .LCP
-; CHECK-T1: ldrb r0, [r0, r1]
-; CHECK-T2: ldrb.w r0, [r0, #4095]
-define i32 @ldrb_ri_t2_max(i8* %p) {
-entry:
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
- %0 = load i8, i8* %add.ptr, align 1
- %conv = zext i8 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrh_ri_t2_max
-; CHECK-T1: ldr r1, .LCP
-; CHECK-T1: ldrh r0, [r0, r1]
-; CHECK-T2: ldrh.w r0, [r0, #4095]
-define i32 @ldrh_ri_t2_max(i8* %p) {
-entry:
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
- %0 = bitcast i8* %add.ptr to i16*
- %1 = load i16, i16* %0, align 2
- %conv = zext i16 %1 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldr_ri_t2_max
-; CHECK-T1: ldr r1, .LCP
-; CHECK-T1: ldr r0, [r0, r1]
-; CHECK-T2: ldr.w r0, [r0, #4095]
-define i32 @ldr_ri_t2_max(i8* %p) {
-entry:
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
- %0 = bitcast i8* %add.ptr to i32*
- %1 = load i32, i32* %0, align 4
- ret i32 %1
-}
-
-; CHECK-LABEL: strb_ri_t2_max
-; CHECK-T1: ldr r2, .LCP
-; CHECK-T1: strb r1, [r0, r2]
-; CHECK-T2: strb.w r1, [r0, #4095]
-define void @strb_ri_t2_max(i8* %p, i32 %x) {
-entry:
- %conv = trunc i32 %x to i8
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
- store i8 %conv, i8* %add.ptr, align 1
- ret void
-}
-
-; CHECK-LABEL: strh_ri_t2_max
-; CHECK-T1: ldr r2, .LCP
-; CHECK-T1: strh r1, [r0, r2]
-; CHECK-T2: strh.w r1, [r0, #4095]
-define void @strh_ri_t2_max(i8* %p, i32 %x) {
-entry:
- %conv = trunc i32 %x to i16
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
- %0 = bitcast i8* %add.ptr to i16*
- store i16 %conv, i16* %0, align 2
- ret void
-}
-
-; CHECK-LABEL: str_ri_t2_max
-; CHECK-T1: ldr r2, .LCP
-; CHECK-T1: str r1, [r0, r2]
-; CHECK-T2: str.w r1, [r0, #4095]
-define void @str_ri_t2_max(i8* %p, i32 %x) {
-entry:
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4095
- %0 = bitcast i8* %add.ptr to i32*
- store i32 %x, i32* %0, align 4
- ret void
-}
-
-
-; One past maximum Thumb-2 immediate offset
-
-; CHECK-LABEL: ldrsb_ri_t2_too_big
-; CHECK-T1: movs r1, #1
-; CHECK-T1: lsls r1, r1, #12
-; CHECK-T2: mov.w r1, #4096
-; CHECK: ldrsb r0, [r0, r1]
-define i32 @ldrsb_ri_t2_too_big(i8* %p) {
-entry:
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
- %0 = load i8, i8* %add.ptr, align 1
- %conv = sext i8 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrsh_ri_t2_too_big
-; CHECK-T1: movs r1, #1
-; CHECK-T1: lsls r1, r1, #12
-; CHECK-T2: mov.w r1, #4096
-; CHECK: ldrsh r0, [r0, r1]
-define i32 @ldrsh_ri_t2_too_big(i8* %p) {
-entry:
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
- %0 = bitcast i8* %add.ptr to i16*
- %1 = load i16, i16* %0, align 2
- %conv = sext i16 %1 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrb_ri_t2_too_big
-; CHECK-T1: movs r1, #1
-; CHECK-T1: lsls r1, r1, #12
-; CHECK-T2: mov.w r1, #4096
-; CHECK: ldrb r0, [r0, r1]
-define i32 @ldrb_ri_t2_too_big(i8* %p) {
-entry:
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
- %0 = load i8, i8* %add.ptr, align 1
- %conv = zext i8 %0 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldrh_ri_t2_too_big
-; CHECK-T1: movs r1, #1
-; CHECK-T1: lsls r1, r1, #12
-; CHECK-T2: mov.w r1, #4096
-; CHECK: ldrh r0, [r0, r1]
-define i32 @ldrh_ri_t2_too_big(i8* %p) {
-entry:
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
- %0 = bitcast i8* %add.ptr to i16*
- %1 = load i16, i16* %0, align 2
- %conv = zext i16 %1 to i32
- ret i32 %conv
-}
-
-; CHECK-LABEL: ldr_ri_t2_too_big
-; CHECK-T1: movs r1, #1
-; CHECK-T1: lsls r1, r1, #12
-; CHECK-T2: mov.w r1, #4096
-; CHECK: ldr r0, [r0, r1]
-define i32 @ldr_ri_t2_too_big(i8* %p) {
-entry:
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
- %0 = bitcast i8* %add.ptr to i32*
- %1 = load i32, i32* %0, align 4
- ret i32 %1
-}
-
-; CHECK-LABEL: strb_ri_t2_too_big
-; CHECK-T1: movs r2, #1
-; CHECK-T1: lsls r2, r2, #12
-; CHECK-T2: mov.w r2, #4096
-; CHECK: strb r1, [r0, r2]
-define void @strb_ri_t2_too_big(i8* %p, i32 %x) {
-entry:
- %conv = trunc i32 %x to i8
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
- store i8 %conv, i8* %add.ptr, align 1
- ret void
-}
-
-; CHECK-LABEL: strh_ri_t2_too_big
-; CHECK-T1: movs r2, #1
-; CHECK-T1: lsls r2, r2, #12
-; CHECK-T2: mov.w r2, #4096
-; CHECK: strh r1, [r0, r2]
-define void @strh_ri_t2_too_big(i8* %p, i32 %x) {
-entry:
- %conv = trunc i32 %x to i16
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
- %0 = bitcast i8* %add.ptr to i16*
- store i16 %conv, i16* %0, align 2
- ret void
-}
-
-; CHECK-LABEL: str_ri_t2_too_big
-; CHECK-T1: movs r2, #1
-; CHECK-T1: lsls r2, r2, #12
-; CHECK-T2: mov.w r2, #4096
-; CHECK: str r1, [r0, r2]
-define void @str_ri_t2_too_big(i8* %p, i32 %x) {
-entry:
- %add.ptr = getelementptr inbounds i8, i8* %p, i32 4096
- %0 = bitcast i8* %add.ptr to i32*
- store i32 %x, i32* %0, align 4
- ret void
-}
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-01 15:46:33 +0000