[Bug rtl-optimization/78085] extra sign extend if used to store in 32bit and return 64bit and the upper bits are known to be zeroed.

[Bug rtl-optimization/78085] extra sign extend if used to store in 32bit and return 64bit and the upper bits are known to be zeroed.

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|target                      |rtl-optimization
   Last reconfirmed|                            |2021-08-07
     Ever confirmed|0                           |1
            Summary|Unexpected cltq instruction |extra sign extend if used
                   |on Linux x86-64 for         |to store in 32bit and
                   |conversion of positive int  |return 64bit and the upper
                   |to long                     |bits are known to be
                   |                            |zeroed.
             Status|UNCONFIRMED                 |NEW
           Keywords|                            |missed-optimization
           Severity|normal                      |enhancement

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

[Bug rtl-optimization/78085] extra sign extend if used to store in 32bit and return 64bit and the upper bits are known to be zeroed.

[crazylht at gmail dot com]

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

--- Comment #2 from Hongtao.liu <crazylht at gmail dot com> ---
It looks like this issue has been fixed in GCC13 trunk,cltq is gone for the
first and the last function,  but i don't know which exact commit fixed it.

[Bug rtl-optimization/78085] extra sign extend if used to store in 32bit and return 64bit and the upper bits are known to be zeroed.

[pinskia at gcc dot gnu.org]

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

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
From REE:
Trying to eliminate extension:
(insn 9 8 15 2 (set (reg:DI 0 ax [orig:88 _3 ] [88])
        (sign_extend:DI (reg:SI 0 ax [orig:84 _3 ] [84]))) "a.c":6:9 160
{*extendsidi2_rex64}
     (nil))
Tentatively merged extension with definition :
(insn 7 6 8 2 (parallel [
            (set (reg:DI 0 ax)
                (zero_extend:DI (and:SI (reg:SI 0 ax [86])
                        (const_int 3 [0x3]))))
            (clobber (reg:CC 17 flags))
        ]) "a.c":5:4 -1
     (nil))
deferring rescan insn with uid = 7.
All merges were successful.
Eliminated the extension.
deferring deletion of insn with uid = 9.
Elimination opportunities = 1 realized = 1

[Bug rtl-optimization/78085] extra sign extend if used to store in 32bit and return 64bit and the upper bits are known to be zeroed.

[pinskia at gcc dot gnu.org]

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

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Most likely r13-1942-gc23a9c87cc62bd .