Home
last modified time | relevance | path

Searched refs:bb_false (Results 1 – 8 of 8) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dlinearize.c760 br->bb_false = bb_false; in add_branch()
762 add_bb(&bb_false->parents, bb); in add_branch()
764 add_bb(&bb->children, bb_false); in add_branch()
1640 struct basic_block *bb_false; in linearize_short_conditional() local
1652 add_branch(ep, src1, merge, bb_false); in linearize_short_conditional()
1654 set_activeblock(ep, bb_false); in linearize_short_conditional()
1669 struct basic_block *bb_true, *bb_false, *merge; in linearize_conditional() local
1684 set_activeblock(ep, bb_false); in linearize_conditional()
1787 add_branch(ep, cond, bb_true, bb_false); in linearize_cond_branch()
1796 add_branch(ep, cond, bb_true, bb_false); in linearize_cond_branch()
[all …]
H A Dflow.c150 target = cond ? second->bb_true : second->bb_false; in try_to_simplify_bb()
156 changed |= rewrite_branch(source, &br->bb_false, bb, target); in try_to_simplify_bb()
228 final = bb_true ? insn->bb_true : insn->bb_false; in simplify_branch_branch()
253 simplify_branch_branch(bb, br, &br->bb_false, 0); in simplify_one_branch()
611 changed |= rewrite_branch(bb, &insn->bb_false, old, new); in rewrite_parent_branch()
639 target = cond->value ? target : br->bb_false; in rewrite_branch_bb()
687 vrfy_bb_in_list(br->bb_false, bb->children); in vrfy_children()
H A Dsimplify.c142 assert(br->bb_false); in if_convert_phi()
147 if (br->bb_true == bb2 || br->bb_false == bb1) { in if_convert_phi()
1627 br->bb_true = br->bb_false; in simplify_cond_branch()
1628 br->bb_false = tmp; in simplify_cond_branch()
1639 insert_branch(insn->bb, insn, cond->value ? insn->bb_true : insn->bb_false); in simplify_branch()
1644 if (insn->bb_true == insn->bb_false) { in simplify_branch()
1646 struct basic_block *target = insn->bb_false; in simplify_branch()
1649 insn->bb_false = NULL; in simplify_branch()
1671 insert_branch(insn->bb, insn, insn->bb_false); in simplify_branch()
1680 insn->bb_true = insn->bb_false; in simplify_branch()
[all …]
H A Dir.c144 err += check_branch(ep, insn, insn->bb_false); in validate_insn()
H A Dlinearize.h98 struct basic_block *bb_true, *bb_false; member
H A Dsparse-llvm.c746 br->bb_false->priv); in output_op_cbr()
H A Dexample.c1087 target = br->bb_false; in generate_branch()
/illumos-gate/usr/src/tools/smatch/src/Documentation/
H A DIR.rst41 * .bb_true, .bb_false: destination basic blocks