313 lines · plain
1@ This test has a partner (ldr-pseudo-darwin.s) that contains matching2@ tests for the ldr-pseudo on darwin targets. We need separate files3@ because the syntax for switching sections and temporary labels differs4@ between darwin and linux. Any tests added here should have a matching5@ test added there.6 7@RUN: llvm-mc -triple armv7-unknown-linux-gnueabi %s | FileCheck --check-prefix=CHECK-ARM --check-prefix=CHECK %s8@RUN: llvm-mc -triple armv5-unknown-linux-gnueabi %s | FileCheck --check-prefix=CHECK-ARMV5 --check-prefix=CHECK %s9@RUN: llvm-mc -triple thumbv5-unknown-linux-gnueabi %s | FileCheck --check-prefix=CHECK-THUMB --check-prefix=CHECK %s10@RUN: llvm-mc -triple thumbv7-unknown-linux-gnueabi %s | FileCheck --check-prefix=CHECK-THUMB2 --check-prefix=CHECK %s11@RUN: llvm-mc -triple thumbv8m.base-unknown-linux-gnueabi %s | FileCheck --check-prefix=CHECK-BASELINE --check-prefix=CHECK %s12@13@ Check that large constants are converted to ldr from constant pool14@15@ simple test16.section b,"ax",%progbits17@ CHECK-LABEL: f3:18f3:19 ldr r0, =0x1000220@ CHECK: ldr r0, .Ltmp[[TMP0:[0-9]+]]21 22@ loading multiple constants23.section c,"ax",%progbits24@ CHECK-LABEL: f4:25f4:26 ldr r0, =0x1000327@ CHECK: ldr r0, .Ltmp[[TMP1:[0-9]+]]28 adds r0, r0, #129 adds r0, r0, #130 adds r0, r0, #131 adds r0, r0, #132 ldr r0, =0x1000433@ CHECK: ldr r0, .Ltmp[[TMP2:[0-9]+]]34 adds r0, r0, #135 adds r0, r0, #136 37@ TODO: the same constants should have the same constant pool location38.section d,"ax",%progbits39@ CHECK-LABEL: f5:40f5:41 ldr r0, =0x1000542@ CHECK: ldr r0, .Ltmp[[TMP3:[0-9]+]]43 adds r0, r0, #144 adds r0, r0, #145 adds r0, r0, #146 adds r0, r0, #147 adds r0, r0, #148 adds r0, r0, #149 adds r0, r0, #150 ldr r0, =0x1000551@ CHECK: ldr r0, .Ltmp[[TMP3:[0-9]+]]52 adds r0, r0, #153 adds r0, r0, #154 adds r0, r0, #155 adds r0, r0, #156 adds r0, r0, #157 adds r0, r0, #158 59@ a section defined in multiple pieces should be merged and use a single constant pool60.section e,"ax",%progbits61@ CHECK-LABEL: f6:62f6:63 ldr r0, =0x1000664@ CHECK: ldr r0, .Ltmp[[TMP5:[0-9]+]]65 adds r0, r0, #166 adds r0, r0, #167 adds r0, r0, #168 69.section f, "ax", %progbits70@ CHECK-LABEL: f7:71f7:72 adds r0, r0, #173 adds r0, r0, #174 adds r0, r0, #175 76.section e, "ax", %progbits77@ CHECK-LABEL: f8:78f8:79 adds r0, r0, #180 ldr r0, =0x1000781@ CHECK: ldr r0, .Ltmp[[TMP6:[0-9]+]]82 adds r0, r0, #183 adds r0, r0, #184 85@86@ Check that symbols can be loaded using ldr pseudo87@88 89@ load an undefined symbol90.section g,"ax",%progbits91@ CHECK-LABEL: f9:92f9:93 ldr r0, =foo94@ CHECK: ldr r0, .Ltmp[[TMP7:[0-9]+]]95 96@ load a symbol from another section97.section h,"ax",%progbits98@ CHECK-LABEL: f10:99f10:100 ldr r0, =f5101@ CHECK: ldr r0, .Ltmp[[TMP8:[0-9]+]]102 103@ load a symbol from the same section104.section i,"ax",%progbits105@ CHECK-LABEL: f11:106f11:107 ldr r0, =f12108@ CHECK: ldr r0, .Ltmp[[TMP9:[0-9]+]]109 110@ CHECK-LABEL: f12:111f12:112 adds r0, r0, #1113 adds r0, r0, #1114 115.section j,"ax",%progbits116@ mix of symbols and constants117@ CHECK-LABEL: f13:118f13:119 adds r0, r0, #1120 adds r0, r0, #1121 ldr r0, =0x10008122@ CHECK: ldr r0, .Ltmp[[TMP10:[0-9]+]]123 adds r0, r0, #1124 adds r0, r0, #1125 ldr r0, =bar126@ CHECK: ldr r0, .Ltmp[[TMP11:[0-9]+]]127 adds r0, r0, #1128 adds r0, r0, #1129@130@ Check for correct usage in other contexts131@132 133@ usage in macro134.macro useit_in_a_macro135 ldr r0, =0x10009136 ldr r0, =baz137.endm138.section k,"ax",%progbits139@ CHECK-LABEL: f14:140f14:141 useit_in_a_macro142@ CHECK: ldr r0, .Ltmp[[TMP12:[0-9]+]]143@ CHECK: ldr r0, .Ltmp[[TMP13:[0-9]+]]144 145@ usage with expressions146.section l, "ax", %progbits147@ CHECK-LABEL: f15:148f15:149 ldr r0, =0x10001+9150@ CHECK: ldr r0, .Ltmp[[TMP14:[0-9]+]]151 adds r0, r0, #1152 ldr r0, =bar+4153@ CHECK: ldr r0, .Ltmp[[TMP15:[0-9]+]]154 adds r0, r0, #1155 156@ transformation to mov157.section m, "ax", %progbits158@ CHECK-LABEL: f16:159f16:160 161@ Representable in ARM, and Thumb with support mov.w or movw162 ldr r1, =0x1163@ CHECK-ARM: mov r1, #1164@ CHECK-ARMV5: mov r1, #1165@ CHECK-THUMB: ldr r1, .Ltmp[[TMP16:[0-9]+]]166@ CHECK-THUMB2: mov.w r1, #1167@ CHECK-BASELINE: movw r1, #1168 169@ Immediate is representable in A1 and T2 modified immediate only not movw170 ldr r2, =0x120000171@ CHECK-ARM: mov r2, #1179648172@ CHECK-ARMV5: mov r2, #1179648173@ CHECK-THUMB: ldr r2, .Ltmp[[TMP17:[0-9]+]]174@ CHECK-THUMB2: mov.w r2, #1179648175@ CHECK-BASELINE: ldr r2, .Ltmp[[TMP16:[0-9]+]]176 177@ Immediate can be represented only with movw instruction178 ldr r3, =0x1234179@ CHECK-ARM: movw r3, #4660180@ CHECK-ARMV5: ldr r3, .Ltmp[[TMP16:[0-9]+]]181@ CHECK-THUMB: ldr r3, .Ltmp[[TMP18:[0-9]+]]182@ CHECK-THUMB2: movw r3, #4660183@ CHECK-BASELINE: movw r3, #4660184 185@ Immediate can be represented only with T2 modified immediate186 ldr r4, =0xabababab187@ CHECK-ARM: ldr r4, .Ltmp[[TMP16:[0-9]+]]188@ CHECK-ARMV5: ldr r4, .Ltmp[[TMP17:[0-9]+]]189@ CHECK-THUMB: ldr r4, .Ltmp[[TMP19:[0-9]+]]190@ CHECK-THUMB2: mov.w r4, #2880154539191@ CHECK-BASELINE: ldr r4, .Ltmp[[TMP17:[0-9]+]]192 193@ Immediate can be represented only with A1 modified immediate194 ldr r5, =0x1000000b195@ CHECK-ARM: mov r5, #268435467196@ CHECK-ARMV5: mov r5, #268435467197@ CHECK-THUMB: ldr r5, .Ltmp[[TMP20:[0-9]+]]198@ CHECK-THUMB2: ldr r5, .Ltmp[[TMP16:[0-9]+]]199@ CHECK-BASELINE: ldr r5, .Ltmp[[TMP18:[0-9]+]]200 201@ Negative numbers can be used with MVN or in Thumb2 with modified immediate202 ldr r6, =-1203@ CHECK-ARM: mvn r6, #0204@ CHECK-ARMV5: mvn r6, #0205@ CHECK-THUMB: ldr r6, .Ltmp[[TMP21:[0-9]+]]206@ CHECK-THUMB2: mov.w r6, #-1207@ CHECK-BASELINE: ldr r6, .Ltmp[[TMP19:[0-9]+]]208 ldr r7, =-0x100209@ CHECK-ARM: mvn r7, #255210@ CHECK-ARMV5: mvn r7, #255211@ CHECK-THUMB: ldr r7, .Ltmp[[TMP22:[0-9]+]]212@ CHECK-THUMB2: mvn r7, #255213@ CHECK-BASELINE: ldr r7, .Ltmp[[TMP20:[0-9]+]]214 215@ Constant expressions can be used216 .equ expr, 0x10 + 0x10217 ldr r0, = expr218@ CHECK-ARM: mov r0, #32219@ CHECK-ARMV5: mov r0, #32220@ CHECK-THUMB: ldr r0, .Ltmp[[TMP23:[0-9]+]]221@ CHECK-THUMB2: mov.w r0, #32222@ CHECK-BASELINE: movw r0, #32223 ldr r1, = expr - 0x10224@ CHECK-ARM: mov r1, #16225@ CHECK-ARMV5: mov r1, #16226@ CHECK-THUMB: ldr r1, .Ltmp[[TMP24:[0-9]+]]227@ CHECK-THUMB2: mov.w r1, #16228@ CHECK-BASELINE: movw r1, #16229 230@ usage of translation in macro231.macro usemov_in_a_macro232 ldr r2, =0x3233 ldr r3, =expr234.endm235@ CHECK-LABEL: f17:236f17:237 usemov_in_a_macro238@ CHECK-ARM: mov r2, #3239@ CHECK-ARM: mov r3, #32240@ CHECK-ARMV5: mov r2, #3241@ CHECK-ARMV5: mov r3, #32242@ CHECK-THUMB: ldr r2, .Ltmp[[TMP25:[0-9]+]]243@ CHECK-THUMB: ldr r3, .Ltmp[[TMP26:[0-9]+]]244@ CHECK-THUMB2: mov.w r2, #3245@ CHECK-THUMB2: mov.w r3, #32246@ CHECK-BASELINE: movw r2, #3247@ CHECK-BASELINE: movw r3, #32248@249@ Constant Pools250@251@ CHECK: .section b,"ax",%progbits252@ CHECK: .p2align 2253@ CHECK: .Ltmp[[TMP0]]254@ CHECK: .long 65538255 256@ CHECK: .section c,"ax",%progbits257@ CHECK: .p2align 2258@ CHECK: .Ltmp[[TMP1]]259@ CHECK: .long 65539260@ CHECK: .Ltmp[[TMP2]]261@ CHECK: .long 65540262 263@ CHECK: .section d,"ax",%progbits264@ CHECK: .p2align 2265@ CHECK: .Ltmp[[TMP3]]266@ CHECK: .long 65541267 268@ CHECK: .section e,"ax",%progbits269@ CHECK: .p2align 2270@ CHECK: .Ltmp[[TMP5]]271@ CHECK: .long 65542272@ CHECK: .Ltmp[[TMP6]]273@ CHECK: .long 65543274 275@ Should not switch to section because it has no constant pool276@ CHECK-NOT: .section f,"ax",%progbits277 278@ CHECK: .section g,"ax",%progbits279@ CHECK: .p2align 2280@ CHECK: .Ltmp[[TMP7]]281@ CHECK: .long foo282 283@ CHECK: .section h,"ax",%progbits284@ CHECK: .p2align 2285@ CHECK: .Ltmp[[TMP8]]286@ CHECK: .long f5287 288@ CHECK: .section i,"ax",%progbits289@ CHECK: .p2align 2290@ CHECK: .Ltmp[[TMP9]]291@ CHECK: .long f12292 293@ CHECK: .section j,"ax",%progbits294@ CHECK: .p2align 2295@ CHECK: .Ltmp[[TMP10]]296@ CHECK: .long 65544297@ CHECK: .Ltmp[[TMP11]]298@ CHECK: .long bar299 300@ CHECK: .section k,"ax",%progbits301@ CHECK: .p2align 2302@ CHECK: .Ltmp[[TMP12]]303@ CHECK: .long 65545304@ CHECK: .Ltmp[[TMP13]]305@ CHECK: .long baz306 307@ CHECK: .section l,"ax",%progbits308@ CHECK: .p2align 2309@ CHECK: .Ltmp[[TMP14]]310@ CHECK: .long 65546311@ CHECK: .Ltmp[[TMP15]]312@ CHECK: .long bar+4313