Joey Ye <joey.ye...@gmail.com> writes: > Hi Bin & Richard, > > It is not as simple as keeping the assertion, which still fails even > with the change in reorg.c. The testing result is as following: > > I. With Bin's patch version 2 (removing the assertion in aarch64.c and > adding the check in reorg.c): pr84682-2.c passes > > II. With Richard's suggestion to keep the assertion in aarch64, but > adding the check in reorg.c: pr84682-2.c fails > > Apparently there is a different path that reaches the assertion.
Yeah, looks like we also need to make constrain_operands check address_operand for 'p' (which I think it should do irrespective of "strict", since in general we can only reload an operand as a pointer if the original value has the right form for an address). Thanks, Richard
