PIPS
|
#include "all.h"
Go to the source code of this file.
Data Structures | |
struct | sSimpBound |
bounds are retained as high level tree structures to accommodate symbolic information in boundary expressions. More... | |
struct | DadComponent |
Simple Section part of DAD An array of type SimpBound struct allocated dynamically based on rank of array. More... | |
struct | Variants |
}} More... | |
Macros | |
#define | LIN_INVARIANT 2 |
{{ File banner More... | |
#define | LIN_VARIANT 1 |
#define | NON_LINEAR -1 |
#define | LSEC(x, i) GetBoundary(x,i,1) |
accessing DAD components More... | |
#define | USEC(x, i) GetBoundary(x,i,0) |
#define | MAX_RANK 8 |
only used for in print routines. More... | |
Typedefs | |
typedef unsigned int | tRT |
{{ Dad definition More... | |
typedef Svecteur * | LinExpr |
A linear expression in Pips ; Pvecteur is a pointer. More... | |
typedef struct sSimpBound | tSS |
bounds are retained as high level tree structures to accommodate symbolic information in boundary expressions. More... | |
typedef struct DadComponent | DadComp |
Simple Section part of DAD An array of type SimpBound struct allocated dynamically based on rank of array. More... | |
typedef struct Variants | tVariants |
}} More... | |
typedef simple_section | tDad |
}} More... | |
Enumerations | |
enum | BoundType { LOWER , UPPER , LOWER , UPPER , LOWER , UPPER } |
}} More... | |
enum | RefType { READ , WRITE , READ , WRITE , READ , WRITE } |
enum | NestType { ZERO , SINGLE , MULTI , ZERO , SINGLE , MULTI , ZERO , SINGLE , MULTI } |
enum | OpFlag { PLUS , MINUS , PLUS , MINUS , PLUS , MINUS } |
used for merging linear expressions More... | |
#define LIN_INVARIANT 2 |
#define LSEC | ( | x, | |
i | |||
) | GetBoundary(x,i,1) |
#define MAX_RANK 8 |
#define USEC | ( | x, | |
i | |||
) | GetBoundary(x,i,0) |
typedef struct DadComponent DadComp |
Simple Section part of DAD An array of type SimpBound struct allocated dynamically based on rank of array.
typedef simple_section tDad |
typedef struct sSimpBound tSS |
bounds are retained as high level tree structures to accommodate symbolic information in boundary expressions.
When all the symbolic information gets resolved then the tree nodes are collapsed into a single instruction holding the constant value
}}
{{ Data structures required for computing Dads {{ structures for TranslateToLoop structure to hold both Old and New variants
enum BoundType |
enum NestType |
enum OpFlag |