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
48
49
50
51
52
53
54
55
56
57
58
59
|
/* PR middle-end/31096 */
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-optimized" } */
#if __SIZEOF_INT__ < 4
__extension__ typedef __INT32_TYPE__ int32_t;
__extension__ typedef __UINT32_TYPE__ uint32_t;
#else
typedef int int32_t;
typedef unsigned uint32_t;
#endif
#define zero(name, op) \
int32_t name (int32_t a, int32_t b) \
{ return a * 0 op b * 0; }
zero(zeq, ==) zero(zne, !=) zero(zlt, <)
zero(zgt, >) zero(zge, >=) zero(zle, <=)
#define unsign_pos(name, op) \
int32_t name (uint32_t a, uint32_t b) \
{ return a * 4 op b * 4; }
unsign_pos(upeq, ==) unsign_pos(upne, !=) unsign_pos(uplt, <)
unsign_pos(upgt, >) unsign_pos(upge, >=) unsign_pos(uple, <=)
#define unsign_neg(name, op) \
int32_t name (uint32_t a, uint32_t b) \
{ return a * -2 op b * -2; }
unsign_neg(uneq, ==) unsign_neg(unne, !=) unsign_neg(unlt, <)
unsign_neg(ungt, >) unsign_neg(unge, >=) unsign_neg(unle, <=)
#define float(name, op) \
int32_t name (float a, float b) \
{ return a * 5 op b * 5; }
float(feq, ==) float(fne, !=) float(flt, <)
float(fgt, >) float(fge, >=) float(fle, <=)
#define float_val(name, op) \
int32_t name (int32_t a, int32_t b) \
{ return a * 54.0 op b * 54.0; }
float_val(fveq, ==) float_val(fvne, !=) float_val(fvlt, <)
float_val(fvgt, >) float_val(fvge, >=) float_val(fvle, <=)
#define vec(name, op) \
int32_t name (int32_t a, int32_t b) \
{ int32_t c[10]; return a * c[1] op b * c[1]; }
vec(veq, ==) vec(vne, !=) vec(vlt, <)
vec(vgt, >) vec(vge, >=) vec(vle, <=)
/* { dg-final { scan-tree-dump-times "\\(D\\) \\* 4" 24 "optimized" } } */
/* { dg-final { scan-tree-dump-times "\\(D\\) \\* 4294967294" 12 "optimized" } } */
/* { dg-final { scan-tree-dump-times "\\(D\\) \\* 5\\.0e\\+0" 12 "optimized" } } */
/* { dg-final { scan-tree-dump-times "\\* 5\\.4e\\+1" 12 "optimized" } } */
/* { dg-final { scan-tree-dump-times "\\(D\\) \\* c\\\$1_8\\(D\\)" 12 "optimized" } } */
|
