[0/2] give an explicit type to operands of comparisons

Message

Luc Van Oostenryck Oct. 29, 2020, 10:59 p.m. UTC

This series fixes a long standing problem caused by the lack
of type information for the operands of compare instructions.

It also allows to new simplifications that were previously
impossible to do without the type information.

Luc Van Oostenryck (2):
  eval_insn: add testcases for incorrect type in OP_SET_*
  eval_insn: give an explicit type to operands of comparisons

 Documentation/IR.rst           |  1 +
 linearize.c                    | 16 ++++++++++++----
 linearize.h                    |  4 ++++
 simplify.c                     | 14 +++++++++++++-
 validation/optim/cmp-op-type.c | 18 ++++++++++++++++++
 validation/optim/cmp-type0.c   | 12 ++++++++++++
 validation/optim/cmp-type1.c   | 15 +++++++++++++++
 7 files changed, 75 insertions(+), 5 deletions(-)
 create mode 100644 validation/optim/cmp-op-type.c
 create mode 100644 validation/optim/cmp-type0.c
 create mode 100644 validation/optim/cmp-type1.c