[Bug target/122141] bpf: wrong code with -mcpu=v1 or -mno-jmpext

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122141

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by David Faust <dfaust@gcc.gnu.org>:

https://gcc.gnu.org/g:6a77bf08e5a5fb1554ff99b231c4a9ae2d3f1149

commit r16-4371-g6a77bf08e5a5fb1554ff99b231c4a9ae2d3f1149
Author: David Faust <david.faust@oracle.com>
Date:   Fri Oct 10 10:35:07 2025 -0700

    bpf: fix cbranch miscompilation in CPUv1 [PR122141]

    As diagnosed by Andrew in the linked PR, when reversing the branch
    condition to work around lack of some cbranch instructions, we must
    use swap_condition rather than reverse_condition.

            PR target/122141

    gcc/

            * config/bpf/bpf.cc (bpf_expand_cbranch): Use swap_condition
            rather than reverse_condition when reversing jump condition to
            work around missing instructions in very old BPF ISAs.

    gcc/testsuite/

            * gcc.target/bpf/pr122141-1.c: New.
            * gcc.target/bpf/pr122141-2.c: New.

    Suggested-by: Andrew Pinski <andrew.pinski@oss.qualcomm.com>