--- Comment #9 from bonzini at gnu dot org 2009-04-23 14:37 ---
(From update of attachment 17675)
The testcase includes an invalid asm (it should clobber memory).
--
bonzini at gnu dot org changed:
What|Removed |Added
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
Priority|P3 |P1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39794
--- Comment #7 from alexey dot zaytsev at gmail dot com 2009-04-22 16:55
---
Created an attachment (id=17674)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17674action=view)
gcc 4.3.3 testcase
This testcase could probably be reduced further, but the result is somewhat
fragile,
--- Comment #8 from alexey dot zaytsev at gmail dot com 2009-04-22 16:57
---
Created an attachment (id=17675)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17675action=view)
The gcc 4.3.3 testcase.
Sorry, wrong file.
--
alexey dot zaytsev at gmail dot com changed:
--
jakub at gcc dot gnu dot org changed:
What|Removed |Added
Target Milestone|4.4.0 |4.4.1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39794
--- Comment #6 from jakub at gcc dot gnu dot org 2009-04-21 17:23 ---
Created an attachment (id=17666)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17666action=view)
gcc44-pr39794.patch
Updated patch that successfully bootstrapped/regtested on x86_64-linux on 4.4
branch.
--
--- Comment #4 from bonzini at gnu dot org 2009-04-20 15:48 ---
Maybe a stupid question, but shouldn't this
canon_true_dependence call receive canonicalized MEMs from 'base' and
'store_info-cse_base'?
I think so. The only way that DSE can see that something changed, is by having
--- Comment #5 from jakub at gcc dot gnu dot org 2009-04-20 17:45 ---
Created an attachment (id=17656)
-- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=17656action=view)
gcc45-pr39794.patch
So shouldn't it use cselib_subst_to_values similarly to e.g. how sched-deps.c
uses it?
--
amonakov at gcc dot gnu dot org changed:
What|Removed |Added
Known to fail||4.4.0 4.5.0
Known to work||4.3.2
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
Target Milestone|--- |4.4.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39794
--
jakub at gcc dot gnu dot org changed:
What|Removed |Added
Priority|P5 |P3
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39794
--- Comment #1 from rguenth at gcc dot gnu dot org 2009-04-17 12:19 ---
-fno-ivopts also fixes this. The unrolling happening on the RTL level
for the loop in foo() somehow is broken.
We end up with
(gdb) p a
$1 = {0, 1, 4, 2, 10, 12, 24, 44, 72, 18, 20, 22, 24, 26, 28, 50}
(gdb) p
--- Comment #2 from amonakov at gcc dot gnu dot org 2009-04-17 21:55
---
I attempted to investigate the miscompilation on the 4.4 branch.
The problem seems to appear in dse2 pass. Basically, after encountering
313 dx:DI=ax:DI+0x4
187 {[di:DI+dx:DI]=[di:DI+dx:DI]0x1;clobber
--- Comment #3 from rguenth at gcc dot gnu dot org 2009-04-17 22:06 ---
Best to CC Zadeck on DSE problems.
--
rguenth at gcc dot gnu dot org changed:
What|Removed |Added
14 matches
Mail list logo