On 6/21/21 7:01 AM, Peter Maydell wrote:
Side note: it's rather confusing that tcg_out_rev32() doesn't emit a REV32 insn (it emits REV with sf==0).
Which is REV with SF=0 also has OPC=10, which is REV32.So I think it's a simple case of the assembly mnemonics not matching up with the machine instructions as nicely as all that.
r~
