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

vrp51.c: Prefix each "bug." string with "vrp.". 

gcc/testsuite/
	* gcc.dg/tree-ssa/vrp51.c: Prefix each "bug." string with "vrp.".
	Update dg-final accordingly.

From-SVN: r168933
This commit is contained in:
Richard Sandiford 2011-01-17 20:31:35 +00:00 committed by Richard Sandiford
parent 4f7d9db8cc
commit 015a793772
2 changed files with 14 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2011-01-17 Richard Sandiford <rdsandiford@googlemail.com>
* gcc.dg/tree-ssa/vrp51.c: Prefix each "bug." string with "vrp.".
Update dg-final accordingly.
2011-01-17 Rainer Orth <ro@CeBiTec.Uni-Bielefeld.DE>
* g++.old-deja/g++.other/init19.C: Don't XFAIL on mips-sgi-irix*.

18
gcc/testsuite/gcc.dg/tree-ssa/vrp51.c
View File

@ -10,10 +10,10 @@ v4 (unsigned a, unsigned b)
if (b < 0x0110) return;
/* constant true. */
if (!__builtin_constant_p ((a|b) >= 0x01000))
__asm__("bug.always.true");
__asm__("vrp.bug.always.true");
/* VRP must not think that this is constant. */
if (__builtin_constant_p ((a|b) >= 0x10000))
__asm__("bug.not.always.true");
__asm__("vrp.bug.not.always.true");
}
void
@ -23,13 +23,13 @@ u4 (unsigned n)
if (n < 0x10101) return;
/* always true. */
if (!__builtin_constant_p (n & 0x00100))
__asm__("bug.always.true");
__asm__("vrp.bug.always.true");
/* VRP must not think that this is constant true. */
if (__builtin_constant_p (n & 0x00001))
__asm__("bug.not.always.true");
__asm__("vrp.bug.not.always.true");
/* Out of range, always evaluates to constant false. */
if (!__builtin_constant_p (n & 0x01000))
__asm__("bug.always.false");
__asm__("vrp.bug.always.false");
}
void
@ -38,7 +38,7 @@ u5 (unsigned n)
struct s {unsigned exp:8;} x;
x.exp = n;
if (__builtin_constant_p(((n + 1) & 255) > 1))
__asm__("bug.not.always.true");
__asm__("vrp.bug.not.always.true");
}
void
@ -49,10 +49,10 @@ v5 (int a, int b)
if (b < 0x0110) return;
/* constant true. */
if (!__builtin_constant_p ((a|b) >= 0x01000))
__asm__("bug.always.true");
__asm__("vrp.bug.always.true");
/* VRP must not think that this is always true. */
if (__builtin_constant_p ((a|b) >= 0x10000))
__asm__("bug.not.always.true");
__asm__("vrp.bug.not.always.true");
}
/* { dg-final { scan-assembler-not "bug\." } } */
/* { dg-final { scan-assembler-not "vrp\\\.bug\\\." } } */