define_memory_constraint and REG_OK_STRICT

[Richard Henderson]

On 09/29/2009 07:32 AM, Mohamed Shafi wrote:
> My question is my definition of strict correct?
> or should it be reload_in_progress || reload_completed?

I'm tempted to say it should be the later, but I'm not sure it really 
makes any difference since reload does not query the operand predicates; 
it only queries the operand constraints.

And even that said, neither the ARM or IA64 ports do anything with 
strict at all, which suggests that you may not have to either.  It's 
possible that this works because after reload we verify an instruction 
with both predicates and constraints.

Is this question in response to a particular problem, or just trying to 
avoid possible problems?


r~