Re: [PATCH] Fix PR82397

2017-10-09 Thread Richard Biener
On Mon, 9 Oct 2017, Richard Biener wrote: > On Sat, 7 Oct 2017, Richard Sandiford wrote: > > > Richard Biener writes: > > > I am testing the following patch to fix the qsort intransitiveness > > > of dr_group_sort_cmp. The patch removes the overly powerful > > > operand_equal_p checks (handling

Re: [PATCH] Fix PR82397

2017-10-09 Thread Richard Biener
On Sat, 7 Oct 2017, Richard Sandiford wrote: > Richard Biener writes: > > I am testing the following patch to fix the qsort intransitiveness > > of dr_group_sort_cmp. The patch removes the overly powerful > > operand_equal_p checks (handling commutativity ) > > because those do not mix well with

Re: [PATCH] Fix PR82397

2017-10-07 Thread Richard Sandiford
Richard Biener writes: > I am testing the following patch to fix the qsort intransitiveness > of dr_group_sort_cmp. The patch removes the overly powerful > operand_equal_p checks (handling commutativity ) > because those do not mix well with the sorting constraints. > > I am also testing a follow

[PATCH] Fix PR82397

2017-10-06 Thread Richard Biener
I am testing the following patch to fix the qsort intransitiveness of dr_group_sort_cmp. The patch removes the overly powerful operand_equal_p checks (handling commutativity ) because those do not mix well with the sorting constraints. I am also testing a followup to address the missed equalitie