Hi, On Fri, 20 Jan 2012, Eric Botcazou wrote:
> Is it supposed to change the generated code or...? It was supposed to not change the set of conflicts, no. But I made a thinko, and sometimes too many conflicts are generated. On the testcases I tried that wasn't the case, so thanks for finding one :) Trivially fixing the thinko (iterating over (work bit-and old_conflict) in the first inner loop) would fix the testcase but in general create too few conflicts, i.e. generate wrong code. I need some time to think about this again. Ciao, Michael.