Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dflow.c150 target = cond ? second->bb_true : second->bb_false; in try_to_simplify_bb()
155 changed |= rewrite_branch(source, &br->bb_true, bb, target); in try_to_simplify_bb()
212 struct basic_block **target_p, int bb_true) in simplify_branch_branch() argument
228 final = bb_true ? insn->bb_true : insn->bb_false; in simplify_branch_branch()
252 return simplify_branch_branch(bb, br, &br->bb_true, 1) | in simplify_one_branch()
614 changed |= rewrite_branch(bb, &insn->bb_true, old, new); in rewrite_parent_branch()
633 struct basic_block *target = br->bb_true; in rewrite_branch_bb()
690 vrfy_bb_in_list(br->bb_true, bb->children); in vrfy_children()
H A Dlinearize.c638 br->bb_true = dst; in add_goto()
687 br->bb_true = target; in insert_branch()
759 br->bb_true = bb_true; in add_branch()
761 add_bb(&bb_true->parents, bb); in add_branch()
763 add_bb(&bb->children, bb_true); in add_branch()
1669 struct basic_block *bb_true, *bb_false, *merge; in linearize_conditional() local
1679 set_activeblock(ep, bb_true); 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()
2417 bb_true = alloc_basic_block(ep, stmt->pos); in linearize_statement()
[all …]
H A Dir.c143 err += check_branch(ep, insn, insn->bb_true); in validate_insn()
171 err += check_branch(ep, insn, insn->bb_true); in validate_insn()
H A Dsimplify.c147 if (br->bb_true == bb2 || br->bb_false == bb1) { in if_convert_phi()
1626 struct basic_block *tmp = br->bb_true; in simplify_cond_branch()
1627 br->bb_true = br->bb_false; 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()
1675 insert_branch(insn->bb, insn, insn->bb_true); in simplify_branch()
1679 struct basic_block *tmp = insn->bb_true; in simplify_branch()
1680 insn->bb_true = insn->bb_false; in simplify_branch()
H A Dlinearize.h98 struct basic_block *bb_true, *bb_false; member
H A Dsparse-llvm.c745 br->bb_true->priv, in output_op_cbr()
751 LLVMBuildBr(fn->builder, br->bb_true->priv); in output_op_br()
H A Dexample.c1084 target = br->bb_true; in generate_branch()
/illumos-gate/usr/src/tools/smatch/src/Documentation/
H A DIR.rst34 * .bb_true: destination basic block
41 * .bb_true, .bb_false: destination basic blocks