Home
last modified time | relevance | path

Searched refs:value_pseudo (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsimplify.c629 return value_pseudo(res); in eval_insn()
673 and->src2 = value_pseudo(nmask); in simplify_mask_or_and()
709 return replace_pseudo(insn, &insn->src1, value_pseudo(mask)); in simplify_mask_or()
713 return replace_pseudo(or, &or->src2, value_pseudo(nval)); in simplify_mask_or()
763 insn->src2 = value_pseudo(sval); in check_shift_count()
846 return replace_with_pseudo(insn, value_pseudo(0)); in simplify_shift()
854 insn->src2 = value_pseudo(omask >> value); in simplify_shift()
882 return replace_with_pseudo(insn, value_pseudo(0)); in simplify_shift()
916 insn->src2 = value_pseudo(value); in simplify_shift()
920 return replace_with_pseudo(insn, value_pseudo(0)); in simplify_shift()
[all …]
H A Dlinearize.c800 pseudo_t value_pseudo(long long val) in value_pseudo() function
1014 val = add_binary_op(ep, btype, OP_SHL, val, value_pseudo(shift)); in linearize_bitfield_insert()
1017 ori = add_binary_op(ep, btype, OP_AND, ori, value_pseudo(~mask & smask)); in linearize_bitfield_insert()
1108 pseudo_t shift = value_pseudo(off); in linearize_bitfield_extract()
1156 one = value_pseudo(expr->op_value); in linearize_inc_dec()
1207 pseudo_t zero = value_pseudo(0); in linearize_regular_preop()
1376 if (src == value_pseudo(0)) in cast_pseudo()
1432 zero = value_pseudo(0); in add_convert_to_bool()
1722 src1 = value_pseudo(1); in linearize_logical()
1725 src1 = value_pseudo(0); in linearize_logical()
[all …]
H A Dmemops.c132 convert_load_instruction(insn, value_pseudo(0)); in simplify_loads()
H A Dlinearize.h318 pseudo_t value_pseudo(long long val);