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 -- 2.29.0
