On 04/05/2016 09:33 AM, Laurent Desnogues wrote: > The 'flags' field is 64-bit. You're thinking of cflags, I guess.
Well that's silly. Since it's filled in via static inline void cpu_get_tb_cpu_state(CPUMIPSState *env, target_ulong *pc, target_ulong *cs_base, int *flags) and passed back in to generate code with TranslationBlock *tb_gen_code(CPUState *cpu, target_ulong pc, target_ulong cs_base, int flags, int cflags); So while TranslationBlock stores "uint64_t", the producer and consumer see "int". r~