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