Deep CSE bug!

[Jeffrey A Law]

On Mon, 2004-06-21 at 04:15, Dave Korn wrote:

>   So, looking at that insn again:
> 
> (insn 33 32 37 0 0x1002f510 (set (subreg:SI (reg:DI 80) 4)
>         (reg/v:SI 75)) 22 {movsi} (nil)
>     (expr_list:REG_EQUAL (const_double -1 [0xffffffff] 0 [0x0] 0 [0x0] 0
> [0x0] 0 [0x0] 0 [0x0])
>         (nil)))
> 
> you'd say that since REG_EQUAL refers to the dest, it should be in the same
> mode as the dest, and therefore I should really want it to just say
> REG_EQUAL (const_int 0)?
I'd tend to agree.  We're trying to describe what happens to
(subreg:SI (reg:DI 80) 4), not (reg:DI 80) as a whole.  Which
would tend to make me thing the REG_EQUAL note is bogus.


Jeff