[llvm] r352472 - [ARM] Add extra testcases for D57121. NFC
David Green via llvm-commits
llvm-commits at lists.llvm.org
Tue Jan 29 02:25:56 PST 2019
Author: dmgreen
Date: Tue Jan 29 02:25:56 2019
New Revision: 352472
URL: http://llvm.org/viewvc/llvm-project?rev=352472&view=rev
Log:
[ARM] Add extra testcases for D57121. NFC
Modified:
llvm/trunk/test/CodeGen/ARM/load.ll
Modified: llvm/trunk/test/CodeGen/ARM/load.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/ARM/load.ll?rev=352472&r1=352471&r2=352472&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/ARM/load.ll (original)
+++ llvm/trunk/test/CodeGen/ARM/load.ll Tue Jan 29 02:25:56 2019
@@ -562,3 +562,485 @@ entry:
store i32 %x, i32* %0, align 4
ret void
}
+
+
+; Negative offset
+
+define i32 @ldrsb_ri_negative(i8* %p) {
+; CHECK-T1-LABEL: ldrsb_ri_negative:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #0
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldrsb r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldrsb_ri_negative:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: ldrsb r0, [r0, #-1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -1
+ %0 = load i8, i8* %add.ptr, align 1
+ %conv = sext i8 %0 to i32
+ ret i32 %conv
+}
+
+define i32 @ldrsh_ri_negative(i8* %p) {
+; CHECK-T1-LABEL: ldrsh_ri_negative:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #0
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldrsh r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldrsh_ri_negative:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: ldrsh r0, [r0, #-1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -1
+ %0 = bitcast i8* %add.ptr to i16*
+ %1 = load i16, i16* %0, align 2
+ %conv = sext i16 %1 to i32
+ ret i32 %conv
+}
+
+define i32 @ldrb_ri_negative(i8* %p) {
+; CHECK-T1-LABEL: ldrb_ri_negative:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #0
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldrb r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldrb_ri_negative:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: ldrb r0, [r0, #-1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -1
+ %0 = load i8, i8* %add.ptr, align 1
+ %conv = zext i8 %0 to i32
+ ret i32 %conv
+}
+
+define i32 @ldrh_ri_negative(i8* %p) {
+; CHECK-T1-LABEL: ldrh_ri_negative:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #0
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldrh r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldrh_ri_negative:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: ldrh r0, [r0, #-1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -1
+ %0 = bitcast i8* %add.ptr to i16*
+ %1 = load i16, i16* %0, align 2
+ %conv = zext i16 %1 to i32
+ ret i32 %conv
+}
+
+define i32 @ldr_ri_negative(i8* %p) {
+; CHECK-T1-LABEL: ldr_ri_negative:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #0
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldr r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldr_ri_negative:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: ldr r0, [r0, #-1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -1
+ %0 = bitcast i8* %add.ptr to i32*
+ %1 = load i32, i32* %0, align 4
+ ret i32 %1
+}
+
+define void @strb_ri_negative(i8* %p, i32 %x) {
+; CHECK-T1-LABEL: strb_ri_negative:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r2, #0
+; CHECK-T1-NEXT: mvns r2, r2
+; CHECK-T1-NEXT: strb r1, [r0, r2]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: strb_ri_negative:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: strb r1, [r0, #-1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %conv = trunc i32 %x to i8
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -1
+ store i8 %conv, i8* %add.ptr, align 1
+ ret void
+}
+
+define void @strh_ri_negative(i8* %p, i32 %x) {
+; CHECK-T1-LABEL: strh_ri_negative:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r2, #0
+; CHECK-T1-NEXT: mvns r2, r2
+; CHECK-T1-NEXT: strh r1, [r0, r2]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: strh_ri_negative:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: strh r1, [r0, #-1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %conv = trunc i32 %x to i16
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -1
+ %0 = bitcast i8* %add.ptr to i16*
+ store i16 %conv, i16* %0, align 2
+ ret void
+}
+
+define void @str_ri_negative(i8* %p, i32 %x) {
+; CHECK-T1-LABEL: str_ri_negative:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r2, #0
+; CHECK-T1-NEXT: mvns r2, r2
+; CHECK-T1-NEXT: str r1, [r0, r2]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: str_ri_negative:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: str r1, [r0, #-1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -1
+ %0 = bitcast i8* %add.ptr to i32*
+ store i32 %x, i32* %0, align 4
+ ret void
+}
+
+
+; Negative 255 offset
+
+define i32 @ldrsb_ri_negative255(i8* %p) {
+; CHECK-T1-LABEL: ldrsb_ri_negative255:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #254
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldrsb r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldrsb_ri_negative255:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: ldrsb r0, [r0, #-255]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -255
+ %0 = load i8, i8* %add.ptr, align 1
+ %conv = sext i8 %0 to i32
+ ret i32 %conv
+}
+
+define i32 @ldrsh_ri_negative255(i8* %p) {
+; CHECK-T1-LABEL: ldrsh_ri_negative255:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #254
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldrsh r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldrsh_ri_negative255:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: ldrsh r0, [r0, #-255]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -255
+ %0 = bitcast i8* %add.ptr to i16*
+ %1 = load i16, i16* %0, align 2
+ %conv = sext i16 %1 to i32
+ ret i32 %conv
+}
+
+define i32 @ldrb_ri_negative255(i8* %p) {
+; CHECK-T1-LABEL: ldrb_ri_negative255:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #254
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldrb r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldrb_ri_negative255:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: ldrb r0, [r0, #-255]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -255
+ %0 = load i8, i8* %add.ptr, align 1
+ %conv = zext i8 %0 to i32
+ ret i32 %conv
+}
+
+define i32 @ldrh_ri_negative255(i8* %p) {
+; CHECK-T1-LABEL: ldrh_ri_negative255:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #254
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldrh r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldrh_ri_negative255:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: ldrh r0, [r0, #-255]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -255
+ %0 = bitcast i8* %add.ptr to i16*
+ %1 = load i16, i16* %0, align 2
+ %conv = zext i16 %1 to i32
+ ret i32 %conv
+}
+
+define i32 @ldr_ri_negative255(i8* %p) {
+; CHECK-T1-LABEL: ldr_ri_negative255:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #254
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldr r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldr_ri_negative255:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: ldr r0, [r0, #-255]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -255
+ %0 = bitcast i8* %add.ptr to i32*
+ %1 = load i32, i32* %0, align 4
+ ret i32 %1
+}
+
+define void @strb_ri_negative255(i8* %p, i32 %x) {
+; CHECK-T1-LABEL: strb_ri_negative255:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r2, #254
+; CHECK-T1-NEXT: mvns r2, r2
+; CHECK-T1-NEXT: strb r1, [r0, r2]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: strb_ri_negative255:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: strb r1, [r0, #-255]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %conv = trunc i32 %x to i8
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -255
+ store i8 %conv, i8* %add.ptr, align 1
+ ret void
+}
+
+define void @strh_ri_negative255(i8* %p, i32 %x) {
+; CHECK-T1-LABEL: strh_ri_negative255:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r2, #254
+; CHECK-T1-NEXT: mvns r2, r2
+; CHECK-T1-NEXT: strh r1, [r0, r2]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: strh_ri_negative255:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: strh r1, [r0, #-255]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %conv = trunc i32 %x to i16
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -255
+ %0 = bitcast i8* %add.ptr to i16*
+ store i16 %conv, i16* %0, align 2
+ ret void
+}
+
+define void @str_ri_negative255(i8* %p, i32 %x) {
+; CHECK-T1-LABEL: str_ri_negative255:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r2, #254
+; CHECK-T1-NEXT: mvns r2, r2
+; CHECK-T1-NEXT: str r1, [r0, r2]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: str_ri_negative255:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: str r1, [r0, #-255]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -255
+ %0 = bitcast i8* %add.ptr to i32*
+ store i32 %x, i32* %0, align 4
+ ret void
+}
+
+
+; Negative 256 offset
+
+define i32 @ldrsb_ri_negative256(i8* %p) {
+; CHECK-T1-LABEL: ldrsb_ri_negative256:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #255
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldrsb r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldrsb_ri_negative256:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: mvn r1, #255
+; CHECK-T2-NEXT: ldrsb r0, [r0, r1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -256
+ %0 = load i8, i8* %add.ptr, align 1
+ %conv = sext i8 %0 to i32
+ ret i32 %conv
+}
+
+define i32 @ldrsh_ri_negative256(i8* %p) {
+; CHECK-T1-LABEL: ldrsh_ri_negative256:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #255
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldrsh r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldrsh_ri_negative256:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: mvn r1, #255
+; CHECK-T2-NEXT: ldrsh r0, [r0, r1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -256
+ %0 = bitcast i8* %add.ptr to i16*
+ %1 = load i16, i16* %0, align 2
+ %conv = sext i16 %1 to i32
+ ret i32 %conv
+}
+
+define i32 @ldrb_ri_negative256(i8* %p) {
+; CHECK-T1-LABEL: ldrb_ri_negative256:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #255
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldrb r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldrb_ri_negative256:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: mvn r1, #255
+; CHECK-T2-NEXT: ldrb r0, [r0, r1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -256
+ %0 = load i8, i8* %add.ptr, align 1
+ %conv = zext i8 %0 to i32
+ ret i32 %conv
+}
+
+define i32 @ldrh_ri_negative256(i8* %p) {
+; CHECK-T1-LABEL: ldrh_ri_negative256:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #255
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldrh r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldrh_ri_negative256:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: mvn r1, #255
+; CHECK-T2-NEXT: ldrh r0, [r0, r1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -256
+ %0 = bitcast i8* %add.ptr to i16*
+ %1 = load i16, i16* %0, align 2
+ %conv = zext i16 %1 to i32
+ ret i32 %conv
+}
+
+define i32 @ldr_ri_negative256(i8* %p) {
+; CHECK-T1-LABEL: ldr_ri_negative256:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r1, #255
+; CHECK-T1-NEXT: mvns r1, r1
+; CHECK-T1-NEXT: ldr r0, [r0, r1]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: ldr_ri_negative256:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: mvn r1, #255
+; CHECK-T2-NEXT: ldr r0, [r0, r1]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -256
+ %0 = bitcast i8* %add.ptr to i32*
+ %1 = load i32, i32* %0, align 4
+ ret i32 %1
+}
+
+define void @strb_ri_negative256(i8* %p, i32 %x) {
+; CHECK-T1-LABEL: strb_ri_negative256:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r2, #255
+; CHECK-T1-NEXT: mvns r2, r2
+; CHECK-T1-NEXT: strb r1, [r0, r2]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: strb_ri_negative256:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: mvn r2, #255
+; CHECK-T2-NEXT: strb r1, [r0, r2]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %conv = trunc i32 %x to i8
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -256
+ store i8 %conv, i8* %add.ptr, align 1
+ ret void
+}
+
+define void @strh_ri_negative256(i8* %p, i32 %x) {
+; CHECK-T1-LABEL: strh_ri_negative256:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r2, #255
+; CHECK-T1-NEXT: mvns r2, r2
+; CHECK-T1-NEXT: strh r1, [r0, r2]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: strh_ri_negative256:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: mvn r2, #255
+; CHECK-T2-NEXT: strh r1, [r0, r2]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %conv = trunc i32 %x to i16
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -256
+ %0 = bitcast i8* %add.ptr to i16*
+ store i16 %conv, i16* %0, align 2
+ ret void
+}
+
+define void @str_ri_negative256(i8* %p, i32 %x) {
+; CHECK-T1-LABEL: str_ri_negative256:
+; CHECK-T1: @ %bb.0: @ %entry
+; CHECK-T1-NEXT: movs r2, #255
+; CHECK-T1-NEXT: mvns r2, r2
+; CHECK-T1-NEXT: str r1, [r0, r2]
+; CHECK-T1-NEXT: bx lr
+;
+; CHECK-T2-LABEL: str_ri_negative256:
+; CHECK-T2: @ %bb.0: @ %entry
+; CHECK-T2-NEXT: mvn r2, #255
+; CHECK-T2-NEXT: str r1, [r0, r2]
+; CHECK-T2-NEXT: bx lr
+entry:
+ %add.ptr = getelementptr inbounds i8, i8* %p, i32 -256
+ %0 = bitcast i8* %add.ptr to i32*
+ store i32 %x, i32* %0, align 4
+ ret void
+}
More information about the llvm-commits
mailing list