Searched refs:linearize_cond_branch (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | linearize.c | 1592 static pseudo_t linearize_cond_branch(struct entrypoint *ep, struct expression *expr, struct basic_…
1677 linearize_cond_branch(ep, cond, bb_true, bb_false); in linearize_conditional()
1721 linearize_cond_branch(ep, expr->left, merge, other); in linearize_logical()
1724 linearize_cond_branch(ep, expr->left, other, merge); in linearize_logical()
1763 static pseudo_t linearize_cond_branch(struct entrypoint *ep, struct expression *expr, struct basic_… in linearize_cond_branch() function
1792 return linearize_cond_branch(ep, expr->unop, bb_false, bb_true); in linearize_cond_branch()
1811 linearize_cond_branch(ep, expr->left, bb_true, next); in linearize_logical_branch()
1813 linearize_cond_branch(ep, expr->left, next, bb_false); in linearize_logical_branch()
1815 linearize_cond_branch(ep, expr->right, bb_true, bb_false); in linearize_logical_branch()
2292 linearize_cond_branch(ep, pre_condition, loop_body, loop_end); in linearize_iterator()
[all …]
|