u32_t mul1000(u32_t a) { return a*1000;} mul1000 $a 0x00001fa8: e080c080 .... ADD r12,r0,r0,LSL #1 0x00001fac: e06c0380 ..l. RSB r0,r12,r0,LSL #7 0x00001fb0: e1a00180 .... MOV r0,r0,LSL #3 0x00001fb4: e1a0f00e .... MOV pc,r14