338 lines
8.1 KiB
ArmAsm
338 lines
8.1 KiB
ArmAsm
|
@ 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
|