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