comparison gcc/testsuite/gcc.dg/20050307-1.c @ 111:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children
comparison
equal deleted inserted replaced
68:561a7518be6b 111:04ced10e8804
1 /* PR target/20322 */
2
3 extern void abort (void);
4
5 typedef unsigned long T;
6 typedef struct
7 {
8 T a, b;
9 unsigned char c, d;
10 } S;
11
12 #define M (sizeof (T) * 4)
13
14 S __attribute__((noinline))
15 foo (T x, T y)
16 {
17 S e;
18 T f[2], g;
19
20 e.b = (x & (~(T) 0 >> M)) * (y & (~(T) 0 >> M));
21 e.a = (x >> M) * (y >> M);
22
23 f[0] = (x & (~(T) 0 >> M)) * (y >> M);
24 f[1] = (x >> M) * (y & (~(T) 0 >> M));
25
26 g = e.b;
27 e.b += (f[0] & (~(T) 0 >> M)) << M;
28 if (e.b < g)
29 e.a++;
30
31 g = e.b;
32 e.b += (f[1] & (~(T) 0 >> M)) << M;
33 if (e.b < g)
34 e.a++;
35
36 e.a += (f[0] >> M);
37 e.a += (f[1] >> M);
38 e.c = 1;
39 e.d = 0;
40
41 return e;
42 }
43
44 int
45 main (void)
46 {
47 T x = 1UL << (M * 2 - 1);
48 S y = foo (1, x);
49 if (y.a || y.b != x || y.c != 1 || y.d)
50 abort ();
51 return 0;
52 }