xref: /openbsd-src/gnu/llvm/clang/utils/VtableTest/gen.cc (revision e5dd70708596ae51455a0ffa086a00c5b29f8583)
1*e5dd7070Spatrick #include <stdio.h>
2*e5dd7070Spatrick #include <stdlib.h>
3*e5dd7070Spatrick 
4*e5dd7070Spatrick #define N_FIELDS 7
5*e5dd7070Spatrick #define N_FUNCS 128
6*e5dd7070Spatrick #define FUNCSPACING 20
7*e5dd7070Spatrick #define N_STRUCTS 180 /* 1280 */
8*e5dd7070Spatrick #define N_BASES 6
9*e5dd7070Spatrick #define COVARIANT 0
10*e5dd7070Spatrick 
11*e5dd7070Spatrick const char *simple_types[] = { "bool", "char", "short", "int", "float",
12*e5dd7070Spatrick 			       "double", "long double", "wchar_t", "void *",
13*e5dd7070Spatrick 			       "char *"
14*e5dd7070Spatrick };
15*e5dd7070Spatrick 
gl(const char * c)16*e5dd7070Spatrick void gl(const char *c) {
17*e5dd7070Spatrick   printf("%s\n", c);
18*e5dd7070Spatrick }
19*e5dd7070Spatrick 
g(const char * c)20*e5dd7070Spatrick void g(const char *c) {
21*e5dd7070Spatrick   printf("%s", c);
22*e5dd7070Spatrick }
23*e5dd7070Spatrick 
g(int i)24*e5dd7070Spatrick void g(int i) {
25*e5dd7070Spatrick   printf("%d", i);
26*e5dd7070Spatrick }
27*e5dd7070Spatrick 
28*e5dd7070Spatrick int uuid = 0;
29*e5dd7070Spatrick char base_present[N_STRUCTS][N_STRUCTS];
30*e5dd7070Spatrick 
31*e5dd7070Spatrick // The return type for each function when doing covariant testcase generation.
32*e5dd7070Spatrick short ret_types[N_STRUCTS][N_FUNCS*FUNCSPACING];
33*e5dd7070Spatrick 
is_ambiguous(int s,int base)34*e5dd7070Spatrick bool is_ambiguous(int s, int base) {
35*e5dd7070Spatrick   for (int i = 0; i < N_STRUCTS; ++i) {
36*e5dd7070Spatrick     if ((base_present[base][i] & base_present[s][i]) == 1)
37*e5dd7070Spatrick       return true;
38*e5dd7070Spatrick   }
39*e5dd7070Spatrick   return false;
40*e5dd7070Spatrick }
41*e5dd7070Spatrick 
add_bases(int s,int base)42*e5dd7070Spatrick void add_bases(int s, int base) {
43*e5dd7070Spatrick   for (int i = 0; i < N_STRUCTS; ++i)
44*e5dd7070Spatrick     base_present[s][i] |= base_present[base][i];
45*e5dd7070Spatrick   if (!COVARIANT)
46*e5dd7070Spatrick     return;
47*e5dd7070Spatrick   for (int i = 0; i < N_FUNCS*FUNCSPACING; ++i) {
48*e5dd7070Spatrick     if (!ret_types[base][i])
49*e5dd7070Spatrick       continue;
50*e5dd7070Spatrick     if (!ret_types[s][i]) {
51*e5dd7070Spatrick       ret_types[s][i] = ret_types[base][i];
52*e5dd7070Spatrick       continue;
53*e5dd7070Spatrick     }
54*e5dd7070Spatrick     if (base_present[ret_types[base][i]][ret_types[s][i]])
55*e5dd7070Spatrick       // If the return type of the function from this base dominates
56*e5dd7070Spatrick       ret_types[s][i] = ret_types[base][i];
57*e5dd7070Spatrick     if (base_present[ret_types[s][i]][ret_types[base][i]])
58*e5dd7070Spatrick       // If a previous base dominates
59*e5dd7070Spatrick       continue;
60*e5dd7070Spatrick     // If neither dominates, we'll use this class.
61*e5dd7070Spatrick     ret_types[s][i] = s;
62*e5dd7070Spatrick   }
63*e5dd7070Spatrick }
64*e5dd7070Spatrick 
65*e5dd7070Spatrick // This contains the class that has the final override for
66*e5dd7070Spatrick // each class, for each function.
67*e5dd7070Spatrick short final_override[N_STRUCTS][N_FUNCS*FUNCSPACING];
68*e5dd7070Spatrick 
gs(int s)69*e5dd7070Spatrick void gs(int s) {
70*e5dd7070Spatrick   bool polymorphic = false;
71*e5dd7070Spatrick 
72*e5dd7070Spatrick   static int bases[N_BASES];
73*e5dd7070Spatrick   int i_bases = random() % (N_BASES*2);
74*e5dd7070Spatrick   if (i_bases >= N_BASES)
75*e5dd7070Spatrick     // PARAM: 1/2 of all clases should have no bases
76*e5dd7070Spatrick     i_bases = 0;
77*e5dd7070Spatrick   int n_bases = 0;
78*e5dd7070Spatrick   bool first_base = true;
79*e5dd7070Spatrick 
80*e5dd7070Spatrick   // PARAM: 3/4 of all should be class, the rest are structs
81*e5dd7070Spatrick   if (random() % 4 == 0)
82*e5dd7070Spatrick     g("struct s");
83*e5dd7070Spatrick   else
84*e5dd7070Spatrick     g("class s");
85*e5dd7070Spatrick   g(s);
86*e5dd7070Spatrick   int old_base = -1;
87*e5dd7070Spatrick   if (s == 0 || s == 1)
88*e5dd7070Spatrick     i_bases = 0;
89*e5dd7070Spatrick   while (i_bases) {
90*e5dd7070Spatrick     --i_bases;
91*e5dd7070Spatrick     int base = random() % (s-1) + 1;
92*e5dd7070Spatrick     if (!base_present[s][base]) {
93*e5dd7070Spatrick       if (is_ambiguous(s, base))
94*e5dd7070Spatrick 	continue;
95*e5dd7070Spatrick       if (first_base) {
96*e5dd7070Spatrick 	first_base = false;
97*e5dd7070Spatrick 	g(": ");
98*e5dd7070Spatrick       } else
99*e5dd7070Spatrick 	g(", ");
100*e5dd7070Spatrick       int base_type = 1;
101*e5dd7070Spatrick       if (random()%8 == 0) {
102*e5dd7070Spatrick 	// PARAM: 1/8th the bases are virtual
103*e5dd7070Spatrick 	g("virtual ");
104*e5dd7070Spatrick         // We have a vtable and rtti, but technically we're not polymorphic
105*e5dd7070Spatrick 	// polymorphic = true;
106*e5dd7070Spatrick 	base_type = 3;
107*e5dd7070Spatrick       }
108*e5dd7070Spatrick       // PARAM: 1/4 are public, 1/8 are privare, 1/8 are protected, the reset, default
109*e5dd7070Spatrick       int base_protection = 0;
110*e5dd7070Spatrick       if (!COVARIANT)
111*e5dd7070Spatrick         base_protection = random()%8;
112*e5dd7070Spatrick       switch (base_protection) {
113*e5dd7070Spatrick       case 0:
114*e5dd7070Spatrick       case 1:
115*e5dd7070Spatrick 	g("public "); break;
116*e5dd7070Spatrick       case 2:
117*e5dd7070Spatrick       case 3:
118*e5dd7070Spatrick       case 4:
119*e5dd7070Spatrick       case 5:
120*e5dd7070Spatrick 	break;
121*e5dd7070Spatrick       case 6:
122*e5dd7070Spatrick 	g("private "); break;
123*e5dd7070Spatrick       case 7:
124*e5dd7070Spatrick 	g("protected "); break;
125*e5dd7070Spatrick       }
126*e5dd7070Spatrick       g("s");
127*e5dd7070Spatrick       add_bases(s, base);
128*e5dd7070Spatrick       bases[n_bases] = base;
129*e5dd7070Spatrick       base_present[s][base] = base_type;
130*e5dd7070Spatrick       ++n_bases;
131*e5dd7070Spatrick       g(base);
132*e5dd7070Spatrick       old_base = base;
133*e5dd7070Spatrick     }
134*e5dd7070Spatrick   }
135*e5dd7070Spatrick   gl(" {");
136*e5dd7070Spatrick 
137*e5dd7070Spatrick   /* Fields */
138*e5dd7070Spatrick   int n_fields = N_FIELDS == 0 ? 0 : random() % (N_FIELDS*4);
139*e5dd7070Spatrick   // PARAM: 3/4 of all structs should have no members
140*e5dd7070Spatrick   if (n_fields >= N_FIELDS)
141*e5dd7070Spatrick     n_fields = 0;
142*e5dd7070Spatrick   for (int i = 0; i < n_fields; ++i) {
143*e5dd7070Spatrick     int t = random() % (sizeof(simple_types) / sizeof(simple_types[0]));
144*e5dd7070Spatrick     g("  "); g(simple_types[t]); g(" field"); g(i); gl(";");
145*e5dd7070Spatrick   }
146*e5dd7070Spatrick 
147*e5dd7070Spatrick   /* Virtual functions */
148*e5dd7070Spatrick   static int funcs[N_FUNCS*FUNCSPACING];
149*e5dd7070Spatrick   // PARAM: 1/2 of all structs should have no virtual functions
150*e5dd7070Spatrick   int n_funcs = random() % (N_FUNCS*2);
151*e5dd7070Spatrick   if (n_funcs > N_FUNCS)
152*e5dd7070Spatrick     n_funcs = 0;
153*e5dd7070Spatrick   int old_func = -1;
154*e5dd7070Spatrick   for (int i = 0; i < n_funcs; ++i) {
155*e5dd7070Spatrick     int fn = old_func + random() % FUNCSPACING + 1;
156*e5dd7070Spatrick     funcs[i] = fn;
157*e5dd7070Spatrick     int ret_type = 0;
158*e5dd7070Spatrick     if (COVARIANT) {
159*e5dd7070Spatrick       ret_type = random() % s + 1;
160*e5dd7070Spatrick       if (!base_present[s][ret_type]
161*e5dd7070Spatrick           || !base_present[ret_type][ret_types[s][fn]])
162*e5dd7070Spatrick         if (ret_types[s][fn]) {
163*e5dd7070Spatrick           printf("  // Found one for s%d for s%d* fun%d.\n", s,
164*e5dd7070Spatrick                  ret_types[s][fn], fn);
165*e5dd7070Spatrick           ret_type = ret_types[s][fn];
166*e5dd7070Spatrick         } else
167*e5dd7070Spatrick           ret_type = s;
168*e5dd7070Spatrick       else
169*e5dd7070Spatrick         printf("  // Wow found one for s%d for fun%d.\n", s, fn);
170*e5dd7070Spatrick       ret_types[s][fn] = ret_type;
171*e5dd7070Spatrick     }
172*e5dd7070Spatrick     if (ret_type) {
173*e5dd7070Spatrick       g("  virtual s"); g(ret_type); g("* fun");
174*e5dd7070Spatrick     } else
175*e5dd7070Spatrick       g("  virtual void fun");
176*e5dd7070Spatrick     g(fn); g("(char *t) { mix(\"vfn this offset\", (char *)this - t); mix(\"vfn uuid\", "); g(++uuid);
177*e5dd7070Spatrick     if (ret_type)
178*e5dd7070Spatrick       gl("); return 0; }");
179*e5dd7070Spatrick     else
180*e5dd7070Spatrick       gl("); }");
181*e5dd7070Spatrick     final_override[s][fn] = s;
182*e5dd7070Spatrick     old_func = fn;
183*e5dd7070Spatrick   }
184*e5dd7070Spatrick 
185*e5dd7070Spatrick   // Add required overriders for correctness
186*e5dd7070Spatrick   for (int i = 0; i < n_bases; ++i) {
187*e5dd7070Spatrick     // For each base
188*e5dd7070Spatrick     int base = bases[i];
189*e5dd7070Spatrick     for (int fn = 0; fn < N_FUNCS*FUNCSPACING; ++fn) {
190*e5dd7070Spatrick       // For each possible function
191*e5dd7070Spatrick       int new_base = final_override[base][fn];
192*e5dd7070Spatrick       if (new_base == 0)
193*e5dd7070Spatrick         // If the base didn't have a final overrider, skip
194*e5dd7070Spatrick         continue;
195*e5dd7070Spatrick 
196*e5dd7070Spatrick       int prev_base = final_override[s][fn];
197*e5dd7070Spatrick       if (prev_base == s)
198*e5dd7070Spatrick         // Skip functions defined in this class
199*e5dd7070Spatrick         continue;
200*e5dd7070Spatrick 
201*e5dd7070Spatrick       // If we don't want to change the info, skip
202*e5dd7070Spatrick       if (prev_base == new_base)
203*e5dd7070Spatrick         continue;
204*e5dd7070Spatrick 
205*e5dd7070Spatrick       if (prev_base == 0) {
206*e5dd7070Spatrick         // record the final override
207*e5dd7070Spatrick         final_override[s][fn] = new_base;
208*e5dd7070Spatrick         continue;
209*e5dd7070Spatrick       }
210*e5dd7070Spatrick 
211*e5dd7070Spatrick       if (base_present[prev_base][new_base]) {
212*e5dd7070Spatrick         // The previous base dominates the new base, no update necessary
213*e5dd7070Spatrick         printf("  // No override for fun%d in s%d as s%d dominates s%d.\n",
214*e5dd7070Spatrick                fn, s, prev_base, new_base);
215*e5dd7070Spatrick         continue;
216*e5dd7070Spatrick       }
217*e5dd7070Spatrick 
218*e5dd7070Spatrick       if (base_present[new_base][prev_base]) {
219*e5dd7070Spatrick         // The new base dominates the old base, no override necessary
220*e5dd7070Spatrick         printf("  // No override for fun%d in s%d as s%d dominates s%d.\n",
221*e5dd7070Spatrick                fn, s, new_base, prev_base);
222*e5dd7070Spatrick         // record the final override
223*e5dd7070Spatrick         final_override[s][fn] = new_base;
224*e5dd7070Spatrick         continue;
225*e5dd7070Spatrick       }
226*e5dd7070Spatrick 
227*e5dd7070Spatrick       printf("  // Found we needed override for fun%d in s%d.\n", fn, s);
228*e5dd7070Spatrick 
229*e5dd7070Spatrick       // record the final override
230*e5dd7070Spatrick       funcs[n_funcs++] = fn;
231*e5dd7070Spatrick       if (n_funcs == (N_FUNCS*FUNCSPACING-1))
232*e5dd7070Spatrick         abort();
233*e5dd7070Spatrick       int ret_type = 0;
234*e5dd7070Spatrick       if (COVARIANT) {
235*e5dd7070Spatrick         if (!ret_types[s][fn]) {
236*e5dd7070Spatrick           ret_types[s][fn] = ret_type = s;
237*e5dd7070Spatrick         } else {
238*e5dd7070Spatrick           ret_type = ret_types[s][fn];
239*e5dd7070Spatrick           if (ret_type != s)
240*e5dd7070Spatrick             printf("  // Calculated return type in s%d as s%d* fun%d.\n",
241*e5dd7070Spatrick                    s, ret_type, fn);
242*e5dd7070Spatrick         }
243*e5dd7070Spatrick       }
244*e5dd7070Spatrick       if (ret_type) {
245*e5dd7070Spatrick         g("  virtual s"); g(ret_type); g("* fun");
246*e5dd7070Spatrick       } else
247*e5dd7070Spatrick         g("  virtual void fun");
248*e5dd7070Spatrick       g(fn); g("(char *t) { mix(\"vfn this offset\", (char *)this - t); mix(\"vfn uuid\", "); g(++uuid);
249*e5dd7070Spatrick       if (ret_type)
250*e5dd7070Spatrick         gl("); return 0; }");
251*e5dd7070Spatrick       else
252*e5dd7070Spatrick         gl("); }");
253*e5dd7070Spatrick       final_override[s][fn] = s;
254*e5dd7070Spatrick     }
255*e5dd7070Spatrick   }
256*e5dd7070Spatrick 
257*e5dd7070Spatrick   gl("public:");
258*e5dd7070Spatrick   gl("  void calc(char *t) {");
259*e5dd7070Spatrick 
260*e5dd7070Spatrick   // mix in the type number
261*e5dd7070Spatrick   g("    mix(\"type num\", "); g(s); gl(");");
262*e5dd7070Spatrick   // mix in the size
263*e5dd7070Spatrick   g("    mix(\"type size\", sizeof (s"); g(s); gl("));");
264*e5dd7070Spatrick   // mix in the this offset
265*e5dd7070Spatrick   gl("    mix(\"subobject offset\", (char *)this - t);");
266*e5dd7070Spatrick   if (n_funcs)
267*e5dd7070Spatrick     polymorphic = true;
268*e5dd7070Spatrick   if (polymorphic) {
269*e5dd7070Spatrick     // mix in offset to the complete object under construction
270*e5dd7070Spatrick     gl("    mix(\"real top v current top\", t - (char *)dynamic_cast<void*>(this));");
271*e5dd7070Spatrick   }
272*e5dd7070Spatrick 
273*e5dd7070Spatrick   /* check base layout and overrides */
274*e5dd7070Spatrick   for (int i = 0; i < n_bases; ++i) {
275*e5dd7070Spatrick     g("    calc_s"); g(bases[i]); gl("(t);");
276*e5dd7070Spatrick   }
277*e5dd7070Spatrick 
278*e5dd7070Spatrick   if (polymorphic) {
279*e5dd7070Spatrick     /* check dynamic_cast to each direct base */
280*e5dd7070Spatrick     for (int i = 0; i < n_bases; ++i) {
281*e5dd7070Spatrick       g("    if ((char *)dynamic_cast<s"); g(bases[i]); gl("*>(this))");
282*e5dd7070Spatrick       g("      mix(\"base dyn cast\", t - (char *)dynamic_cast<s"); g(bases[i]); gl("*>(this));");
283*e5dd7070Spatrick       g("    else mix(\"no dyncast\", "); g(++uuid); gl(");");
284*e5dd7070Spatrick     }
285*e5dd7070Spatrick   }
286*e5dd7070Spatrick 
287*e5dd7070Spatrick   /* check field layout */
288*e5dd7070Spatrick   for (int i = 0; i < n_fields; ++i) {
289*e5dd7070Spatrick     g("    mix(\"field offset\", (char *)&field"); g(i); gl(" - (char *)this);");
290*e5dd7070Spatrick   }
291*e5dd7070Spatrick   if (n_fields == 0) {
292*e5dd7070Spatrick     g("    mix(\"no fields\", "); g(++uuid); gl(");");
293*e5dd7070Spatrick   }
294*e5dd7070Spatrick 
295*e5dd7070Spatrick   /* check functions */
296*e5dd7070Spatrick   for (int i = 0; i < n_funcs; ++i) {
297*e5dd7070Spatrick     g("    fun"); g(funcs[i]); gl("(t);");
298*e5dd7070Spatrick   }
299*e5dd7070Spatrick   if (n_funcs == 0) {
300*e5dd7070Spatrick     g("    mix(\"no funcs\", "); g(++uuid); gl(");");
301*e5dd7070Spatrick   }
302*e5dd7070Spatrick 
303*e5dd7070Spatrick   gl("  }");
304*e5dd7070Spatrick 
305*e5dd7070Spatrick   // default ctor
306*e5dd7070Spatrick   g("  s"); g(s); g("() ");
307*e5dd7070Spatrick   first_base = true;
308*e5dd7070Spatrick   for (int i = 0; i < n_bases; ++i) {
309*e5dd7070Spatrick     if (first_base) {
310*e5dd7070Spatrick       g(": ");
311*e5dd7070Spatrick       first_base = false;
312*e5dd7070Spatrick     } else
313*e5dd7070Spatrick       g(", ");
314*e5dd7070Spatrick     g("s"); g(bases[i]); g("((char *)this)");
315*e5dd7070Spatrick   }
316*e5dd7070Spatrick   gl(" { calc((char *)this); }");
317*e5dd7070Spatrick   g("  ~s"); g(s); gl("() { calc((char *)this); }");
318*e5dd7070Spatrick 
319*e5dd7070Spatrick  // ctor with this to the complete object
320*e5dd7070Spatrick   g("  s"); g(s); gl("(char *t) { calc(t); }");
321*e5dd7070Spatrick   g("  void calc_s"); g(s); gl("(char *t) { calc(t); }");
322*e5dd7070Spatrick   g("} a"); g(s); gl(";");
323*e5dd7070Spatrick }
324*e5dd7070Spatrick 
main(int argc,char ** argv)325*e5dd7070Spatrick main(int argc, char **argv) {
326*e5dd7070Spatrick   unsigned seed = 0;
327*e5dd7070Spatrick   char state[16];
328*e5dd7070Spatrick   if (argc > 1)
329*e5dd7070Spatrick     seed = atol(argv[1]);
330*e5dd7070Spatrick 
331*e5dd7070Spatrick   initstate(seed, state, sizeof(state));
332*e5dd7070Spatrick   gl("extern \"C\" int printf(const char *...);");
333*e5dd7070Spatrick   gl("");
334*e5dd7070Spatrick   gl("long long sum;");
335*e5dd7070Spatrick   gl("void mix(const char *desc, long long i) {");
336*e5dd7070Spatrick   // If this ever becomes too slow, we can remove this after we improve the
337*e5dd7070Spatrick   // mixing function
338*e5dd7070Spatrick   gl("  printf(\"%s: %lld\\n\", desc, i);");
339*e5dd7070Spatrick   gl("  sum += ((sum ^ i) << 3) + (sum<<1) - i;");
340*e5dd7070Spatrick   gl("}");
341*e5dd7070Spatrick   gl("");
342*e5dd7070Spatrick   // PARAM: Randomly size testcases or large testcases?
343*e5dd7070Spatrick   int n_structs = /* random() % */ N_STRUCTS;
344*e5dd7070Spatrick   for (int i = 1; i < n_structs; ++i)
345*e5dd7070Spatrick     gs(i);
346*e5dd7070Spatrick   gl("int main() {");
347*e5dd7070Spatrick   gl("  printf(\"%llx\\n\", sum);");
348*e5dd7070Spatrick   gl("}");
349*e5dd7070Spatrick   return 0;
350*e5dd7070Spatrick }
351