[Bug rtl-optimization/55093] [4.8 Regression] [x32] -maddress-mode=long failed

[hjl.tools at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55093



H.J. Lu <hjl.tools at gmail dot com> changed:



           What    |Removed                     |Added

----------------------------------------------------------------------------

  Attachment #28541|0                           |1

        is obsolete|                            |



--- Comment #4 from H.J. Lu <hjl.tools at gmail dot com> 2012-10-29 00:10:37 
UTC ---

Created attachment 28552

  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28552

A smaller testcase



LRA failed to handle



(insn 34 32 35 4 (parallel [

            (set (reg:SI 79)

                (plus:SI (subreg:SI (reg/f:DI 16 argp) 0)

                    (const_int 4 [0x4])))

            (clobber (reg:CC 17 flags))

        ]) x.ii:63 247 {*addsi_1}

     (expr_list:REG_UNUSED (reg:CC 17 flags)

        (expr_list:REG_EQUIV (plus:SI (subreg:SI (reg/f:DI 16 argp) 0)

                (const_int 4 [0x4]))

            (nil))))



The old reload eliminates argp:



(insn 34 49 35 4 (parallel [

            (set (reg:SI 4 si [79])

                (plus:SI (reg:SI 4 si [79])

                    (const_int 20 [0x14])))

            (clobber (reg:CC 17 flags))

        ]) x.ii:63 247 {*addsi_1}

     (expr_list:REG_EQUIV (plus:SI (subreg:SI (plus:DI (reg/f:DI 7 sp) 

                    (const_int 16 [0x10])) 0)

            (const_int 4 [0x4]))

        (nil)))



while LRA keeps:



(insn 34 32 35 4 (parallel [

            (set (reg:SI 4 si [79])

                (plus:SI (reg:SI 16 argp)

                    (const_int 20 [0x14])))

            (clobber (reg:CC 17 flags))

        ]) x.ii:63 247 {*addsi_1}

     (expr_list:REG_UNUSED (reg:CC 17 flags)

        (expr_list:REG_EQUIV (plus:SI (subreg:SI (reg/f:DI 16 argp) 0)

                (const_int 4 [0x4]))

            (nil))))