OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add relational self-tests.

Browse Source 
* range-op.cc (range_relational_tests): New.
	(range_op_tests): Call range_relational_tests.
This commit is contained in:
Andrew MacLeod 2021-06-17 13:40:05 -04:00
parent 0f7ccc063a
commit ca1f9f2285
1 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
gcc/range-op.cc
View File

@ -4244,6 +4244,30 @@ range_op_bitwise_and_tests ()
ASSERT_FALSE (res.contains_p (INT (0)));
}
static void
range_relational_tests ()
{
int_range<2> lhs (unsigned_char_type_node);
int_range<2> op1 (UCHAR (8), UCHAR (10));
int_range<2> op2 (UCHAR (20), UCHAR (20));
// Never wrapping additions mean LHS > OP1.
tree_code code = op_plus.lhs_op1_relation (lhs, op1, op2);
ASSERT_TRUE (code == GT_EXPR);
// Most wrapping additions mean nothing...
op1 = int_range<2> (UCHAR (8), UCHAR (10));
op2 = int_range<2> (UCHAR (0), UCHAR (255));
code = op_plus.lhs_op1_relation (lhs, op1, op2);
ASSERT_TRUE (code == VREL_NONE);
// However, always wrapping additions mean LHS < OP1.
op1 = int_range<2> (UCHAR (1), UCHAR (255));
op2 = int_range<2> (UCHAR (255), UCHAR (255));
code = op_plus.lhs_op1_relation (lhs, op1, op2);
ASSERT_TRUE (code == LT_EXPR);
}
void
range_op_tests ()
{
@ -4251,6 +4275,7 @@ range_op_tests ()
range_op_lshift_tests ();
range_op_bitwise_and_tests ();
range_op_cast_tests ();
range_relational_tests ();
}
} // namespace selftest