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
00048
00049
00050
00051
00052
00053
00054
00055
00056
00057
00058
00059
00060
00061
00062
00063 #define opt_util_CXX "opt_util.cxx"
00064 #ifdef _KEEP_RCS_ID
00065 static char *rcs_id = opt_util_CXX"$Revision: 1.8 $";
00066 #endif
00067
00068 #define __STDC_LIMIT_MACROS
00069 #include <stdarg.h>
00070 #include <stdio.h>
00071 #include <strings.h>
00072 #include <time.h>
00073 #include <unistd.h>
00074 #include <string.h>
00075 #include <stdint.h>
00076 #if defined(TARG_SL)
00077 #include "intrn_info.h"
00078 #endif
00079
00080
00081
00082
00083
00084
00085
00086
00087
00088
00089 const int MAX_WARN_LEN = 1024;
00090 const int MAX_WARN_MESSAGES = 1024;
00091 static char *warn_msg[MAX_WARN_MESSAGES];
00092 static int n_msgs = 0;
00093
00094
00095
00096 void Warn_todo(const char *msg, ... )
00097 {
00098 #ifdef WARN_TODO
00099 va_list vp;
00100 char msg_buf[MAX_WARN_LEN];
00101 int len;
00102
00103 va_start ( vp, msg );
00104 len = vsprintf(msg_buf, msg, vp);
00105
00106 if (len >= MAX_WARN_LEN)
00107 fprintf(stderr, "Warning message buffer too small.");
00108 va_end ( vp );
00109
00110 for (int i = 0; i < n_msgs; i++) {
00111 if (strcmp(msg_buf, warn_msg[i]) == 0)
00112 return;
00113 }
00114 if (n_msgs < MAX_WARN_MESSAGES)
00115 warn_msg[n_msgs++] = strdup(msg_buf);
00116 fprintf(stderr, "TODO %s \n", msg_buf);
00117 #endif
00118 }
00119
00120
00121
00122
00123
00124
00125 static void Opt_tlog2( char *, long long, char * );
00126 static int Opt_tlog_trace( void );
00127
00128
00129 extern "C" void
00130 Opt_tlog( char *keyword, long long srcpos, const char *fmt, ...)
00131 {
00132 va_list vp;
00133 char msg_buf[MAX_WARN_LEN];
00134 int len;
00135
00136
00137 if ( ! Opt_tlog_trace() ) {
00138 return;
00139 }
00140
00141 va_start ( vp, fmt );
00142 vsprintf(msg_buf, fmt, vp);
00143 len = strlen(msg_buf);
00144
00145 if (len >= MAX_WARN_LEN) {
00146 fprintf(stderr, "Opt_tlog message buffer too small.");
00147 }
00148
00149 va_end ( vp );
00150
00151 Opt_tlog2( keyword, srcpos, msg_buf );
00152 }
00153
00154
00155 #include "defs.h"
00156 #include "config_wopt.h"
00157 #include "opt_defs.h"
00158 #include "opt_sys.h"
00159 #include "errors.h"
00160 #include "tracing.h"
00161 #include "srcpos.h"
00162 #include "tlog.h"
00163 #include "optimizer.h"
00164 #include "opt_bb.h"
00165 #include "erglob.h"
00166 #include "opt_htable.h"
00167 #include "opt_cfg.h"
00168
00169
00170
00171
00172
00173
00174
00175
00176
00177
00178
00179
00180
00181 static BOOL
00182 Opt_tlog_trace( void )
00183 {
00184 return Get_Trace ( TP_PTRACE1, TP_PTRACE1_OPT );
00185 }
00186
00187 static const char *tlog_phase = NULL;
00188
00189 static void Opt_tlog2( char *keyword, INT64 srcpos, char *msg )
00190 {
00191
00192 Generate_Tlog( tlog_phase, keyword, (SRCPOS)srcpos, keyword, msg, "","" );
00193 }
00194
00195 extern "C" void
00196 Set_tlog_phase(const INT32 phase)
00197 {
00198 switch (phase) {
00199 case PREOPT_PHASE:
00200 case PREOPT_LNO_PHASE:
00201 case PREOPT_DUONLY_PHASE:
00202 case PREOPT_IPA0_PHASE:
00203 case PREOPT_IPA1_PHASE:
00204 tlog_phase = "PRE_OPT";
00205 break;
00206 case MAINOPT_PHASE:
00207 tlog_phase = "WOPT";
00208 break;
00209 }
00210 }
00211
00212
00213
00214
00215 #if 1
00216 const INT32 PHASE_STRLEN = 72;
00217 const INT32 MAX_SUBPHASES = 200;
00218 static char phase_name[PHASE_STRLEN];
00219 static const char *phases[MAX_SUBPHASES];
00220 static INT32 times[MAX_SUBPHASES];
00221 static INT32 reps[MAX_SUBPHASES];
00222 static INT32 cum_times[MAX_SUBPHASES];
00223 static float peak_times[MAX_SUBPHASES];
00224 static INT32 total_time;
00225 static INT32 curr_phase = 0;
00226 static INT32 max_phase = 0;
00227 static INT32 prev_time = 0;
00228 static UINT64 mem[MAX_SUBPHASES];
00229 static void *prev_mem = NULL;
00230
00231
00232
00233
00234
00235 INT Set_opt_phase(INT32 *phase_id, const char *subphase)
00236 {
00237 INT32 curr_time;
00238 void *curr_mem;
00239
00240 if (Get_Trace(TKIND_INFO, TINFO_TIME)) {
00241 curr_time = CLOCK_IN_MS();
00242 #ifdef __MINGW32__
00243 DevWarn("sbrk not supported on Win NT");
00244 #else
00245 curr_mem = sbrk(0);
00246 #endif
00247 times[curr_phase] += (curr_time - prev_time);
00248 mem[curr_phase] += (char *) curr_mem - (char *) prev_mem;
00249 if (phase_id == NULL || *phase_id == 0) {
00250 curr_phase = ++max_phase;
00251 if (phase_id != NULL) {
00252 *phase_id = curr_phase;
00253 }
00254 times[curr_phase] = 0;
00255 reps[curr_phase] = 1;
00256 }
00257 else {
00258 curr_phase = *phase_id;
00259 reps[curr_phase] += 1;
00260 }
00261 if (curr_phase >= MAX_SUBPHASES) return 0;
00262 phases[curr_phase] = subphase;
00263 prev_time = curr_time;
00264 prev_mem = curr_mem;
00265 }
00266 strncpy(phase_name, "Global Optimization -- ", PHASE_STRLEN);
00267 strncat(phase_name, subphase, PHASE_STRLEN);
00268 Set_Error_Phase(phase_name);
00269 return 1;
00270 }
00271
00272
00273
00274
00275 INT Report_statistics()
00276 {
00277 INT32 i;
00278 INT32 local_total = 0;
00279 if (Get_Trace(TKIND_INFO, TINFO_TIME)) {
00280 fprintf(TFile, "%sCompilation Time\n%s", DBar, DBar);
00281 for ( i = 1; i < curr_phase && i < MAX_SUBPHASES; i++) {
00282 local_total += times[i];
00283 total_time += times[i];
00284 }
00285 for ( i = 1; i < curr_phase && i < MAX_SUBPHASES; i++) {
00286 float f, p;
00287 cum_times[i] += times[i];
00288 f = ((float)cum_times[i]/(float)total_time)*100;
00289 p = ((float)times[i]/(float)local_total)*100;
00290 if ((local_total > 60) && (p > peak_times[i]))
00291 peak_times[i] = p;
00292 fprintf(TFile,
00293 "%8d %6.2f%% (cum %8d %5.2f, peak %5.2f%%) ms %5lldk mem in %s",
00294 times[i], p, cum_times[i], f, peak_times[i], mem[i] >> 10,
00295 phases[i]);
00296 if (reps[i] > 1) {
00297 fprintf(TFile, " (%d reps)", reps[i]);
00298 }
00299 fprintf(TFile, "\n");
00300 }
00301 fprintf(TFile,
00302 "%8d %6.2f%% (cum %8d %5.2f, peak %5.2f%%) ms in %s\n",
00303 local_total, 1.0, total_time, 0.0, 0.0, "PU Total");
00304 curr_phase = 0;
00305 max_phase = 0;
00306 }
00307 return 1;
00308 }
00309
00310 #endif
00311
00312
00313 static inline INT32 Sign(INT64 v)
00314 {
00315 if (v > 0)
00316 return 1;
00317 else if (v < 0)
00318 return -1;
00319 return 0;
00320 }
00321
00322 void
00323 NUMBER::Eval1(OPERATOR opr, NUMBER *n)
00324 {
00325 if (n->Desc() == NUMBER_KNOWN) {
00326 Set_desc(n->Desc());
00327 if (opr == OPR_NEG) {
00328 INT64 v = n->Value();
00329 INT32 sign = Sign(v);
00330 if (sign != 0 && -sign != Sign(-v))
00331 Set_desc(NUMBER_OVERFLOW);
00332 else
00333 Set_value(- v);
00334 } else
00335 Set_desc(NUMBER_UNKNOWN);
00336 } else
00337 Set_desc(n->Desc());
00338 }
00339
00340 void
00341 NUMBER::Eval2(OPERATOR opr, NUMBER *n1, NUMBER *n2)
00342 {
00343 INT64 value;
00344 INT32 sign;
00345 Set_desc( MIN(n1->Desc(), n2->Desc()));
00346 if (Desc() == NUMBER_KNOWN) {
00347 INT64 v1 = n1->Value();
00348 INT64 v2 = n2->Value();
00349 if (opr == OPR_MPY) {
00350 value = v1 * v2;
00351 if (Sign(v1) * Sign(v2) != Sign(value) ||
00352 value / v2 != v1)
00353 Set_desc(NUMBER_OVERFLOW);
00354 #ifdef TARG_X8664 // bug 8229: such situations are dangerous
00355 else if (value > UINT32_MAX && v1 <= UINT32_MAX && v2 <= UINT32_MAX)
00356 Set_desc(NUMBER_OVERFLOW);
00357 #endif
00358 else
00359 Set_value(value);
00360 } else if (opr == OPR_ADD) {
00361 value = v1 + v2;
00362 sign = Sign(v1) + Sign(v2);
00363 if (sign != 0 && Sign(sign) != Sign(value))
00364 Set_desc(NUMBER_OVERFLOW);
00365 else
00366 Set_value(value);
00367 } else if (opr == OPR_SUB) {
00368 value = v1 - v2;
00369 sign = Sign(v1) - Sign(v2);
00370 if (sign != 0 && Sign(sign) != Sign(value))
00371 Set_desc(NUMBER_OVERFLOW);
00372 else
00373 Set_value(value);
00374 }
00375 else
00376 Set_desc(NUMBER_UNKNOWN);
00377 }
00378 }
00379
00380
00381
00382 BOOL
00383 NUMBER::Representable_in_nbits(INT32 nbits)
00384 {
00385 INT64 v = Value();
00386 INT64 min = (INT64) ~((((UINT64) 1) << (nbits - 1)) - 1);
00387 INT64 max = -(min + 1);
00388 return (v <= max && v >= min);
00389 }
00390
00391
00392
00393
00394
00395
00396
00397
00398
00399
00400 NUM_VARIANTS
00401 Find_one_variant(BB_NODE *bb, CODEREP *vr, CODEREP *cr, NUMBER *factor,
00402 CODEMAP *htable)
00403 {
00404 OPCODE opc;
00405 OPERATOR opr;
00406 switch (cr->Kind()) {
00407 case CK_LDA:
00408 factor->Set_desc(NUMBER_UNKNOWN);
00409 return NO_VARIANT;
00410
00411 case CK_CONST:
00412 factor->Set_const(cr->Const_val());
00413 return NO_VARIANT;
00414
00415 case CK_VAR:
00416 if (bb->Innermost()->Invariant_cr(cr)) {
00417 factor->Set_desc(NUMBER_UNKNOWN);
00418 return NO_VARIANT;
00419 } else {
00420 BOOL is_same_var = (htable)?
00421 (cr->Aux_id() == vr->Aux_id()) : (cr->Bitpos() == vr->Bitpos());
00422 if (is_same_var) {
00423 factor->Set_desc(NUMBER_KNOWN);
00424 factor->Set_value(1);
00425 return ONE_VARIANT;
00426 } else
00427 return NOT_ONE_VARIANT;
00428 }
00429 case CK_IVAR:
00430 if (WOPT_Enable_LFTR_Ivar) {
00431 if (bb->Innermost()->Invariant_cr(cr)) {
00432 factor->Set_desc(NUMBER_UNKNOWN);
00433 return NO_VARIANT;
00434 }
00435 }
00436 return NOT_ONE_VARIANT;
00437
00438 case CK_OP:
00439 {
00440 NUM_VARIANTS r0, r1;
00441 NUMBER f0, f1;
00442 opc = cr->Op();
00443 opr = OPCODE_operator(opc);
00444
00445 switch (opr) {
00446 case OPR_PAREN:
00447 return Find_one_variant(bb, vr, cr->Opnd(0), factor, htable);
00448
00449 case OPR_NEG:
00450 r0 = Find_one_variant(bb, vr, cr->Opnd(0), factor, htable);
00451 factor->Eval1(OPR_NEG, factor);
00452 return r0;
00453
00454 case OPR_CVT:
00455
00456 #ifdef TARG_MIPS
00457 if (opc == OPC_U8I4CVT) {
00458 r0 = Find_one_variant(bb, vr, cr->Opnd(0), factor, htable);
00459 return r0;
00460 } else
00461 #elif defined(TARG_X8664) || defined(TARG_NVISA)
00462 if (opc == OPC_U8I4CVT || opc == OPC_I8I4CVT || opc == OPC_U8U4CVT) {
00463 r0 = Find_one_variant(bb, vr, cr->Opnd(0), factor, htable);
00464 return r0;
00465 } else
00466 #endif
00467
00468 return NOT_ONE_VARIANT;
00469
00470 case OPR_ADD:
00471 case OPR_SUB:
00472 case OPR_MPY:
00473
00474 f1.Init();
00475 r1 = Find_one_variant(bb, vr, cr->Opnd(1), &f1, htable);
00476
00477 if (r1 == NOT_ONE_VARIANT)
00478 return NOT_ONE_VARIANT;
00479
00480 f0.Init();
00481 r0 = Find_one_variant(bb, vr, cr->Opnd(0), &f0, htable);
00482
00483 if (r0 == NOT_ONE_VARIANT)
00484 return NOT_ONE_VARIANT;
00485
00486
00487 if (r0 == NO_VARIANT && r1 == NO_VARIANT) {
00488 factor->Eval2(opr, &f0, &f1);
00489 return NO_VARIANT;
00490 }
00491
00492 if (r0 == ONE_VARIANT && r1 == ONE_VARIANT) {
00493 if (opr == OPR_ADD || opr == OPR_SUB) {
00494
00495 factor->Eval2(opr, &f0, &f1);
00496 return ONE_VARIANT;
00497 } else
00498
00499 return NOT_ONE_VARIANT;
00500 }
00501
00502
00503
00504 if (opr == OPR_MPY) {
00505 factor->Eval2(opr, &f0, &f1);
00506 } else {
00507 if (r0 == ONE_VARIANT) {
00508 factor->Copy(&f0);
00509 } else {
00510 if (opr == OPR_SUB)
00511 factor->Eval1(OPR_NEG, &f1);
00512 else if (opr == OPR_ADD)
00513 factor->Copy(&f1);
00514 else
00515 factor->Set_desc(NUMBER_UNKNOWN);
00516 }
00517 }
00518 return ONE_VARIANT;
00519
00520 default:
00521 return NOT_ONE_VARIANT;
00522 }
00523 }
00524
00525 default:
00526 return NOT_ONE_VARIANT;
00527 }
00528 }
00529
00530
00531
00532
00533
00534
00535
00536 static BOOL set_volatile_mapCR(CODEREP *cr,
00537 STMTREP *stmt,
00538 BVECTOR &visited,
00539 BVECTOR &vol)
00540 {
00541 BOOL has_vol_ref = vol[cr->Coderep_id()];
00542
00543 if (!visited[cr->Coderep_id()])
00544 {
00545 visited[cr->Coderep_id()] = bool(TRUE);
00546
00547 switch (cr->Kind())
00548 {
00549 case CK_CONST:
00550 case CK_RCONST:
00551 case CK_LDA:
00552 break;
00553
00554 case CK_VAR:
00555 has_vol_ref = cr->Is_var_volatile();
00556 break;
00557
00558 case CK_IVAR:
00559 {
00560 CODEREP *const vsym = cr->Get_ivar_vsym();
00561 if (vsym != NULL && set_volatile_mapCR(vsym, stmt, visited, vol))
00562 has_vol_ref = TRUE;
00563
00564
00565
00566
00567 if (cr == stmt->Lhs() && OPCODE_is_store(stmt->Op()))
00568 {
00569 if (cr->Opr() == OPR_MLOAD &&
00570 set_volatile_mapCR(cr->Mstore_size(), stmt, visited, vol))
00571 has_vol_ref = TRUE;
00572 if (set_volatile_mapCR(cr->Istr_base(), stmt, visited, vol))
00573 has_vol_ref = TRUE;
00574 }
00575 else
00576 {
00577 if (cr->Opr() == OPR_MLOAD &&
00578 set_volatile_mapCR(cr->Mload_size(), stmt, visited, vol))
00579 has_vol_ref = TRUE;
00580 if (set_volatile_mapCR(cr->Ilod_base(), stmt, visited, vol))
00581 has_vol_ref = TRUE;
00582 }
00583 if (!has_vol_ref && cr->Is_ivar_volatile())
00584 has_vol_ref = TRUE;
00585 }
00586 break;
00587
00588 case CK_OP:
00589 {
00590 for (INT32 i=0; i<cr->Kid_count(); i++)
00591 if (set_volatile_mapCR(cr->Opnd(i), stmt, visited, vol))
00592 has_vol_ref = TRUE;
00593
00594 if (!has_vol_ref && OPERATOR_is_volatile(cr->Opr()))
00595 has_vol_ref = TRUE;
00596 }
00597 break;
00598
00599 case CK_DELETED:
00600 default:
00601 FmtAssert(FALSE,
00602 ("set_volatile_mapCR, unexpected kind 0x%x", cr->Kind()));
00603 break;
00604 }
00605 vol[cr->Coderep_id()] = has_vol_ref;
00606 }
00607 return has_vol_ref;
00608 }
00609
00610
00611 class SET_VOLMAP_FOR_CR
00612 {
00613 BVECTOR *_visited;
00614 BVECTOR *_vol;
00615 public:
00616
00617 SET_VOLMAP_FOR_CR(BVECTOR &visited, BVECTOR &vol):
00618 _visited(&visited), _vol(&vol) {}
00619
00620 void operator() (CODEREP *cr, STMTREP *stmt, INT32)
00621 {
00622 set_volatile_mapCR(cr, stmt, *_visited, *_vol);
00623 }
00624 };
00625
00626
00627 void
00628 Set_volatile_map(CFG *cfg, BVECTOR &vol)
00629 {
00630
00631
00632
00633
00634
00635
00636
00637
00638 Is_True(vol.size() == cfg->Htable()->Coderep_id_cnt()+1,
00639 ("Inadequate size of vector (vol) for Set_volatile_map()"));
00640
00641 OPT_POOL_Push(cfg->Loc_pool(), -1);
00642 {
00643 BVECTOR visited(cfg->Htable()->Coderep_id_cnt()+1,
00644 bool(FALSE),
00645 BVECTOR_ALLOCATOR(cfg->Loc_pool()));
00646
00647 CFG_ITER bb_iter(cfg);
00648 BB_NODE *bb;
00649 FOR_ALL_ELEM (bb, bb_iter, Init())
00650 {
00651 SET_VOLMAP_FOR_CR set_volmapCR(visited, vol);
00652 STMTREP_ITER stmt_iter(bb->Stmtlist());
00653 STMTREP *stmt;
00654 FOR_ALL_NODE(stmt, stmt_iter, Init())
00655 traverseSR(stmt, set_volmapCR);
00656 }
00657 }
00658 OPT_POOL_Pop(cfg->Loc_pool(), -1);
00659 }
00660
00661 #if defined(TARG_SL)
00662 BOOL CR_Intrinsic_Op_Slave( CODEREP *cr) {
00663 if (cr->Kind() == CK_OP && cr->Opr() == OPR_INTRINSIC_OP) {
00664 INTRINSIC ins = cr->Intrinsic();
00665 if (INTRN_is_slave(ins))
00666 return TRUE;
00667 }
00668 return FALSE;
00669 }
00670 #endif
00671