https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93341
--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Sandiford <rsand...@gcc.gnu.org>: https://gcc.gnu.org/g:2214053f9d9cdf66a4f3a657dbae43d293fd0387 commit r10-6176-g2214053f9d9cdf66a4f3a657dbae43d293fd0387 Author: Richard Sandiford <richard.sandif...@arm.com> Date: Tue Jan 21 10:31:13 2020 +0000 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.sandif...@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.