ppcg.c

   1 /*
   2  * Copyright 2011      INRIA Saclay
   3  *
   4  * Use of this software is governed by the GNU LGPLv2.1 license
   5  *
   6  * Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France,
   7  * Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod,
   8  * 91893 Orsay, France
   9  */
  10
  11 #include <assert.h>
  12 #include <stdio.h>
  13 #include <isl/ctx.h>
  14 #include <isl/options.h>
  15 #include <isl/schedule.h>
  16 #include <pet.h>
  17 #include "ppcg_options.h"
  18 #include "cuda.h"
  19
  20 struct options {
  21         struct isl_options *isl;
  22         struct ppcg_options *ppcg;
  23         char *input;
  24 };
  25
  26 ISL_ARGS_START(struct options, options_args)
  27 ISL_ARG_CHILD(struct options, isl, "isl", &isl_options_args, "isl options")
  28 ISL_ARG_CHILD(struct options, ppcg, NULL, &ppcg_options_args, NULL)
  29 ISL_ARG_ARG(struct options, input, "input", NULL)
  30 ISL_ARGS_END
  31
  32 ISL_ARG_DEF(options, struct options, options_args)
  33
  34 int main(int argc, char **argv)
  35 {
  36         int r;
  37         isl_ctx *ctx;
  38         struct options *options;
  39         FILE *input;
  40         struct pet_scop *scop;
  41
  42         options = options_new_with_defaults();
  43         assert(options);
  44
  45         ctx = isl_ctx_alloc_with_options(&options_args, options);
  46         isl_options_set_schedule_outer_zero_distance(ctx, 1);
  47         argc = options_parse(options, argc, argv, ISL_ARG_ALL);
  48
  49         scop = pet_scop_extract_from_C_source(ctx, options->input, NULL, 0);
  50         r = cuda_pet(ctx, scop, options->ppcg, options->input);
  51         pet_scop_free(scop);
  52
  53         isl_ctx_free(ctx);
  54
  55         return r;
  56 }