Lines Matching refs:cst2v
3568 wide_int minv, maxv, valv, cst2v; in register_edge_assert_for_2() local
3574 cst2v = wide_int::from (wi::to_wide (cst2), nprec, UNSIGNED); in register_edge_assert_for_2()
3576 cst2n = wi::neg_p (cst2v, TYPE_SIGN (TREE_TYPE (val))); in register_edge_assert_for_2()
3586 minv = valv & cst2v; in register_edge_assert_for_2()
3594 maxv = valv | ~cst2v; in register_edge_assert_for_2()
3599 tem = valv | ~cst2v; in register_edge_assert_for_2()
3616 if (!cst2n && wi::neg_p (cst2v)) in register_edge_assert_for_2()
3646 minv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
3659 minv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
3679 maxv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
3684 maxv |= ~cst2v; in register_edge_assert_for_2()
3707 maxv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
3712 maxv |= ~cst2v; in register_edge_assert_for_2()