00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038
00039
00040
00041
00042
00043
00044
00045
00046
00047 #ifndef opt_mu_chi_INCLUDED
00048 #define opt_mu_chi_INCLUDED "opt_mu_chi.h"
00049 #ifdef _KEEP_RCS_ID
00050 static char *opt_mu_chircs_id = opt_mu_chi_INCLUDED"$ $Revision$";
00051 #endif
00052
00053 #include "opcode.h"
00054 #include "opt_sym.h"
00055
00056 typedef struct pf_pointer PF_POINTER;
00057
00058
00059
00060
00061 class PF_NODE : public SLIST_NODE {
00062 DECLARE_SLIST_NODE_CLASS (PF_NODE)
00063 private:
00064 PF_POINTER *_pf_pointer;
00065 public:
00066 PF_NODE(void) {};
00067 PF_NODE(const PF_NODE&);
00068 PF_NODE& operator = (const PF_NODE&);
00069 PF_POINTER *Pf_pointer(void) const { return _pf_pointer; }
00070 void Set_pf_pointer(PF_POINTER *p) { _pf_pointer = p; }
00071 };
00072
00073
00074
00075
00076 class PF_LIST : public SLIST {
00077 DECLARE_SLIST_CLASS (PF_LIST, PF_NODE)
00078 private:
00079 PF_LIST(const PF_LIST&);
00080 PF_LIST& operator = (const PF_LIST&);
00081 public:
00082 PF_NODE *New_pf_node(PF_POINTER *pf, MEM_POOL *pool)
00083 { PF_NODE *p = (PF_NODE *) CXX_NEW (PF_NODE , pool);
00084 p->Set_pf_pointer(pf);
00085 Append(p);
00086 return p;
00087 }
00088 void Print(FILE *fp=stderr);
00089 };
00090
00091
00092 class PF_LIST_ITER : public SLIST_ITER {
00093 private:
00094 DECLARE_SLIST_ITER_CLASS (PF_LIST_ITER, PF_NODE, PF_LIST)
00095 PF_LIST_ITER(const PF_LIST_ITER&);
00096 PF_LIST_ITER& operator = (const PF_LIST_ITER&);
00097 public:
00098 ~PF_LIST_ITER(void) {}
00099 PF_POINTER *First_elem(void) { return First()->Pf_pointer(); }
00100 PF_POINTER *Next_elem(void) { return Next()->Pf_pointer(); }
00101 };
00102
00103
00104
00105
00106 class MU_NODE : public SLIST_NODE {
00107 DECLARE_SLIST_NODE_CLASS(MU_NODE)
00108 private:
00109 AUX_ID _aux_id;
00110 union {
00111 VER_ID _opnd;
00112 CODEREP *_cr;
00113 } _u;
00114 public:
00115 MU_NODE(void) {};
00116 MU_NODE(const MU_NODE& mn) { Set_aux_id(mn._aux_id);
00117 _u = mn._u; }
00118 MU_NODE& operator = (const MU_NODE&);
00119 AUX_ID Aux_id(void) const { return _aux_id; }
00120 VER_ID Opnd(void) const { return _u._opnd; }
00121 CODEREP *OPND(void) const { return _u._cr; }
00122 BOOL Is_Valid(void) const { return _u._cr != NULL; }
00123 void Set_aux_id(AUX_ID var) { _aux_id = var; }
00124 void Set_opnd(VER_ID opnd) { _u._opnd = opnd; }
00125 void Set_OPND(CODEREP *cr, BOOL set_dont_prop = TRUE);
00126 void Init(AUX_ID var) { Set_aux_id(var); Set_opnd(var); }
00127 void Clone(MU_NODE *mu) { Set_aux_id(mu->Aux_id()); Set_OPND(mu->OPND()); }
00128 void Print(FILE *fp=stderr) const;
00129 };
00130
00131
00132
00133 class MU_LIST : public SLIST {
00134 DECLARE_SLIST_CLASS (MU_LIST, MU_NODE)
00135 private:
00136 MU_LIST(const MU_LIST&);
00137 MU_LIST& operator = (const MU_LIST&);
00138
00139 BOOL Contains(AUX_ID var);
00140 public:
00141
00142 MU_NODE *New_mu_node(AUX_ID var, MEM_POOL *pool) {
00143 MU_NODE *p = (MU_NODE *) CXX_NEW (MU_NODE , pool);
00144 p->Set_aux_id(var);
00145 p->Set_opnd(var);
00146 Append(p);
00147 return p;
00148 }
00149
00150
00151 MU_NODE *New_mu_node_no_dups(AUX_ID var, MEM_POOL *pool) {
00152 if (MU_NODE *munode = Search_mu_node( var ))
00153 return munode;
00154 return New_mu_node( var, pool );
00155 }
00156
00157 MU_NODE *Clone_mu_node(MU_NODE *mu, MEM_POOL *pool) {
00158 MU_NODE *p = (MU_NODE *) CXX_NEW (MU_NODE , pool);
00159 p->Clone(mu);
00160 Append(p);
00161 return p;
00162 }
00163
00164 inline void Clone_mu_list(MU_LIST *mu_list, MEM_POOL *pool);
00165
00166 MU_NODE *Search_mu_node(AUX_ID var);
00167 MU_NODE *New_mu_node_w_cur_vse(AUX_ID var, VER_ID vse, MEM_POOL *pool);
00168 void Delete_def_at_entry_mus(OPT_STAB *opt_stab);
00169 void Print(FILE *fp=stderr);
00170 };
00171
00172
00173 class MU_LIST_ITER : public SLIST_ITER {
00174 private:
00175 DECLARE_SLIST_ITER_CLASS (MU_LIST_ITER, MU_NODE, MU_LIST)
00176 MU_LIST_ITER(const MU_LIST_ITER&);
00177 MU_LIST_ITER& operator = (const MU_LIST_ITER&);
00178 public:
00179 ~MU_LIST_ITER(void) {}
00180 MU_NODE *First_elem(void) { return First(); }
00181 MU_NODE *Next_elem(void) { return Next(); }
00182 };
00183
00184
00185 inline void
00186 MU_LIST::Clone_mu_list(MU_LIST *mu_list, MEM_POOL *pool)
00187 {
00188 MU_LIST_ITER mu_iter;
00189 MU_NODE *mnode;
00190 FOR_ALL_NODE( mnode, mu_iter, Init(mu_list) ) {
00191 Clone_mu_node(mnode, pool);
00192 }
00193 }
00194
00195
00196
00197
00198 class CHI_NODE : public SLIST_NODE {
00199 DECLARE_SLIST_NODE_CLASS(CHI_NODE)
00200 private:
00201 struct {
00202 UINT32 _live:1;
00203 UINT32 _dse_dead:1;
00204 UINT32 _ssu_processed:1;
00205 AUX_ID _aux_id:29;
00206 } _id;
00207 union {
00208 VER_ID _ver;
00209 CODEREP *_cr;
00210 } _result;
00211 union {
00212 VER_ID _ver;
00213 CODEREP *_cr;
00214 } _opnd;
00215
00216 public:
00217 CHI_NODE(void) {};
00218 CHI_NODE(const CHI_NODE&);
00219 CHI_NODE& operator = (const CHI_NODE&);
00220
00221 AUX_ID Aux_id(void) const { return _id._aux_id; }
00222 BOOL Live(void) const { return _id._live; }
00223 BOOL Dse_dead(void) const { return _id._dse_dead; }
00224 BOOL Ssu_processed(void) const { return _id._ssu_processed; }
00225 VER_ID Opnd(void) const { return _opnd._ver; }
00226 CODEREP *OPND(void) const { return _opnd._cr; }
00227 VER_ID Result(void) const { return _result._ver; }
00228 CODEREP *RESULT(void) const { return _result._cr; }
00229 void Set_aux_id(AUX_ID var) { _id._aux_id = var; }
00230 void Set_live(BOOL b) { _id._live = b; }
00231 void Set_dse_dead(BOOL b) { _id._dse_dead = b; }
00232 void Set_ssu_processed(BOOL b) { _id._ssu_processed = b; }
00233 void Set_opnd(VER_ID opnd) { _opnd._ver = opnd; }
00234 void Set_OPND(CODEREP *cr, BOOL set_dont_prop = TRUE);
00235 void Set_result(VER_ID ver) { _result._ver = ver; }
00236 void Set_RESULT(CODEREP *cr) { _result._cr = cr; }
00237 void Clone(CHI_NODE *chi) {
00238 Set_live(chi->Live());
00239 Set_dse_dead(chi->Dse_dead());
00240 Set_ssu_processed(chi->Ssu_processed());
00241 Set_aux_id(chi->Aux_id());
00242 Set_OPND(chi->OPND(), FALSE);
00243 Set_RESULT(chi->RESULT());
00244 }
00245 CHI_NODE *Copy_chi_node(MEM_POOL *pool) {
00246 CHI_NODE *p = (CHI_NODE *) CXX_NEW (CHI_NODE, pool);
00247 p->Clone(this);
00248 return p;
00249 }
00250 void Print(FILE *fp=stderr) const;
00251 };
00252
00253
00254 class CHI_LIST : public SLIST {
00255 DECLARE_SLIST_CLASS (CHI_LIST, CHI_NODE)
00256 private:
00257 CHI_LIST(const CHI_LIST&);
00258 CHI_LIST& operator = (const CHI_LIST&);
00259 public:
00260
00261 CHI_NODE *New_chi_node(AUX_ID var, MEM_POOL *pool) {
00262 CHI_NODE *p = (CHI_NODE *) CXX_NEW (CHI_NODE , pool);
00263 p->Set_live(FALSE);
00264 p->Set_dse_dead(FALSE);
00265 p->Set_ssu_processed(FALSE);
00266 p->Set_aux_id(var);
00267 p->Set_opnd(var);
00268 p->Set_result(var);
00269 Append(p);
00270 return p;
00271 }
00272
00273
00274 CHI_NODE *New_chi_node_no_dups(AUX_ID var, MEM_POOL *pool) {
00275 if (CHI_NODE *chinode = Search_chi_node( var ))
00276 return chinode;
00277 return New_chi_node( var, pool );
00278 }
00279
00280 CHI_NODE *Clone_chi_node(CHI_NODE *chi, MEM_POOL *pool) {
00281 CHI_NODE *p = (CHI_NODE *) CXX_NEW (CHI_NODE , pool);
00282 p->Clone(chi);
00283 Append(p);
00284 return p;
00285 }
00286
00287 inline void Clone_chi_list(CHI_LIST *chi_list, MEM_POOL *pool);
00288
00289 CHI_NODE *Search_chi_node(AUX_ID var);
00290 void Print(FILE *fp=stderr);
00291 };
00292
00293
00294 class CHI_LIST_ITER : public SLIST_ITER {
00295 private:
00296 DECLARE_SLIST_ITER_CLASS (CHI_LIST_ITER, CHI_NODE, CHI_LIST)
00297 CHI_LIST_ITER(const CHI_LIST_ITER&);
00298 CHI_LIST_ITER& operator = (const CHI_LIST_ITER&);
00299 public:
00300 ~CHI_LIST_ITER(void) {}
00301 CHI_NODE *First_elem(void) { return First(); }
00302 CHI_NODE *Next_elem(void) { return Next(); }
00303 };
00304
00305
00306 inline void
00307 CHI_LIST::Clone_chi_list(CHI_LIST *chi_list, MEM_POOL *pool)
00308 {
00309 CHI_LIST_ITER chi_iter;
00310 CHI_NODE *cnode;
00311 FOR_ALL_NODE( cnode, chi_iter, Init(chi_list) ) {
00312 Clone_chi_node(cnode, pool);
00313 }
00314 }
00315
00316
00317
00318
00319 class OCC_TAB_ENTRY {
00320
00321 AUX_ID _aux_id;
00322 WN *_wn;
00323 union {
00324
00325 struct {
00326 union {
00327 MU_NODE *_mu_node;
00328 CHI_LIST *_chi_list;
00329 } _u2;
00330 INT32 _lno_dep_vertex_load;
00331 INT32 _lno_dep_vertex_store;
00332 PF_POINTER *_pf_pointer;
00333 } _is_mem;
00334
00335
00336 struct {
00337 PF_LIST *_pf_list;
00338 MU_LIST *_mu_list;
00339 CHI_LIST *_chi_list;
00340 POINTS_TO_LIST *_pt_list;
00341 } _is_stmt;
00342 } _u1;
00343
00344
00345 POINTS_TO _points_to;
00346
00347 public:
00348
00349 OCC_TAB_ENTRY(const OCC_TAB_ENTRY &occ)
00350 {
00351 _aux_id = occ._aux_id;
00352 _wn = occ._wn;
00353 _u1 = occ._u1;
00354 (&_points_to)->Copy_fully(&(occ._points_to));
00355 }
00356
00357 OCC_TAB_ENTRY(void) { }
00358
00359 AUX_ID Aux_id(void) const { return _aux_id; }
00360 BOOL Is_stmt(void) const { return _aux_id == 0; }
00361 BOOL Is_mem(void) const { return _aux_id != 0; }
00362 BOOL Is_load(void) const { return Is_mem() && (WN_operator(_wn) == OPR_PARM || OPCODE_is_load(WN_opcode(_wn))); }
00363 BOOL Is_store(void) const { return Is_mem() && (WN_operator(_wn) == OPR_OPT_CHI || OPCODE_is_store(WN_opcode(_wn))); }
00364 WN *Wn(void) const { return _wn; }
00365 INT32 Lno_dep_vertex_load(void) const { return _u1._is_mem._lno_dep_vertex_load; }
00366 INT32 Lno_dep_vertex_store(void) const { return _u1._is_mem._lno_dep_vertex_store; }
00367 PF_POINTER *Pf_pointer(void) const { return _u1._is_mem._pf_pointer; }
00368
00369 POINTS_TO *Points_to(void) {
00370 Is_True(WN_operator(_wn) == OPR_PARM || OPCODE_is_load(WN_opcode(_wn)) || OPCODE_is_store(WN_opcode(_wn)),
00371 ("wn is not load/store."));
00372 return &_points_to;
00373 }
00374 MU_NODE *Mem_mu_node(void) const {
00375 Is_True(Is_load(), ("occ tab entry not a load."));
00376 return _u1._is_mem._u2._mu_node;
00377 }
00378 MU_LIST *Stmt_mu_list(void) const {
00379 Is_True(Is_stmt(), ("occ tab entry not a stmt."));
00380 return _u1._is_stmt._mu_list;
00381 }
00382 CHI_LIST *Mem_chi_list(void) const {
00383 Is_True(Is_store(), ("occ tab entry not a store."));
00384 return _u1._is_mem._u2._chi_list;
00385 }
00386 CHI_LIST *Stmt_chi_list(void) const {
00387 Is_True(Is_stmt(), ("occ tab entry not a stmt."));
00388 return _u1._is_stmt._chi_list;
00389 }
00390 PF_LIST *Pf_list(void) const {
00391 Is_True(Is_stmt(), ("occ tab entry not a stmt."));
00392 return _u1._is_stmt._pf_list;
00393 }
00394 POINTS_TO_LIST *Pt_list(void) const {
00395 Is_True(Is_stmt(), ("occ tab entry not a stmt."));
00396 return _u1._is_stmt._pt_list;
00397 }
00398
00399 void Set_aux_id(AUX_ID var) { _aux_id = var; }
00400 void Set_wn(WN *wn) { _wn = wn; }
00401 void Set_lno_dep_vertex_load(INT32 idx) { _u1._is_mem._lno_dep_vertex_load = idx; }
00402 void Set_lno_dep_vertex_store(INT32 idx) { _u1._is_mem._lno_dep_vertex_store = idx; }
00403 void Set_pf_pointer(PF_POINTER *pf){ _u1._is_mem._pf_pointer = pf; }
00404 void Set_mem_mu_node(MU_NODE *mu_node)
00405 { Is_True(Is_load(), ("occ tab entry not a load."));
00406 _u1._is_mem._u2._mu_node = mu_node;
00407 }
00408 void Set_stmt_mu_list(MU_LIST *mu_list)
00409 { Is_True(Is_stmt(), ("occ tab entry not a stmt."));
00410 _u1._is_stmt._mu_list = mu_list;
00411 }
00412 void Set_mem_chi_list(CHI_LIST *chi_list)
00413 { Is_True(Is_store(), ("occ tab entry not a store."));
00414 _u1._is_mem._u2._chi_list = chi_list;
00415 }
00416 void Set_stmt_chi_list(CHI_LIST *chi_list)
00417 { Is_True(Is_stmt(), ("occ tab entry not a stmt."));
00418 _u1._is_stmt._chi_list = chi_list;
00419 }
00420 void Set_pf_list(PF_LIST *pf_list)
00421 { Is_True(Is_stmt(), ("occ tab entry not a stmt."));
00422 _u1._is_stmt._pf_list = pf_list;
00423 }
00424 void Set_pt_list(POINTS_TO_LIST *pt_list)
00425 { Is_True(Is_stmt(), ("occ tab entry not a stmt."));
00426 _u1._is_stmt._pt_list = pt_list;
00427 }
00428
00429 void New_mem_mu_node(AUX_ID var, MEM_POOL *pool)
00430 { MU_NODE *mnode = CXX_NEW(MU_NODE, pool);
00431 mnode->Init(var);
00432 Set_mem_mu_node(mnode);
00433 }
00434
00435 void Clone(OCC_TAB_ENTRY *, MEM_POOL *);
00436
00437 void Print(FILE *fp=stderr);
00438
00439 };
00440
00441
00442 #endif // opt_mu_chi_INCLUDED