[Bug target/110783] New: bpf; make sure of V4 signed division/modulus instructions

[Bug target/110783] New: bpf; make sure of V4 signed division/modulus instructions

[jemarch at gcc dot gnu.org]

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

            Bug ID: 110783
           Summary: bpf; make sure of V4 signed division/modulus
                    instructions
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jemarch at gcc dot gnu.org
  Target Milestone: ---

The BPF V4 ISA introduces support for signed division and signed modulus
instructions.  Up to now, we were supporting these instructions in GCC only for
-mxbpf.  We shall change the compiler in order to generate them with -mcpu=v4
or later instead.

[Bug target/110783] bpf; make sure of V4 signed division/modulus instructions

[jemarch at gcc dot gnu.org]

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

Jose E. Marchesi <jemarch at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
           Assignee|unassigned at gcc dot gnu.org      |jemarch at gcc dot gnu.org
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2023-07-24

[Bug target/110783] bpf; make sure of V4 signed division/modulus instructions

[cvs-commit at gcc dot gnu.org]

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

--- Comment #1 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jose E. Marchesi <jemarch@gcc.gnu.org>:

https://gcc.gnu.org/g:4be3919fb75e3d2a4d2bb80ba33c14e0973bc08f

commit r14-2749-g4be3919fb75e3d2a4d2bb80ba33c14e0973bc08f
Author: Jose E. Marchesi <jose.marchesi@oracle.com>
Date:   Mon Jul 24 15:57:05 2023 +0200

    bpf: sdiv/smod are now part of BPF V4

    We used to support signed division and signed modulus instructions in
    the XBPF GCC-specific extensions to BPF.  However, BPF catched up by
    adding these instructions in the V4 of the ISA.

    This patch changes GCC in order to use sdiv/smod instructions when
    -mcpu=v4 or higher.  The testsuite and the manual have been updated
    accordingly.

    Tested in bpf-unknown-none.

    gcc/ChangeLog

            PR target/110783
            * config/bpf/bpf.opt: New command-line option -msdiv.
            * config/bpf/bpf.md: Conditionalize sdiv/smod on bpf_has_sdiv.
            * config/bpf/bpf.cc (bpf_option_override): Initialize
            bpf_has_sdiv.
            * doc/invoke.texi (eBPF Options): Document -msdiv.

    gcc/testsuite/ChangeLog

            PR target/110783
            * gcc.target/bpf/xbpf-sdiv-1.c: Renamed to sdiv-1.c
            * gcc.target/bpf/xbpf-smod-1.c: Renamed to smod-1.c
            * gcc.target/bpf/sdiv-1.c: Renamed from xbpf-sdiv-1.c, use
-mcpu=v4.
            * gcc.target/bpf/smod-1.c: Renamed from xbpf-smod-1.c, use
-mcpu=v4.
            * gcc.target/bpf/diag-sdiv.c: Use -mcpu=v3.
            * gcc.target/bpf/diag-smod.c: Likewise.

[Bug target/110783] bpf; make sure of V4 signed division/modulus instructions

[jemarch at gcc dot gnu.org]

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

Jose E. Marchesi <jemarch at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from Jose E. Marchesi <jemarch at gcc dot gnu.org> ---
Fixed in git master.