Lines Matching refs:cst2v
3565 wide_int minv, maxv, valv, cst2v; in register_edge_assert_for_2() local
3571 cst2v = wide_int::from (wi::to_wide (cst2), nprec, UNSIGNED); in register_edge_assert_for_2()
3573 cst2n = wi::neg_p (cst2v, TYPE_SIGN (TREE_TYPE (val))); in register_edge_assert_for_2()
3583 minv = valv & cst2v; in register_edge_assert_for_2()
3591 maxv = valv | ~cst2v; in register_edge_assert_for_2()
3596 tem = valv | ~cst2v; in register_edge_assert_for_2()
3613 if (!cst2n && wi::neg_p (cst2v)) in register_edge_assert_for_2()
3643 minv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
3656 minv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
3676 maxv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
3681 maxv |= ~cst2v; in register_edge_assert_for_2()
3704 maxv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
3709 maxv |= ~cst2v; in register_edge_assert_for_2()