Re: [PATCH v7 15/27] tcg/tci: Change encoding to uint32_t units

[Richard Henderson]

On 6/19/21 10:48 AM, Philippe Mathieu-Daudé wrote:

+    case INDEX_op_tci_movi:
+        tci_args_ri(insn, &r0, &i1);
+        info->fprintf_func(info->stream, "%-12s  %s,0x%" TCG_PRIlx "",

Missing space in format: "%s, 0x%"

Squashed, thanks.

r~