[Bug target/93341] [10 Regression] ICE in aarch64_do_track_speculation, at config/aarch64/aarch64-speculation.cc:221

[cvs-commit at gcc dot gnu.org]

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 <rsandifo@gcc.gnu.org>:

https://gcc.gnu.org/g:2214053f9d9cdf66a4f3a657dbae43d293fd0387

commit r10-6176-g2214053f9d9cdf66a4f3a657dbae43d293fd0387
Author: Richard Sandiford <richard.sandiford@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.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.