Fix jit test case (PR jit/88747)

Amongst other changes, r266077 updated value_range_base::dump so
that it additionally prints the type.  This broke an assertion within
the jit testsuite, in jit.dg/test-sum-of-squares.c, which was checking
for:
  ": [-INF, n_"
but was now getting:
  ": signed int [-INF, n_"

The test is merely intended as a simple verification that we can read
dump files via gcc_jit_context_enable_dump.

This patch loosens the requirements on the dump so that it should work
with either version of value_range_base::dump.

gcc/testsuite/ChangeLog:
	PR jit/88747
	* jit.dg/test-sum-of-squares.c (verify_code): Update expected vrp
	dump to reflect r266077.

From-SVN: r267671
This commit is contained in:
David Malcolm 2019-01-08 01:39:09 +00:00 committed by David Malcolm
parent ddb45008f2
commit 44e813ecd1
2 changed files with 7 additions and 1 deletions

View File

@ -1,3 +1,9 @@
2019-01-07 David Malcolm <dmalcolm@redhat.com>
PR jit/88747
* jit.dg/test-sum-of-squares.c (verify_code): Update expected vrp
dump to reflect r266077.
2019-01-07 Jakub Jelinek <jakub@redhat.com> 2019-01-07 Jakub Jelinek <jakub@redhat.com>
PR c/88701 PR c/88701

View File

@ -137,6 +137,6 @@ verify_code (gcc_jit_context *ctxt, gcc_jit_result *result)
bounds of the iteration variable. Specifically, verify that some bounds of the iteration variable. Specifically, verify that some
variable is known to be in the range negative infinity to some variable is known to be in the range negative infinity to some
expression based on param "n" (actually n-1). */ expression based on param "n" (actually n-1). */
CHECK_STRING_CONTAINS (dump_vrp1, ": [-INF, n_"); CHECK_STRING_CONTAINS (dump_vrp1, "[-INF, n_");
free (dump_vrp1); free (dump_vrp1);
} }