diff options
author | Richard Sandiford <richard.sandiford@arm.com> | 2020-01-21 10:31:13 +0000 |
---|---|---|
committer | Richard Sandiford <richard.sandiford@arm.com> | 2020-01-23 13:56:16 +0000 |
commit | 2214053f9d9cdf66a4f3a657dbae43d293fd0387 (patch) | |
tree | b577bee03b2bfd6558950c4d49a2074c295c0bd7 /test-driver | |
parent | d16db16edd35bf4f0774aafef2325e113559d910 (diff) | |
download | gcc-2214053f9d9cdf66a4f3a657dbae43d293fd0387.zip gcc-2214053f9d9cdf66a4f3a657dbae43d293fd0387.tar.gz gcc-2214053f9d9cdf66a4f3a657dbae43d293fd0387.tar.bz2 |
aarch64: Fix -mtrack-speculation for irreversible conditions [PR93341]
We can't yet represent the inverse of all conditions in rtl
(see g:865257c447cc50f5819e), triggering an ICE in the pass
that handles -mtrack-speculation. Since we don't expect these
insns to be optimised in any way, the easiest fix seemed to be
to add an insn that reverses the condition internally.
2020-01-23 Richard Sandiford <richard.sandiford@arm.com>
gcc/
PR target/93341
* config/aarch64/aarch64.md (UNSPEC_SPECULATION_TRACKER_REV): New
unspec.
(speculation_tracker_rev): New pattern.
* config/aarch64/aarch64-speculation.cc (aarch64_do_track_speculation):
Use speculation_tracker_rev to track the inverse condition.
gcc/testsuite/
PR target/93341
* gcc.target/aarch64/pr93341.c: New test.
Diffstat (limited to 'test-driver')
0 files changed, 0 insertions, 0 deletions