Re: [Fwd: two dfa problems]

[Jan Hubicka <jh at suse dot cz>]

> Jan Hubicka wrote:
> 
> > Vlad,
> > I am happy to see that my intuition about the problematic splitting
> > was correct. However if I copy the genautomata file from mainline to
> > the branch tree (that does contain my experimental Athlon model), I get
> > internal error exactly:
> 
> Thanks, Jan.  Your intuition was absolutely correct about the problem of
> splitting automata in presence of '|' and you pointed a good example.

At least I have some idea how it works internally.
Looking at the code, I figured out what is causing problem.
I was using reservation "athlon-ieu + athlon-mult", where athlon-ieu
is temporary defined as nothing (since the automata runs out of control
oterhwise).
The nothing is what probably confused genatomata. Removing it makes everything
to work fluently again.

I am commiting the fix to i386.md.  You maybe just want to add an error
message complaining about usage of nothing in + operator.

Honza
> 
> As for the ICE, I'll look at it tommorow.
> 
> Vlad
>