osprey/be/cg/pqs_defs.h File Reference

#include <stdio.h>
#include <vector>
#include <set>
#include <algorithm>
#include <memory>

Include dependency graph for pqs_defs.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Types
type	PQS_TN_MAP_TYPE
module	PQS_SET< T, C >
Defines
#define	PQS_FLAG_CONDITION_TRUE   1
#define	PQS_FLAG_CONDITION_FALSE   2
#define	PQS_IDX_NONE   0
#define	PQS_IDX_TRUE   -1
#define	PQS_IDX_FALSE   -2
#define	PQS_IDX_INVALID   -3
#define	PQS_Is_Real_Idx(x)   ((x)>0)
Typedefs
typedef struct tn	TN
typedef struct op	OP
typedef OP *	PQS_OP
typedef TN *	PQS_TN
typedef INT32	PQS_NODE_FLAGS
typedef INT32	PQS_MARKER_TYPE
typedef INT32	PQS_NODE_IDX
Enumerations
enum	PQS_ITYPE {   PQS_ITYPE_INVALID, PQS_ITYPE_NOPREDICATES, PQS_ITYPE_NORM, PQS_ITYPE_UNC,   PQS_ITYPE_OR, PQS_ITYPE_AND, PQS_ITYPE_ORANDCM, PQS_ITYPE_ORCM,   PQS_ITYPE_ANDCM, PQS_ITYPE_ANDORCM, PQS_ITYPE_DIVSQRT, PQS_ITYPE_LAST }
enum	PQS_RELOPTYPE { PQS_RELOPTYPE_OTHER, PQS_RELOPTYPE_EQ, PQS_RELOPTYPE_NE }
enum	PQS_TRUTH { PQS_TRUTH_NEVER, PQS_TRUTH_ALWAYS, PQS_TRUTH_POSSIBLE, PQS_TRUTH_UNKNOWN }

---

Define Documentation

#define PQS_FLAG_CONDITION_FALSE   2

Definition at line 90 of file pqs_defs.h.

Referenced by PQS_classify_instruction(), PQS_MANAGER::PQS_NODE_condition_false(), PQS_MANAGER::PQS_NODE_set_condition_false(), PQSCG_sets_results_if_qual_true(), and PQS_NODE::Print().

#define PQS_FLAG_CONDITION_TRUE   1

Definition at line 89 of file pqs_defs.h.

Referenced by PQS_classify_instruction(), PQS_MANAGER::PQS_NODE_condition_true(), PQS_MANAGER::PQS_NODE_set_condition_true(), PQSCG_sets_results_if_qual_true(), and PQS_NODE::Print().

#define PQS_IDX_FALSE   -2

Definition at line 100 of file pqs_defs.h.

Referenced by PQS_MANAGER::PQS_is_disjoint_h(), and PQS_MANAGER::PQS_is_subset_of().

#define PQS_IDX_INVALID   -3

Definition at line 101 of file pqs_defs.h.

Referenced by op::op(), PQS_MANAGER::PQS_is_disjoint_h(), PQS_MANAGER::PQS_NODE_get_up_idx(), PQS_TN_MAP_TYPE::PQS_TN_MAP_TYPE(), and PQS_MANAGER::Simplify_In_Set().

#define PQS_IDX_NONE   0

Definition at line 98 of file pqs_defs.h.

Referenced by PQS_NODE::Init(), PQS_MANAGER::PQS_Add_Instruction(), PQS_TN_get_last_definition(), and PQS_MANAGER::Simplify_In_Set().

#define PQS_IDX_TRUE   -1

Definition at line 99 of file pqs_defs.h.

Referenced by PQS_MANAGER::get_truth_info(), PQS_MANAGER::Init_TN_OP_Info(), PQS_MANAGER::never_true_together(), PQS_MANAGER::PQS_Add_Instruction(), PQS_MANAGER::PQS_is_disjoint(), PQS_MANAGER::PQS_is_disjoint_h(), PQS_MANAGER::PQS_is_subset_of(), PQS_MANAGER::Simplify_In_Set(), and PQS_MANAGER::Simplify_TN_Set().

#define PQS_Is_Real_Idx

(

x

)

((x)>0)

Definition at line 102 of file pqs_defs.h.

Referenced by PQS_MANAGER::PQS_is_disjoint_helper(), PQS_MANAGER::PQS_is_subset_of(), PQS_MANAGER::PQS_Mark_TN_Parents_TRUE(), and PQS_MANAGER::PQS_NODE_add_use().

---

Typedef Documentation

typedef struct op OP

Definition at line 55 of file pqs_defs.h.

typedef INT32 PQS_MARKER_TYPE

Definition at line 93 of file pqs_defs.h.

typedef INT32 PQS_NODE_FLAGS

Definition at line 87 of file pqs_defs.h.

typedef INT32 PQS_NODE_IDX

Definition at line 96 of file pqs_defs.h.

typedef OP* PQS_OP

Definition at line 58 of file pqs_defs.h.

typedef TN* PQS_TN

Definition at line 59 of file pqs_defs.h.

typedef struct tn TN

Definition at line 54 of file pqs_defs.h.

---

Enumeration Type Documentation

enum PQS_ITYPE

Enumerator:

PQS_ITYPE_INVALID
PQS_ITYPE_NOPREDICATES
PQS_ITYPE_NORM
PQS_ITYPE_UNC
PQS_ITYPE_OR
PQS_ITYPE_AND
PQS_ITYPE_ORANDCM
PQS_ITYPE_ORCM
PQS_ITYPE_ANDCM
PQS_ITYPE_ANDORCM
PQS_ITYPE_DIVSQRT
PQS_ITYPE_LAST

Definition at line 63 of file pqs_defs.h.

enum PQS_RELOPTYPE

Enumerator:

PQS_RELOPTYPE_OTHER
PQS_RELOPTYPE_EQ
PQS_RELOPTYPE_NE

Definition at line 80 of file pqs_defs.h.

enum PQS_TRUTH

Enumerator:

PQS_TRUTH_NEVER
PQS_TRUTH_ALWAYS
PQS_TRUTH_POSSIBLE
PQS_TRUTH_UNKNOWN

Definition at line 105 of file pqs_defs.h.