PetScan::extract_non_affine_condition: remove redundant resolve_nested
[pet.git] / main.c
blob2f863ef64853bc437c23be8f9214901854664697
1 /*
2 * Copyright 2011 Leiden University. All rights reserved.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions
6 * are met:
7 *
8 * 1. Redistributions of source code must retain the above copyright
9 * notice, this list of conditions and the following disclaimer.
11 * 2. Redistributions in binary form must reproduce the above
12 * copyright notice, this list of conditions and the following
13 * disclaimer in the documentation and/or other materials provided
14 * with the distribution.
16 * THIS SOFTWARE IS PROVIDED BY LEIDEN UNIVERSITY ''AS IS'' AND ANY
17 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL LEIDEN UNIVERSITY OR
20 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
21 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
22 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA,
23 * OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28 * The views and conclusions contained in the software and documentation
29 * are those of the authors and should not be interpreted as
30 * representing official policies, either expressed or implied, of
31 * Leiden University.
32 */
34 #include <isl/arg.h>
35 #include <isl/ctx.h>
36 #include <isl/options.h>
38 #include "options.h"
39 #include "scop.h"
40 #include "scop_yaml.h"
42 struct options {
43 struct isl_options *isl;
44 struct pet_options *pet;
45 char *input;
48 ISL_ARGS_START(struct options, options_args)
49 ISL_ARG_CHILD(struct options, isl, "isl", &isl_options_args, "isl options")
50 ISL_ARG_CHILD(struct options, pet, NULL, &pet_options_args, "pet options")
51 ISL_ARG_ARG(struct options, input, "input", NULL)
52 ISL_ARGS_END
54 ISL_ARG_DEF(options, struct options, options_args)
56 int main(int argc, char *argv[])
58 isl_ctx *ctx;
59 struct pet_scop *scop;
60 struct options *options;
62 options = options_new_with_defaults();
63 ctx = isl_ctx_alloc_with_options(&options_args, options);
64 argc = options_parse(options, argc, argv, ISL_ARG_ALL);
66 scop = pet_scop_extract_from_C_source(ctx, options->input, NULL);
68 if (scop)
69 pet_scop_emit(stdout, scop);
71 pet_scop_free(scop);
73 isl_ctx_free(ctx);
74 return 0;