On 05/17/2017 07:32 AM, Wilco Dijkstra wrote:
When lra-remat rematerializes an instruction with a clobber, it checks
that the clobber does not kill live registers. However it fails to check
that the clobber also doesn't overlap with the destination register of the
final rematerialized instruction. As a result it is possible to generate
illegal instructions with the same hard register as the destination and a
clobber. Fix this by also checking for overlaps with the destination
register.
Bootstrap OK on arm-linux-gnueabihf for ARM and Thumb-2, OK for commit?
Wilco, thank you for working on the PR.
The patch looks OK for me. You can commit it into the trunk and gcc7
branch.
