25 #include "pips_config.h"
68 #include "constants.h"
148 signe = (debut) ?
' ' :
'+';
158 (void)
fprintf(fp,
"%c ", signe);
183 else if(is_what ==
IS_EG)
240 " ---Def-Use---> ins_%d:\n Reference: %s\n Transformation: [",
245 fprintf(fp,
" Governing predicate:\n");
262 fprintf(fp,
"\t\t Broadcast vector(s):");
269 fprintf(fp,
"\t\t Reduction vector(s):");
276 fprintf(fp,
"\t\t Shift vector(s):");
358 fprintf(fp,
"\n Scheduling:\n");
362 fprintf(fp,
"\tNot computed\n\n");
368 for(; sched_l !=
NIL; sched_l =
CDR(sched_l)) {
400 fprintf(fp,
"\t pred: TRUE\n");
403 fprintf(fp,
"\t pred: TRUE\n");
406 for(; dim_l !=
NIL; dim_l =
CDR(dim_l)) {
457 signe = (debut) ?
' ' :
'+';
483 signe = (debut) ?
' ' :
'+';
488 (void)
fprintf(fp,
"%c ", signe);
499 #define INDENT_FACTOR 2
573 fprintf(fp,
"Statement source number : %"PRIdPTR,
float a2sf[2] __attribute__((aligned(16)))
USER generates a user error (i.e., non fatal) by printing the given MSG according to the FMT.
static list trans_l
Current list of nodes.
static int crt_stmt
Current source statement.
static reference ref
Current stmt (an integer)
static predicate gov_pred
Current expression.
#define value_oppose(ref)
#define value_notzero_p(val)
#define value_addto(ref, val)
void fprint_Value(FILE *, Value)
#define CONTRAINTE_UNDEFINED_P(c)
#define contrainte_vecteur(c)
passage au champ vecteur d'une contrainte "a la Newgen"
#define NIL
The empty list (nil in Lisp)
#define CAR(pcons)
Get the value of the first element of a list.
#define CDR(pcons)
Get the list less its first element.
bool vect_check(Pvecteur cv)
bool vect_check(Pvecteur v): renvoie true si le vecteur v est coherent avec les specifications du pac...
#define pips_internal_error
statement ordering_to_statement(int o)
Get the statement associated to a given ordering.
dfg_arc_label arc_label
Name : print.c Package : paf-util Author : Alexis Platonoff Date : july 1993.
void fprint_indent(FILE *fp, int indent)
===========================================================================
void vecteur_fprint(FILE *fp, Pcontrainte vec, const char *(*variable_name)(entity))
===========================================================================
void pu_vect_fprint(FILE *fp, Pvecteur v)
===========================================================================
static void pu_contrainte_fprint(FILE *fp, Pcontrainte c, int is_what, const char *(*variable_name)(entity))
Used in imprime_quast() for correct indentation.
static int quast_depth
Global variables
bool pu_is_inferior_var(Variable v1 __attribute__((unused)), Variable v2 __attribute__((unused)))
===========================================================================
dfg_vertex_label vertex_label
void pu_egalite_fprint(FILE *fp, Pcontrainte eg, const char *(*variable_name)(entity))
===========================================================================
void fprint_bdt(FILE *fp, bdt obj)
===========================================================================
void pu_inegalite_fprint(FILE *fp, Pcontrainte ineg, const char *(*variable_name)(entity))
===========================================================================
void fprint_sc_pvecteur(FILE *fp, Psysteme ps)
===========================================================================
void fprint_psysteme(FILE *fp, Psysteme ps)
===========================================================================
#define IS_INEG
Macro functions.
void fprint_pred(FILE *fp, predicate pred)
===========================================================================
void fprint_dataflow(FILE *fp, int stmt, dataflow df)
===========================================================================
void imprime_quast(FILE *fp, quast qu)
===========================================================================
const char * pu_variable_name(Variable v)
package mapping : Alexis Platonoff, april 1993
#define communication_shift(x)
#define conditional_true_quast(x)
#define dataflow_communication(x)
#define dataflow_transformation(x)
#define quast_value_undefined
#define leaf_label_statement(x)
#define SCHEDULE(x)
SCHEDULE.
@ is_quast_value_quast_leaf
@ is_quast_value_conditional
#define conditional_false_quast(x)
#define communication_undefined
#define quast_leaf_solution(x)
#define quast_value_tag(x)
#define schedule_predicate(x)
#define dataflow_governing_pred(x)
#define schedule_statement(x)
#define communication_reduction(x)
#define quast_leaf_undefined
#define leaf_label_undefined
#define dataflow_reference(x)
#define leaf_label_depth(x)
#define communication_broadcast(x)
#define quast_value_quast_leaf(x)
#define quast_leaf_leaf_label(x)
#define quast_quast_value(x)
#define conditional_predicate(x)
#define quast_value_conditional(x)
void fprint_list_of_exp(FILE *fp, list exp_l)
void fprint_list_of_exp(FILE *fp, list exp_l): prints in the file "fp" the list of expression "exp_l"...
string reference_to_string(reference r)
string expression_to_string(expression e)
const char * entity_local_name(entity e)
entity_local_name modified so that it does not core when used in vect_fprint, since someone thought t...
#define EXPRESSION(x)
EXPRESSION.
#define predicate_undefined
#define statement_number(x)
#define predicate_system(x)
struct Ssysteme * Psysteme
int fprintf()
test sc_min : ce test s'appelle par : programme fichier1.data fichier2.data ...
char * variable_name(Variable v)
polynome_ri.c
struct Scontrainte * succ
le type des coefficients dans les vecteurs: Value est defini dans le package arithmetique
The structure used to build lists in NewGen.
#define exp
Avoid some warnings from "gcc -Wshadow".
#define TCST
VARIABLE REPRESENTANT LE TERME CONSTANT.
#define VECTEUR_NUL
DEFINITION DU VECTEUR NUL.
void * Variable
arithmetique is a requirement for vecteur, but I do not want to inforce it in all pips files....