Hi! On Tue, Apr 28, 2020 at 08:38:56AM +0100, Richard Sandiford wrote: > Also, the (const:P ...) ought to be there even outside of a MEM. E.g. we > ought to have: > > (set (reg X) (const:P (plus:P (symbol_ref:P S) (const_int D)))) > > rather than: > > (set (reg X) (plus:P (symbol_ref:P S) (const_int D)))
What are the actual rules? Where is this documented? Of course it is highly desirable to have CONST around such constant addresses, but when is it *required*? And what *is* a constant address (in this context)? Segher
