void test_branch_opcode_ends_basic_block(void)
{
struct basic_block *bb1, *bb2, *bb3;
struct compilation_unit *cu;
struct cafebabe_method_info method_info;
struct vm_method method = {
.code_attribute.code = default_string,
.code_attribute.code_length = ARRAY_SIZE(default_string),
.method = &method_info,
};
cu = compilation_unit_alloc(&method);
analyze_control_flow(cu);
assert_int_equals(3, nr_bblocks(cu));
bb1 = bb_entry(cu->bb_list.next);
bb2 = bb_entry(bb1->bb_list_node.next);
bb3 = bb_entry(bb2->bb_list_node.next);
assert_basic_block(cu, 0, 4, bb1);
assert_basic_block(cu, 4, 7, bb2);
assert_basic_block(cu, 7, 9, bb3);
assert_basic_block_successors((struct basic_block*[]){bb2, bb3}, 2, bb1);
assert_basic_block_successors((struct basic_block*[]){bb3 }, 1, bb2);
void test_convert_tableswitch_bbs1(void)
{
struct basic_block *bb0, *bb1, *bb2, *bb3, *bb4, *bb5, *bb6;
struct compilation_unit *cu;
struct cafebabe_method_info method_info;
struct vm_method method = {
.code_attribute.code = tableswitch1,
.code_attribute.code_length = ARRAY_SIZE(tableswitch1),
.method = &method_info,
};
memset(&method_info, 0, sizeof(method_info));
cu = compilation_unit_alloc(&method);
analyze_control_flow(cu);
convert_to_ir(cu);
assert_int_equals(7, nr_bblocks(cu));
bb0 = bb_entry(cu->bb_list.next);
bb1 = bb_entry(bb0->bb_list_node.next);
bb2 = bb_entry(bb1->bb_list_node.next);
bb3 = bb_entry(bb2->bb_list_node.next);
bb4 = bb_entry(bb3->bb_list_node.next);
bb5 = bb_entry(bb4->bb_list_node.next);
bb6 = bb_entry(bb5->bb_list_node.next);
assert_basic_block_successors((struct basic_block*[]){bb6, bb1}, 2, bb0);
assert_basic_block_successors((struct basic_block*[]){bb6, bb2}, 2, bb1);
int compile(struct compilation_unit *cu)
{
int err;
if (opt_trace_method)
trace_method(cu);
err = analyze_control_flow(cu);
if (err)
goto out;
err = convert_to_ir(cu);
if (err)
goto out;
err = sort_basic_blocks(cu);
if (err)
goto out;
if (opt_trace_cfg)
trace_cfg(cu);
if (opt_trace_tree_ir)
trace_tree_ir(cu);
err = select_instructions(cu);
if (err)
goto out;
compute_insn_positions(cu);
if (opt_trace_lir)
trace_lir(cu);
err = analyze_liveness(cu);
if (err)
goto out;
if (opt_trace_liveness)
trace_liveness(cu);
err = allocate_registers(cu);
if (err)
goto out;
if (opt_trace_regalloc)
trace_regalloc(cu);
err = insert_spill_reload_insns(cu);
if (err)
goto out;
assert(all_insn_have_bytecode_offset(cu));
err = emit_machine_code(cu);
if (err)
goto out;
if (opt_trace_machine_code)
trace_machine_code(cu);
cu->is_compiled = true;
perf_append_cu(cu);
out:
if (err)
compile_error(cu, err);
return err;
}
static int do_compile(struct compilation_unit *cu)
{
bool ssa_enable;
int err;
if (opt_print_compilation)
print_compilation(cu->method);
if (opt_trace_compile)
trace_method(cu);
err = inline_subroutines(cu->method);
if (err)
goto out;
if (opt_trace_bytecode)
trace_bytecode(cu->method);
err = analyze_control_flow(cu);
if (err)
goto out;
err = convert_to_ir(cu);
if (err)
goto out;
ssa_enable = opt_ssa_enable && uses_array_ops(cu);
if (ssa_enable) {
err = compute_dfns(cu);
if (err)
goto out;
}
if (opt_trace_cfg)
trace_cfg(cu);
if (opt_trace_tree_ir)
trace_tree_ir(cu);
err = select_instructions(cu);
if (err)
goto out;
compute_insn_positions(cu);
if (opt_trace_lir)
trace_lir(cu);
if (ssa_enable) {
err = compute_dom(cu);
if (err)
goto out;
err = compute_dom_frontier(cu);
if (err)
goto out;
err = lir_to_ssa(cu);
if (err)
goto out;
if(opt_trace_ssa)
trace_ssa(cu);
imm_copy_propagation(cu);
abc_removal(cu);
err = dce(cu);
if (err)
goto out;
err = ssa_to_lir(cu);
if (err)
goto out;
}
err = analyze_liveness(cu);
if (err)
goto out;
if (opt_trace_liveness)
trace_liveness(cu);
err = allocate_registers(cu);
if (err)
goto out;
err = mark_clobbers(cu);
if (err)
goto out;
err = insert_spill_reload_insns(cu);
if (err)
goto out;
if (opt_trace_regalloc)
trace_regalloc(cu);
err = convert_ic_calls(cu);
if (err)
goto out;
assert(all_insn_have_bytecode_offset(cu));
err = peephole_optimize(cu);
if (err)
goto out;
err = emit_machine_code(cu);
if (err)
goto out;
err = build_bc_offset_map(cu);
if (err)
goto out;
if (opt_trace_machine_code)
trace_machine_code(cu);
resolve_fixup_offsets(cu);
perf_append_cu(cu);
out:
if (opt_trace_compile)
trace_flush();
if (err && !exception_occurred())
compile_error(cu, err);
return err;
}
