Lines Matching refs:cst2v
1805 wide_int minv, maxv, valv, cst2v; in register_edge_assert_for_2() local
1811 cst2v = wide_int::from (wi::to_wide (cst2), nprec, UNSIGNED); in register_edge_assert_for_2()
1813 cst2n = wi::neg_p (cst2v, TYPE_SIGN (TREE_TYPE (val))); in register_edge_assert_for_2()
1823 minv = valv & cst2v; in register_edge_assert_for_2()
1831 maxv = valv | ~cst2v; in register_edge_assert_for_2()
1836 tem = valv | ~cst2v; in register_edge_assert_for_2()
1853 if (!cst2n && wi::neg_p (cst2v)) in register_edge_assert_for_2()
1883 minv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
1896 minv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
1916 maxv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
1921 maxv |= ~cst2v; in register_edge_assert_for_2()
1944 maxv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
1949 maxv |= ~cst2v; in register_edge_assert_for_2()