Lines Matching refs:cst2v
4988 double_int minv, maxv = double_int_zero, valv, cst2v; in register_edge_assert_for_2() local
4994 cst2v = tree_to_double_int (cst2).zext (nprec); in register_edge_assert_for_2()
4998 cst2n = cst2v.sext (nprec).is_negative (); in register_edge_assert_for_2()
5009 minv = valv & cst2v; in register_edge_assert_for_2()
5017 maxv = valv | ~cst2v; in register_edge_assert_for_2()
5022 tem = valv | ~cst2v; in register_edge_assert_for_2()
5041 && cst2v.sext (nprec).is_negative ()) in register_edge_assert_for_2()
5071 minv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
5083 minv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
5102 maxv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
5107 maxv |= ~cst2v; in register_edge_assert_for_2()
5130 maxv = masked_increment (valv, cst2v, sgnbit, nprec); in register_edge_assert_for_2()
5135 maxv |= ~cst2v; in register_edge_assert_for_2()