Home
last modified time | relevance | path

Searched refs:PSEUDO_VAL (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dlinearize.h29 PSEUDO_VAL, enumerator
53 return pseudo->type == PSEUDO_VAL && pseudo->value == 0; in is_zero()
58 return pseudo->type == PSEUDO_VAL && pseudo->value != 0; in is_nonzero()
244 return (p && p->type != PSEUDO_VOID && p->type != PSEUDO_UNDEF && p->type != PSEUDO_VAL); in has_use_list()
H A Dsimplify.c429 return pseudo->type == PSEUDO_VAL; in constant()
506 if (pseudo->type == PSEUDO_VAL) { in operand_size()
698 } else if (src2->type == PSEUDO_VAL) { in simplify_mask_or()
809 if (src2->type != PSEUDO_VAL) in simplify_shift()
902 if (src2->type != PSEUDO_VAL) in simplify_shift()
987 if (def->src2->type != PSEUDO_VAL) in simplify_seteq_setne()
1224 if (p1->type == PSEUDO_VAL) in canonical_order()
1225 return p2->type == PSEUDO_VAL; in canonical_order()
1426 if (val->type != PSEUDO_VAL) in simplify_cast()
1596 case PSEUDO_VAL: in is_in_range()
[all …]
H A Dflow.c53 case PSEUDO_VAL: in pseudo_truth_value()
637 if (cond->type != PSEUDO_VAL) in rewrite_branch_bb()
H A Dexample.c330 case PSEUDO_VAL: in can_regenerate()
594 case PSEUDO_VAL: in fill_reg()
742 case PSEUDO_VAL: in get_generic_operand()
857 case PSEUDO_VAL: in reg_or_imm()
1529 case PSEUDO_VAL: in fill_output()
H A Dsparse.c156 if (count->type == PSEUDO_VAL) { in check_byte_count()
H A Dsparse-llvm.c268 case PSEUDO_VAL: in pseudo_name()
380 case PSEUDO_VAL: in pseudo_to_value()
625 if (insn->src2->type == PSEUDO_VAL) in output_op_compare()
H A Dlinearize.c151 case PSEUDO_VAL: { in show_pseudo()
814 pseudo->type = PSEUDO_VAL; in value_pseudo()
1052 if (src2->type != PSEUDO_VAL) in taint_undefined_behaviour()
1426 if (src->type == PSEUDO_VAL && (src->value == 0 || src->value == 1)) in add_convert_to_bool()