[Bug rtl-optimization/35281] [4.3 regression] multiply with 0 generated for 64*32->64

[ubizjak at gmail dot com]

--- Comment #1 from ubizjak at gmail dot com  2008-02-21 21:35 ---
I know that the test sources are probably trivial, but can you post them here
for reference?


-- 


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

[Bug rtl-optimization/35281] [4.3 regression] multiply with 0 generated for 64*32->64

[astrange at ithinksw dot com]

--- Comment #2 from astrange at ithinksw dot com  2008-02-21 21:58 ---
Created an attachment (id=15199)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15199&action=view)
source

Oh, I forgot.


-- 


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

[Bug rtl-optimization/35281] [4.3 regression] multiply with 0 generated for 64*32->64

[ubizjak at gmail dot com]

--- Comment #3 from ubizjak at gmail dot com  2008-03-05 10:14 ---
Confirmed with

--cut here--
unsigned long long a;
unsigned int b;
unsigned short c;

unsigned long long mul32()
{
  return a * b;
}

unsigned long long mul16()
{
  return a * c;
}
--cut here--

Setting milestone to 4.3.0


-- 

ubizjak at gmail dot com changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed|0   |1
  Known to fail||4.3.0
  Known to work||4.1.2 4.2.3
   Last reconfirmed|-00-00 00:00:00 |2008-03-05 10:14:59
   date||
   Target Milestone|--- |4.3.0


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

[Bug rtl-optimization/35281] [4.3 regression] multiply with 0 generated for 64*32->64

[ubizjak at gmail dot com]

--- Comment #4 from ubizjak at gmail dot com  2008-03-05 10:16 ---
Note, this is _NOT_ the same issue as PR rtl-optimization/34522.


-- 

ubizjak at gmail dot com changed:

   What|Removed |Added

 CC||ubizjak at gmail dot com


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

[Bug rtl-optimization/35281] [4.3 Regression] multiply with 0 generated for 64*32->64

[bonzini at gnu dot org]

--- Comment #15 from bonzini at gnu dot org  2008-04-02 11:24 ---
oops, still on 4.3


-- 

bonzini at gnu dot org changed:

   What|Removed |Added

 Status|RESOLVED|REOPENED
  Known to work|4.1.2 4.2.3 |4.1.2 4.2.3 4.4.0
 Resolution|FIXED   |
Summary|[4.3/4.4 Regression]|[4.3 Regression] multiply
   |multiply with 0 generated   |with 0 generated for 64*32-
   |for 64*32->64   |>64


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

[Bug rtl-optimization/35281] [4.3 Regression] multiply with 0 generated for 64*32->64

[bonzini at gcc dot gnu dot org]

--- Comment #16 from bonzini at gnu dot org  2008-04-03 05:37 ---
Subject: Bug 35281

Author: bonzini
Date: Thu Apr  3 05:36:26 2008
New Revision: 133859

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133859
Log:
2008-04-03  Paolo Bonzini  <[EMAIL PROTECTED]>

PR rtl-optimization/35281
* gcc.target/i386/pr35281.c: New test.


Added:
trunk/gcc/testsuite/gcc.target/i386/pr35281.c
Modified:
trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/35281] [4.3 Regression] multiply with 0 generated for 64*32->64

[bonzini at gnu dot org]

--- Comment #18 from bonzini at gnu dot org  2008-07-14 16:07 ---
The two commits listed here fix the regression, they should be safe to backport
to 4.3.2.


-- 


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

[Bug rtl-optimization/35281] [4.3 Regression] multiply with 0 generated for 64*32->64

[bonzini at gnu dot org]

--- Comment #19 from bonzini at gnu dot org  2008-07-18 11:45 ---
bootstrapped/regtested on 4.3 branch, committed there too


-- 

bonzini at gnu dot org changed:

   What|Removed |Added

 Status|REOPENED|RESOLVED
 Resolution||FIXED


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

[Bug rtl-optimization/35281] [4.3 Regression] multiply with 0 generated for 64*32->64

[bonzini at gcc dot gnu dot org]

--- Comment #20 from bonzini at gnu dot org  2008-07-18 11:45 ---
Subject: Bug 35281

Author: bonzini
Date: Fri Jul 18 11:44:57 2008
New Revision: 137942

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=137942
Log:
gcc:
2008-07-18  Paolo Bonzini  <[EMAIL PROTECTED]>

PR rtl-optimization/35281
* expr.c (convert_move): Use a new pseudo for the intermediate
from_mode->word_mode result.
* fwprop.c (PR_CAN_APPEAR, PR_HANDLE_MEM): New.
(propagate_rtx_1): Handle PR_HANDLE_MEM.
(propagate_rtx): Pass PR_HANDLE_MEM if appropriate.
(varying_mem_p): Move above propagate_rtx.
(all_uses_available_at): Do not check MEMs.

gcc/testsuite:
2008-07-18  Paolo Bonzini  <[EMAIL PROTECTED]>

PR rtl-optimization/35281
* gcc.target/i386/pr35281.c: New.


Added:
branches/gcc-4_3-branch/gcc/testsuite/gcc.target/i386/pr35281.c
  - copied unchanged from r133859,
trunk/gcc/testsuite/gcc.target/i386/pr35281.c
Modified:
branches/gcc-4_3-branch/gcc/ChangeLog
branches/gcc-4_3-branch/gcc/expr.c
branches/gcc-4_3-branch/gcc/fwprop.c
branches/gcc-4_3-branch/gcc/testsuite/ChangeLog


-- 


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