Patch to add rotate tests
Michael Meissner
meissner@redhat.com
Wed Feb 27 00:16:00 GMT 2002
I was working on a machine that had the rotate patterns, and
discovered we don't have any tests to make sure the rotate
optimizations actually work. I added the following test.
2002-02-27 Michael Meissner <meissner@redhat.com>
* gcc.c-torture/execute/20020226-1.c: New test.
*** gcc/testsuite/gcc.c-torture/execute/20020226-1.c.~1~ Wed Feb 27 00:25:21 2002
--- gcc/testsuite/gcc.c-torture/execute/20020226-1.c Tue Feb 26 23:50:39 2002
***************
*** 0 ****
--- 1,104 ----
+ /* This tests the rotate patterns that some machines support. */
+
+ #include <limits.h>
+
+ #ifndef CHAR_BIT
+ #define CHAR_BIT 8
+ #endif
+
+ #define ROR(a,b) (((a) >> (b)) | ((a) << ((sizeof (a) * CHAR_BIT) - (b))))
+ #define ROL(a,b) (((a) << (b)) | ((a) >> ((sizeof (a) * CHAR_BIT) - (b))))
+
+ #define CHAR_VALUE ((unsigned char)0x1234U)
+ #define SHORT_VALUE ((unsigned short)0x1234U)
+ #define INT_VALUE 0x1234U
+ #define LONG_VALUE 0x12345678LU
+ #define LL_VALUE 0x12345678abcdef0LLU
+
+ #define SHIFT1 4
+ #define SHIFT2 ((sizeof (long long) * CHAR_BIT) - SHIFT1)
+
+ unsigned char uc = CHAR_VALUE;
+ unsigned short us = SHORT_VALUE;
+ unsigned int ui = INT_VALUE;
+ unsigned long ul = LONG_VALUE;
+ unsigned long long ull = LL_VALUE;
+ int shift1 = SHIFT1;
+ int shift2 = SHIFT2;
+
+ main ()
+ {
+ if (ROR (uc, shift1) != ROR (CHAR_VALUE, SHIFT1))
+ abort ();
+
+ if (ROR (uc, SHIFT1) != ROR (CHAR_VALUE, SHIFT1))
+ abort ();
+
+ if (ROR (us, shift1) != ROR (SHORT_VALUE, SHIFT1))
+ abort ();
+
+ if (ROR (us, SHIFT1) != ROR (SHORT_VALUE, SHIFT1))
+ abort ();
+
+ if (ROR (ui, shift1) != ROR (INT_VALUE, SHIFT1))
+ abort ();
+
+ if (ROR (ui, SHIFT1) != ROR (INT_VALUE, SHIFT1))
+ abort ();
+
+ if (ROR (ul, shift1) != ROR (LONG_VALUE, SHIFT1))
+ abort ();
+
+ if (ROR (ul, SHIFT1) != ROR (LONG_VALUE, SHIFT1))
+ abort ();
+
+ if (ROR (ull, shift1) != ROR (LL_VALUE, SHIFT1))
+ abort ();
+
+ if (ROR (ull, SHIFT1) != ROR (LL_VALUE, SHIFT1))
+ abort ();
+
+ if (ROR (ull, shift2) != ROR (LL_VALUE, SHIFT2))
+ abort ();
+
+ if (ROR (ull, SHIFT2) != ROR (LL_VALUE, SHIFT2))
+ abort ();
+
+ if (ROL (uc, shift1) != ROL (CHAR_VALUE, SHIFT1))
+ abort ();
+
+ if (ROL (uc, SHIFT1) != ROL (CHAR_VALUE, SHIFT1))
+ abort ();
+
+ if (ROL (us, shift1) != ROL (SHORT_VALUE, SHIFT1))
+ abort ();
+
+ if (ROL (us, SHIFT1) != ROL (SHORT_VALUE, SHIFT1))
+ abort ();
+
+ if (ROL (ui, shift1) != ROL (INT_VALUE, SHIFT1))
+ abort ();
+
+ if (ROL (ui, SHIFT1) != ROL (INT_VALUE, SHIFT1))
+ abort ();
+
+ if (ROL (ul, shift1) != ROL (LONG_VALUE, SHIFT1))
+ abort ();
+
+ if (ROL (ul, SHIFT1) != ROL (LONG_VALUE, SHIFT1))
+ abort ();
+
+ if (ROL (ull, shift1) != ROL (LL_VALUE, SHIFT1))
+ abort ();
+
+ if (ROL (ull, SHIFT1) != ROL (LL_VALUE, SHIFT1))
+ abort ();
+
+ if (ROL (ull, shift2) != ROL (LL_VALUE, SHIFT2))
+ abort ();
+
+ if (ROL (ull, SHIFT2) != ROL (LL_VALUE, SHIFT2))
+ abort ();
+
+ exit (0);
+ }
--
Michael Meissner, Red Hat, Inc. (GCC group)
PMB 198, 174 Littleton Road #3, Westford, Massachusetts 01886, USA
Work: meissner@redhat.com phone: +1 978-486-9304
Non-work: meissner@the-meissners.org fax: +1 978-692-4482
More information about the Gcc-patches
mailing list