> I haven't ran into that problem; all the targets I've converted to
> constraints.md haven't had constraints that changed based on strictness.
> I think the right thing to do is depend on
> reload_{in_progress,completed}
> (cf. rs6000/predicates.md:volatile_memory_operand), but I freely admit
> this is a part of the compiler that I'm not familiar with.SPARC had exactly the same pattern as the 'U' constraint of MMIX. It now uses reload_in_progress || reload_completed instead (in memory_ok_for_ldd). -- Eric Botcazou
