Re: [PATCH 3/6] lra-assigns.c: fix pseudo_compare_func

2017-07-19 Thread Jeff Law
On 07/15/2017 02:47 PM, Alexander Monakov wrote: > This comparator lacks anti-commutativity and can indicate > A < B < A if both A and B satisfy non_spilled_static_chain_regno_p. > Proceed to following tie-breakers in that case. > > (it looks like the code incorrectly assumes that at most one

[PATCH 3/6] lra-assigns.c: fix pseudo_compare_func

2017-07-15 Thread Alexander Monakov
This comparator lacks anti-commutativity and can indicate A < B < A if both A and B satisfy non_spilled_static_chain_regno_p. Proceed to following tie-breakers in that case. (it looks like the code incorrectly assumes that at most one register in the array will satisfy