1 @ This test has a partner (ldr-pseudo-darwin.s) that contains matching 2 @ tests for the ldr-pseudo on darwin targets. We need separate files 3 @ because the syntax for switching sections and temporary labels differs 4 @ between darwin and linux. Any tests added here should have a matching 5 @ test added there. 6 7 @RUN: llvm-mc -triple armv7-unknown-linux-gnueabi %s | FileCheck --check-prefix=CHECK-ARM --check-prefix=CHECK %s 8 @RUN: llvm-mc -triple armv5-unknown-linux-gnueabi %s | FileCheck --check-prefix=CHECK-ARMV5 --check-prefix=CHECK %s 9 @RUN: llvm-mc -triple thumbv5-unknown-linux-gnueabi %s | FileCheck --check-prefix=CHECK-THUMB --check-prefix=CHECK %s 10 @RUN: llvm-mc -triple thumbv7-unknown-linux-gnueabi %s | FileCheck --check-prefix=CHECK-THUMB2 --check-prefix=CHECK %s 11 @RUN: llvm-mc -triple thumbv8m.base-unknown-linux-gnueabi %s | FileCheck --check-prefix=CHECK-BASELINE --check-prefix=CHECK %s 12 @ 13 @ Check that large constants are converted to ldr from constant pool 14 @ 15 @ simple test 16 .section b,"ax",%progbits 17 @ CHECK-LABEL: f3: 18 f3: 19 ldr r0, =0x10002 20 @ CHECK: ldr r0, .Ltmp[[TMP0:[0-9]+]] 21 22 @ loading multiple constants 23 .section c,"ax",%progbits 24 @ CHECK-LABEL: f4: 25 f4: 26 ldr r0, =0x10003 27 @ CHECK: ldr r0, .Ltmp[[TMP1:[0-9]+]] 28 adds r0, r0, #1 29 adds r0, r0, #1 30 adds r0, r0, #1 31 adds r0, r0, #1 32 ldr r0, =0x10004 33 @ CHECK: ldr r0, .Ltmp[[TMP2:[0-9]+]] 34 adds r0, r0, #1 35 adds r0, r0, #1 36 37 @ TODO: the same constants should have the same constant pool location 38 .section d,"ax",%progbits 39 @ CHECK-LABEL: f5: 40 f5: 41 ldr r0, =0x10005 42 @ CHECK: ldr r0, .Ltmp[[TMP3:[0-9]+]] 43 adds r0, r0, #1 44 adds r0, r0, #1 45 adds r0, r0, #1 46 adds r0, r0, #1 47 adds r0, r0, #1 48 adds r0, r0, #1 49 adds r0, r0, #1 50 ldr r0, =0x10005 51 @ CHECK: ldr r0, .Ltmp[[TMP4:[0-9]+]] 52 adds r0, r0, #1 53 adds r0, r0, #1 54 adds r0, r0, #1 55 adds r0, r0, #1 56 adds r0, r0, #1 57 adds r0, r0, #1 58 59 @ a section defined in multiple pieces should be merged and use a single constant pool 60 .section e,"ax",%progbits 61 @ CHECK-LABEL: f6: 62 f6: 63 ldr r0, =0x10006 64 @ CHECK: ldr r0, .Ltmp[[TMP5:[0-9]+]] 65 adds r0, r0, #1 66 adds r0, r0, #1 67 adds r0, r0, #1 68 69 .section f, "ax", %progbits 70 @ CHECK-LABEL: f7: 71 f7: 72 adds r0, r0, #1 73 adds r0, r0, #1 74 adds r0, r0, #1 75 76 .section e, "ax", %progbits 77 @ CHECK-LABEL: f8: 78 f8: 79 adds r0, r0, #1 80 ldr r0, =0x10007 81 @ CHECK: ldr r0, .Ltmp[[TMP6:[0-9]+]] 82 adds r0, r0, #1 83 adds r0, r0, #1 84 85 @ 86 @ Check that symbols can be loaded using ldr pseudo 87 @ 88 89 @ load an undefined symbol 90 .section g,"ax",%progbits 91 @ CHECK-LABEL: f9: 92 f9: 93 ldr r0, =foo 94 @ CHECK: ldr r0, .Ltmp[[TMP7:[0-9]+]] 95 96 @ load a symbol from another section 97 .section h,"ax",%progbits 98 @ CHECK-LABEL: f10: 99 f10: 100 ldr r0, =f5 101 @ CHECK: ldr r0, .Ltmp[[TMP8:[0-9]+]] 102 103 @ load a symbol from the same section 104 .section i,"ax",%progbits 105 @ CHECK-LABEL: f11: 106 f11: 107 ldr r0, =f12 108 @ CHECK: ldr r0, .Ltmp[[TMP9:[0-9]+]] 109 110 @ CHECK-LABEL: f12: 111 f12: 112 adds r0, r0, #1 113 adds r0, r0, #1 114 115 .section j,"ax",%progbits 116 @ mix of symbols and constants 117 @ CHECK-LABEL: f13: 118 f13: 119 adds r0, r0, #1 120 adds r0, r0, #1 121 ldr r0, =0x10008 122 @ CHECK: ldr r0, .Ltmp[[TMP10:[0-9]+]] 123 adds r0, r0, #1 124 adds r0, r0, #1 125 ldr r0, =bar 126 @ CHECK: ldr r0, .Ltmp[[TMP11:[0-9]+]] 127 adds r0, r0, #1 128 adds r0, r0, #1 129 @ 130 @ Check for correct usage in other contexts 131 @ 132 133 @ usage in macro 134 .macro useit_in_a_macro 135 ldr r0, =0x10009 136 ldr r0, =baz 137 .endm 138 .section k,"ax",%progbits 139 @ CHECK-LABEL: f14: 140 f14: 141 useit_in_a_macro 142 @ CHECK: ldr r0, .Ltmp[[TMP12:[0-9]+]] 143 @ CHECK: ldr r0, .Ltmp[[TMP13:[0-9]+]] 144 145 @ usage with expressions 146 .section l, "ax", %progbits 147 @ CHECK-LABEL: f15: 148 f15: 149 ldr r0, =0x10001+9 150 @ CHECK: ldr r0, .Ltmp[[TMP14:[0-9]+]] 151 adds r0, r0, #1 152 ldr r0, =bar+4 153 @ CHECK: ldr r0, .Ltmp[[TMP15:[0-9]+]] 154 adds r0, r0, #1 155 156 @ transformation to mov 157 .section m, "ax", %progbits 158 @ CHECK-LABEL: f16: 159 f16: 160 161 @ Representable in ARM, and Thumb with support mov.w or movw 162 ldr r1, =0x1 163 @ CHECK-ARM: mov r1, #1 164 @ CHECK-ARMV5: mov r1, #1 165 @ CHECK-THUMB: ldr r1, .Ltmp[[TMP16:[0-9]+]] 166 @ CHECK-THUMB2: mov.w r1, #1 167 @ CHECK-BASELINE: movw r1, #1 168 169 @ Immediate is representable in A1 and T2 modified immediate only not movw 170 ldr r2, =0x120000 171 @ CHECK-ARM: mov r2, #1179648 172 @ CHECK-ARMV5: mov r2, #1179648 173 @ CHECK-THUMB: ldr r2, .Ltmp[[TMP17:[0-9]+]] 174 @ CHECK-THUMB2: mov.w r2, #1179648 175 @ CHECK-BASELINE: ldr r2, .Ltmp[[TMP16:[0-9]+]] 176 177 @ Immediate can be represented only with movw instruction 178 ldr r3, =0x1234 179 @ CHECK-ARM: movw r3, #4660 180 @ CHECK-ARMV5: ldr r3, .Ltmp[[TMP16:[0-9]+]] 181 @ CHECK-THUMB: ldr r3, .Ltmp[[TMP18:[0-9]+]] 182 @ CHECK-THUMB2: movw r3, #4660 183 @ CHECK-BASELINE: movw r3, #4660 184 185 @ Immediate can be represented only with T2 modified immediate 186 ldr r4, =0xabababab 187 @ 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, #2880154539 191 @ CHECK-BASELINE: ldr r4, .Ltmp[[TMP17:[0-9]+]] 192 193 @ Immediate can be represented only with A1 modified immediate 194 ldr r5, =0x1000000b 195 @ CHECK-ARM: mov r5, #268435467 196 @ CHECK-ARMV5: mov r5, #268435467 197 @ 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 immediate 202 ldr r6, =-1 203 @ CHECK-ARM: mvn r6, #0 204 @ CHECK-ARMV5: mvn r6, #0 205 @ CHECK-THUMB: ldr r6, .Ltmp[[TMP21:[0-9]+]] 206 @ CHECK-THUMB2: mov.w r6, #-1 207 @ CHECK-BASELINE: ldr r6, .Ltmp[[TMP19:[0-9]+]] 208 ldr r7, =-0x100 209 @ CHECK-ARM: mvn r7, #255 210 @ CHECK-ARMV5: mvn r7, #255 211 @ CHECK-THUMB: ldr r7, .Ltmp[[TMP22:[0-9]+]] 212 @ CHECK-THUMB2: mvn r7, #255 213 @ CHECK-BASELINE: ldr r7, .Ltmp[[TMP20:[0-9]+]] 214 215 @ Constant expressions can be used 216 .equ expr, 0x10 + 0x10 217 ldr r0, = expr 218 @ CHECK-ARM: mov r0, #32 219 @ CHECK-ARMV5: mov r0, #32 220 @ CHECK-THUMB: ldr r0, .Ltmp[[TMP23:[0-9]+]] 221 @ CHECK-THUMB2: mov.w r0, #32 222 @ CHECK-BASELINE: movw r0, #32 223 ldr r1, = expr - 0x10 224 @ CHECK-ARM: mov r1, #16 225 @ CHECK-ARMV5: mov r1, #16 226 @ CHECK-THUMB: ldr r1, .Ltmp[[TMP24:[0-9]+]] 227 @ CHECK-THUMB2: mov.w r1, #16 228 @ CHECK-BASELINE: movw r1, #16 229 230 @ usage of translation in macro 231 .macro usemov_in_a_macro 232 ldr r2, =0x3 233 ldr r3, =expr 234 .endm 235 @ CHECK-LABEL: f17: 236 f17: 237 usemov_in_a_macro 238 @ CHECK-ARM: mov r2, #3 239 @ CHECK-ARM: mov r3, #32 240 @ CHECK-ARMV5: mov r2, #3 241 @ CHECK-ARMV5: mov r3, #32 242 @ CHECK-THUMB: ldr r2, .Ltmp[[TMP25:[0-9]+]] 243 @ CHECK-THUMB: ldr r3, .Ltmp[[TMP26:[0-9]+]] 244 @ CHECK-THUMB2: mov.w r2, #3 245 @ CHECK-THUMB2: mov.w r3, #32 246 @ CHECK-BASELINE: movw r2, #3 247 @ CHECK-BASELINE: movw r3, #32 248 @ 249 @ Constant Pools 250 @ 251 @ CHECK: .section b,"ax",%progbits 252 @ CHECK: .p2align 2 253 @ CHECK: .Ltmp[[TMP0]] 254 @ CHECK: .long 65538 255 256 @ CHECK: .section c,"ax",%progbits 257 @ CHECK: .p2align 2 258 @ CHECK: .Ltmp[[TMP1]] 259 @ CHECK: .long 65539 260 @ CHECK: .Ltmp[[TMP2]] 261 @ CHECK: .long 65540 262 263 @ CHECK: .section d,"ax",%progbits 264 @ CHECK: .p2align 2 265 @ CHECK: .Ltmp[[TMP3]] 266 @ CHECK: .long 65541 267 @ CHECK: .Ltmp[[TMP4]] 268 @ CHECK: .long 65541 269 270 @ CHECK: .section e,"ax",%progbits 271 @ CHECK: .p2align 2 272 @ CHECK: .Ltmp[[TMP5]] 273 @ CHECK: .long 65542 274 @ CHECK: .Ltmp[[TMP6]] 275 @ CHECK: .long 65543 276 277 @ Should not switch to section because it has no constant pool 278 @ CHECK-NOT: .section f,"ax",%progbits 279 280 @ CHECK: .section g,"ax",%progbits 281 @ CHECK: .p2align 2 282 @ CHECK: .Ltmp[[TMP7]] 283 @ CHECK: .long foo 284 285 @ CHECK: .section h,"ax",%progbits 286 @ CHECK: .p2align 2 287 @ CHECK: .Ltmp[[TMP8]] 288 @ CHECK: .long f5 289 290 @ CHECK: .section i,"ax",%progbits 291 @ CHECK: .p2align 2 292 @ CHECK: .Ltmp[[TMP9]] 293 @ CHECK: .long f12 294 295 @ CHECK: .section j,"ax",%progbits 296 @ CHECK: .p2align 2 297 @ CHECK: .Ltmp[[TMP10]] 298 @ CHECK: .long 65544 299 @ CHECK: .Ltmp[[TMP11]] 300 @ CHECK: .long bar 301 302 @ CHECK: .section k,"ax",%progbits 303 @ CHECK: .p2align 2 304 @ CHECK: .Ltmp[[TMP12]] 305 @ CHECK: .long 65545 306 @ CHECK: .Ltmp[[TMP13]] 307 @ CHECK: .long baz 308 309 @ CHECK: .section l,"ax",%progbits 310 @ CHECK: .p2align 2 311 @ CHECK: .Ltmp[[TMP14]] 312 @ CHECK: .long 65546 313 @ CHECK: .Ltmp[[TMP15]] 314 @ CHECK: .long bar+4 315
