blob: 20e422ea8084d1d0c7c8e3e75842bf1d644bb851 [file] [log] [blame]
Olivier Deprezf4ef2d02021-04-20 13:36:24 +02001/// These are automatically generated conversions between
2/// the default and the checked C++ bindings for isl.
3///
4/// isl is a library for computing with integer sets and maps described by
5/// Presburger formulas. On top of this, isl provides various tools for
6/// polyhedral compilation, ranging from dependence analysis over scheduling
7/// to AST generation.
8
9#ifndef ISL_CPP_CHECKED_CONVERSION
10#define ISL_CPP_CHECKED_CONVERSION
11
12#include <isl/cpp.h>
13#include <isl/cpp-checked.h>
14
15namespace isl {
16
17checked::aff check(aff obj) {
18 return checked::manage(obj.copy());
19}
20
21aff uncheck(checked::aff obj) {
22 return manage(obj.copy());
23}
24
25checked::aff_list check(aff_list obj) {
26 return checked::manage(obj.copy());
27}
28
29aff_list uncheck(checked::aff_list obj) {
30 return manage(obj.copy());
31}
32
33checked::ast_build check(ast_build obj) {
34 return checked::manage(obj.copy());
35}
36
37ast_build uncheck(checked::ast_build obj) {
38 return manage(obj.copy());
39}
40
41checked::ast_expr check(ast_expr obj) {
42 return checked::manage(obj.copy());
43}
44
45ast_expr uncheck(checked::ast_expr obj) {
46 return manage(obj.copy());
47}
48
49checked::ast_expr_id check(ast_expr_id obj) {
50 return checked::manage(obj.copy()).as<checked::ast_expr_id>();
51}
52
53ast_expr_id uncheck(checked::ast_expr_id obj) {
54 return manage(obj.copy()).as<ast_expr_id>();
55}
56
57checked::ast_expr_int check(ast_expr_int obj) {
58 return checked::manage(obj.copy()).as<checked::ast_expr_int>();
59}
60
61ast_expr_int uncheck(checked::ast_expr_int obj) {
62 return manage(obj.copy()).as<ast_expr_int>();
63}
64
65checked::ast_expr_op check(ast_expr_op obj) {
66 return checked::manage(obj.copy()).as<checked::ast_expr_op>();
67}
68
69ast_expr_op uncheck(checked::ast_expr_op obj) {
70 return manage(obj.copy()).as<ast_expr_op>();
71}
72
73checked::ast_expr_op_access check(ast_expr_op_access obj) {
74 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_access>();
75}
76
77ast_expr_op_access uncheck(checked::ast_expr_op_access obj) {
78 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_access>();
79}
80
81checked::ast_expr_op_add check(ast_expr_op_add obj) {
82 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_add>();
83}
84
85ast_expr_op_add uncheck(checked::ast_expr_op_add obj) {
86 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_add>();
87}
88
89checked::ast_expr_op_address_of check(ast_expr_op_address_of obj) {
90 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_address_of>();
91}
92
93ast_expr_op_address_of uncheck(checked::ast_expr_op_address_of obj) {
94 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_address_of>();
95}
96
97checked::ast_expr_op_and check(ast_expr_op_and obj) {
98 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_and>();
99}
100
101ast_expr_op_and uncheck(checked::ast_expr_op_and obj) {
102 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_and>();
103}
104
105checked::ast_expr_op_and_then check(ast_expr_op_and_then obj) {
106 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_and_then>();
107}
108
109ast_expr_op_and_then uncheck(checked::ast_expr_op_and_then obj) {
110 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_and_then>();
111}
112
113checked::ast_expr_op_call check(ast_expr_op_call obj) {
114 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_call>();
115}
116
117ast_expr_op_call uncheck(checked::ast_expr_op_call obj) {
118 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_call>();
119}
120
121checked::ast_expr_op_cond check(ast_expr_op_cond obj) {
122 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_cond>();
123}
124
125ast_expr_op_cond uncheck(checked::ast_expr_op_cond obj) {
126 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_cond>();
127}
128
129checked::ast_expr_op_div check(ast_expr_op_div obj) {
130 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_div>();
131}
132
133ast_expr_op_div uncheck(checked::ast_expr_op_div obj) {
134 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_div>();
135}
136
137checked::ast_expr_op_eq check(ast_expr_op_eq obj) {
138 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_eq>();
139}
140
141ast_expr_op_eq uncheck(checked::ast_expr_op_eq obj) {
142 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_eq>();
143}
144
145checked::ast_expr_op_fdiv_q check(ast_expr_op_fdiv_q obj) {
146 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_fdiv_q>();
147}
148
149ast_expr_op_fdiv_q uncheck(checked::ast_expr_op_fdiv_q obj) {
150 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_fdiv_q>();
151}
152
153checked::ast_expr_op_ge check(ast_expr_op_ge obj) {
154 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_ge>();
155}
156
157ast_expr_op_ge uncheck(checked::ast_expr_op_ge obj) {
158 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_ge>();
159}
160
161checked::ast_expr_op_gt check(ast_expr_op_gt obj) {
162 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_gt>();
163}
164
165ast_expr_op_gt uncheck(checked::ast_expr_op_gt obj) {
166 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_gt>();
167}
168
169checked::ast_expr_op_le check(ast_expr_op_le obj) {
170 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_le>();
171}
172
173ast_expr_op_le uncheck(checked::ast_expr_op_le obj) {
174 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_le>();
175}
176
177checked::ast_expr_op_lt check(ast_expr_op_lt obj) {
178 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_lt>();
179}
180
181ast_expr_op_lt uncheck(checked::ast_expr_op_lt obj) {
182 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_lt>();
183}
184
185checked::ast_expr_op_max check(ast_expr_op_max obj) {
186 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_max>();
187}
188
189ast_expr_op_max uncheck(checked::ast_expr_op_max obj) {
190 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_max>();
191}
192
193checked::ast_expr_op_member check(ast_expr_op_member obj) {
194 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_member>();
195}
196
197ast_expr_op_member uncheck(checked::ast_expr_op_member obj) {
198 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_member>();
199}
200
201checked::ast_expr_op_min check(ast_expr_op_min obj) {
202 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_min>();
203}
204
205ast_expr_op_min uncheck(checked::ast_expr_op_min obj) {
206 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_min>();
207}
208
209checked::ast_expr_op_minus check(ast_expr_op_minus obj) {
210 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_minus>();
211}
212
213ast_expr_op_minus uncheck(checked::ast_expr_op_minus obj) {
214 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_minus>();
215}
216
217checked::ast_expr_op_mul check(ast_expr_op_mul obj) {
218 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_mul>();
219}
220
221ast_expr_op_mul uncheck(checked::ast_expr_op_mul obj) {
222 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_mul>();
223}
224
225checked::ast_expr_op_or check(ast_expr_op_or obj) {
226 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_or>();
227}
228
229ast_expr_op_or uncheck(checked::ast_expr_op_or obj) {
230 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_or>();
231}
232
233checked::ast_expr_op_or_else check(ast_expr_op_or_else obj) {
234 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_or_else>();
235}
236
237ast_expr_op_or_else uncheck(checked::ast_expr_op_or_else obj) {
238 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_or_else>();
239}
240
241checked::ast_expr_op_pdiv_q check(ast_expr_op_pdiv_q obj) {
242 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_pdiv_q>();
243}
244
245ast_expr_op_pdiv_q uncheck(checked::ast_expr_op_pdiv_q obj) {
246 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_pdiv_q>();
247}
248
249checked::ast_expr_op_pdiv_r check(ast_expr_op_pdiv_r obj) {
250 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_pdiv_r>();
251}
252
253ast_expr_op_pdiv_r uncheck(checked::ast_expr_op_pdiv_r obj) {
254 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_pdiv_r>();
255}
256
257checked::ast_expr_op_select check(ast_expr_op_select obj) {
258 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_select>();
259}
260
261ast_expr_op_select uncheck(checked::ast_expr_op_select obj) {
262 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_select>();
263}
264
265checked::ast_expr_op_sub check(ast_expr_op_sub obj) {
266 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_sub>();
267}
268
269ast_expr_op_sub uncheck(checked::ast_expr_op_sub obj) {
270 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_sub>();
271}
272
273checked::ast_expr_op_zdiv_r check(ast_expr_op_zdiv_r obj) {
274 return checked::manage(obj.copy()).as<checked::ast_expr_op>().as<checked::ast_expr_op_zdiv_r>();
275}
276
277ast_expr_op_zdiv_r uncheck(checked::ast_expr_op_zdiv_r obj) {
278 return manage(obj.copy()).as<ast_expr_op>().as<ast_expr_op_zdiv_r>();
279}
280
281checked::ast_node check(ast_node obj) {
282 return checked::manage(obj.copy());
283}
284
285ast_node uncheck(checked::ast_node obj) {
286 return manage(obj.copy());
287}
288
289checked::ast_node_block check(ast_node_block obj) {
290 return checked::manage(obj.copy()).as<checked::ast_node_block>();
291}
292
293ast_node_block uncheck(checked::ast_node_block obj) {
294 return manage(obj.copy()).as<ast_node_block>();
295}
296
297checked::ast_node_for check(ast_node_for obj) {
298 return checked::manage(obj.copy()).as<checked::ast_node_for>();
299}
300
301ast_node_for uncheck(checked::ast_node_for obj) {
302 return manage(obj.copy()).as<ast_node_for>();
303}
304
305checked::ast_node_if check(ast_node_if obj) {
306 return checked::manage(obj.copy()).as<checked::ast_node_if>();
307}
308
309ast_node_if uncheck(checked::ast_node_if obj) {
310 return manage(obj.copy()).as<ast_node_if>();
311}
312
313checked::ast_node_list check(ast_node_list obj) {
314 return checked::manage(obj.copy());
315}
316
317ast_node_list uncheck(checked::ast_node_list obj) {
318 return manage(obj.copy());
319}
320
321checked::ast_node_mark check(ast_node_mark obj) {
322 return checked::manage(obj.copy()).as<checked::ast_node_mark>();
323}
324
325ast_node_mark uncheck(checked::ast_node_mark obj) {
326 return manage(obj.copy()).as<ast_node_mark>();
327}
328
329checked::ast_node_user check(ast_node_user obj) {
330 return checked::manage(obj.copy()).as<checked::ast_node_user>();
331}
332
333ast_node_user uncheck(checked::ast_node_user obj) {
334 return manage(obj.copy()).as<ast_node_user>();
335}
336
337checked::basic_map check(basic_map obj) {
338 return checked::manage(obj.copy());
339}
340
341basic_map uncheck(checked::basic_map obj) {
342 return manage(obj.copy());
343}
344
345checked::basic_set check(basic_set obj) {
346 return checked::manage(obj.copy());
347}
348
349basic_set uncheck(checked::basic_set obj) {
350 return manage(obj.copy());
351}
352
353checked::fixed_box check(fixed_box obj) {
354 return checked::manage(obj.copy());
355}
356
357fixed_box uncheck(checked::fixed_box obj) {
358 return manage(obj.copy());
359}
360
361checked::id check(id obj) {
362 return checked::manage(obj.copy());
363}
364
365id uncheck(checked::id obj) {
366 return manage(obj.copy());
367}
368
369checked::id_list check(id_list obj) {
370 return checked::manage(obj.copy());
371}
372
373id_list uncheck(checked::id_list obj) {
374 return manage(obj.copy());
375}
376
377checked::map check(map obj) {
378 return checked::manage(obj.copy());
379}
380
381map uncheck(checked::map obj) {
382 return manage(obj.copy());
383}
384
385checked::multi_aff check(multi_aff obj) {
386 return checked::manage(obj.copy());
387}
388
389multi_aff uncheck(checked::multi_aff obj) {
390 return manage(obj.copy());
391}
392
393checked::multi_id check(multi_id obj) {
394 return checked::manage(obj.copy());
395}
396
397multi_id uncheck(checked::multi_id obj) {
398 return manage(obj.copy());
399}
400
401checked::multi_pw_aff check(multi_pw_aff obj) {
402 return checked::manage(obj.copy());
403}
404
405multi_pw_aff uncheck(checked::multi_pw_aff obj) {
406 return manage(obj.copy());
407}
408
409checked::multi_union_pw_aff check(multi_union_pw_aff obj) {
410 return checked::manage(obj.copy());
411}
412
413multi_union_pw_aff uncheck(checked::multi_union_pw_aff obj) {
414 return manage(obj.copy());
415}
416
417checked::multi_val check(multi_val obj) {
418 return checked::manage(obj.copy());
419}
420
421multi_val uncheck(checked::multi_val obj) {
422 return manage(obj.copy());
423}
424
425checked::point check(point obj) {
426 return checked::manage(obj.copy());
427}
428
429point uncheck(checked::point obj) {
430 return manage(obj.copy());
431}
432
433checked::pw_aff check(pw_aff obj) {
434 return checked::manage(obj.copy());
435}
436
437pw_aff uncheck(checked::pw_aff obj) {
438 return manage(obj.copy());
439}
440
441checked::pw_aff_list check(pw_aff_list obj) {
442 return checked::manage(obj.copy());
443}
444
445pw_aff_list uncheck(checked::pw_aff_list obj) {
446 return manage(obj.copy());
447}
448
449checked::pw_multi_aff check(pw_multi_aff obj) {
450 return checked::manage(obj.copy());
451}
452
453pw_multi_aff uncheck(checked::pw_multi_aff obj) {
454 return manage(obj.copy());
455}
456
457checked::pw_multi_aff_list check(pw_multi_aff_list obj) {
458 return checked::manage(obj.copy());
459}
460
461pw_multi_aff_list uncheck(checked::pw_multi_aff_list obj) {
462 return manage(obj.copy());
463}
464
465checked::schedule check(schedule obj) {
466 return checked::manage(obj.copy());
467}
468
469schedule uncheck(checked::schedule obj) {
470 return manage(obj.copy());
471}
472
473checked::schedule_constraints check(schedule_constraints obj) {
474 return checked::manage(obj.copy());
475}
476
477schedule_constraints uncheck(checked::schedule_constraints obj) {
478 return manage(obj.copy());
479}
480
481checked::schedule_node check(schedule_node obj) {
482 return checked::manage(obj.copy());
483}
484
485schedule_node uncheck(checked::schedule_node obj) {
486 return manage(obj.copy());
487}
488
489checked::schedule_node_band check(schedule_node_band obj) {
490 return checked::manage(obj.copy()).as<checked::schedule_node_band>();
491}
492
493schedule_node_band uncheck(checked::schedule_node_band obj) {
494 return manage(obj.copy()).as<schedule_node_band>();
495}
496
497checked::schedule_node_context check(schedule_node_context obj) {
498 return checked::manage(obj.copy()).as<checked::schedule_node_context>();
499}
500
501schedule_node_context uncheck(checked::schedule_node_context obj) {
502 return manage(obj.copy()).as<schedule_node_context>();
503}
504
505checked::schedule_node_domain check(schedule_node_domain obj) {
506 return checked::manage(obj.copy()).as<checked::schedule_node_domain>();
507}
508
509schedule_node_domain uncheck(checked::schedule_node_domain obj) {
510 return manage(obj.copy()).as<schedule_node_domain>();
511}
512
513checked::schedule_node_expansion check(schedule_node_expansion obj) {
514 return checked::manage(obj.copy()).as<checked::schedule_node_expansion>();
515}
516
517schedule_node_expansion uncheck(checked::schedule_node_expansion obj) {
518 return manage(obj.copy()).as<schedule_node_expansion>();
519}
520
521checked::schedule_node_extension check(schedule_node_extension obj) {
522 return checked::manage(obj.copy()).as<checked::schedule_node_extension>();
523}
524
525schedule_node_extension uncheck(checked::schedule_node_extension obj) {
526 return manage(obj.copy()).as<schedule_node_extension>();
527}
528
529checked::schedule_node_filter check(schedule_node_filter obj) {
530 return checked::manage(obj.copy()).as<checked::schedule_node_filter>();
531}
532
533schedule_node_filter uncheck(checked::schedule_node_filter obj) {
534 return manage(obj.copy()).as<schedule_node_filter>();
535}
536
537checked::schedule_node_guard check(schedule_node_guard obj) {
538 return checked::manage(obj.copy()).as<checked::schedule_node_guard>();
539}
540
541schedule_node_guard uncheck(checked::schedule_node_guard obj) {
542 return manage(obj.copy()).as<schedule_node_guard>();
543}
544
545checked::schedule_node_leaf check(schedule_node_leaf obj) {
546 return checked::manage(obj.copy()).as<checked::schedule_node_leaf>();
547}
548
549schedule_node_leaf uncheck(checked::schedule_node_leaf obj) {
550 return manage(obj.copy()).as<schedule_node_leaf>();
551}
552
553checked::schedule_node_mark check(schedule_node_mark obj) {
554 return checked::manage(obj.copy()).as<checked::schedule_node_mark>();
555}
556
557schedule_node_mark uncheck(checked::schedule_node_mark obj) {
558 return manage(obj.copy()).as<schedule_node_mark>();
559}
560
561checked::schedule_node_sequence check(schedule_node_sequence obj) {
562 return checked::manage(obj.copy()).as<checked::schedule_node_sequence>();
563}
564
565schedule_node_sequence uncheck(checked::schedule_node_sequence obj) {
566 return manage(obj.copy()).as<schedule_node_sequence>();
567}
568
569checked::schedule_node_set check(schedule_node_set obj) {
570 return checked::manage(obj.copy()).as<checked::schedule_node_set>();
571}
572
573schedule_node_set uncheck(checked::schedule_node_set obj) {
574 return manage(obj.copy()).as<schedule_node_set>();
575}
576
577checked::set check(set obj) {
578 return checked::manage(obj.copy());
579}
580
581set uncheck(checked::set obj) {
582 return manage(obj.copy());
583}
584
585checked::space check(space obj) {
586 return checked::manage(obj.copy());
587}
588
589space uncheck(checked::space obj) {
590 return manage(obj.copy());
591}
592
593checked::union_access_info check(union_access_info obj) {
594 return checked::manage(obj.copy());
595}
596
597union_access_info uncheck(checked::union_access_info obj) {
598 return manage(obj.copy());
599}
600
601checked::union_flow check(union_flow obj) {
602 return checked::manage(obj.copy());
603}
604
605union_flow uncheck(checked::union_flow obj) {
606 return manage(obj.copy());
607}
608
609checked::union_map check(union_map obj) {
610 return checked::manage(obj.copy());
611}
612
613union_map uncheck(checked::union_map obj) {
614 return manage(obj.copy());
615}
616
617checked::union_pw_aff check(union_pw_aff obj) {
618 return checked::manage(obj.copy());
619}
620
621union_pw_aff uncheck(checked::union_pw_aff obj) {
622 return manage(obj.copy());
623}
624
625checked::union_pw_aff_list check(union_pw_aff_list obj) {
626 return checked::manage(obj.copy());
627}
628
629union_pw_aff_list uncheck(checked::union_pw_aff_list obj) {
630 return manage(obj.copy());
631}
632
633checked::union_pw_multi_aff check(union_pw_multi_aff obj) {
634 return checked::manage(obj.copy());
635}
636
637union_pw_multi_aff uncheck(checked::union_pw_multi_aff obj) {
638 return manage(obj.copy());
639}
640
641checked::union_set check(union_set obj) {
642 return checked::manage(obj.copy());
643}
644
645union_set uncheck(checked::union_set obj) {
646 return manage(obj.copy());
647}
648
649checked::union_set_list check(union_set_list obj) {
650 return checked::manage(obj.copy());
651}
652
653union_set_list uncheck(checked::union_set_list obj) {
654 return manage(obj.copy());
655}
656
657checked::val check(val obj) {
658 return checked::manage(obj.copy());
659}
660
661val uncheck(checked::val obj) {
662 return manage(obj.copy());
663}
664
665checked::val_list check(val_list obj) {
666 return checked::manage(obj.copy());
667}
668
669val_list uncheck(checked::val_list obj) {
670 return manage(obj.copy());
671}
672
673} // namespace isl
674
675#endif /* ISL_CPP_CHECKED_CONVERSION */