[Bug target/106708] [rs6000] 64bit constant generation with oris xoris

[Bug target/106708] [rs6000] 64bit constant generation with oris xoris

[guojiufu at gcc dot gnu.org]

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

--- Comment #1 from Jiu Fu Guo <guojiufu at gcc dot gnu.org> ---
PR93178 also mentioned the "li,oris" case.

[Bug target/106708] [rs6000] 64bit constant generation with oris xoris

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jiu Fu Guo <guojiufu@gcc.gnu.org>:

https://gcc.gnu.org/g:97a8e88cd7d22562c0ea4f73687d3c93c21e12fb

commit r13-4771-g97a8e88cd7d22562c0ea4f73687d3c93c21e12fb
Author: Jiufu Guo <guojiufu@linux.ibm.com>
Date:   Mon Dec 19 16:40:01 2022 +0800

    rs6000: use li;x?oris to build constant

    For constant C:
    If '(c & 0xFFFFFFFF00008000ULL) == 0xFFFFFFFF00008000ULL' or say:
    32(1) || 16(x) || 1(1) || 15(x), using "li; xoris" would be ok.

    If '(c & 0xFFFFFFFF80008000ULL) == 0x80000000ULL' or say:
    32(0) || 1(1) || 15(x) || 1(0) || 15(x), we could use "li; oris" to
    build constant 'C'.

    Here N(M) means N continuous bit M, x for M means it is ok for either
    1 or 0; '||' means concatenation.

    This patch update rs6000_emit_set_long_const to support those constants.

            PR target/106708

    gcc/ChangeLog:

            * config/rs6000/rs6000.cc (rs6000_emit_set_long_const): Add using
            "li; x?oris" to build constant.

    gcc/testsuite/ChangeLog:

            * gcc.target/powerpc/pr106708.c: New test.

[Bug target/106708] [rs6000] 64bit constant generation with oris xoris

[guojiufu at gcc dot gnu.org]

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

--- Comment #3 from Jiu Fu Guo <guojiufu at gcc dot gnu.org> ---
With the trunk, for
  *arg++ = 0x98765432ULL;
  *arg++ = 0xffffffff7cdeab55ULL;
are expected.

For *arg++ = 0xffffffff65430000ULL; lis+xoris are not committed to the trunk
yet.

[Bug target/106708] [rs6000] 64bit constant generation with oris xoris

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jiu Fu Guo <guojiufu@gcc.gnu.org>:

https://gcc.gnu.org/g:5eb7d560626e427673c53723ed430c4bb5721f33

commit r14-923-g5eb7d560626e427673c53723ed430c4bb5721f33
Author: Jiufu Guo <guojiufu@linux.ibm.com>
Date:   Sat Dec 10 21:18:51 2022 +0800

    rs6000: use lis;xoris to build constant

    For constant C:
    If '(c & 0xFFFFFFFF0000FFFFULL) == 0xFFFFFFFF00000000' or say:
    32(1) || 1(0) || 15(x) || 16(0), we could use "lis; xoris" to build.

    Here N(M) means N continuous bit M, x for M means it is ok for either
    1 or 0; '||' means concatenation.

    This patch update rs6000_emit_set_long_const to support those constants.

    Compare with previous version:
    https://gcc.gnu.org/pipermail/gcc-patches/2022-December/608292.html
    This patch updates test function names only.

    Bootstrap and regtest pass on ppc64{,le}.

            PR target/106708

    gcc/ChangeLog:

            * config/rs6000/rs6000.cc (rs6000_emit_set_long_const): Support
building
            constants through "lis; xoris".

    gcc/testsuite/ChangeLog:

            * gcc.target/powerpc/pr106708.c: Add test function.

[Bug target/106708] [rs6000] 64bit constant generation with oris xoris

[guojiufu at gcc dot gnu.org]

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

Jiu Fu Guo <guojiufu at gcc dot gnu.org> changed:

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

--- Comment #5 from Jiu Fu Guo <guojiufu at gcc dot gnu.org> ---
Patch ready on the trunk.