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.c339 …buf += sprintf(buf, "%s, %s, %s", show_pseudo(insn->cond), show_label(insn->bb_true), show_label(i… in show_instruction()
343 buf += sprintf(buf, "%s", show_label(insn->bb_true)); in show_instruction()
638 br->bb_true = dst; in add_goto()
687 br->bb_true = target; in insert_branch()
751 static void add_branch(struct entrypoint *ep, pseudo_t cond, struct basic_block *bb_true, struct ba… in add_branch() argument
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()
1590 …anch(struct entrypoint *ep, struct expression *expr, struct basic_block *bb_true, struct basic_blo…
1592 …anch(struct entrypoint *ep, struct expression *expr, struct basic_block *bb_true, struct basic_blo…
[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