Re: [PATCH] AArch64: Add more accurate constraint [PR117292]

2024-10-25 Thread Richard Sandiford
Wilco Dijkstra writes: > As shown in the PR, reload may only check the constraint in some cases and > and not check the predicate is still valid for the resulting instruction. Yeah, that's by design. constraints have to accept a subset of the predicates. > To fix the issue, add a new constraint

[PATCH] AArch64: Add more accurate constraint [PR117292]

2024-10-25 Thread Wilco Dijkstra
As shown in the PR, reload may only check the constraint in some cases and and not check the predicate is still valid for the resulting instruction. To fix the issue, add a new constraint which matches the predicate exactly. Passes regress & bootstrap, OK for commit? gcc/ChangeLog: PR ta