Index: SingleSource/Benchmarks/Misc/revertBits.c
===================================================================
--- SingleSource/Benchmarks/Misc/revertBits.c
+++ SingleSource/Benchmarks/Misc/revertBits.c
@@ -8,6 +8,7 @@
  * new implementation is functionally correct and has a better performance.
  */
 #include <stdio.h>
+#include <stdlib.h>
 #define NUM 0x1000000
 int __attribute__((noinline)) ReverseBits32(int n) {
   n = ((n >> 1) & 0x55555555) | ((n & 0x55555555) << 1);
@@ -32,7 +33,10 @@
 }
 
 int main (void) {
-  unsigned long long sum = 0;
+  unsigned int sum32 = 0;
+  unsigned long long sum64 = 0;
+  unsigned int rev32 = strtoll("0x12345678", NULL, 16);
+  unsigned long long rev64 = strtoll("0x0123456789012345", NULL, 16);
 
 // Check for compilers that don't support __has_builtin
 #ifndef __has_builtin
@@ -42,21 +46,21 @@
 // Check for compilers that support __has_builtin but not __builtin_bitreverse*
 #if (!__has_builtin(__builtin_bitreverse32) ||\
      !__has_builtin(__builtin_bitreverse64))
-  printf("Sum1 = 0, Sum2 = feff800000800000\n");
+  printf("0x%x -> 0x%x\n", rev32, ReverseBits32(rev32));
+  printf("0x%llx -> 0x%llx\n", rev64, ReverseBits64(rev64));
   return 0;
 #else
 
   for (int i = 0; i < NUM; ++i) {
-    sum += ReverseBits32(__builtin_bitreverse32(i));
-    sum -= ReverseBits64(__builtin_bitreverse64(i));
+    sum32 += ReverseBits32(i);
+    sum64 += ReverseBits64(i);
   }
-  printf("Sum1 = %llx, ", sum);
-
   for (int i = 0; i < NUM; ++i) {
-    sum -= ReverseBits64(ReverseBits64(0x100000000 + i));
+    sum32 -= __builtin_bitreverse32(i);
+    sum64 -= __builtin_bitreverse64(i);
   }
-  printf("Sum2 = %llx\n", sum);
-
-  return 0;
+  printf("0x%x -> 0x%x\n", rev32, __builtin_bitreverse32(rev32));
+  printf("0x%llx -> 0x%llx\n", rev64, __builtin_bitreverse64(rev64));
+  return sum32 == 0 && sum64 == 0 ? 0 : 1;
 #endif
 }
Index: SingleSource/Benchmarks/Misc/revertBits.reference_output
===================================================================
--- SingleSource/Benchmarks/Misc/revertBits.reference_output
+++ SingleSource/Benchmarks/Misc/revertBits.reference_output
@@ -1,2 +1,3 @@
-Sum1 = 0, Sum2 = feff800000800000
+0x12345678 -> 0x1e6a2c48
+0x123456789012345 -> 0xa2c48091e6a2c480
 exit 0