PIPS
ss.h File Reference
#include "all.h"
+ Include dependency graph for ss.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 SvecteurLinExpr
 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...
 

Macro Definition Documentation

◆ LIN_INVARIANT

#define LIN_INVARIANT   2

{{ File banner

}} {{ defines classifying subscript types for reference template done in newgen now

Definition at line 47 of file ss.h.

◆ LIN_VARIANT

#define LIN_VARIANT   1

Definition at line 48 of file ss.h.

◆ LSEC

#define LSEC (   x,
 
)    GetBoundary(x,i,1)

accessing DAD components

Definition at line 52 of file ss.h.

◆ MAX_RANK

#define MAX_RANK   8

only used for in print routines.

The analysis does not pose any limit on the number of array dimensions

Definition at line 68 of file ss.h.

◆ NON_LINEAR

#define NON_LINEAR   -1

Definition at line 49 of file ss.h.

◆ USEC

#define USEC (   x,
 
)    GetBoundary(x,i,0)

Definition at line 53 of file ss.h.

Typedef Documentation

◆ DadComp

typedef struct DadComponent DadComp

Simple Section part of DAD An array of type SimpBound struct allocated dynamically based on rank of array.

◆ LinExpr

typedef Svecteur* LinExpr

A linear expression in Pips ; Pvecteur is a pointer.

Definition at line 77 of file ss.h.

◆ tDad

}}

}}

Definition at line 117 of file ss.h.

◆ tRT

typedef unsigned int tRT

{{ Dad definition

data structures for data access descriptor Reference Template part of DAD, an array of integers allocated dynamically

Definition at line 74 of file ss.h.

◆ tSS

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

◆ tVariants

typedef struct Variants tVariants

}}

{{ Data structures required for computing Dads {{ structures for TranslateToLoop structure to hold both Old and New variants

Enumeration Type Documentation

◆ BoundType

enum BoundType

}}

Enumerator
LOWER 
UPPER 
LOWER 
UPPER 
LOWER 
UPPER 

Definition at line 58 of file ss.h.

58 {LOWER, UPPER};
@ LOWER
Definition: ss.h:58
@ UPPER
Definition: ss.h:58

◆ NestType

enum NestType
Enumerator
ZERO 
SINGLE 
MULTI 
ZERO 
SINGLE 
MULTI 
ZERO 
SINGLE 
MULTI 

Definition at line 60 of file ss.h.

60 {ZERO, SINGLE, MULTI};
@ SINGLE
Definition: ss.h:60
@ MULTI
Definition: ss.h:60
@ ZERO
Definition: ss.h:60

◆ OpFlag

enum OpFlag

used for merging linear expressions

Enumerator
PLUS 
MINUS 
PLUS 
MINUS 
PLUS 
MINUS 

Definition at line 63 of file ss.h.

63 { PLUS, MINUS} OpFlag;
OpFlag
used for merging linear expressions
Definition: ss.h:63
@ PLUS
Definition: ss.h:63
@ MINUS
Definition: ss.h:63

◆ RefType

enum RefType
Enumerator
READ 
WRITE 
READ 
WRITE 
READ 
WRITE 

Definition at line 59 of file ss.h.

59 {READ, WRITE};
@ WRITE
Definition: ss.h:59
@ READ
Definition: ss.h:59