https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87373
--- Comment #30 from Murat Ursavaş <murat.ursavas at gmail dot com> --- OK, looks like it is possible like this: ldr r2, =0x0000000b Source: https://stackoverflow.com/questions/38689886/loading-32-bit-values-to-a-register-in-arm-assembly
