mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-18 05:50:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

gcc.target/cris/pr93372-2.c, -5.c, -8.c: New tests.

Browse Source 
* gcc.target/cris/pr93372-2.c, gcc.target/cris/pr93372-5.c,
gcc.target/cris/pr93372-8.c: New tests.

These tests fails miserably both at being an example of cc0
eliminating compare instructions, and post-cc0-CRIS at showing a
significant improvement.  They're here to track suboptimal
comparison code for CRIS.
This commit is contained in:
Hans-Peter Nilsson 2020-02-10 17:34:23 +01:00
parent d12f1b914c
commit 991c1376b8
4 changed files with 56 additions and 0 deletions
gcc/testsuite
ChangeLog
gcc.target/cris
pr93372-2.cpr93372-5.cpr93372-8.c

2
gcc/testsuite/ChangeLog

@ -3,6 +3,8 @@
* gcc.target/cris/cris.exp (check_effective_target_cc0): New.
* gcc.target/cris/pr93372-1.c: New test.
* gcc.target/cris/pr93372-2.c, gcc.target/cris/pr93372-5.c,
gcc.target/cris/pr93372-8.c: New tests.
2020-02-10 Jakub Jelinek <jakub@redhat.com>

19
gcc/testsuite/gcc.target/cris/pr93372-2.c Normal file

@ -0,0 +1,19 @@
/* Check that eliminable compare-instructions are eliminated. */
/* { dg-do compile } */
/* { dg-options "-O2" } */
/* { dg-final { scan-assembler-not "\tcmp|\ttest" { xfail *-*-* } } } */
/* { dg-final { scan-assembler-not "\tnot" { xfail cc0 } } } */
/* { dg-final { scan-assembler-not "\tlsr" { xfail cc0 } } } */
int f(int a, int b, int *d)
{
int c = a - b;
/* Whoops! We get a cmp.d with the original operands here. */
*d = (c == 0);
/* Whoops! While we don't get a test.d for the result here for cc0,
we get a sequence of insns: a move, a "not" and a shift of the
subtraction-result, where a simple "spl" would have done. */
return c >= 0;
}

19
gcc/testsuite/gcc.target/cris/pr93372-5.c Normal file

@ -0,0 +1,19 @@
/* Check that eliminable compare-instructions are eliminated. */
/* { dg-do compile } */
/* { dg-options "-O2" } */
/* { dg-final { scan-assembler-not "\tcmp|\ttest|\tor" { xfail *-*-* } } } */
/* { dg-final { scan-assembler-not "\tnot" { xfail cc0 } } } */
/* { dg-final { scan-assembler-not "\tlsr" { xfail cc0 } } } */
int f(long long int a, long long int b, int *d)
{
long long int c = a - b;
*d = (c == 0LL);
/* See pr93372-2.c; we have the same problem for DImode, but it's
worsened by the generic double-word "optimizations"; or:ing
together the DI parts and then testing the result for the equality
test. */
return c >= 0LL;
}

16
gcc/testsuite/gcc.target/cris/pr93372-8.c Normal file

@ -0,0 +1,16 @@
/* Check that eliminable compare-instructions are eliminated. */
/* { dg-do compile } */
/* { dg-options "-O2" } */
/* See pr93372-5.c regarding the xfails. */
/* { dg-final { scan-assembler-not "\tcmp|\ttest|\tor" { xfail *-*-* } } } */
/* { dg-final { scan-assembler-not "\tnot" { xfail cc0 } } } */
/* { dg-final { scan-assembler-not "\tlsr" { xfail cc0 } } } */
int f(long long int a, long long int b, int *d)
{
long long int c = a + b;
*d = (c == 0);
return c >= 0;
}