require_fp; FRD = mmu.load_int32(RS1+SIMM);