| @ This test has a partner (ldr-pseudo.s) that contains matching |
| @ tests for the ldr-pseudo on linux targets. We need separate files |
| @ because the syntax for switching sections and temporary labels differs |
| @ between darwin and linux. Any tests added here should have a matching |
| @ test added there. |
| |
| @RUN: llvm-mc -triple armv7-base-apple-darwin %s | FileCheck --check-prefix=CHECK-ARM --check-prefix=CHECK %s |
| @RUN: llvm-mc -triple armv5-base-apple-darwin %s | FileCheck --check-prefix=CHECK-ARMV5 --check-prefix=CHECK %s |
| @RUN: llvm-mc -triple thumbv5-base-apple-darwin %s | FileCheck --check-prefix=CHECK-THUMB --check-prefix=CHECK %s |
| @RUN: llvm-mc -triple thumbv7-base-apple-darwin %s | FileCheck --check-prefix=CHECK-THUMB2 --check-prefix=CHECK %s |
| @RUN: llvm-mc -triple thumbv8m.base-base-apple-darwin %s | FileCheck --check-prefix=CHECK-BASELINE --check-prefix=CHECK %s |
| @ |
| @ Check that large constants are converted to ldr from constant pool |
| @ |
| @ simple test |
| .section __TEXT,b,regular,pure_instructions |
| @ CHECK-LABEL: f3: |
| f3: |
| ldr r0, =0x10002 |
| @ CHECK: ldr r0, Ltmp0 |
| |
| @ loading multiple constants |
| .section __TEXT,c,regular,pure_instructions |
| @ CHECK-LABEL: f4: |
| f4: |
| ldr r0, =0x10003 |
| @ CHECK: ldr r0, Ltmp1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| ldr r0, =0x10004 |
| @ CHECK: ldr r0, Ltmp2 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| |
| @ TODO: the same constants should have the same constant pool location |
| .section __TEXT,d,regular,pure_instructions |
| @ CHECK-LABEL: f5: |
| f5: |
| ldr r0, =0x10005 |
| @ CHECK: ldr r0, Ltmp3 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| ldr r0, =0x10005 |
| @ CHECK: ldr r0, Ltmp3 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| |
| @ a section defined in multiple pieces should be merged and use a single constant pool |
| .section __TEXT,e,regular,pure_instructions |
| @ CHECK-LABEL: f6: |
| f6: |
| ldr r0, =0x10006 |
| @ CHECK: ldr r0, Ltmp4 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| |
| .section __TEXT,f,regular,pure_instructions |
| @ CHECK-LABEL: f7: |
| f7: |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| |
| .section __TEXT,e,regular,pure_instructions |
| @ CHECK-LABEL: f8: |
| f8: |
| adds r0, r0, #1 |
| ldr r0, =0x10007 |
| @ CHECK: ldr r0, Ltmp5 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| |
| @ |
| @ Check that symbols can be loaded using ldr pseudo |
| @ |
| |
| @ load an undefined symbol |
| .section __TEXT,g,regular,pure_instructions |
| @ CHECK-LABEL: f9: |
| f9: |
| ldr r0, =foo |
| @ CHECK: ldr r0, Ltmp6 |
| |
| @ load a symbol from another section |
| .section __TEXT,h,regular,pure_instructions |
| @ CHECK-LABEL: f10: |
| f10: |
| ldr r0, =f5 |
| @ CHECK: ldr r0, Ltmp7 |
| |
| @ load a symbol from the same section |
| .section __TEXT,i,regular,pure_instructions |
| @ CHECK-LABEL: f11: |
| f11: |
| ldr r0, =f12 |
| @ CHECK: ldr r0, Ltmp8 |
| |
| @ CHECK-LABEL: f12: |
| f12: |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| |
| .section __TEXT,j,regular,pure_instructions |
| @ mix of symbols and constants |
| @ CHECK-LABEL: f13: |
| f13: |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| ldr r0, =0x10008 |
| @ CHECK: ldr r0, Ltmp9 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| ldr r0, =bar |
| @ CHECK: ldr r0, Ltmp10 |
| adds r0, r0, #1 |
| adds r0, r0, #1 |
| @ |
| @ Check for correct usage in other contexts |
| @ |
| |
| @ usage in macro |
| .macro useit_in_a_macro |
| ldr r0, =0x10009 |
| ldr r0, =baz |
| .endm |
| .section __TEXT,k,regular,pure_instructions |
| @ CHECK-LABEL: f14: |
| f14: |
| useit_in_a_macro |
| @ CHECK: ldr r0, Ltmp11 |
| @ CHECK: ldr r0, Ltmp12 |
| |
| @ usage with expressions |
| .section __TEXT,l,regular,pure_instructions |
| @ CHECK-LABEL: f15: |
| f15: |
| ldr r0, =0x10001+9 |
| @ CHECK: ldr r0, Ltmp13 |
| adds r0, r0, #1 |
| ldr r0, =bar+4 |
| @ CHECK: ldr r0, Ltmp14 |
| adds r0, r0, #1 |
| |
| @ transformation to mov |
| .section __TEXT,m,regular,pure_instructions |
| @ CHECK-LABEL: f16: |
| f16: |
| |
| @ Representable in ARM, and Thumb with support mov.w or movw |
| ldr r1, =0x1 |
| @ CHECK-ARM: mov r1, #1 |
| @ CHECK-ARMV5: mov r1, #1 |
| @ CHECK-THUMB: ldr r1, Ltmp15 |
| @ CHECK-THUMB2: mov.w r1, #1 |
| @ CHECK-BASELINE: movw r1, #1 |
| |
| @ Immediate is representable in A1 and T2 modified immediate only not movw |
| ldr r2, =0x120000 |
| @ CHECK-ARM: mov r2, #1179648 |
| @ CHECK-ARMV5: mov r2, #1179648 |
| @ CHECK-THUMB: ldr r2, Ltmp16 |
| @ CHECK-THUMB2: mov.w r2, #1179648 |
| @ CHECK-BASELINE: ldr r2, Ltmp15 |
| |
| @ Immediate can be represented only with movw instruction |
| ldr r3, =0x1234 |
| @ CHECK-ARM: movw r3, #4660 |
| @ CHECK-ARMV5: ldr r3, Ltmp15 |
| @ CHECK-THUMB: ldr r3, Ltmp17 |
| @ CHECK-THUMB2: movw r3, #4660 |
| @ CHECK-BASELINE: movw r3, #4660 |
| |
| @ Immediate can be represented only with T2 modified immediate |
| ldr r4, =0xabababab |
| @ CHECK-ARM: ldr r4, Ltmp15 |
| @ CHECK-ARMV5: ldr r4, Ltmp16 |
| @ CHECK-THUMB: ldr r4, Ltmp18 |
| @ CHECK-THUMB2: mov.w r4, #2880154539 |
| @ CHECK-BASELINE: ldr r4, Ltmp16 |
| |
| @ Immediate can be represented only with A1 modified immediate |
| ldr r5, =0x1000000b |
| @ CHECK-ARM: mov r5, #268435467 |
| @ CHECK-ARMV5: mov r5, #268435467 |
| @ CHECK-THUMB: ldr r5, Ltmp19 |
| @ CHECK-THUMB2: ldr r5, Ltmp15 |
| @ CHECK-BASELINE: ldr r5, Ltmp17 |
| |
| @ Negative numbers can be used with MVN or in Thumb2 with modified immediate |
| ldr r6, =-1 |
| @ CHECK-ARM: mvn r6, #0 |
| @ CHECK-ARMV5: mvn r6, #0 |
| @ CHECK-THUMB: ldr r6, Ltmp20 |
| @ CHECK-THUMB2: mov.w r6, #-1 |
| @ CHECK-BASELINE: ldr r6, Ltmp18 |
| ldr r7, =-0x100 |
| @ CHECK-ARM: mvn r7, #255 |
| @ CHECK-ARMV5: mvn r7, #255 |
| @ CHECK-THUMB: ldr r7, Ltmp21 |
| @ CHECK-THUMB2: mvn r7, #255 |
| @ CHECK-BASELINE: ldr r7, Ltmp19 |
| |
| @ Constant expressions can be used |
| .equ expr, 0x10 + 0x10 |
| ldr r0, = expr |
| @ CHECK-ARM: mov r0, #32 |
| @ CHECK-ARMV5: mov r0, #32 |
| @ CHECK-THUMB: ldr r0, Ltmp22 |
| @ CHECK-THUMB2: mov.w r0, #32 |
| @ CHECK-BASELINE: movw r0, #32 |
| ldr r1, = expr - 0x10 |
| @ CHECK-ARM: mov r1, #16 |
| @ CHECK-ARMV5: mov r1, #16 |
| @ CHECK-THUMB: ldr r1, Ltmp23 |
| @ CHECK-THUMB2: mov.w r1, #16 |
| @ CHECK-BASELINE: movw r1, #16 |
| |
| @ usage of translation in macro |
| .macro usemov_in_a_macro |
| ldr r2, =0x3 |
| ldr r3, =expr |
| .endm |
| @ CHECK-LABEL: f17: |
| f17: |
| usemov_in_a_macro |
| @ CHECK-ARM: mov r2, #3 |
| @ CHECK-ARM: mov r3, #32 |
| @ CHECK-ARMV5: mov r2, #3 |
| @ CHECK-ARMV5: mov r3, #32 |
| @ CHECK-THUMB: ldr r2, Ltmp24 |
| @ CHECK-THUMB: ldr r3, Ltmp22 |
| @ CHECK-THUMB2: mov.w r2, #3 |
| @ CHECK-THUMB2: mov.w r3, #32 |
| @ CHECK-BASELINE: movw r2, #3 |
| @ CHECK-BASELINE: movw r3, #32 |
| @ |
| @ Constant Pools |
| @ |
| @ CHECK: .section __TEXT,b,regular,pure_instructions |
| @ CHECK: .data_region |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp0: |
| @ CHECK: .long 65538 |
| @ CHECK: .end_data_region |
| |
| @ CHECK: .section __TEXT,c,regular,pure_instructions |
| @ CHECK: .data_region |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp1: |
| @ CHECK: .long 65539 |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp2: |
| @ CHECK: .long 65540 |
| @ CHECK: .end_data_region |
| |
| @ CHECK: .section __TEXT,d,regular,pure_instructions |
| @ CHECK: .data_region |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp3: |
| @ CHECK: .long 65541 |
| @ CHECK: .end_data_region |
| |
| @ CHECK: .section __TEXT,e,regular,pure_instructions |
| @ CHECK: .data_region |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp4: |
| @ CHECK: .long 65542 |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp5: |
| @ CHECK: .long 65543 |
| @ CHECK: .end_data_region |
| |
| @ Should not switch to section because it has no constant pool |
| @ CHECK-NOT: .section __TEXT,f,regular,pure_instructions |
| |
| @ CHECK: .section __TEXT,g,regular,pure_instructions |
| @ CHECK: .data_region |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp6: |
| @ CHECK: .long foo |
| @ CHECK: .end_data_region |
| |
| @ CHECK: .section __TEXT,h,regular,pure_instructions |
| @ CHECK: .data_region |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp7: |
| @ CHECK: .long f5 |
| @ CHECK: .end_data_region |
| |
| @ CHECK: .section __TEXT,i,regular,pure_instructions |
| @ CHECK: .data_region |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp8: |
| @ CHECK: .long f12 |
| @ CHECK: .end_data_region |
| |
| @ CHECK: .section __TEXT,j,regular,pure_instructions |
| @ CHECK: .data_region |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp9: |
| @ CHECK: .long 65544 |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp10: |
| @ CHECK: .long bar |
| @ CHECK: .end_data_region |
| |
| @ CHECK: .section __TEXT,k,regular,pure_instructions |
| @ CHECK: .data_region |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp11: |
| @ CHECK: .long 65545 |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp12: |
| @ CHECK: .long baz |
| @ CHECK: .end_data_region |
| |
| @ CHECK: .section __TEXT,l,regular,pure_instructions |
| @ CHECK: .data_region |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp13: |
| @ CHECK: .long 65546 |
| @ CHECK: .p2align 2 |
| @ CHECK-LABEL: Ltmp14: |
| @ CHECK: .long bar+4 |
| @ CHECK: .end_data_region |
