This series contains some simplification of computed gotos with 1 or 2 possible target as well as a new instruction which now really allows the CSE of 'labels-as-values'. Luc Van Oostenryck (4): add testcases for COMPUTEDGOTO simplification simplify OP_COMPUTEDGOTO with unique and known target simplify CGOTO(SEL(x, L1, L2)) into CBR x, L1, L2 add a new instruction for label-as-value cse.c | 9 +++++ example.c | 8 +++-- linearize.c | 6 ++++ liveness.c | 1 + opcode.def | 1 + simplify.c | 68 ++++++++++++++++++++++++++++++++++-- sparse-llvm.c | 11 ++++++ validation/optim/cgoto01.c | 24 +++++++++++++ validation/optim/cgoto02.c | 17 +++++++++ validation/optim/cse-label.c | 13 +++++++ 10 files changed, 153 insertions(+), 5 deletions(-) create mode 100644 validation/optim/cgoto01.c create mode 100644 validation/optim/cgoto02.c create mode 100644 validation/optim/cse-label.c -- 2.29.2
