aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-32.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-32.c')
-rw-r--r--gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-32.c58
1 files changed, 0 insertions, 58 deletions
diff --git a/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-32.c b/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-32.c
deleted file mode 100644
index 7487d07d8..000000000
--- a/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/ssa-ccp-32.c
+++ /dev/null
@@ -1,58 +0,0 @@
-/* { dg-do run } */
-/* { dg-options "-O" } */
-
-extern void link_error (void);
-unsigned int __attribute__((noinline,noclone))
-test0 (unsigned int a)
-{
- a = a & 1;
- a = a << 1 | a >> (sizeof (unsigned int) * 8 - 1);
- if (a & 1)
- {
- a = a | 4;
- link_error ();
- }
- if (a & 4)
- link_error ();
- return a;
-}
-int __attribute__((noinline,noclone))
-test1 (int a)
-{
- a |= 1;
- a = a << (sizeof (int) * 8 - 1);
- if (a >= 0)
- link_error ();
- a = a * 4;
- if (a & ~3)
- link_error ();
- if (a == -1)
- link_error ();
- return a;
-}
-int __attribute__((noinline,noclone))
-test2 (int a)
-{
- a = a | 0xff;
- a = a + 1;
- if (a & 0xff)
- link_error ();
- a = -a;
- if (a & 0xff)
- link_error ();
- a = a - 1;
- if ((a & 0xff) != 0xff)
- link_error ();
- return a;
-}
-extern void abort (void);
-int main()
-{
- if (test0 (1) != 2)
- abort ();
- if (test1 (0) != 0)
- abort ();
- if (test2 (-1) != -1)
- abort ();
- return 0;
-}