diff options
author | Hans-Peter Nilsson <hp@axis.com> | 2006-01-10 18:14:42 +0000 |
---|---|---|
committer | Hans-Peter Nilsson <hp@gcc.gnu.org> | 2006-01-10 18:14:42 +0000 |
commit | db710e419a39d641ee5bde4be479719612422e88 (patch) | |
tree | a631fc6e7aca7b93e56570867c86e1d4b2582bed /gcc | |
parent | d76fe40bcfdcc0012388894d3bccbd6630ec32ea (diff) | |
download | gcc-db710e419a39d641ee5bde4be479719612422e88.zip gcc-db710e419a39d641ee5bde4be479719612422e88.tar.gz gcc-db710e419a39d641ee5bde4be479719612422e88.tar.bz2 |
re PR target/25718 (invalid assembly for unsigned-minimum expressions.)
PR target/25718
* gcc.dg/torture/pr25718-1.c: New test.
From-SVN: r109549
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr25718-1.c | 27 |
2 files changed, 32 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 6d9f428..b8d1bba 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2006-01-10 Hans-Peter Nilsson <hp@axis.com> + + PR target/25718 + * gcc.dg/torture/pr25718-1.c: New test. + 2006-01-10 Bernhard Fischer <rep.nop@aon.at> * gfortran.dg/list_read_2.f90: Fix typo in description. diff --git a/gcc/testsuite/gcc.dg/torture/pr25718-1.c b/gcc/testsuite/gcc.dg/torture/pr25718-1.c new file mode 100644 index 0000000..8333a33 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr25718-1.c @@ -0,0 +1,27 @@ +/* { dg-do run } */ +/* PR 25718: invalid constant operand to the "bound" insn; error at + assembly time. We'll make sure the code is correct to: run a few + example values. */ + +extern void exit (int); +extern void abort (void); +unsigned __attribute__ ((__noinline__)) foo(unsigned a) +{ + unsigned l; + l = (a >= (~0u - 512) ? (~0u - 512) : a); + return l; +} + +int +main (void) +{ + if (foo ((unsigned) -512) != (unsigned) -513 + || foo ((unsigned) -514) != (unsigned) -514 + || foo ((unsigned) -513) != (unsigned) -513 + || foo ((unsigned) -1) != (unsigned) -513 + || foo (513) != 513 + || foo (0) != 0) + abort (); + + exit (0); +} |