blob: ed5a3c63e9d2dbfb84d8abe0f9f285b8eb1febdd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
/* This revealed a bug when rotates are expanded into
two shifts. */
/* { dg-do run } */
/* { dg-options "-O1 -std=c99" } */
#include <stdlib.h>
#if __INT_MAX__ == 2147483647
typedef unsigned int uint32_t;
#elif __LONG_MAX__ == 2147483647
typedef unsigned long uint32_t;
#else
#error unable to find 32-bit integer type
#endif
uint32_t
f (uint32_t *S, int j)
{
uint32_t A, B, k, L[2] = {1234, 5678};
int i, m;
A = B = 0;
for (i = 0; i < j; i++)
{
k = (S[i] + A + B) & 0xffffffffL;
A = S[i] =
((k << (3 & 0x1f)) | ((k & 0xffffffff) >> (32 - (3 & 0x1f))));
m = (int) (A + B);
k = (L[i] + A + B) & 0xffffffffL;
B = L[i] =
((k << (m & 0x1f)) | ((k & 0xffffffff) >> (32 - (m & 0x1f))));
}
return L[0] + L[1];
}
int
main ()
{
uint32_t S[2] = {0xffff, 0xffffff};
if (f (S,2)!= 1392607300)
abort();
return 0;
}
|
