assem_debug("ldr %s, [%s,%s, uxtw #3]\n",regname64[rt],regname64[rs1],regname[rs2]);
output_w32(0xf8605800 | rm_rn_rd(rs2, rs1, rt));
}
assem_debug("ldr %s, [%s,%s, uxtw #3]\n",regname64[rt],regname64[rs1],regname[rs2]);
output_w32(0xf8605800 | rm_rn_rd(rs2, rs1, rt));
}