[PATCH 0/2] extend canonical order

[Luc Van Oostenryck <luc.vanoostenryck@gmail.com>]

After linearization, operands of binops of binops are
maintained in a 'canonical' order but this order is only:
	anything > symbols > integer literals
but there is some value to impose a more complete order
as this creates more opportunities for CSE and help to
limit the number of patterns that need to be checked
at simplification of even during code generation.

This is what is done by this (almost single patch) series.

This series is available at:
	git://github.com/lucvoo/sparse.git base-file
based on commit:
	c9585071d02590f40175ea90c395d15ef70e9a1e (cset-setfval)
up to commit:
	462a61a21b1e3bb17abce88fb1bdbc93d9653245


Luc Van Oostenryck (2):
  CSE: split optim/cse-dual-compare.c in two files
  CSE: extend canonical_order()

 linearize.h                                        |  4 +--
 simplify.c                                         | 29 +++++++++++-----
 validation/call-inlined.c                          |  2 +-
 .../optim/{cse-dual-compare.c => cse-dual-cmpeq.c} | 11 +-----
 validation/optim/cse-dual-cmpne.c                  | 40 ++++++++++++++++++++++
 5 files changed, 65 insertions(+), 21 deletions(-)
 rename validation/optim/{cse-dual-compare.c => cse-dual-cmpeq.c} (68%)
 create mode 100644 validation/optim/cse-dual-cmpne.c

-- 
2.12.0