On Fri, Oct 2, 2015 at 12:19 PM, Rich Felker <dalias@libc.org> wrote:

> On Fri, Oct 02, 2015 at 12:02:03PM +0200, Alex Dowad wrote:
> > +# this does NOT exhaustively check for all possible instructions which
> could
> > +# overwrite a register value inherited from the caller (just the common
> ones)
> > +/mov.*,%r(ax|bx|cx|dx|si|di|bp|8|9|10|11|12|13|14|15)/  {
> trashed(get_reg2()) }
> > +/(add|addl|sub|subl|and|or|xor|lea|sal|sar|shl|shr)
> %r(ax|bx|cx|dx|si|di|bp|8|9|10|11|12|13|14|15),/ {
> > +  trashed(get_reg1())
> > +}
>
> This looks wrong but maybe it's already wrong in existing code. Why
> are you marking the first operand as trashed rather than the second?


You're absolutely right!