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 #define __STDC_LIMIT_MACROS
00041 #include <stdint.h>
00042
00043
00044 #include "wn_tree_util.h"
00045 #include "ipo_inline_util.h"
00046 #include "targ_sim.h"
00047 #include "config_targ.h"
00048 #include "region_util.h"
00049 #include "lwn_util.h"
00050 #ifdef KEY
00051 #include "ipo_parent.h"
00052 #endif
00053
00054
00055
00056
00057
00058
00059
00060
00061 struct WN_MAX_REGION_OBJ {
00062 mUINT32 max_val;
00063 WN_MAX_REGION_OBJ() : max_val(0){}
00064 void operator()(WN* w) {
00065 if (WN_region_id(w) > max_val)
00066 max_val = WN_region_id(w);
00067 }
00068 };
00069
00070 mUINT32 Compute_max_region_id(WN *caller_wn)
00071 {
00072 WN_TREE_CONTAINER<PRE_ORDER> wcpre(caller_wn);
00073 WN_TREE_CONTAINER<PRE_ORDER>::iterator wipre;
00074 WN_MAX_REGION_OBJ region_max_obj;
00075
00076 for (wipre=wcpre.begin(); wipre != wcpre.end(); ++wipre){
00077 switch(WN_operator(wipre.Wn())) {
00078 case OPR_REGION:
00079 region_max_obj( wipre.Wn());
00080 break;
00081 default:
00082 break;
00083 }
00084 }
00085 return region_max_obj.max_val;
00086 }
00087
00088
00089
00090
00091
00092
00093
00094 void
00095 Compute_Return_Preg_Offset (WN *Callee, RETURN_PREG& rp,
00096 BOOL use_lowered_return_preg,
00097 SCOPE *caller_scope_tab, SYMTAB_IDX caller_level)
00098 {
00099
00100 const TY& func_type = Ty_Table[ST_pu_type (WN_st (Callee))];
00101 const TY& return_type = Ty_Table[TY_ret_type (func_type)];
00102
00103 if (TY_kind (return_type) == KIND_VOID)
00104 return;
00105
00106 if (!use_lowered_return_preg) {
00107
00108
00109 if (TY_mtype (return_type) == MTYPE_M) {
00110
00111 ST* st = New_ST (CURRENT_SYMTAB);
00112 ST_Init (st, Save_Str ("rr"), CLASS_VAR, SCLASS_AUTO,
00113 EXPORT_LOCAL, TY_ret_type (func_type));
00114 Set_ST_is_temp_var (st);
00115 rp.insert (st);
00116 } else
00117 rp.insert (Create_Preg_explicit (TY_mtype (return_type),
00118 "rr", caller_scope_tab,
00119 caller_level),
00120 MTYPE_To_PREG (TY_mtype (return_type)));
00121 return;
00122 } else {
00123
00124
00125
00126
00127
00128
00129
00130 TYPE_ID ty1, ty2;
00131 PREG_NUM rreg1 = 0;
00132 PREG_NUM rreg2 = 0;
00133
00134
00135
00136
00137
00138 if (WHIRL_Return_Info_On) {
00139
00140 RETURN_INFO return_info =
00141 Get_Return_Info (TY_ret_type (func_type), Use_Simulated);
00142
00143 if (RETURN_INFO_count(return_info) <= 2) {
00144
00145 ty1 = RETURN_INFO_mtype (return_info, 0);
00146 ty2 = RETURN_INFO_mtype (return_info, 1);
00147 rreg1 = RETURN_INFO_preg (return_info, 0);
00148 rreg2 = RETURN_INFO_preg (return_info, 1);
00149 } else
00150 Fail_FmtAssertion ("Compute_Return_Preg_Offset: more than 2 return registers");
00151 } else {
00152 Get_Return_Mtypes (TY_ret_type (func_type), Use_Simulated,
00153 &ty1, &ty2);
00154
00155
00156
00157 Get_Return_Pregs( ty1, ty2, &rreg1, &rreg2);
00158 }
00159
00160
00161
00162
00163
00164 if (rreg1)
00165 rp.insert (rreg1, Create_Preg_explicit (ty1, "rr",
00166 caller_scope_tab,
00167 caller_level));
00168
00169
00170 if (rreg2)
00171 rp.insert (rreg2, Create_Preg_explicit (ty2, "rr",
00172 caller_scope_tab,
00173 caller_level));
00174 }
00175 }
00176
00177
00178 static inline void
00179 Fix_LDID_Of_Return_Preg (WN* stmt, const RETURN_PREG& rp)
00180 {
00181 TREE_ITER iter (stmt);
00182
00183 while (iter.Wn () != NULL) {
00184 WN* wn = iter.Wn ();
00185 if (WN_operator (wn) == OPR_LDID) {
00186
00187 if (ST_sclass (WN_st (wn)) == SCLASS_REG) {
00188 if (WN_offset (wn) == (PREG_IDX) -1) {
00189 if (WN_desc(wn) == MTYPE_M) {
00190 WN_offset (wn) = 0;
00191 WN_st_idx (wn) = ST_st_idx (rp.find_st ());
00192 } else {
00193 WN_offset(wn) = rp.find (WN_offset (wn));
00194 WN_st_idx (wn) =
00195 ST_st_idx (MTYPE_To_PREG (WN_desc (wn)));
00196 }
00197 } else if (Preg_Is_Dedicated (WN_offset(wn)))
00198 WN_offset (wn) = rp.find (WN_offset (wn));
00199 }
00200 }
00201 ++iter;
00202 }
00203 }
00204
00205
00206
00207
00208
00209
00210
00211
00212
00213
00214
00215 void
00216 Fix_Return_Pregs (WN *Call, const RETURN_PREG& rp)
00217 {
00218 Is_True (rp.size () > 0 && WN_opcode (Call) != OPC_VCALL,
00219 ("callee is not a function"));
00220
00221
00222 WN* node = WN_next(Call);
00223
00224 if (node && WN_operator(node) == OPR_LABEL) {
00225
00226 node = WN_next(node);
00227 }
00228
00229 if (node && WN_operator (node) == OPR_DEALLOCA) {
00230
00231 node = WN_next (node);
00232 }
00233
00234 if (node != NULL) {
00235
00236 if (WN_operator (node) == OPR_COMPGOTO) {
00237
00238
00239 Fix_LDID_Of_Return_Preg (node, rp);
00240 return;
00241 }
00242
00243 for (INT i=0; i < rp.size (); ++i) {
00244
00245
00246 if (WN_operator (node) == OPR_STID
00247 #if !(defined(_STANDALONE_INLINER) && defined(_LIGHTWEIGHT_INLINER))
00248
00249
00250
00251
00252
00253 || WN_operator(node) == OPR_RETURN_VAL
00254
00255
00256
00257
00258
00259 || WN_operator(node) == OPR_ISTORE
00260 #endif
00261 ) {
00262 Fix_LDID_Of_Return_Preg (WN_kid0 (node), rp);
00263 node = WN_next (node);
00264 } else
00265 return;
00266 }
00267 } else {
00268
00269 WN* parent = LWN_Get_Parent (Call);
00270 Is_True (parent, ("corrupted parent map"));
00271 WN* grandparent = LWN_Get_Parent (parent);
00272 if (grandparent && WN_operator (grandparent) == OPR_COMMA) {
00273 Fix_LDID_Of_Return_Preg (WN_kid1 (grandparent), rp);
00274 }
00275 }
00276 }
00277
00278 #ifdef KEY
00279
00280
00281
00282
00283
00284
00285
00286
00287 void
00288 Get_enclosing_region (IPA_NODE * n, IPA_EDGE * e)
00289 {
00290 PU caller = Pu_Table[ST_pu(n->Func_ST())];
00291 if (!(PU_src_lang (caller) & PU_CXX_LANG) || !PU_has_region (caller))
00292 return;
00293
00294 SCOPE * old_scope = Scope_tab;
00295 Scope_tab = n->Scope();
00296
00297 WN * call_wn = e->Whirl_Node();
00298 WN_MAP Caller_Parent_Map = n->Parent_Map();
00299 WN_MAP_TAB * Caller_Map_Tab = PU_Info_maptab(n->PU_Info());
00300
00301 WN * parent = WN_Get_Parent (call_wn, Caller_Parent_Map, Caller_Map_Tab);
00302
00303 for (; parent; parent=WN_Get_Parent (parent, Caller_Parent_Map, Caller_Map_Tab))
00304 {
00305
00306 if (WN_operator(parent) != OPR_REGION || !WN_region_is_EH(parent))
00307 continue;
00308 FmtAssert (WN_ereg_supp(parent), ("No EH information in EH region"));
00309 if (WN_block_empty (WN_region_pragmas (parent)))
00310 e->Set_EH_Whirl_Node (parent);
00311 else
00312 {
00313 INITV_IDX initv = INITO_val (WN_ereg_supp (parent));
00314 e->Set_Try_Label (INITV_lab (initv));
00315 }
00316 if (e->EH_Whirl_Node() && e->Try_Label())
00317 break;
00318 }
00319
00320 Scope_tab = old_scope;
00321 }
00322 #endif