[PATCH v2 0/2] split OP_BR between OP_BR & OP_CBR

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

This series introduces a new instruction opcode (OP_CBR)
for conditional branches. Previously both conditional and
non-conditional branches used the OP_BR opcode which is
now reserved for non-conditional branches.

The motivation is the correctness of the test between
the two kind of branches and an added benefit is the
simplicity of this test now.


Changes since v1:
- add missing '/* fall through */' 
- convert 2 more tests of ->cond/->bb_{true,false}
  into tests of ->opcode == OP_CBR/OP_BR

Luc Van Oostenryck (2):
  split OP_BR between unconditional & conditional: OP_CBR
  remove unused helper is_branch_goto()

 example.c                       |   2 +
 flow.c                          |  17 +++--
 linearize.c                     |  14 +++--
 linearize.h                     |   5 +-
 liveness.c                      |   3 +-
 simplify.c                      |  15 ++---
 sparse-llvm.c                   |  25 ++++----
 validation/loop-linearization.c | 136 ++++++++++++++++++++++++++++++++++++++++
 8 files changed, 179 insertions(+), 38 deletions(-)
 create mode 100644 validation/loop-linearization.c

-- 
2.11.1