options.c File Reference

#include <stdio.h>
#include "genC.h"
#include "linear.h"
#include "ri.h"
#include "ri-util.h"
#include "constants.h"
#include "misc.h"
#include "arithmetique.h"
#include "boolean.h"
#include "vecteur.h"
#include "contrainte.h"
#include "sc.h"
#include "properties.h"
#include "hyperplane.h"

Include dependency graph for options.c:

Go to the source code of this file.

Functions
int	set_hyperplane_parameters (int argc, argv)
	package hyperplane More...

Function Documentation

set_hyperplane_parameters()

int set_hyperplane_parameters	(	int	argc,
		argv
	)

package hyperplane

Yi-qing Yang, June 1990 analyzes command line options and returns the index of the first argument in argv[]

get Pips default properties

set semantics default properties

check and set execution parameters; should be done with pips_flag_get() from the parameters package to avoid inconsistencies

let's take care of that later

implied flags, non resettable

set_bool_property(ONE_TRIP_DO, truth);

this implies flow sensitivity, i.e. convex hull computation; non resettable

debug level cannot be inversed, but can be zeroed

a 0 debug level is equivalent to no debug a negative debug level is meaningless

set/reset truth

two parameters at least are needed

Definition at line 54 of file options.c.

{
    int errflg = 0;
    char * options = HYPERPLANE_OPTIONS;
    bool truth = true;
    char c;
    extern char * optarg;
    extern int optind;
 
    /* get Pips default properties */
    (void) pips_flag_p(PRETTYPRINT_TRANSFORMER);
 
    /* set semantics default properties */
    set_bool_property(PRETTYPRINT_EXECUTION_CONTEXT, true);
    set_bool_property(SEMANTICS_FLOW_SENSITIVE, true);
 
    /* check and set execution parameters; should be done with
       pips_flag_get() from the parameters package to avoid inconsistencies */
    while((c=getopt(argc,argv,options))!=-1) {
        switch(c) {
        case '-':
            /* let's take care of that later */
            ;
        case 'O':
                set_bool_property(SEMANTICS_STDOUT, truth);
            break;
        case 't':
                set_bool_property(PRETTYPRINT_TRANSFORMER, truth);
            break;
        case 'c':
                set_bool_property(PRETTYPRINT_EXECUTION_CONTEXT, truth);
            break;
        case 'i':
                set_bool_property(SEMANTICS_INTERPROCEDURAL, truth);
            break;
        case 'f':
                set_bool_property(SEMANTICS_FLOW_SENSITIVE, truth);
            break;
        case 'e':
                set_bool_property(SEMANTICS_INEQUALITY_INVARIANT, truth);
            if(truth) {
                /* implied flags, non resettable */
                set_bool_property(SEMANTICS_FIX_POINT, true);
                set_bool_property(SEMANTICS_FLOW_SENSITIVE, true);
            }
            break;
        case 'o':
                /* set_bool_property(ONE_TRIP_DO, truth); */
            break;
        case 'd':
                set_bool_property(SEMANTICS_FIX_POINT, truth);
            if(truth) 
                /* this implies flow sensitivity, i.e. convex hull 
                   computation; non resettable */
                set_bool_property(SEMANTICS_FLOW_SENSITIVE, truth);
            break;
        case 'D':
            if(!truth) 
                /* debug level cannot be inversed, but can be zeroed */
                set_int_property(SEMANTICS_DEBUG_LEVEL, 0);
            else {
                int semantics_debug_level = atoi(optarg);
            /* a 0 debug level is equivalent to no debug 
               a negative debug level is meaningless */
            if(semantics_debug_level<=0) errflg++;
                else set_int_property(SEMANTICS_DEBUG_LEVEL,
                                      semantics_debug_level);
            }
            break;
        case '?':
        default:
            errflg++;
        }
        /* set/reset truth */
        truth = (c != '-');
        }
 
    /* two parameters at least are needed */
    if (argc - optind < 2 || errflg != 0)
        user_error("semantics_main",
                   "usage: %s [-tcife[D nn]] program module [module ...]\n", 
                   argv[0]);
 
 
    /*
      (void) fprintf(stderr,"semantics_main semantics_debug_level = %d\n",
      semantics_debug_level);
      (void) fprintf(stderr,"semantics_main argc = %d, optind=%d \n",
      argc, optind);
      */
 
    return optind;
}

References HYPERPLANE_OPTIONS, optarg, optind, pips_flag_p, PRETTYPRINT_EXECUTION_CONTEXT, PRETTYPRINT_TRANSFORMER, SEMANTICS_DEBUG_LEVEL, SEMANTICS_FIX_POINT, SEMANTICS_FLOW_SENSITIVE, SEMANTICS_INEQUALITY_INVARIANT, SEMANTICS_INTERPROCEDURAL, SEMANTICS_STDOUT, set_bool_property(), set_int_property(), and user_error.

Here is the call graph for this function: