2 * Copyright 2011 INRIA Saclay
4 * Use of this software is governed by the GNU LGPLv2.1 license
6 * Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France,
7 * Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod,
14 #include <isl/options.h>
15 #include <isl/schedule.h>
17 #include "ppcg_options.h"
22 struct isl_options
*isl
;
23 struct pet_options
*pet
;
24 struct ppcg_options
*ppcg
;
28 ISL_ARGS_START(struct options
, options_args
)
29 ISL_ARG_CHILD(struct options
, isl
, "isl", &isl_options_args
, "isl options")
30 ISL_ARG_CHILD(struct options
, pet
, "pet", &pet_options_args
, "pet options")
31 ISL_ARG_CHILD(struct options
, ppcg
, NULL
, &ppcg_options_args
, "ppcg options")
32 ISL_ARG_ARG(struct options
, input
, "input", NULL
)
35 ISL_ARG_DEF(options
, struct options
, options_args
)
37 int main(int argc
, char **argv
)
41 struct options
*options
;
42 struct pet_scop
*scop
;
44 options
= options_new_with_defaults();
47 ctx
= isl_ctx_alloc_with_options(&options_args
, options
);
48 isl_options_set_schedule_outer_zero_distance(ctx
, 1);
49 argc
= options_parse(options
, argc
, argv
, ISL_ARG_ALL
);
51 scop
= pet_scop_extract_from_C_source(ctx
, options
->input
, NULL
);
53 if (options
->ppcg
->target
== PPCG_TARGET_CUDA
)
54 r
= cuda_pet(ctx
, scop
, options
->ppcg
, options
->input
);
56 r
= generate_cpu(ctx
, scop
, options
->ppcg
, options
->input
);