On 07/09/2013 11:28 AM, Richard Sandiford wrote:
Graham Stott <graham.st...@btinternet.com> writes:
Hi Richard, Jeff.
Richard what's your idea for exposing things early enough so that VRP
can eliminate the need for a trao-if-zero insn iif possible.
Well, I was thinking of doing it in expand. I.e. get the MIPS div*, mod*
and divmod* patterns to emit an explicit trap-if-zero or branch-around-
break sequence. (The div* and mod* patterns are in loongson.md.)
With Jeff's comment about VRP though, it sounds like he had different
ideas :-)
Thinking through it a bit more, expand is probably better -- assuming
the bits to attach VRP info to SSA_NAMEs and work out as we hope.
jeff
