Thanks for noticing it Richard, I made a refactoring mistake and addr was supposed to be used instead of x. In fact on AArch64 it occurs that we don't have stripped rtxes at this step and we have some of the form below, this if why I added the strip.
(insn 29 27 5 7 (set (mem:SI (plus:DI (sign_extract:DI (mult:DI (subreg:DI (reg/v:SI 76 [ elt ]) 0) I'll redo the patch... Thanks Yvan On 9 September 2013 10:58, Richard Sandiford <rdsandif...@googlemail.com> wrote: > Richard Sandiford <rdsandif...@googlemail.com> writes: >> I think SIGN_EXTRACT from the lsb (i.e. when the third operand is 0 for >> !BITS_BIG_ENDIAN or GET_MODE_PRECISION (mode) - 1 for BITS_BIG_ENDIAN) > > Gah, "GET_MODE_PRECISION (mode) - size" for BITS_BIG_ENDIAN. > > Richard
