GitLab

[r14942]

[r14941]

[r14940]

[r14939]

[r14938]

[r14937]

[r14929]

[r14927]

[r14926]

[r14925]

[r14922]

[r14921]

[r14920]

[r14919]

[r14918]

[r14917]

[r14914]

[r14912]

[r14911]

[r14910]

- Use node_nr instead of address of nodes for sorting
- Evaluate if with known result

[r14909]

[r14908]

[r14907]

[r14903]

[r14902]

[r14901]

[r14900]

[r14899]

[r14885]

[r14884]

[r14883]

[r14882]

[r14881]

- Cmov and Set can do AddressMode (for the comparison not for the result) now
- Rewrote should_be_same constraint handler and fixed a little bug in it

[r14879]

[r14875]

[r14873]

[r14869]

[r14865]

Missing is a color sequence detection; at the moment, colors are used from 0..k-1.
This is probably not so superb

[r14864]