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.c339 …buf, "%s, %s, %s", show_pseudo(insn->cond), show_label(insn->bb_true), show_label(insn->bb_false)); in show_instruction()
751 …ch(struct entrypoint *ep, pseudo_t cond, struct basic_block *bb_true, struct basic_block *bb_false) in add_branch() argument
760 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()
1590 …ntrypoint *ep, struct expression *expr, struct basic_block *bb_true, struct basic_block *bb_false);
1592 …ntrypoint *ep, struct expression *expr, struct basic_block *bb_true, struct basic_block *bb_false);
1640 struct basic_block *bb_false; in linearize_short_conditional() local
1647 bb_false = alloc_basic_block(ep, expr_false->pos); in linearize_short_conditional()
1652 add_branch(ep, src1, merge, bb_false); in linearize_short_conditional()
[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