Re: Question about insn predicates and constraints

2012-09-30 Thread Andreas Schwab
Thanks for the hints. I'll go with removing the dead bits that assume a MEM operand for now. The ICE appears to be pretty hard to trigger, given how old that change is. Andreas. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "A

Re: Question about insn predicates and constraints

2012-09-30 Thread Richard Sandiford
Andreas Schwab writes: > Richard Sandiford writes: >> Worse than redundant really. If the register operand is a spilled pseudo, >> "o" allows reload to replace the operand with a stack memory reference, >> which would lead to an ICE after reload. (Reload only checks constraints >> in that situa

Re: Question about insn predicates and constraints

2012-09-30 Thread Andreas Schwab
Richard Sandiford writes: > Worse than redundant really. If the register operand is a spilled pseudo, > "o" allows reload to replace the operand with a stack memory reference, > which would lead to an ICE after reload. (Reload only checks constraints > in that situation, not predicates.) What

Re: Question about insn predicates and constraints

2012-09-30 Thread Richard Sandiford
Andreas Schwab writes: > m68k.md contains the following insn: > > (define_insn "" > [(set (match_operand:SI 0 "nonimmediate_operand" "=&d") > (zero_extract:SI (match_operand:SI 1 "register_operand" "do") >(match_operand:SI 2 "const_int_operand" "n") >

Re: Question about insn predicates and constraints

2012-09-29 Thread Ian Lance Taylor
On Sat, Sep 29, 2012 at 3:15 AM, Andreas Schwab wrote: > m68k.md contains the following insn: > > (define_insn "" > [(set (match_operand:SI 0 "nonimmediate_operand" "=&d") > (zero_extract:SI (match_operand:SI 1 "register_operand" "do") > (match_operand:SI 2 "cons

Question about insn predicates and constraints

2012-09-29 Thread Andreas Schwab
m68k.md contains the following insn: (define_insn "" [(set (match_operand:SI 0 "nonimmediate_operand" "=&d") (zero_extract:SI (match_operand:SI 1 "register_operand" "do") (match_operand:SI 2 "const_int_operand" "n") (match_operand:SI 3 "c