OSDN Git Service

PR target/25718
authorhp <hp@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 10 Jan 2006 18:14:42 +0000 (18:14 +0000)
committerhp <hp@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 10 Jan 2006 18:14:42 +0000 (18:14 +0000)
* gcc.dg/torture/pr25718-1.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@109549 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/torture/pr25718-1.c [new file with mode: 0644]

index 6d9f428..b8d1bba 100644 (file)
@@ -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 (file)
index 0000000..8333a33
--- /dev/null
@@ -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);
+}