-; RUN: llc -mtriple=arm-eabi %s -o - | FileCheck %s
+; 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
-define i32 @f1(i8* %p) {
+
+; 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:
- %tmp = load i8, i8* %p ; <i8> [#uses=1]
- %tmp1 = sext i8 %tmp to i32 ; <i32> [#uses=1]
- ret i32 %tmp1
+ %arrayidx = getelementptr inbounds i16, i16* %p, i32 32
+ %0 = load i16, i16* %arrayidx, align 2
+ %conv = zext i16 %0 to i32
+ ret i32 %conv
}
-define i32 @f2(i8* %p) {
+; 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:
- %tmp = load i8, i8* %p ; <i8> [#uses=1]
- %tmp2 = zext i8 %tmp to i32 ; <i32> [#uses=1]
- ret i32 %tmp2
+ %arrayidx = getelementptr inbounds i32, i32* %p, i32 32
+ %0 = load i32, i32* %arrayidx, align 4
+ ret i32 %0
}
-define i32 @f3(i16* %p) {
+; 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:
- %tmp = load i16, i16* %p ; <i16> [#uses=1]
- %tmp3 = sext i16 %tmp to i32 ; <i32> [#uses=1]
- ret i32 %tmp3
+ %conv = trunc i32 %x to i8
+ %arrayidx = getelementptr inbounds i8, i8* %p, i32 32
+ store i8 %conv, i8* %arrayidx, align 1
+ ret void
}
-define i32 @f4(i16* %p) {
+; 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:
- %tmp = load i16, i16* %p ; <i16> [#uses=1]
- %tmp4 = zext i16 %tmp to i32 ; <i32> [#uses=1]
- ret i32 %tmp4
+ %conv = trunc i32 %x to i16
+ %arrayidx = getelementptr inbounds i16, i16* %p, i32 32
+ store i16 %conv, i16* %arrayidx, align 2
+ ret void
}
-; CHECK: ldrsb
-; CHECK: ldrb
-; CHECK: ldrsh
-; CHECK: ldrh
+; 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
+}
projects / oota-llvm.git / blobdiff