0100mmmm00010111
op1 ← SignExtend32(Rm);
address ← ZeroExtend32(op1);
gbr ← SignExtend32(ReadMemory32(address));
op1 ← op1 + 4;
Rm ← Register(op1);
GBR ← Register(gbr);