ARM-asm:

mov r0, #0x53FA0000
ldr r0, [r0, #0x4000] /* Read GPIO3 */
tst r0, #0x10
ldrne pc, #0x88201000

Pseudo-C:

if(*(volatile int*)0x53FA4000) & 0x10)
    jmp(0x88201000);