1 extern void abort (void);
2
3 /* { dg-options "-O2" } */
4 /* { dg-do run } */
5 /* { dg-require-effective-target int32plus } */
6
7 #define TYPE_MAX(type, sign) \
8 ((!sign) ? ((1 << (sizeof (type) * 8 - 1)) - 1) : \
9 ((1 << (sizeof (type) * 8)) - 1))
10 #define TYPE_MIN(type, sign) \
11 ((!sign) ? -(1 << (sizeof (type) * 8 - 1)) : 0)
12
13 #define TEST_FN(NAME, ARG_TYPE, RET_TYPE, CAST_TYPE, VAL, VR_MIN, VR_MAX)\
14 __attribute__((noinline, noclone)) RET_TYPE \
15 NAME (ARG_TYPE arg){ \
16 RET_TYPE ret = VAL; \
17 if (arg + 1 < VR_MIN || arg + 1 > VR_MAX) return ret; \
18 /* Value Range of arg at this point will be [VR_min, VR_max]. */\
19 arg = arg + VAL; \
20 ret = (CAST_TYPE)arg; \
21 return arg; \
22 }
23
24 /* Signed to signed conversion with value in-range. */
25 TEST_FN (foo1, short, short, char, 1, TYPE_MIN (char, 0), TYPE_MAX (char, 0));
26 TEST_FN (foo2, short, short, char, 1, TYPE_MIN (char, 0) + 1,\
27 TYPE_MAX (char, 0) - 1);
28
29 /* Signed to signed conversion with value not in-range. */
30 TEST_FN (foo3, short, short, char, -1, TYPE_MIN (short, 0) + 1, 100);
31 TEST_FN (foo4, short, short, char, 1, 12, TYPE_MAX (short, 0) + 1);
32
33 /* Unsigned to unsigned conversion with value in-range. */
34 TEST_FN (foo5, unsigned short, unsigned short, unsigned char, 1,\
35 TYPE_MIN (char, 1) + 1, TYPE_MAX (char, 1) - 1);
36 TEST_FN (foo6, unsigned short, unsigned short, unsigned char, 1,\
37 TYPE_MIN (char, 1), TYPE_MAX (char, 1));
38
39 /* Unsigned to unsigned conversion with value not in-range. */
40 TEST_FN (foo7, unsigned short, unsigned short, unsigned char, 1,\
41 TYPE_MIN (short, 1) + 1, TYPE_MAX (short, 1) - 1);
42 TEST_FN (foo8, unsigned short, unsigned short, unsigned char, 1,\
43 TYPE_MIN (short, 1), TYPE_MAX (short, 1));
44
45 /* Signed to unsigned conversion with value range positive. */
46 TEST_FN (foo9, short, short, unsigned char, -1, 1,\
47 TYPE_MAX (char, 1) - 1);
48 TEST_FN (foo10, short, short, unsigned char, 1, 0,\
49 TYPE_MAX (char, 1));
50
51 /* Signed to unsigned conversion with value range negative. */
52 TEST_FN (foo11, short, short, unsigned char, 1,\
53 TYPE_MIN (char, 0) + 1, TYPE_MAX (char, 0) - 1);
54 TEST_FN (foo12, short, short, unsigned char, 1,\
55 TYPE_MIN (char, 0), TYPE_MAX (char, 0));
56
57 /* Unsigned to Signed conversion with value range in signed equiv range. */
58 TEST_FN (foo13, unsigned short, unsigned short, char, 1,\
59 TYPE_MIN (char, 1) + 1, TYPE_MAX (char, 0) - 1);
60 TEST_FN (foo14, unsigned short, unsigned short, char, 1,\
61 TYPE_MIN (char, 1), TYPE_MAX (char, 0));
62
63 /* Unsigned to Signed conversion with value range not-in signed range. */
64 TEST_FN (foo15, unsigned short, unsigned short, char, 1,\
65 TYPE_MIN (char, 1) + 1, TYPE_MAX (char, 1) - 1);
66 TEST_FN (foo16, unsigned short, unsigned short, char, 1,\
67 TYPE_MIN (char, 1), TYPE_MAX (char, 1));
68
69 int main ()
70 {
71 /* Signed to signed conversion with value in-range. */
72 /* arg + 1. */
73 if (foo1 (-32) != -31)
74 abort ();
75 /* arg + 1. */
76 if (foo2 (32) != 33)
77 abort ();
78
79 /* Signed to signed conversion with value not in-range. */
80 /* arg - 1. */
81 if (foo3 (-512) != -513)
82 abort ();
83 /* arg + 1. */
84 if (foo4 (512) != 513)
85 abort ();
86
87 /* Unsigned to unsigned conversion with value in-range. */
88 /* arg + 1. */
89 if (foo5 (64) != 65)
90 abort ();
91 /* arg + 1. */
92 if (foo6 (64) != 65)
93 abort ();
94
95 /* Unsigned to unsigned conversion with value not in-range. */
96 /* arg + 1. */
97 if (foo7 (512) != 513)
98 abort ();
99 /* arg + 1. */
100 if (foo8 (512) != 513)
101 abort ();
102
103 /* Signed to unsigned conversion with value range positive. */
104 /* arg - 1. */
105 if (foo9 (2) != 1)
106 abort ();
107 /* arg + 1. */
108 if (foo10 (2) != 3)
109 abort ();
110
111 /* Signed to unsigned conversion with value range negative. */
112 /* arg + 1. */
113 if (foo11 (-125) != -124)
114 abort ();
115 /* arg + 1. */
116 if (foo12 (-125) != -124)
117 abort ();
118
119 /* Unsigned to Signed conversion with value range in signed equiv range. */
120 /* arg + 1. */
121 if (foo13 (125) != 126)
122 abort ();
123 /* arg + 1. */
124 if (foo14 (125) != 126)
125 abort ();
126
127 /* Unsigned to Signed conversion with value range not-in signed range. */
128 /* arg + 1. */
129 if (foo15 (250) != 251)
130 abort ();
131 /* arg + 1. */
132 if (foo16 (250) != 251)
133 abort ();
134
135 return 0;
136 }
137