aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp64.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp64.c')
-rw-r--r--gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp64.c152
1 files changed, 0 insertions, 152 deletions
diff --git a/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp64.c b/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp64.c
deleted file mode 100644
index 2ab328f1d..000000000
--- a/gcc-4.8.1/gcc/testsuite/gcc.dg/tree-ssa/vrp64.c
+++ /dev/null
@@ -1,152 +0,0 @@
-/* PR tree-optimization/51721 */
-/* { dg-do link } */
-/* { dg-options "-O2" } */
-
-extern void link_error (void);
-
-#define BITSM1 (sizeof (int) * __CHAR_BIT__ - 1)
-
-void
-f1 (unsigned int s)
-{
- if (s >> BITSM1 != 0)
- {
- if (s == 0 || s == 5 || s == __INT_MAX__)
- link_error ();
- }
- else
- {
- if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U)
- link_error ();
- }
-}
-
-void
-f2 (int s)
-{
- if (s >> BITSM1 == 0)
- {
- if (s == -1 || s == -5 || s == -__INT_MAX__ - 1)
- link_error ();
- }
- else
- {
- if (s == 0 || s == 5 || s == __INT_MAX__)
- link_error ();
- }
-}
-
-void
-f3 (unsigned int s)
-{
- if ((s & (1U << BITSM1)) != 0)
- {
- if (s == 0 || s == 5 || s == __INT_MAX__)
- link_error ();
- }
- else
- {
- if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U)
- link_error ();
- }
-}
-
-void
-f4 (int s)
-{
- if ((s & (1U << BITSM1)) == 0)
- {
- if (s == -1 || s == -5 || s == -__INT_MAX__ - 1)
- link_error ();
- }
- else
- {
- if (s == 0 || s == 5 || s == __INT_MAX__)
- link_error ();
- }
-}
-
-void
-f5 (unsigned int s)
-{
- if ((int) s < 0)
- {
- if (s == 0 || s == 5 || s == __INT_MAX__)
- link_error ();
- }
- else
- {
- if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U)
- link_error ();
- }
-}
-
-void
-f6 (unsigned int s)
-{
- if ((int) s < 4)
- {
- if (s == 4 || s == 6 || s == __INT_MAX__)
- link_error ();
- }
- else
- {
- if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U
- || s == 3 || s == 0)
- link_error ();
- }
-}
-
-void
-f7 (unsigned int s)
-{
- if ((int) s <= -7)
- {
- if (s == -6U || s == -1U || s == 0 || s == 4 || s == 6 || s == __INT_MAX__)
- link_error ();
- }
- else
- {
- if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -9U
- || s == -7U)
- link_error ();
- }
-}
-
-void
-f8 (unsigned int s)
-{
- if ((int) s >= 4)
- {
- if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -1U
- || s == 3 || s == 0)
- link_error ();
- }
- else
- {
- if (s == 4 || s == 6 || s == __INT_MAX__)
- link_error ();
- }
-}
-
-void
-f9 (unsigned int s)
-{
- if ((int) s > -7)
- {
- if (s == 1U + __INT_MAX__ || s == 6U + __INT_MAX__ || s == -9U
- || s == -7U)
- link_error ();
- }
- else
- {
- if (s == -6U || s == -1U || s == 0 || s == 4 || s == 6 || s == __INT_MAX__)
- link_error ();
- }
-}
-
-int
-main ()
-{
- return 0;
-}