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. Luc Van Oostenryck (2): split OP_BR between unconditional & conditional: OP_CBR remove unused helper is_branch_goto() example.c | 2 + flow.c | 13 ++-- linearize.c | 14 +++-- linearize.h | 5 +- liveness.c | 3 +- simplify.c | 11 ++-- sparse-llvm.c | 25 ++++---- validation/loop-linearization.c | 136 ++++++++++++++++++++++++++++++++++++++++ 8 files changed, 176 insertions(+), 33 deletions(-) create mode 100644 validation/loop-linearization.c -- 2.11.0 -- 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
