Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/g++.dg/opt/range-test-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 // Test fold-const.c (fold_range_test) optimizations. | |
2 // { dg-do run } */ | |
3 // { dg-options "-O2" } */ | |
4 | |
5 #ifndef __RANGE_TEST_HDR_INCL | |
6 #define __RANGE_TEST_HDR_INCL | |
7 /* Protect against fix-header weakness */ | |
8 #include <stdlib.h> | |
9 #include <stdio.h> | |
10 #include <limits.h> | |
11 #endif | |
12 | |
13 #if (INT_MAX == 2147483647) && (INT_MIN == -2147483648) \ | |
14 && (SCHAR_MIN == -128) && (SCHAR_MAX == 127) \ | |
15 && (UCHAR_MIN == 0) && (UCHAR_MAX == 255) | |
16 | |
17 #ifndef T | |
18 | |
19 enum integers | |
20 { | |
21 int_smallest = INT_MIN, | |
22 int_2ndsmallest = INT_MIN + 1, | |
23 int_3rdsmallest = INT_MIN + 2, | |
24 int_minus2 = -2, | |
25 int_minus1 = -1, | |
26 int_zero = 0, | |
27 int_one = 1, | |
28 int_two = 2, | |
29 int_3rdlargest = INT_MAX - 2, | |
30 int_2ndlargest = INT_MAX - 1, | |
31 int_largest = INT_MAX | |
32 }; | |
33 | |
34 enum smallenum | |
35 { | |
36 smalle_minus4 = -4, | |
37 smalle_minus3 = -3, | |
38 smalle_minus2 = -2, | |
39 smalle_minus1 = -1, | |
40 smalle_zero = 0, | |
41 smalle_one = 1, | |
42 smalle_two = 2, | |
43 smalle_three = 3 | |
44 }; | |
45 | |
46 enum enum2 | |
47 { | |
48 enum2_two = 2, | |
49 enum2_three = 3, | |
50 enum2_four = 4, | |
51 enum2_five = 5 | |
52 }; | |
53 | |
54 enum enum3 | |
55 { | |
56 enum3_zero, | |
57 enum3_one, | |
58 enum3_two, | |
59 enum3_three, | |
60 enum3_four, | |
61 enum3_five, | |
62 enum3_six, | |
63 enum3_seven | |
64 }; | |
65 | |
66 int var; | |
67 void | |
68 check () | |
69 { | |
70 ++var; | |
71 } | |
72 | |
73 #define T(IDX, TYPE, TEST, YESARR, NOARR) \ | |
74 void __attribute__((noinline)) \ | |
75 test##IDX (TYPE x) \ | |
76 { \ | |
77 if (TEST) \ | |
78 check (); \ | |
79 } | |
80 #include "range-test-1.C" | |
81 #undef T | |
82 | |
83 int | |
84 main () | |
85 { | |
86 int i, fails = 0; | |
87 | |
88 #define C , | |
89 #define T(IDX, TYPE, TEST, YESARR, NOARR) \ | |
90 { \ | |
91 static TYPE yesarr##IDX [] = YESARR; \ | |
92 static TYPE noarr##IDX [] = NOARR; \ | |
93 for (i = 0; i < (int) (sizeof (yesarr##IDX) / sizeof (TYPE)); ++i) \ | |
94 { \ | |
95 var = 0; \ | |
96 test##IDX (yesarr##IDX [i]); \ | |
97 if (var != 1) \ | |
98 printf ("test" #IDX " failed for yesarr [%u]\n", i), ++fails; \ | |
99 } \ | |
100 var = 0; \ | |
101 for (i = 0; i < (int) (sizeof (noarr##IDX) / sizeof (TYPE)); ++i) \ | |
102 { \ | |
103 test##IDX (noarr##IDX [i]); \ | |
104 if (var != 0) \ | |
105 printf ("test" #IDX " failed for noarr [%u]\n", i), ++fails; \ | |
106 } \ | |
107 } | |
108 #include "range-test-1.C" | |
109 #undef T | |
110 | |
111 if (fails) | |
112 abort (); | |
113 | |
114 exit (0); | |
115 } | |
116 | |
117 #else | |
118 | |
119 /* Use `C' instead of `,' below to separate array entries. */ | |
120 | |
121 /* These ought to be all optimized into single comparison. */ | |
122 T(1, unsigned int, x == 0 || x == 1, | |
123 { 0 C 1 }, { -1U C 2 C 12 C 35 C 0x7fffffff C 0x80000000 }) | |
124 T(2, unsigned int, x == 0 || x == -1U || x == -2U, | |
125 { 0 C -1U C -2U }, { -3U C -6U C 1 C 2 C 12 C 35 C 0x7fffffff C 0x80000000 }) | |
126 T(3, unsigned int, x == 0 || x == 1 || x == 2, | |
127 { 0 C 1 C 2 }, { -3U C -6U C -1U C -2U C 12 C 35 C 0x7fffffff C 0x80000000 }) | |
128 T(4, unsigned int, x == 3 || x == 4 || x == 5 || x == 6, | |
129 { 3 C 4 C 5 C 6 }, { -3U C 0 C 1 C 2 C 7 C 8 C 12 C 0x7fffffff C 0x80000000 }) | |
130 T(5, unsigned int, x == -3U || x == -4U || x == -5U || x == -6U, | |
131 { -3U C -4U C -5U C -6U }, { -7U C -8U C -2U C -1U C 1 C 2 C 0x7fffffff C 0x80000000 }) | |
132 T(6, unsigned int, x == -3U || x == -4U || x == -5U, | |
133 { -3U C -4U C -5U }, { -6U C -7U C -8U C -2U C -1U C 1 C 2 C 0x7fffffff C 0x80000000 }) | |
134 T(7, char *, x == (char *) -3UL || x == (char *) -4UL || x == (char *) -5UL, | |
135 { (char *) -3UL C (char *) -4UL C (char *) -5UL }, | |
136 { (char *) -6UL C (char *) -20UL C (char *) -2UL C (char *) -1UL C (char *) 0 | |
137 C (char *) 1UL C (char *) 35UL C (char *) 0x7fffffffUL C (char *) 0x80000000UL }) | |
138 T(8, unsigned long, x == -2UL || x == -1UL || x == 0, | |
139 { 0 C -1UL C -2UL }, { -3UL C -6UL C 1 C 2 C 12 C 35 C 0x7fffffff C 0x80000000 }) | |
140 T(9, unsigned long, x >= -4UL || x <= 8, | |
141 { -4UL C -3UL C -2UL C -1UL C 0 C 1 C 2 C 3 C 4 C 5 C 6 C 7 C 8 }, | |
142 { -7UL C -5UL C 9 C 10 C 61 C 127 C 0x7fffffff C 0x80000000 }) | |
143 T(10, signed char, x == 0 || x == -1 || x == -2 || x == -3, | |
144 { 0 C -1 C -2 C -3 }, { -4 C -5 C 1 C 2 C 3 C 35 C -24 }) | |
145 T(11, int, x == 0 || x == 1, | |
146 { 0 C 1 }, { -1 C 2 C 12 C 35 C INT_MAX C INT_MIN }) | |
147 T(12, int, x == 0 || x == -1 || x == -2, | |
148 { 0 C -1 C -2 }, { -3 C -6 C 1 C 2 C 12 C 35 C INT_MAX C INT_MIN }) | |
149 T(13, int, x == 0 || x == 1 || x == 2, | |
150 { 0 C 1 C 2 }, { -3 C -6 C -1 C -2 C 12 C 35 C INT_MAX C INT_MIN }) | |
151 T(14, int, x == 3 || x == 4 || x == 5 || x == 6, | |
152 { 3 C 4 C 5 C 6 }, { -3 C 0 C 1 C 2 C 7 C 8 C 12 C INT_MAX C INT_MIN }) | |
153 T(15, int, x == -3 || x == -4 || x == -5 || x == -6, | |
154 { -3 C -4 C -5 C -6 }, { -7 C -8 C -2 C -1 C 1 C 2 C INT_MAX C INT_MIN }) | |
155 T(16, int, x == -3 || x == -4 || x == -5, | |
156 { -3 C -4 C -5 }, { -6 C -7 C -8 C -2 C -1 C 1 C 2 C INT_MAX C INT_MIN }) | |
157 T(17, unsigned int, (x >= -8U && x <= -3U) || x == -2U || x == -1U || x == 0 || x == 1 || x == 2, | |
158 { -8U C -7U C -6U C -5U C -4U C -3U C -2U C -1U C 0 C 1 C 2 }, | |
159 { -9U C -10U C 3 C 4 C 12 C -54U C INT_MAX C (unsigned int)INT_MIN }) | |
160 T(18, int, (x >= -8 && x <= -3) || x == -2 || x == -1 || x == 0 || x == 1 || x == 2, | |
161 { -8 C -7 C -6 C -5 C -4 C -3 C -2 C -1 C 0 C 1 C 2 }, | |
162 { -9 C -10 C 3 C 4 C 12 C -54 C INT_MAX C INT_MIN }) | |
163 T(19, unsigned long, x <= 16 || (x >= 18 && x <= -1UL), | |
164 { -3UL C -6UL C -1UL C 0 C 1 C 2 C 12 C 15 C 16 C 18 C 19 C 35 C 0x7fffffff | |
165 C 0x80000000 }, { 17 }) | |
166 T(20, char *, x == (char *) -1UL || x == 0, | |
167 { (char *) -1UL C 0 }, { (char *) -6UL C (char *) -20UL C (char *) -2UL | |
168 C (char *) 1UL C (char *) 35UL C (char *) 0x7fffffffUL C (char *) 0x80000000UL }) | |
169 T(21, integers, x == int_zero || x == int_one, | |
170 { int_zero C int_one }, { int_minus1 C int_two C int_largest C int_smallest }) | |
171 T(22, int, x == INT_MIN || x == INT_MAX, | |
172 { INT_MIN C INT_MAX }, | |
173 { -1 C 0 C 1 C INT_MAX - 1 C INT_MAX - 2 C INT_MIN + 1 C INT_MIN + 2 }) | |
174 T(23, int, x == INT_MIN + 1 || x == INT_MIN + 2 || x == INT_MIN || x == INT_MAX, | |
175 { INT_MIN + 1 C INT_MIN + 2 C INT_MIN C INT_MAX }, | |
176 { -1 C 0 C 1 C INT_MAX - 1 C INT_MAX - 2 C INT_MIN + 3 C INT_MIN + 4 }) | |
177 T(24, signed char, x == SCHAR_MIN || x == SCHAR_MAX, | |
178 { SCHAR_MIN C SCHAR_MAX }, | |
179 { -1 C 0 C 1 C SCHAR_MAX - 1 C SCHAR_MAX - 2 C SCHAR_MIN + 1 C SCHAR_MIN + 2 }) | |
180 T(25, integers, x == int_smallest || x == int_largest, | |
181 { int_smallest C int_largest }, { int_minus1 C int_zero C int_one | |
182 C int_2ndsmallest C int_2ndlargest C int_3rdsmallest C int_3rdlargest }) | |
183 | |
184 /* These should be optimized into unconditional jumps. */ | |
185 T(o1, unsigned long, x <= 16 || (x >= 17 && x <= -1UL), | |
186 { -3UL C -6UL C -1UL C 0 C 1 C 2 C 12 C 15 C 16 C 17 C 18 C 19 C 35 C 0x7fffffff | |
187 C 0x80000000 }, { }) | |
188 T(o2, unsigned long, x <= -3UL || (x == -2UL || x == -1UL), | |
189 { -3UL C -6UL C -1UL C 0 C 1 C 2 C 12 C 15 C 16 C 17 C 18 C 19 C 35 C 0x7fffffff | |
190 C 0x80000000 }, { }) | |
191 | |
192 /* These should be eventually optimized into a single comparison. */ | |
193 T(td1, unsigned char, x == 0 || x == 4 || x == 1 || x == 5 || x == 2 || x == 6 || x == 3, | |
194 { 0 C 1 C 2 C 3 C 4 C 5 C 6 }, { 7 C 8 C 127 C 128 C 254 C 255 }) | |
195 | |
196 /* These should not be optimized into a single comparison. */ | |
197 T(n1, smallenum, x == smalle_minus4 || x == smalle_three, | |
198 { smalle_minus4 C smalle_three }, { smalle_minus3 C smalle_minus2 C smalle_minus1 | |
199 C smalle_zero C smalle_one C smalle_two }) | |
200 T(n2, enum2, x == enum2_two || x == enum2_five, | |
201 { enum2_two C enum2_five }, { enum2_three C enum2_four }) | |
202 T(n3, enum3, x == enum3_zero || x == enum3_seven, | |
203 { enum3_zero C enum3_seven }, { enum3_one C enum3_two C enum3_three C enum3_four | |
204 C enum3_five C enum3_six }) | |
205 | |
206 #endif | |
207 | |
208 #else | |
209 | |
210 int | |
211 main (void) | |
212 { | |
213 return 0; | |
214 } | |
215 | |
216 #endif |