What is the difference between =label (equals sign) and [label] (brackets) in ARMv6 assembly?

Question

I\'m following along with the Baking Pi course from Cambridge University, in which a simple operating system is built in the ARMv6 instruction set, targeting the Raspberry P

Answer 1

ldr r0,=something
...
something:

means load the address of the label something into the register r0. The assembler then adds a word somewhere in reach of the ldr instruction and replaces it with a

ldr r0,[pc,#offset]

instruction

So this shortcut

ldr r0,=0x12345678

means load 0x12345678 into r0.

being mostly fixed length instructions, you cant load a full 32 bit immediate into a register in one instruction, it can take a number of instructions to completely load a register with a 32 bit number. Depends heavily on the number. For example

ldr r0,=0x00010000

will get replaced by the gnu assembler with a single instruction mov r0,#0x00010000 if it is an ARM instruction, for a thumb instruction though it may still have to be ldr r0,[pc,#offset]

These ldr rd,=things are a shortcut, pseudo instructions, not real.

ldr rd,[rm,#offset]
ldr rd,[rm,rn]

are real instructions and mean read from memory at address rm+offset or rm+rn and take the value read and put it in the register rd

the =something is more like &something in C.

unsigned int something;
unsigned int r0;
unsigned int r1;

r0 = &something;
r1 = *(unsigned int *)r0;

and in assembly

something:
    .word 0

ldr r0,=something
ldr r1,[r0]

Answer 2

It is worth mentioning that there exist the following alternative approaches for those that want to avoid pseudo instructions / the literal pool for some reason:

• adr r0, label (v7 / v8): single instruction, stores the full address of the label into r0. Refers to label by relative PC addressing it, see also: What are the semantics of ADRP and ADRL instructions in ARM assembly? | Example with asserts.

  In ARMv7, it is not possible however to access labels in different sections with adr, e.g. .data from .text, apparently because there is no relocation that takes care of it. ldr = can do this. If you try, GAS fails with:

   Error: symbol .data is in a different section
  

  Cross section access is however possible in ARMv8, and generates a relocation of type R_AARCH64_ADR_PRE. Example.

• movw and movt (v7) + GNU GAS #:lower:

  movw r0, #:lower16:myvar
  movt r0, #:upper16:myvar
  

  Example with asserts.

  movk + shifts (v8) + GNU GAS :

  movz x0, #:abs_g2:label     // bits 32-47, overflow check
  movk x0, #:abs_g1_nc:label  // bits 16-31, no overflow check
  movk x0, #:abs_g0_nc:label  // bits  0-15, no overflow check
  

  Example with asserts.