Re: A reload inheritance bug

[Mark Shinwell <shinwell at codesourcery dot com>]

Rask Ingemann Lambertsen wrote:
> On Mon, May 14, 2007 at 10:47:13PM +0100, Mark Shinwell wrote:
>
> [snip]
> >     - the last use of reg2 (in B) is inside a matched input operand;
> [snip]
> > The reload used for the instruction at B looks like this:
> >
> > Reload 0: reload_in (SI) = (plus:SI (reg/f:SI 9 r9 [3275])
> >                                                     (reg:SI 10 sl [3812]))
> >         GENERAL_REGS, RELOAD_FOR_INPUT (opnum = 1), inc by 8
> >         reload_in_reg: (plus:SI (reg/f:SI 9 r9 [3275])
> >                                                     (reg:SI 10 sl [3812]))
> >         reload_reg_rtx: (reg:SI 9 r9)
> >
> > where, in the notation from above, r9 is H and pseudo 3275 is reg2.
>
>    I could be missing something here, but aren't matched operands given a
> reload type of RELOAD_OTHER rather than RELOAD_FOR_INPUT?

I might be tripping up on the terminology here then.  The original
instruction is:

(insn:HI 5291 5282 5295 2 (set (reg:DF 4078 [ Jd+1040 ])
        (mem/s:DF (plus:SI (reg/f:SI 3275)
                (reg:SI 3812)) [30 Jd+1040 S8 A64])) 578 {*movdf_vfp} (nil)
    (expr_list:REG_DEAD (reg/f:SI 3275)
        (expr_list:REG_DEAD (reg:SI 3812)
            (nil))))

and after reload we end up with:

(insn 6675 5282 5291 2 (set (reg:SI 9 r9)
        (plus:SI (reg/f:SI 9 r9 [3275])
            (reg:SI 10 sl [3812]))) 4 {*arm_addsi3} (nil)
    (nil))

(insn:HI 5291 6675 5295 2 (set (reg:DF 75 s12 [orig:4078 Jd+1040 ] [4078])
        (mem/s:DF (reg:SI 9 r9) [30 Jd+1040 S8 A64])) 578
        {*movdf_vfp} (nil)
    (nil))

>    Also, which register is the "inc by 8" note for? R9 or sl?

I thought the value of "inc" wasn't relevant here since we aren't
dealing with an autoincrement instruction (see the comment in
reload.h:struct reload).

Mark