[PATCH 0/2] simplify null select

[Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx>]

These two patches allow to simplify expressions like:
	x ? 0 : x;
or more exactly, instructions like:
	select  r <- x, 0, x
which are always zero

Luc Van Oostenryck (2):
  add an helper to test the value of a pseudo against zero
  optim: simplify null select

 linearize.h                    | 11 +++++++++++
 simplify.c                     |  6 ++++++
 validation/optim/select-zero.c | 16 ++++++++++++++++
 3 files changed, 33 insertions(+)
 create mode 100644 validation/optim/select-zero.c

-- 
2.16.2

--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html