| ; RUN: llc -mtriple=arm-eabi %s -o - | FileCheck %s | |
| define i32 @f1(ptr %v) { | |
| ; CHECK-LABEL: f1: | |
| ; CHECK: ldr r0 | |
| entry: | |
| %tmp = load i32, ptr %v | |
| ret i32 %tmp | |
| } | |
| define i32 @f2(ptr %v) { | |
| ; CHECK-LABEL: f2: | |
| ; CHECK: ldr r0 | |
| entry: | |
| %tmp2 = getelementptr i32, ptr %v, i32 1023 | |
| %tmp = load i32, ptr %tmp2 | |
| ret i32 %tmp | |
| } | |
| define i32 @f3(ptr %v) { | |
| ; CHECK-LABEL: f3: | |
| ; CHECK: mov | |
| ; CHECK: ldr r0 | |
| entry: | |
| %tmp2 = getelementptr i32, ptr %v, i32 1024 | |
| %tmp = load i32, ptr %tmp2 | |
| ret i32 %tmp | |
| } | |
| define i32 @f4(i32 %base) { | |
| ; CHECK-LABEL: f4: | |
| ; CHECK-NOT: mvn | |
| ; CHECK: ldr r0 | |
| entry: | |
| %tmp1 = sub i32 %base, 128 | |
| %tmp2 = inttoptr i32 %tmp1 to ptr | |
| %tmp3 = load i32, ptr %tmp2 | |
| ret i32 %tmp3 | |
| } | |
| define i32 @f5(i32 %base, i32 %offset) { | |
| ; CHECK-LABEL: f5: | |
| ; CHECK: ldr r0 | |
| entry: | |
| %tmp1 = add i32 %base, %offset | |
| %tmp2 = inttoptr i32 %tmp1 to ptr | |
| %tmp3 = load i32, ptr %tmp2 | |
| ret i32 %tmp3 | |
| } | |
| define i32 @f6(i32 %base, i32 %offset) { | |
| ; CHECK-LABEL: f6: | |
| ; CHECK: ldr r0{{.*}}lsl{{.*}} | |
| entry: | |
| %tmp1 = shl i32 %offset, 2 | |
| %tmp2 = add i32 %base, %tmp1 | |
| %tmp3 = inttoptr i32 %tmp2 to ptr | |
| %tmp4 = load i32, ptr %tmp3 | |
| ret i32 %tmp4 | |
| } | |
| define i32 @f7(i32 %base, i32 %offset) { | |
| ; CHECK-LABEL: f7: | |
| ; CHECK: ldr r0{{.*}}lsr{{.*}} | |
| entry: | |
| %tmp1 = lshr i32 %offset, 2 | |
| %tmp2 = add i32 %base, %tmp1 | |
| %tmp3 = inttoptr i32 %tmp2 to ptr | |
| %tmp4 = load i32, ptr %tmp3 | |
| ret i32 %tmp4 | |
| } |