Home
last modified time | relevance | path

Searched refs:SPECIAL_RIGHTSHIFT (Results 1 – 16 of 16) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_shift_to_zero.c27 if (expr->op != SPECIAL_RIGHTSHIFT) in match_binop()
49 if (expr->op != SPECIAL_RIGHTSHIFT) in match_binop2()
H A Dcheck_precedence.c117 if (expr->right->op != SPECIAL_RIGHTSHIFT) in match_mask()
H A Dtoken.h156 SPECIAL_RIGHTSHIFT, enumerator
H A Dcheck_get_user_overflow.c166 if (expr->op == SPECIAL_RIGHTSHIFT) in match_binop()
H A Dsmatch_helper.c1174 return SPECIAL_RIGHTSHIFT; in invert_op()
1175 case SPECIAL_RIGHTSHIFT: in invert_op()
1203 return SPECIAL_RIGHTSHIFT; in op_remove_assign()
H A Dexpand.c212 if (expr->op == SPECIAL_LEFTSHIFT || expr->op == SPECIAL_RIGHTSHIFT) { in simplify_int_binop()
292 case SIGNED(SPECIAL_RIGHTSHIFT): in simplify_int_binop()
296 case UNSIGNED(SPECIAL_RIGHTSHIFT): in simplify_int_binop()
H A Dsmatch_capped.c101 if (expr->op == SPECIAL_RIGHTSHIFT) in is_capped()
H A Dsmatch_sval.c499 case SPECIAL_RIGHTSHIFT: in sval_binop_unsigned()
557 case SPECIAL_RIGHTSHIFT: in sval_binop_signed()
H A Dsmatch_math.c550 min = sval_binop(min, SPECIAL_RIGHTSHIFT, rl_max(right_rl)); in handle_right_shift()
551 max = sval_binop(max, SPECIAL_RIGHTSHIFT, rl_min(right_rl)); in handle_right_shift()
670 case SPECIAL_RIGHTSHIFT: in handle_binop_rl_helper()
H A Dsmatch_ranges.c1979 min = sval_binop(tmp->min, SPECIAL_RIGHTSHIFT, shift); in handle_rshift()
1980 max = sval_binop(tmp->max, SPECIAL_RIGHTSHIFT, shift); in handle_rshift()
2033 case SPECIAL_RIGHTSHIFT: in rl_binop()
H A Dsmatch_type.c71 expr->op == SPECIAL_RIGHTSHIFT) { in get_binop_type()
H A Dtokenize.c736 CODE('>', '>', SPECIAL_RIGHTSHIFT) /* 1f */
H A Dexpression.c799 (op == SPECIAL_LEFTSHIFT) || (op == SPECIAL_RIGHTSHIFT) in shift_expression()
H A Dcompile-i386.c1378 case SPECIAL_RIGHTSHIFT: in emit_binop()
H A Dlinearize.c1578 [SPECIAL_RIGHTSHIFT] = OP_LSR, in linearize_binop()
H A Devaluate.c957 if (op == SPECIAL_LEFTSHIFT || op == SPECIAL_RIGHTSHIFT) { in evaluate_binop()