------- Comment #7 from hjl dot tools at gmail dot com 2010-05-02 20:09 -------
It is a bug in true_dependence. We get
Breakpoint 7, true_dependence (mem=0x7ffff19246d8, mem_mode=SImode,
x=0x7ffff1924918, varies=0x93bbea <rtx_varies_p>)
at /export/gnu/import/git/gcc/gcc/alias.c:2360
2360 x_addr = get_addr (XEXP (x, 0));
(mem/s/j:QI (plus:SI (value:SI 7:7854 @0x17f5800/0x17f56a0)
(const_int 1 [0x1])) [0 s.ca+1 S1 A8])
(mem:SI (value:SI 7:7854 @0x17f5800/0x17f56a0) [0 *vect_ps.7_1+0 S4 A32])
(gdb)
(gdb) call debug_rtx (x_addr)
(plus:SI (value:SI 7:7854 @0x17f5800/0x17f56a0)
(const_int 1 [0x1]))
(gdb) call debug_rtx (mem_addr)
(plus:SI (value:SI 5:3935 @0x17f57d0/0x17f5640)
(const_int -16 [0xfffffffffffffff0]))
(gdb)
We think x and mem don't overlap. It is clearly wrong.
--
hjl dot tools at gmail dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |rguenth at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43671
