On 6/2/23 08:52, Peter Maydell wrote:
+# Barriers + +CLREX 1101 0101 0000 0011 0011 imm:4 010 11111
...
+ISB 1101 0101 0000 0011 0011 imm:4 110 11111
The two imm:4 fields are ignored; use ---- instead? Otherwise, Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~