Re: [PATCH v4 01/27] tcg: Fix tcg_reg_alloc_dup*

2022-12-19 Thread Richard Henderson

On 12/19/22 07:49, Alex Bennée wrote:


Richard Henderson  writes:


The assignment to mem_coherent should be done with any
modification, not simply with a newly allocated register.


What exactly does mem_coherent mean in this case? Is it that our
register store is potentially out of sync with live values in temp regs
or that we have memory loads and stores in flight?

I think it would be useful to add a doc patch for TCGTemp do specify
what the various fields mean. It would certainly help reviewers that
don't have it committed to memory ;-)



mem_coherent means that the register value and the memory value are the same, so that if 
we must release the register we do not need to save the value back to memory.



r~



Re: [PATCH v4 01/27] tcg: Fix tcg_reg_alloc_dup*

2022-12-19 Thread Alex Bennée


Richard Henderson  writes:

> The assignment to mem_coherent should be done with any
> modification, not simply with a newly allocated register.

What exactly does mem_coherent mean in this case? Is it that our
register store is potentially out of sync with live values in temp regs
or that we have memory loads and stores in flight?

I think it would be useful to add a doc patch for TCGTemp do specify
what the various fields mean. It would certainly help reviewers that
don't have it committed to memory ;-)

-- 
Alex Bennée
Virtualisation Tech Lead @ Linaro