1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155 |
- /* Transformations based on profile information for values.
- Copyright (C) 2003-2015 Free Software Foundation, Inc.
- This file is part of GCC.
- GCC is free software; you can redistribute it and/or modify it under
- the terms of the GNU General Public License as published by the Free
- Software Foundation; either version 3, or (at your option) any later
- version.
- GCC is distributed in the hope that it will be useful, but WITHOUT ANY
- WARRANTY; without even the implied warranty of MERCHANTABILITY or
- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
- for more details.
- You should have received a copy of the GNU General Public License
- along with GCC; see the file COPYING3. If not see
- <http://www.gnu.org/licenses/>. */
- #include "config.h"
- #include "system.h"
- #include "coretypes.h"
- #include "tm.h"
- #include "hash-set.h"
- #include "machmode.h"
- #include "vec.h"
- #include "double-int.h"
- #include "input.h"
- #include "alias.h"
- #include "symtab.h"
- #include "wide-int.h"
- #include "inchash.h"
- #include "tree.h"
- #include "fold-const.h"
- #include "tree-nested.h"
- #include "calls.h"
- #include "rtl.h"
- #include "hashtab.h"
- #include "hard-reg-set.h"
- #include "function.h"
- #include "flags.h"
- #include "statistics.h"
- #include "real.h"
- #include "fixed-value.h"
- #include "insn-config.h"
- #include "expmed.h"
- #include "dojump.h"
- #include "explow.h"
- #include "emit-rtl.h"
- #include "varasm.h"
- #include "stmt.h"
- #include "expr.h"
- #include "predict.h"
- #include "dominance.h"
- #include "cfg.h"
- #include "basic-block.h"
- #include "value-prof.h"
- #include "recog.h"
- #include "insn-codes.h"
- #include "optabs.h"
- #include "regs.h"
- #include "tree-ssa-alias.h"
- #include "internal-fn.h"
- #include "tree-eh.h"
- #include "gimple-expr.h"
- #include "is-a.h"
- #include "gimple.h"
- #include "gimplify.h"
- #include "gimple-iterator.h"
- #include "gimple-ssa.h"
- #include "tree-cfg.h"
- #include "tree-phinodes.h"
- #include "ssa-iterators.h"
- #include "stringpool.h"
- #include "tree-ssanames.h"
- #include "diagnostic.h"
- #include "gimple-pretty-print.h"
- #include "coverage.h"
- #include "gcov-io.h"
- #include "timevar.h"
- #include "dumpfile.h"
- #include "profile.h"
- #include "hash-map.h"
- #include "plugin-api.h"
- #include "ipa-ref.h"
- #include "cgraph.h"
- #include "data-streamer.h"
- #include "builtins.h"
- #include "params.h"
- #include "tree-chkp.h"
- /* In this file value profile based optimizations are placed. Currently the
- following optimizations are implemented (for more detailed descriptions
- see comments at value_profile_transformations):
- 1) Division/modulo specialization. Provided that we can determine that the
- operands of the division have some special properties, we may use it to
- produce more effective code.
- 2) Indirect/virtual call specialization. If we can determine most
- common function callee in indirect/virtual call. We can use this
- information to improve code effectiveness (especially info for
- the inliner).
- 3) Speculative prefetching. If we are able to determine that the difference
- between addresses accessed by a memory reference is usually constant, we
- may add the prefetch instructions.
- FIXME: This transformation was removed together with RTL based value
- profiling.
- Value profiling internals
- ==========================
- Every value profiling transformation starts with defining what values
- to profile. There are different histogram types (see HIST_TYPE_* in
- value-prof.h) and each transformation can request one or more histogram
- types per GIMPLE statement. The function gimple_find_values_to_profile()
- collects the values to profile in a vec, and adds the number of counters
- required for the different histogram types.
- For a -fprofile-generate run, the statements for which values should be
- recorded, are instrumented in instrument_values(). The instrumentation
- is done by helper functions that can be found in tree-profile.c, where
- new types of histograms can be added if necessary.
- After a -fprofile-use, the value profiling data is read back in by
- compute_value_histograms() that translates the collected data to
- histograms and attaches them to the profiled statements via
- gimple_add_histogram_value(). Histograms are stored in a hash table
- that is attached to every intrumented function, see VALUE_HISTOGRAMS
- in function.h.
-
- The value-profile transformations driver is the function
- gimple_value_profile_transformations(). It traverses all statements in
- the to-be-transformed function, and looks for statements with one or
- more histograms attached to it. If a statement has histograms, the
- transformation functions are called on the statement.
- Limitations / FIXME / TODO:
- * Only one histogram of each type can be associated with a statement.
- * Currently, HIST_TYPE_CONST_DELTA is not implemented.
- (This type of histogram was originally used to implement a form of
- stride profiling based speculative prefetching to improve SPEC2000
- scores for memory-bound benchmarks, mcf and equake. However, this
- was an RTL value-profiling transformation, and those have all been
- removed.)
- * Some value profile transformations are done in builtins.c (?!)
- * Updating of histograms needs some TLC.
- * The value profiling code could be used to record analysis results
- from non-profiling (e.g. VRP).
- * Adding new profilers should be simplified, starting with a cleanup
- of what-happens-where andwith making gimple_find_values_to_profile
- and gimple_value_profile_transformations table-driven, perhaps...
- */
- static tree gimple_divmod_fixed_value (gassign *, tree, int, gcov_type,
- gcov_type);
- static tree gimple_mod_pow2 (gassign *, int, gcov_type, gcov_type);
- static tree gimple_mod_subtract (gassign *, int, int, int, gcov_type,
- gcov_type, gcov_type);
- static bool gimple_divmod_fixed_value_transform (gimple_stmt_iterator *);
- static bool gimple_mod_pow2_value_transform (gimple_stmt_iterator *);
- static bool gimple_mod_subtract_transform (gimple_stmt_iterator *);
- static bool gimple_stringops_transform (gimple_stmt_iterator *);
- static bool gimple_ic_transform (gimple_stmt_iterator *);
- /* Allocate histogram value. */
- histogram_value
- gimple_alloc_histogram_value (struct function *fun ATTRIBUTE_UNUSED,
- enum hist_type type, gimple stmt, tree value)
- {
- histogram_value hist = (histogram_value) xcalloc (1, sizeof (*hist));
- hist->hvalue.value = value;
- hist->hvalue.stmt = stmt;
- hist->type = type;
- return hist;
- }
- /* Hash value for histogram. */
- static hashval_t
- histogram_hash (const void *x)
- {
- return htab_hash_pointer (((const_histogram_value)x)->hvalue.stmt);
- }
- /* Return nonzero if statement for histogram_value X is Y. */
- static int
- histogram_eq (const void *x, const void *y)
- {
- return ((const_histogram_value) x)->hvalue.stmt == (const_gimple) y;
- }
- /* Set histogram for STMT. */
- static void
- set_histogram_value (struct function *fun, gimple stmt, histogram_value hist)
- {
- void **loc;
- if (!hist && !VALUE_HISTOGRAMS (fun))
- return;
- if (!VALUE_HISTOGRAMS (fun))
- VALUE_HISTOGRAMS (fun) = htab_create (1, histogram_hash,
- histogram_eq, NULL);
- loc = htab_find_slot_with_hash (VALUE_HISTOGRAMS (fun), stmt,
- htab_hash_pointer (stmt),
- hist ? INSERT : NO_INSERT);
- if (!hist)
- {
- if (loc)
- htab_clear_slot (VALUE_HISTOGRAMS (fun), loc);
- return;
- }
- *loc = hist;
- }
- /* Get histogram list for STMT. */
- histogram_value
- gimple_histogram_value (struct function *fun, gimple stmt)
- {
- if (!VALUE_HISTOGRAMS (fun))
- return NULL;
- return (histogram_value) htab_find_with_hash (VALUE_HISTOGRAMS (fun), stmt,
- htab_hash_pointer (stmt));
- }
- /* Add histogram for STMT. */
- void
- gimple_add_histogram_value (struct function *fun, gimple stmt,
- histogram_value hist)
- {
- hist->hvalue.next = gimple_histogram_value (fun, stmt);
- set_histogram_value (fun, stmt, hist);
- hist->fun = fun;
- }
- /* Remove histogram HIST from STMT's histogram list. */
- void
- gimple_remove_histogram_value (struct function *fun, gimple stmt,
- histogram_value hist)
- {
- histogram_value hist2 = gimple_histogram_value (fun, stmt);
- if (hist == hist2)
- {
- set_histogram_value (fun, stmt, hist->hvalue.next);
- }
- else
- {
- while (hist2->hvalue.next != hist)
- hist2 = hist2->hvalue.next;
- hist2->hvalue.next = hist->hvalue.next;
- }
- free (hist->hvalue.counters);
- #ifdef ENABLE_CHECKING
- memset (hist, 0xab, sizeof (*hist));
- #endif
- free (hist);
- }
- /* Lookup histogram of type TYPE in the STMT. */
- histogram_value
- gimple_histogram_value_of_type (struct function *fun, gimple stmt,
- enum hist_type type)
- {
- histogram_value hist;
- for (hist = gimple_histogram_value (fun, stmt); hist;
- hist = hist->hvalue.next)
- if (hist->type == type)
- return hist;
- return NULL;
- }
- /* Dump information about HIST to DUMP_FILE. */
- static void
- dump_histogram_value (FILE *dump_file, histogram_value hist)
- {
- switch (hist->type)
- {
- case HIST_TYPE_INTERVAL:
- fprintf (dump_file, "Interval counter range %d -- %d",
- hist->hdata.intvl.int_start,
- (hist->hdata.intvl.int_start
- + hist->hdata.intvl.steps - 1));
- if (hist->hvalue.counters)
- {
- unsigned int i;
- fprintf (dump_file, " [");
- for (i = 0; i < hist->hdata.intvl.steps; i++)
- fprintf (dump_file, " %d:%"PRId64,
- hist->hdata.intvl.int_start + i,
- (int64_t) hist->hvalue.counters[i]);
- fprintf (dump_file, " ] outside range:%"PRId64,
- (int64_t) hist->hvalue.counters[i]);
- }
- fprintf (dump_file, ".\n");
- break;
- case HIST_TYPE_POW2:
- fprintf (dump_file, "Pow2 counter ");
- if (hist->hvalue.counters)
- {
- fprintf (dump_file, "pow2:%"PRId64
- " nonpow2:%"PRId64,
- (int64_t) hist->hvalue.counters[0],
- (int64_t) hist->hvalue.counters[1]);
- }
- fprintf (dump_file, ".\n");
- break;
- case HIST_TYPE_SINGLE_VALUE:
- fprintf (dump_file, "Single value ");
- if (hist->hvalue.counters)
- {
- fprintf (dump_file, "value:%"PRId64
- " match:%"PRId64
- " wrong:%"PRId64,
- (int64_t) hist->hvalue.counters[0],
- (int64_t) hist->hvalue.counters[1],
- (int64_t) hist->hvalue.counters[2]);
- }
- fprintf (dump_file, ".\n");
- break;
- case HIST_TYPE_AVERAGE:
- fprintf (dump_file, "Average value ");
- if (hist->hvalue.counters)
- {
- fprintf (dump_file, "sum:%"PRId64
- " times:%"PRId64,
- (int64_t) hist->hvalue.counters[0],
- (int64_t) hist->hvalue.counters[1]);
- }
- fprintf (dump_file, ".\n");
- break;
- case HIST_TYPE_IOR:
- fprintf (dump_file, "IOR value ");
- if (hist->hvalue.counters)
- {
- fprintf (dump_file, "ior:%"PRId64,
- (int64_t) hist->hvalue.counters[0]);
- }
- fprintf (dump_file, ".\n");
- break;
- case HIST_TYPE_CONST_DELTA:
- fprintf (dump_file, "Constant delta ");
- if (hist->hvalue.counters)
- {
- fprintf (dump_file, "value:%"PRId64
- " match:%"PRId64
- " wrong:%"PRId64,
- (int64_t) hist->hvalue.counters[0],
- (int64_t) hist->hvalue.counters[1],
- (int64_t) hist->hvalue.counters[2]);
- }
- fprintf (dump_file, ".\n");
- break;
- case HIST_TYPE_INDIR_CALL:
- fprintf (dump_file, "Indirect call ");
- if (hist->hvalue.counters)
- {
- fprintf (dump_file, "value:%"PRId64
- " match:%"PRId64
- " all:%"PRId64,
- (int64_t) hist->hvalue.counters[0],
- (int64_t) hist->hvalue.counters[1],
- (int64_t) hist->hvalue.counters[2]);
- }
- fprintf (dump_file, ".\n");
- break;
- case HIST_TYPE_TIME_PROFILE:
- fprintf (dump_file, "Time profile ");
- if (hist->hvalue.counters)
- {
- fprintf (dump_file, "time:%"PRId64,
- (int64_t) hist->hvalue.counters[0]);
- }
- fprintf (dump_file, ".\n");
- break;
- case HIST_TYPE_INDIR_CALL_TOPN:
- fprintf (dump_file, "Indirect call topn ");
- if (hist->hvalue.counters)
- {
- int i;
- fprintf (dump_file, "accu:%"PRId64, hist->hvalue.counters[0]);
- for (i = 1; i < (GCOV_ICALL_TOPN_VAL << 2); i += 2)
- {
- fprintf (dump_file, " target:%"PRId64 " value:%"PRId64,
- (int64_t) hist->hvalue.counters[i],
- (int64_t) hist->hvalue.counters[i+1]);
- }
- }
- fprintf (dump_file, ".\n");
- break;
- case HIST_TYPE_MAX:
- gcc_unreachable ();
- }
- }
- /* Dump information about HIST to DUMP_FILE. */
- void
- stream_out_histogram_value (struct output_block *ob, histogram_value hist)
- {
- struct bitpack_d bp;
- unsigned int i;
- bp = bitpack_create (ob->main_stream);
- bp_pack_enum (&bp, hist_type, HIST_TYPE_MAX, hist->type);
- bp_pack_value (&bp, hist->hvalue.next != NULL, 1);
- streamer_write_bitpack (&bp);
- switch (hist->type)
- {
- case HIST_TYPE_INTERVAL:
- streamer_write_hwi (ob, hist->hdata.intvl.int_start);
- streamer_write_uhwi (ob, hist->hdata.intvl.steps);
- break;
- default:
- break;
- }
- for (i = 0; i < hist->n_counters; i++)
- streamer_write_gcov_count (ob, hist->hvalue.counters[i]);
- if (hist->hvalue.next)
- stream_out_histogram_value (ob, hist->hvalue.next);
- }
- /* Dump information about HIST to DUMP_FILE. */
- void
- stream_in_histogram_value (struct lto_input_block *ib, gimple stmt)
- {
- enum hist_type type;
- unsigned int ncounters = 0;
- struct bitpack_d bp;
- unsigned int i;
- histogram_value new_val;
- bool next;
- histogram_value *next_p = NULL;
- do
- {
- bp = streamer_read_bitpack (ib);
- type = bp_unpack_enum (&bp, hist_type, HIST_TYPE_MAX);
- next = bp_unpack_value (&bp, 1);
- new_val = gimple_alloc_histogram_value (cfun, type, stmt, NULL);
- switch (type)
- {
- case HIST_TYPE_INTERVAL:
- new_val->hdata.intvl.int_start = streamer_read_hwi (ib);
- new_val->hdata.intvl.steps = streamer_read_uhwi (ib);
- ncounters = new_val->hdata.intvl.steps + 2;
- break;
- case HIST_TYPE_POW2:
- case HIST_TYPE_AVERAGE:
- ncounters = 2;
- break;
- case HIST_TYPE_SINGLE_VALUE:
- case HIST_TYPE_INDIR_CALL:
- ncounters = 3;
- break;
- case HIST_TYPE_CONST_DELTA:
- ncounters = 4;
- break;
- case HIST_TYPE_IOR:
- case HIST_TYPE_TIME_PROFILE:
- ncounters = 1;
- break;
- case HIST_TYPE_INDIR_CALL_TOPN:
- ncounters = (GCOV_ICALL_TOPN_VAL << 2) + 1;
- break;
- case HIST_TYPE_MAX:
- gcc_unreachable ();
- }
- new_val->hvalue.counters = XNEWVAR (gcov_type, sizeof (*new_val->hvalue.counters) * ncounters);
- new_val->n_counters = ncounters;
- for (i = 0; i < ncounters; i++)
- new_val->hvalue.counters[i] = streamer_read_gcov_count (ib);
- if (!next_p)
- gimple_add_histogram_value (cfun, stmt, new_val);
- else
- *next_p = new_val;
- next_p = &new_val->hvalue.next;
- }
- while (next);
- }
- /* Dump all histograms attached to STMT to DUMP_FILE. */
- void
- dump_histograms_for_stmt (struct function *fun, FILE *dump_file, gimple stmt)
- {
- histogram_value hist;
- for (hist = gimple_histogram_value (fun, stmt); hist; hist = hist->hvalue.next)
- dump_histogram_value (dump_file, hist);
- }
- /* Remove all histograms associated with STMT. */
- void
- gimple_remove_stmt_histograms (struct function *fun, gimple stmt)
- {
- histogram_value val;
- while ((val = gimple_histogram_value (fun, stmt)) != NULL)
- gimple_remove_histogram_value (fun, stmt, val);
- }
- /* Duplicate all histograms associates with OSTMT to STMT. */
- void
- gimple_duplicate_stmt_histograms (struct function *fun, gimple stmt,
- struct function *ofun, gimple ostmt)
- {
- histogram_value val;
- for (val = gimple_histogram_value (ofun, ostmt); val != NULL; val = val->hvalue.next)
- {
- histogram_value new_val = gimple_alloc_histogram_value (fun, val->type, NULL, NULL);
- memcpy (new_val, val, sizeof (*val));
- new_val->hvalue.stmt = stmt;
- new_val->hvalue.counters = XNEWVAR (gcov_type, sizeof (*new_val->hvalue.counters) * new_val->n_counters);
- memcpy (new_val->hvalue.counters, val->hvalue.counters, sizeof (*new_val->hvalue.counters) * new_val->n_counters);
- gimple_add_histogram_value (fun, stmt, new_val);
- }
- }
- /* Move all histograms associated with OSTMT to STMT. */
- void
- gimple_move_stmt_histograms (struct function *fun, gimple stmt, gimple ostmt)
- {
- histogram_value val = gimple_histogram_value (fun, ostmt);
- if (val)
- {
- /* The following three statements can't be reordered,
- because histogram hashtab relies on stmt field value
- for finding the exact slot. */
- set_histogram_value (fun, ostmt, NULL);
- for (; val != NULL; val = val->hvalue.next)
- val->hvalue.stmt = stmt;
- set_histogram_value (fun, stmt, val);
- }
- }
- static bool error_found = false;
- /* Helper function for verify_histograms. For each histogram reachable via htab
- walk verify that it was reached via statement walk. */
- static int
- visit_hist (void **slot, void *data)
- {
- hash_set<histogram_value> *visited = (hash_set<histogram_value> *) data;
- histogram_value hist = *(histogram_value *) slot;
- if (!visited->contains (hist)
- && hist->type != HIST_TYPE_TIME_PROFILE)
- {
- error ("dead histogram");
- dump_histogram_value (stderr, hist);
- debug_gimple_stmt (hist->hvalue.stmt);
- error_found = true;
- }
- return 1;
- }
- /* Verify sanity of the histograms. */
- DEBUG_FUNCTION void
- verify_histograms (void)
- {
- basic_block bb;
- gimple_stmt_iterator gsi;
- histogram_value hist;
- error_found = false;
- hash_set<histogram_value> visited_hists;
- FOR_EACH_BB_FN (bb, cfun)
- for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
- {
- gimple stmt = gsi_stmt (gsi);
- for (hist = gimple_histogram_value (cfun, stmt); hist;
- hist = hist->hvalue.next)
- {
- if (hist->hvalue.stmt != stmt)
- {
- error ("Histogram value statement does not correspond to "
- "the statement it is associated with");
- debug_gimple_stmt (stmt);
- dump_histogram_value (stderr, hist);
- error_found = true;
- }
- visited_hists.add (hist);
- }
- }
- if (VALUE_HISTOGRAMS (cfun))
- htab_traverse (VALUE_HISTOGRAMS (cfun), visit_hist, &visited_hists);
- if (error_found)
- internal_error ("verify_histograms failed");
- }
- /* Helper function for verify_histograms. For each histogram reachable via htab
- walk verify that it was reached via statement walk. */
- static int
- free_hist (void **slot, void *data ATTRIBUTE_UNUSED)
- {
- histogram_value hist = *(histogram_value *) slot;
- free (hist->hvalue.counters);
- #ifdef ENABLE_CHECKING
- memset (hist, 0xab, sizeof (*hist));
- #endif
- free (hist);
- return 1;
- }
- void
- free_histograms (void)
- {
- if (VALUE_HISTOGRAMS (cfun))
- {
- htab_traverse (VALUE_HISTOGRAMS (cfun), free_hist, NULL);
- htab_delete (VALUE_HISTOGRAMS (cfun));
- VALUE_HISTOGRAMS (cfun) = NULL;
- }
- }
- /* The overall number of invocations of the counter should match
- execution count of basic block. Report it as error rather than
- internal error as it might mean that user has misused the profile
- somehow. */
- static bool
- check_counter (gimple stmt, const char * name,
- gcov_type *count, gcov_type *all, gcov_type bb_count)
- {
- if (*all != bb_count || *count > *all)
- {
- location_t locus;
- locus = (stmt != NULL)
- ? gimple_location (stmt)
- : DECL_SOURCE_LOCATION (current_function_decl);
- if (flag_profile_correction)
- {
- if (dump_enabled_p ())
- dump_printf_loc (MSG_MISSED_OPTIMIZATION, locus,
- "correcting inconsistent value profile: %s "
- "profiler overall count (%d) does not match BB "
- "count (%d)\n", name, (int)*all, (int)bb_count);
- *all = bb_count;
- if (*count > *all)
- *count = *all;
- return false;
- }
- else
- {
- error_at (locus, "corrupted value profile: %s "
- "profile counter (%d out of %d) inconsistent with "
- "basic-block count (%d)",
- name,
- (int) *count,
- (int) *all,
- (int) bb_count);
- return true;
- }
- }
- return false;
- }
- /* GIMPLE based transformations. */
- bool
- gimple_value_profile_transformations (void)
- {
- basic_block bb;
- gimple_stmt_iterator gsi;
- bool changed = false;
- FOR_EACH_BB_FN (bb, cfun)
- {
- for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
- {
- gimple stmt = gsi_stmt (gsi);
- histogram_value th = gimple_histogram_value (cfun, stmt);
- if (!th)
- continue;
- if (dump_file)
- {
- fprintf (dump_file, "Trying transformations on stmt ");
- print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
- dump_histograms_for_stmt (cfun, dump_file, stmt);
- }
- /* Transformations: */
- /* The order of things in this conditional controls which
- transformation is used when more than one is applicable. */
- /* It is expected that any code added by the transformations
- will be added before the current statement, and that the
- current statement remain valid (although possibly
- modified) upon return. */
- if (gimple_mod_subtract_transform (&gsi)
- || gimple_divmod_fixed_value_transform (&gsi)
- || gimple_mod_pow2_value_transform (&gsi)
- || gimple_stringops_transform (&gsi)
- || gimple_ic_transform (&gsi))
- {
- stmt = gsi_stmt (gsi);
- changed = true;
- /* Original statement may no longer be in the same block. */
- if (bb != gimple_bb (stmt))
- {
- bb = gimple_bb (stmt);
- gsi = gsi_for_stmt (stmt);
- }
- }
- }
- }
- if (changed)
- {
- counts_to_freqs ();
- }
- return changed;
- }
- /* Generate code for transformation 1 (with parent gimple assignment
- STMT and probability of taking the optimal path PROB, which is
- equivalent to COUNT/ALL within roundoff error). This generates the
- result into a temp and returns the temp; it does not replace or
- alter the original STMT. */
- static tree
- gimple_divmod_fixed_value (gassign *stmt, tree value, int prob,
- gcov_type count, gcov_type all)
- {
- gassign *stmt1, *stmt2;
- gcond *stmt3;
- tree tmp0, tmp1, tmp2;
- gimple bb1end, bb2end, bb3end;
- basic_block bb, bb2, bb3, bb4;
- tree optype, op1, op2;
- edge e12, e13, e23, e24, e34;
- gimple_stmt_iterator gsi;
- gcc_assert (is_gimple_assign (stmt)
- && (gimple_assign_rhs_code (stmt) == TRUNC_DIV_EXPR
- || gimple_assign_rhs_code (stmt) == TRUNC_MOD_EXPR));
- optype = TREE_TYPE (gimple_assign_lhs (stmt));
- op1 = gimple_assign_rhs1 (stmt);
- op2 = gimple_assign_rhs2 (stmt);
- bb = gimple_bb (stmt);
- gsi = gsi_for_stmt (stmt);
- tmp0 = make_temp_ssa_name (optype, NULL, "PROF");
- tmp1 = make_temp_ssa_name (optype, NULL, "PROF");
- stmt1 = gimple_build_assign (tmp0, fold_convert (optype, value));
- stmt2 = gimple_build_assign (tmp1, op2);
- stmt3 = gimple_build_cond (NE_EXPR, tmp1, tmp0, NULL_TREE, NULL_TREE);
- gsi_insert_before (&gsi, stmt1, GSI_SAME_STMT);
- gsi_insert_before (&gsi, stmt2, GSI_SAME_STMT);
- gsi_insert_before (&gsi, stmt3, GSI_SAME_STMT);
- bb1end = stmt3;
- tmp2 = create_tmp_reg (optype, "PROF");
- stmt1 = gimple_build_assign (tmp2, gimple_assign_rhs_code (stmt), op1, tmp0);
- gsi_insert_before (&gsi, stmt1, GSI_SAME_STMT);
- bb2end = stmt1;
- stmt1 = gimple_build_assign (tmp2, gimple_assign_rhs_code (stmt), op1, op2);
- gsi_insert_before (&gsi, stmt1, GSI_SAME_STMT);
- bb3end = stmt1;
- /* Fix CFG. */
- /* Edge e23 connects bb2 to bb3, etc. */
- e12 = split_block (bb, bb1end);
- bb2 = e12->dest;
- bb2->count = count;
- e23 = split_block (bb2, bb2end);
- bb3 = e23->dest;
- bb3->count = all - count;
- e34 = split_block (bb3, bb3end);
- bb4 = e34->dest;
- bb4->count = all;
- e12->flags &= ~EDGE_FALLTHRU;
- e12->flags |= EDGE_FALSE_VALUE;
- e12->probability = prob;
- e12->count = count;
- e13 = make_edge (bb, bb3, EDGE_TRUE_VALUE);
- e13->probability = REG_BR_PROB_BASE - prob;
- e13->count = all - count;
- remove_edge (e23);
- e24 = make_edge (bb2, bb4, EDGE_FALLTHRU);
- e24->probability = REG_BR_PROB_BASE;
- e24->count = count;
- e34->probability = REG_BR_PROB_BASE;
- e34->count = all - count;
- return tmp2;
- }
- /* Do transform 1) on INSN if applicable. */
- static bool
- gimple_divmod_fixed_value_transform (gimple_stmt_iterator *si)
- {
- histogram_value histogram;
- enum tree_code code;
- gcov_type val, count, all;
- tree result, value, tree_val;
- gcov_type prob;
- gassign *stmt;
- stmt = dyn_cast <gassign *> (gsi_stmt (*si));
- if (!stmt)
- return false;
- if (!INTEGRAL_TYPE_P (TREE_TYPE (gimple_assign_lhs (stmt))))
- return false;
- code = gimple_assign_rhs_code (stmt);
- if (code != TRUNC_DIV_EXPR && code != TRUNC_MOD_EXPR)
- return false;
- histogram = gimple_histogram_value_of_type (cfun, stmt,
- HIST_TYPE_SINGLE_VALUE);
- if (!histogram)
- return false;
- value = histogram->hvalue.value;
- val = histogram->hvalue.counters[0];
- count = histogram->hvalue.counters[1];
- all = histogram->hvalue.counters[2];
- gimple_remove_histogram_value (cfun, stmt, histogram);
- /* We require that count is at least half of all; this means
- that for the transformation to fire the value must be constant
- at least 50% of time (and 75% gives the guarantee of usage). */
- if (simple_cst_equal (gimple_assign_rhs2 (stmt), value) != 1
- || 2 * count < all
- || optimize_bb_for_size_p (gimple_bb (stmt)))
- return false;
- if (check_counter (stmt, "value", &count, &all, gimple_bb (stmt)->count))
- return false;
- /* Compute probability of taking the optimal path. */
- if (all > 0)
- prob = GCOV_COMPUTE_SCALE (count, all);
- else
- prob = 0;
- if (sizeof (gcov_type) == sizeof (HOST_WIDE_INT))
- tree_val = build_int_cst (get_gcov_type (), val);
- else
- {
- HOST_WIDE_INT a[2];
- a[0] = (unsigned HOST_WIDE_INT) val;
- a[1] = val >> (HOST_BITS_PER_WIDE_INT - 1) >> 1;
- tree_val = wide_int_to_tree (get_gcov_type (), wide_int::from_array (a, 2,
- TYPE_PRECISION (get_gcov_type ()), false));
- }
- result = gimple_divmod_fixed_value (stmt, tree_val, prob, count, all);
- if (dump_file)
- {
- fprintf (dump_file, "Div/mod by constant ");
- print_generic_expr (dump_file, value, TDF_SLIM);
- fprintf (dump_file, "=");
- print_generic_expr (dump_file, tree_val, TDF_SLIM);
- fprintf (dump_file, " transformation on insn ");
- print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
- }
- gimple_assign_set_rhs_from_tree (si, result);
- update_stmt (gsi_stmt (*si));
- return true;
- }
- /* Generate code for transformation 2 (with parent gimple assign STMT and
- probability of taking the optimal path PROB, which is equivalent to COUNT/ALL
- within roundoff error). This generates the result into a temp and returns
- the temp; it does not replace or alter the original STMT. */
- static tree
- gimple_mod_pow2 (gassign *stmt, int prob, gcov_type count, gcov_type all)
- {
- gassign *stmt1, *stmt2, *stmt3;
- gcond *stmt4;
- tree tmp2, tmp3;
- gimple bb1end, bb2end, bb3end;
- basic_block bb, bb2, bb3, bb4;
- tree optype, op1, op2;
- edge e12, e13, e23, e24, e34;
- gimple_stmt_iterator gsi;
- tree result;
- gcc_assert (is_gimple_assign (stmt)
- && gimple_assign_rhs_code (stmt) == TRUNC_MOD_EXPR);
- optype = TREE_TYPE (gimple_assign_lhs (stmt));
- op1 = gimple_assign_rhs1 (stmt);
- op2 = gimple_assign_rhs2 (stmt);
- bb = gimple_bb (stmt);
- gsi = gsi_for_stmt (stmt);
- result = create_tmp_reg (optype, "PROF");
- tmp2 = make_temp_ssa_name (optype, NULL, "PROF");
- tmp3 = make_temp_ssa_name (optype, NULL, "PROF");
- stmt2 = gimple_build_assign (tmp2, PLUS_EXPR, op2,
- build_int_cst (optype, -1));
- stmt3 = gimple_build_assign (tmp3, BIT_AND_EXPR, tmp2, op2);
- stmt4 = gimple_build_cond (NE_EXPR, tmp3, build_int_cst (optype, 0),
- NULL_TREE, NULL_TREE);
- gsi_insert_before (&gsi, stmt2, GSI_SAME_STMT);
- gsi_insert_before (&gsi, stmt3, GSI_SAME_STMT);
- gsi_insert_before (&gsi, stmt4, GSI_SAME_STMT);
- bb1end = stmt4;
- /* tmp2 == op2-1 inherited from previous block. */
- stmt1 = gimple_build_assign (result, BIT_AND_EXPR, op1, tmp2);
- gsi_insert_before (&gsi, stmt1, GSI_SAME_STMT);
- bb2end = stmt1;
- stmt1 = gimple_build_assign (result, gimple_assign_rhs_code (stmt),
- op1, op2);
- gsi_insert_before (&gsi, stmt1, GSI_SAME_STMT);
- bb3end = stmt1;
- /* Fix CFG. */
- /* Edge e23 connects bb2 to bb3, etc. */
- e12 = split_block (bb, bb1end);
- bb2 = e12->dest;
- bb2->count = count;
- e23 = split_block (bb2, bb2end);
- bb3 = e23->dest;
- bb3->count = all - count;
- e34 = split_block (bb3, bb3end);
- bb4 = e34->dest;
- bb4->count = all;
- e12->flags &= ~EDGE_FALLTHRU;
- e12->flags |= EDGE_FALSE_VALUE;
- e12->probability = prob;
- e12->count = count;
- e13 = make_edge (bb, bb3, EDGE_TRUE_VALUE);
- e13->probability = REG_BR_PROB_BASE - prob;
- e13->count = all - count;
- remove_edge (e23);
- e24 = make_edge (bb2, bb4, EDGE_FALLTHRU);
- e24->probability = REG_BR_PROB_BASE;
- e24->count = count;
- e34->probability = REG_BR_PROB_BASE;
- e34->count = all - count;
- return result;
- }
- /* Do transform 2) on INSN if applicable. */
- static bool
- gimple_mod_pow2_value_transform (gimple_stmt_iterator *si)
- {
- histogram_value histogram;
- enum tree_code code;
- gcov_type count, wrong_values, all;
- tree lhs_type, result, value;
- gcov_type prob;
- gassign *stmt;
- stmt = dyn_cast <gassign *> (gsi_stmt (*si));
- if (!stmt)
- return false;
- lhs_type = TREE_TYPE (gimple_assign_lhs (stmt));
- if (!INTEGRAL_TYPE_P (lhs_type))
- return false;
- code = gimple_assign_rhs_code (stmt);
- if (code != TRUNC_MOD_EXPR || !TYPE_UNSIGNED (lhs_type))
- return false;
- histogram = gimple_histogram_value_of_type (cfun, stmt, HIST_TYPE_POW2);
- if (!histogram)
- return false;
- value = histogram->hvalue.value;
- wrong_values = histogram->hvalue.counters[0];
- count = histogram->hvalue.counters[1];
- gimple_remove_histogram_value (cfun, stmt, histogram);
- /* We require that we hit a power of 2 at least half of all evaluations. */
- if (simple_cst_equal (gimple_assign_rhs2 (stmt), value) != 1
- || count < wrong_values
- || optimize_bb_for_size_p (gimple_bb (stmt)))
- return false;
- if (dump_file)
- {
- fprintf (dump_file, "Mod power of 2 transformation on insn ");
- print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
- }
- /* Compute probability of taking the optimal path. */
- all = count + wrong_values;
- if (check_counter (stmt, "pow2", &count, &all, gimple_bb (stmt)->count))
- return false;
- if (all > 0)
- prob = GCOV_COMPUTE_SCALE (count, all);
- else
- prob = 0;
- result = gimple_mod_pow2 (stmt, prob, count, all);
- gimple_assign_set_rhs_from_tree (si, result);
- update_stmt (gsi_stmt (*si));
- return true;
- }
- /* Generate code for transformations 3 and 4 (with parent gimple assign STMT, and
- NCOUNTS the number of cases to support. Currently only NCOUNTS==0 or 1 is
- supported and this is built into this interface. The probabilities of taking
- the optimal paths are PROB1 and PROB2, which are equivalent to COUNT1/ALL and
- COUNT2/ALL respectively within roundoff error). This generates the
- result into a temp and returns the temp; it does not replace or alter
- the original STMT. */
- /* FIXME: Generalize the interface to handle NCOUNTS > 1. */
- static tree
- gimple_mod_subtract (gassign *stmt, int prob1, int prob2, int ncounts,
- gcov_type count1, gcov_type count2, gcov_type all)
- {
- gassign *stmt1;
- gimple stmt2;
- gcond *stmt3;
- tree tmp1;
- gimple bb1end, bb2end = NULL, bb3end;
- basic_block bb, bb2, bb3, bb4;
- tree optype, op1, op2;
- edge e12, e23 = 0, e24, e34, e14;
- gimple_stmt_iterator gsi;
- tree result;
- gcc_assert (is_gimple_assign (stmt)
- && gimple_assign_rhs_code (stmt) == TRUNC_MOD_EXPR);
- optype = TREE_TYPE (gimple_assign_lhs (stmt));
- op1 = gimple_assign_rhs1 (stmt);
- op2 = gimple_assign_rhs2 (stmt);
- bb = gimple_bb (stmt);
- gsi = gsi_for_stmt (stmt);
- result = create_tmp_reg (optype, "PROF");
- tmp1 = make_temp_ssa_name (optype, NULL, "PROF");
- stmt1 = gimple_build_assign (result, op1);
- stmt2 = gimple_build_assign (tmp1, op2);
- stmt3 = gimple_build_cond (LT_EXPR, result, tmp1, NULL_TREE, NULL_TREE);
- gsi_insert_before (&gsi, stmt1, GSI_SAME_STMT);
- gsi_insert_before (&gsi, stmt2, GSI_SAME_STMT);
- gsi_insert_before (&gsi, stmt3, GSI_SAME_STMT);
- bb1end = stmt3;
- if (ncounts) /* Assumed to be 0 or 1 */
- {
- stmt1 = gimple_build_assign (result, MINUS_EXPR, result, tmp1);
- stmt2 = gimple_build_cond (LT_EXPR, result, tmp1, NULL_TREE, NULL_TREE);
- gsi_insert_before (&gsi, stmt1, GSI_SAME_STMT);
- gsi_insert_before (&gsi, stmt2, GSI_SAME_STMT);
- bb2end = stmt2;
- }
- /* Fallback case. */
- stmt1 = gimple_build_assign (result, gimple_assign_rhs_code (stmt),
- result, tmp1);
- gsi_insert_before (&gsi, stmt1, GSI_SAME_STMT);
- bb3end = stmt1;
- /* Fix CFG. */
- /* Edge e23 connects bb2 to bb3, etc. */
- /* However block 3 is optional; if it is not there, references
- to 3 really refer to block 2. */
- e12 = split_block (bb, bb1end);
- bb2 = e12->dest;
- bb2->count = all - count1;
- if (ncounts) /* Assumed to be 0 or 1. */
- {
- e23 = split_block (bb2, bb2end);
- bb3 = e23->dest;
- bb3->count = all - count1 - count2;
- }
- e34 = split_block (ncounts ? bb3 : bb2, bb3end);
- bb4 = e34->dest;
- bb4->count = all;
- e12->flags &= ~EDGE_FALLTHRU;
- e12->flags |= EDGE_FALSE_VALUE;
- e12->probability = REG_BR_PROB_BASE - prob1;
- e12->count = all - count1;
- e14 = make_edge (bb, bb4, EDGE_TRUE_VALUE);
- e14->probability = prob1;
- e14->count = count1;
- if (ncounts) /* Assumed to be 0 or 1. */
- {
- e23->flags &= ~EDGE_FALLTHRU;
- e23->flags |= EDGE_FALSE_VALUE;
- e23->count = all - count1 - count2;
- e23->probability = REG_BR_PROB_BASE - prob2;
- e24 = make_edge (bb2, bb4, EDGE_TRUE_VALUE);
- e24->probability = prob2;
- e24->count = count2;
- }
- e34->probability = REG_BR_PROB_BASE;
- e34->count = all - count1 - count2;
- return result;
- }
- /* Do transforms 3) and 4) on the statement pointed-to by SI if applicable. */
- static bool
- gimple_mod_subtract_transform (gimple_stmt_iterator *si)
- {
- histogram_value histogram;
- enum tree_code code;
- gcov_type count, wrong_values, all;
- tree lhs_type, result;
- gcov_type prob1, prob2;
- unsigned int i, steps;
- gcov_type count1, count2;
- gassign *stmt;
- stmt = dyn_cast <gassign *> (gsi_stmt (*si));
- if (!stmt)
- return false;
- lhs_type = TREE_TYPE (gimple_assign_lhs (stmt));
- if (!INTEGRAL_TYPE_P (lhs_type))
- return false;
- code = gimple_assign_rhs_code (stmt);
- if (code != TRUNC_MOD_EXPR || !TYPE_UNSIGNED (lhs_type))
- return false;
- histogram = gimple_histogram_value_of_type (cfun, stmt, HIST_TYPE_INTERVAL);
- if (!histogram)
- return false;
- all = 0;
- wrong_values = 0;
- for (i = 0; i < histogram->hdata.intvl.steps; i++)
- all += histogram->hvalue.counters[i];
- wrong_values += histogram->hvalue.counters[i];
- wrong_values += histogram->hvalue.counters[i+1];
- steps = histogram->hdata.intvl.steps;
- all += wrong_values;
- count1 = histogram->hvalue.counters[0];
- count2 = histogram->hvalue.counters[1];
- /* Compute probability of taking the optimal path. */
- if (check_counter (stmt, "interval", &count1, &all, gimple_bb (stmt)->count))
- {
- gimple_remove_histogram_value (cfun, stmt, histogram);
- return false;
- }
- if (flag_profile_correction && count1 + count2 > all)
- all = count1 + count2;
- gcc_assert (count1 + count2 <= all);
- /* We require that we use just subtractions in at least 50% of all
- evaluations. */
- count = 0;
- for (i = 0; i < histogram->hdata.intvl.steps; i++)
- {
- count += histogram->hvalue.counters[i];
- if (count * 2 >= all)
- break;
- }
- if (i == steps
- || optimize_bb_for_size_p (gimple_bb (stmt)))
- return false;
- gimple_remove_histogram_value (cfun, stmt, histogram);
- if (dump_file)
- {
- fprintf (dump_file, "Mod subtract transformation on insn ");
- print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
- }
- /* Compute probability of taking the optimal path(s). */
- if (all > 0)
- {
- prob1 = GCOV_COMPUTE_SCALE (count1, all);
- prob2 = GCOV_COMPUTE_SCALE (count2, all);
- }
- else
- {
- prob1 = prob2 = 0;
- }
- /* In practice, "steps" is always 2. This interface reflects this,
- and will need to be changed if "steps" can change. */
- result = gimple_mod_subtract (stmt, prob1, prob2, i, count1, count2, all);
- gimple_assign_set_rhs_from_tree (si, result);
- update_stmt (gsi_stmt (*si));
- return true;
- }
- struct profile_id_traits : default_hashmap_traits
- {
- template<typename T>
- static bool
- is_deleted (T &e)
- {
- return e.m_key == UINT_MAX;
- }
- template<typename T> static bool is_empty (T &e) { return e.m_key == 0; }
- template<typename T> static void mark_deleted (T &e) { e.m_key = UINT_MAX; }
- template<typename T> static void mark_empty (T &e) { e.m_key = 0; }
- };
- static hash_map<unsigned int, cgraph_node *, profile_id_traits> *
- cgraph_node_map = 0;
- /* Returns true if node graph is initialized. This
- is used to test if profile_id has been created
- for cgraph_nodes. */
- bool
- coverage_node_map_initialized_p (void)
- {
- return cgraph_node_map != 0;
- }
- /* Initialize map from PROFILE_ID to CGRAPH_NODE.
- When LOCAL is true, the PROFILE_IDs are computed. when it is false we assume
- that the PROFILE_IDs was already assigned. */
- void
- init_node_map (bool local)
- {
- struct cgraph_node *n;
- cgraph_node_map
- = new hash_map<unsigned int, cgraph_node *, profile_id_traits>;
- FOR_EACH_DEFINED_FUNCTION (n)
- if (n->has_gimple_body_p ())
- {
- cgraph_node **val;
- if (local)
- {
- n->profile_id = coverage_compute_profile_id (n);
- while ((val = cgraph_node_map->get (n->profile_id))
- || !n->profile_id)
- {
- if (dump_file)
- fprintf (dump_file, "Local profile-id %i conflict"
- " with nodes %s/%i %s/%i\n",
- n->profile_id,
- n->name (),
- n->order,
- (*val)->name (),
- (*val)->order);
- n->profile_id = (n->profile_id + 1) & 0x7fffffff;
- }
- }
- else if (!n->profile_id)
- {
- if (dump_file)
- fprintf (dump_file,
- "Node %s/%i has no profile-id"
- " (profile feedback missing?)\n",
- n->name (),
- n->order);
- continue;
- }
- else if ((val = cgraph_node_map->get (n->profile_id)))
- {
- if (dump_file)
- fprintf (dump_file,
- "Node %s/%i has IP profile-id %i conflict. "
- "Giving up.\n",
- n->name (),
- n->order,
- n->profile_id);
- *val = NULL;
- continue;
- }
- cgraph_node_map->put (n->profile_id, n);
- }
- }
- /* Delete the CGRAPH_NODE_MAP. */
- void
- del_node_map (void)
- {
- delete cgraph_node_map;
- }
- /* Return cgraph node for function with pid */
- struct cgraph_node*
- find_func_by_profile_id (int profile_id)
- {
- cgraph_node **val = cgraph_node_map->get (profile_id);
- if (val)
- return *val;
- else
- return NULL;
- }
- /* Perform sanity check on the indirect call target. Due to race conditions,
- false function target may be attributed to an indirect call site. If the
- call expression type mismatches with the target function's type, expand_call
- may ICE. Here we only do very minimal sanity check just to make compiler happy.
- Returns true if TARGET is considered ok for call CALL_STMT. */
- bool
- check_ic_target (gcall *call_stmt, struct cgraph_node *target)
- {
- location_t locus;
- if (gimple_check_call_matching_types (call_stmt, target->decl, true))
- return true;
- locus = gimple_location (call_stmt);
- if (dump_enabled_p ())
- dump_printf_loc (MSG_MISSED_OPTIMIZATION, locus,
- "Skipping target %s with mismatching types for icall\n",
- target->name ());
- return false;
- }
- /* Do transformation
- if (actual_callee_address == address_of_most_common_function/method)
- do direct call
- else
- old call
- */
- gcall *
- gimple_ic (gcall *icall_stmt, struct cgraph_node *direct_call,
- int prob, gcov_type count, gcov_type all)
- {
- gcall *dcall_stmt;
- gassign *load_stmt;
- gcond *cond_stmt;
- gcall *iretbnd_stmt = NULL;
- tree tmp0, tmp1, tmp;
- basic_block cond_bb, dcall_bb, icall_bb, join_bb = NULL;
- tree optype = build_pointer_type (void_type_node);
- edge e_cd, e_ci, e_di, e_dj = NULL, e_ij;
- gimple_stmt_iterator gsi;
- int lp_nr, dflags;
- edge e_eh, e;
- edge_iterator ei;
- gimple_stmt_iterator psi;
- cond_bb = gimple_bb (icall_stmt);
- gsi = gsi_for_stmt (icall_stmt);
- if (gimple_call_with_bounds_p (icall_stmt) && gimple_call_lhs (icall_stmt))
- iretbnd_stmt = chkp_retbnd_call_by_val (gimple_call_lhs (icall_stmt));
- tmp0 = make_temp_ssa_name (optype, NULL, "PROF");
- tmp1 = make_temp_ssa_name (optype, NULL, "PROF");
- tmp = unshare_expr (gimple_call_fn (icall_stmt));
- load_stmt = gimple_build_assign (tmp0, tmp);
- gsi_insert_before (&gsi, load_stmt, GSI_SAME_STMT);
- tmp = fold_convert (optype, build_addr (direct_call->decl,
- current_function_decl));
- load_stmt = gimple_build_assign (tmp1, tmp);
- gsi_insert_before (&gsi, load_stmt, GSI_SAME_STMT);
- cond_stmt = gimple_build_cond (EQ_EXPR, tmp1, tmp0, NULL_TREE, NULL_TREE);
- gsi_insert_before (&gsi, cond_stmt, GSI_SAME_STMT);
- gimple_set_vdef (icall_stmt, NULL_TREE);
- gimple_set_vuse (icall_stmt, NULL_TREE);
- update_stmt (icall_stmt);
- dcall_stmt = as_a <gcall *> (gimple_copy (icall_stmt));
- gimple_call_set_fndecl (dcall_stmt, direct_call->decl);
- dflags = flags_from_decl_or_type (direct_call->decl);
- if ((dflags & ECF_NORETURN) != 0)
- gimple_call_set_lhs (dcall_stmt, NULL_TREE);
- gsi_insert_before (&gsi, dcall_stmt, GSI_SAME_STMT);
- /* Fix CFG. */
- /* Edge e_cd connects cond_bb to dcall_bb, etc; note the first letters. */
- e_cd = split_block (cond_bb, cond_stmt);
- dcall_bb = e_cd->dest;
- dcall_bb->count = count;
- e_di = split_block (dcall_bb, dcall_stmt);
- icall_bb = e_di->dest;
- icall_bb->count = all - count;
- /* Do not disturb existing EH edges from the indirect call. */
- if (!stmt_ends_bb_p (icall_stmt))
- e_ij = split_block (icall_bb, icall_stmt);
- else
- {
- e_ij = find_fallthru_edge (icall_bb->succs);
- /* The indirect call might be noreturn. */
- if (e_ij != NULL)
- {
- e_ij->probability = REG_BR_PROB_BASE;
- e_ij->count = all - count;
- e_ij = single_pred_edge (split_edge (e_ij));
- }
- }
- if (e_ij != NULL)
- {
- join_bb = e_ij->dest;
- join_bb->count = all;
- }
- e_cd->flags = (e_cd->flags & ~EDGE_FALLTHRU) | EDGE_TRUE_VALUE;
- e_cd->probability = prob;
- e_cd->count = count;
- e_ci = make_edge (cond_bb, icall_bb, EDGE_FALSE_VALUE);
- e_ci->probability = REG_BR_PROB_BASE - prob;
- e_ci->count = all - count;
- remove_edge (e_di);
- if (e_ij != NULL)
- {
- if ((dflags & ECF_NORETURN) != 0)
- e_ij->count = all;
- else
- {
- e_dj = make_edge (dcall_bb, join_bb, EDGE_FALLTHRU);
- e_dj->probability = REG_BR_PROB_BASE;
- e_dj->count = count;
- e_ij->count = all - count;
- }
- e_ij->probability = REG_BR_PROB_BASE;
- }
- /* Insert PHI node for the call result if necessary. */
- if (gimple_call_lhs (icall_stmt)
- && TREE_CODE (gimple_call_lhs (icall_stmt)) == SSA_NAME
- && (dflags & ECF_NORETURN) == 0)
- {
- tree result = gimple_call_lhs (icall_stmt);
- gphi *phi = create_phi_node (result, join_bb);
- gimple_call_set_lhs (icall_stmt,
- duplicate_ssa_name (result, icall_stmt));
- add_phi_arg (phi, gimple_call_lhs (icall_stmt), e_ij, UNKNOWN_LOCATION);
- gimple_call_set_lhs (dcall_stmt,
- duplicate_ssa_name (result, dcall_stmt));
- add_phi_arg (phi, gimple_call_lhs (dcall_stmt), e_dj, UNKNOWN_LOCATION);
- /* If indirect call has following BUILT_IN_CHKP_BNDRET
- call then we need to make it's copy for the direct
- call. */
- if (iretbnd_stmt)
- {
- if (gimple_call_lhs (iretbnd_stmt))
- {
- gimple copy;
- gimple_set_vdef (iretbnd_stmt, NULL_TREE);
- gimple_set_vuse (iretbnd_stmt, NULL_TREE);
- update_stmt (iretbnd_stmt);
- result = gimple_call_lhs (iretbnd_stmt);
- phi = create_phi_node (result, join_bb);
- copy = gimple_copy (iretbnd_stmt);
- gimple_call_set_arg (copy, 0,
- gimple_call_lhs (dcall_stmt));
- gimple_call_set_lhs (copy, duplicate_ssa_name (result, copy));
- gsi_insert_on_edge (e_dj, copy);
- add_phi_arg (phi, gimple_call_lhs (copy),
- e_dj, UNKNOWN_LOCATION);
- gimple_call_set_arg (iretbnd_stmt, 0,
- gimple_call_lhs (icall_stmt));
- gimple_call_set_lhs (iretbnd_stmt,
- duplicate_ssa_name (result, iretbnd_stmt));
- psi = gsi_for_stmt (iretbnd_stmt);
- gsi_remove (&psi, false);
- gsi_insert_on_edge (e_ij, iretbnd_stmt);
- add_phi_arg (phi, gimple_call_lhs (iretbnd_stmt),
- e_ij, UNKNOWN_LOCATION);
- gsi_commit_one_edge_insert (e_dj, NULL);
- gsi_commit_one_edge_insert (e_ij, NULL);
- }
- else
- {
- psi = gsi_for_stmt (iretbnd_stmt);
- gsi_remove (&psi, true);
- }
- }
- }
- /* Build an EH edge for the direct call if necessary. */
- lp_nr = lookup_stmt_eh_lp (icall_stmt);
- if (lp_nr > 0 && stmt_could_throw_p (dcall_stmt))
- {
- add_stmt_to_eh_lp (dcall_stmt, lp_nr);
- }
- FOR_EACH_EDGE (e_eh, ei, icall_bb->succs)
- if (e_eh->flags & (EDGE_EH | EDGE_ABNORMAL))
- {
- e = make_edge (dcall_bb, e_eh->dest, e_eh->flags);
- for (gphi_iterator psi = gsi_start_phis (e_eh->dest);
- !gsi_end_p (psi); gsi_next (&psi))
- {
- gphi *phi = psi.phi ();
- SET_USE (PHI_ARG_DEF_PTR_FROM_EDGE (phi, e),
- PHI_ARG_DEF_FROM_EDGE (phi, e_eh));
- }
- }
- if (!stmt_could_throw_p (dcall_stmt))
- gimple_purge_dead_eh_edges (dcall_bb);
- return dcall_stmt;
- }
- /*
- For every checked indirect/virtual call determine if most common pid of
- function/class method has probability more than 50%. If yes modify code of
- this call to:
- */
- static bool
- gimple_ic_transform (gimple_stmt_iterator *gsi)
- {
- gcall *stmt;
- histogram_value histogram;
- gcov_type val, count, all, bb_all;
- struct cgraph_node *direct_call;
- stmt = dyn_cast <gcall *> (gsi_stmt (*gsi));
- if (!stmt)
- return false;
- if (gimple_call_fndecl (stmt) != NULL_TREE)
- return false;
- if (gimple_call_internal_p (stmt))
- return false;
- histogram = gimple_histogram_value_of_type (cfun, stmt, HIST_TYPE_INDIR_CALL);
- if (!histogram)
- return false;
- val = histogram->hvalue.counters [0];
- count = histogram->hvalue.counters [1];
- all = histogram->hvalue.counters [2];
- bb_all = gimple_bb (stmt)->count;
- /* The order of CHECK_COUNTER calls is important -
- since check_counter can correct the third parameter
- and we want to make count <= all <= bb_all. */
- if ( check_counter (stmt, "ic", &all, &bb_all, bb_all)
- || check_counter (stmt, "ic", &count, &all, all))
- {
- gimple_remove_histogram_value (cfun, stmt, histogram);
- return false;
- }
- if (4 * count <= 3 * all)
- return false;
- direct_call = find_func_by_profile_id ((int)val);
- if (direct_call == NULL)
- {
- if (val)
- {
- if (dump_file)
- {
- fprintf (dump_file, "Indirect call -> direct call from other module");
- print_generic_expr (dump_file, gimple_call_fn (stmt), TDF_SLIM);
- fprintf (dump_file, "=> %i (will resolve only with LTO)\n", (int)val);
- }
- }
- return false;
- }
- if (!check_ic_target (stmt, direct_call))
- {
- if (dump_file)
- {
- fprintf (dump_file, "Indirect call -> direct call ");
- print_generic_expr (dump_file, gimple_call_fn (stmt), TDF_SLIM);
- fprintf (dump_file, "=> ");
- print_generic_expr (dump_file, direct_call->decl, TDF_SLIM);
- fprintf (dump_file, " transformation skipped because of type mismatch");
- print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
- }
- gimple_remove_histogram_value (cfun, stmt, histogram);
- return false;
- }
- if (dump_file)
- {
- fprintf (dump_file, "Indirect call -> direct call ");
- print_generic_expr (dump_file, gimple_call_fn (stmt), TDF_SLIM);
- fprintf (dump_file, "=> ");
- print_generic_expr (dump_file, direct_call->decl, TDF_SLIM);
- fprintf (dump_file, " transformation on insn postponned to ipa-profile");
- print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
- fprintf (dump_file, "hist->count %"PRId64
- " hist->all %"PRId64"\n", count, all);
- }
- return true;
- }
- /* Return true if the stringop CALL with FNDECL shall be profiled.
- SIZE_ARG be set to the argument index for the size of the string
- operation.
- */
- static bool
- interesting_stringop_to_profile_p (tree fndecl, gcall *call, int *size_arg)
- {
- enum built_in_function fcode = DECL_FUNCTION_CODE (fndecl);
- if (fcode != BUILT_IN_MEMCPY && fcode != BUILT_IN_MEMPCPY
- && fcode != BUILT_IN_MEMSET && fcode != BUILT_IN_BZERO)
- return false;
- switch (fcode)
- {
- case BUILT_IN_MEMCPY:
- case BUILT_IN_MEMPCPY:
- *size_arg = 2;
- return validate_gimple_arglist (call, POINTER_TYPE, POINTER_TYPE,
- INTEGER_TYPE, VOID_TYPE);
- case BUILT_IN_MEMSET:
- *size_arg = 2;
- return validate_gimple_arglist (call, POINTER_TYPE, INTEGER_TYPE,
- INTEGER_TYPE, VOID_TYPE);
- case BUILT_IN_BZERO:
- *size_arg = 1;
- return validate_gimple_arglist (call, POINTER_TYPE, INTEGER_TYPE,
- VOID_TYPE);
- default:
- gcc_unreachable ();
- }
- }
- /* Convert stringop (..., vcall_size)
- into
- if (vcall_size == icall_size)
- stringop (..., icall_size);
- else
- stringop (..., vcall_size);
- assuming we'll propagate a true constant into ICALL_SIZE later. */
- static void
- gimple_stringop_fixed_value (gcall *vcall_stmt, tree icall_size, int prob,
- gcov_type count, gcov_type all)
- {
- gassign *tmp_stmt;
- gcond *cond_stmt;
- gcall *icall_stmt;
- tree tmp0, tmp1, vcall_size, optype;
- basic_block cond_bb, icall_bb, vcall_bb, join_bb;
- edge e_ci, e_cv, e_iv, e_ij, e_vj;
- gimple_stmt_iterator gsi;
- tree fndecl;
- int size_arg;
- fndecl = gimple_call_fndecl (vcall_stmt);
- if (!interesting_stringop_to_profile_p (fndecl, vcall_stmt, &size_arg))
- gcc_unreachable ();
- cond_bb = gimple_bb (vcall_stmt);
- gsi = gsi_for_stmt (vcall_stmt);
- vcall_size = gimple_call_arg (vcall_stmt, size_arg);
- optype = TREE_TYPE (vcall_size);
- tmp0 = make_temp_ssa_name (optype, NULL, "PROF");
- tmp1 = make_temp_ssa_name (optype, NULL, "PROF");
- tmp_stmt = gimple_build_assign (tmp0, fold_convert (optype, icall_size));
- gsi_insert_before (&gsi, tmp_stmt, GSI_SAME_STMT);
- tmp_stmt = gimple_build_assign (tmp1, vcall_size);
- gsi_insert_before (&gsi, tmp_stmt, GSI_SAME_STMT);
- cond_stmt = gimple_build_cond (EQ_EXPR, tmp1, tmp0, NULL_TREE, NULL_TREE);
- gsi_insert_before (&gsi, cond_stmt, GSI_SAME_STMT);
- gimple_set_vdef (vcall_stmt, NULL);
- gimple_set_vuse (vcall_stmt, NULL);
- update_stmt (vcall_stmt);
- icall_stmt = as_a <gcall *> (gimple_copy (vcall_stmt));
- gimple_call_set_arg (icall_stmt, size_arg, icall_size);
- gsi_insert_before (&gsi, icall_stmt, GSI_SAME_STMT);
- /* Fix CFG. */
- /* Edge e_ci connects cond_bb to icall_bb, etc. */
- e_ci = split_block (cond_bb, cond_stmt);
- icall_bb = e_ci->dest;
- icall_bb->count = count;
- e_iv = split_block (icall_bb, icall_stmt);
- vcall_bb = e_iv->dest;
- vcall_bb->count = all - count;
- e_vj = split_block (vcall_bb, vcall_stmt);
- join_bb = e_vj->dest;
- join_bb->count = all;
- e_ci->flags = (e_ci->flags & ~EDGE_FALLTHRU) | EDGE_TRUE_VALUE;
- e_ci->probability = prob;
- e_ci->count = count;
- e_cv = make_edge (cond_bb, vcall_bb, EDGE_FALSE_VALUE);
- e_cv->probability = REG_BR_PROB_BASE - prob;
- e_cv->count = all - count;
- remove_edge (e_iv);
- e_ij = make_edge (icall_bb, join_bb, EDGE_FALLTHRU);
- e_ij->probability = REG_BR_PROB_BASE;
- e_ij->count = count;
- e_vj->probability = REG_BR_PROB_BASE;
- e_vj->count = all - count;
- /* Insert PHI node for the call result if necessary. */
- if (gimple_call_lhs (vcall_stmt)
- && TREE_CODE (gimple_call_lhs (vcall_stmt)) == SSA_NAME)
- {
- tree result = gimple_call_lhs (vcall_stmt);
- gphi *phi = create_phi_node (result, join_bb);
- gimple_call_set_lhs (vcall_stmt,
- duplicate_ssa_name (result, vcall_stmt));
- add_phi_arg (phi, gimple_call_lhs (vcall_stmt), e_vj, UNKNOWN_LOCATION);
- gimple_call_set_lhs (icall_stmt,
- duplicate_ssa_name (result, icall_stmt));
- add_phi_arg (phi, gimple_call_lhs (icall_stmt), e_ij, UNKNOWN_LOCATION);
- }
- /* Because these are all string op builtins, they're all nothrow. */
- gcc_assert (!stmt_could_throw_p (vcall_stmt));
- gcc_assert (!stmt_could_throw_p (icall_stmt));
- }
- /* Find values inside STMT for that we want to measure histograms for
- division/modulo optimization. */
- static bool
- gimple_stringops_transform (gimple_stmt_iterator *gsi)
- {
- gcall *stmt;
- tree fndecl;
- tree blck_size;
- enum built_in_function fcode;
- histogram_value histogram;
- gcov_type count, all, val;
- tree dest, src;
- unsigned int dest_align, src_align;
- gcov_type prob;
- tree tree_val;
- int size_arg;
- stmt = dyn_cast <gcall *> (gsi_stmt (*gsi));
- if (!stmt)
- return false;
- fndecl = gimple_call_fndecl (stmt);
- if (!fndecl)
- return false;
- fcode = DECL_FUNCTION_CODE (fndecl);
- if (!interesting_stringop_to_profile_p (fndecl, stmt, &size_arg))
- return false;
- blck_size = gimple_call_arg (stmt, size_arg);
- if (TREE_CODE (blck_size) == INTEGER_CST)
- return false;
- histogram = gimple_histogram_value_of_type (cfun, stmt, HIST_TYPE_SINGLE_VALUE);
- if (!histogram)
- return false;
- val = histogram->hvalue.counters[0];
- count = histogram->hvalue.counters[1];
- all = histogram->hvalue.counters[2];
- gimple_remove_histogram_value (cfun, stmt, histogram);
- /* We require that count is at least half of all; this means
- that for the transformation to fire the value must be constant
- at least 80% of time. */
- if ((6 * count / 5) < all || optimize_bb_for_size_p (gimple_bb (stmt)))
- return false;
- if (check_counter (stmt, "value", &count, &all, gimple_bb (stmt)->count))
- return false;
- if (all > 0)
- prob = GCOV_COMPUTE_SCALE (count, all);
- else
- prob = 0;
- dest = gimple_call_arg (stmt, 0);
- dest_align = get_pointer_alignment (dest);
- switch (fcode)
- {
- case BUILT_IN_MEMCPY:
- case BUILT_IN_MEMPCPY:
- src = gimple_call_arg (stmt, 1);
- src_align = get_pointer_alignment (src);
- if (!can_move_by_pieces (val, MIN (dest_align, src_align)))
- return false;
- break;
- case BUILT_IN_MEMSET:
- if (!can_store_by_pieces (val, builtin_memset_read_str,
- gimple_call_arg (stmt, 1),
- dest_align, true))
- return false;
- break;
- case BUILT_IN_BZERO:
- if (!can_store_by_pieces (val, builtin_memset_read_str,
- integer_zero_node,
- dest_align, true))
- return false;
- break;
- default:
- gcc_unreachable ();
- }
- if (sizeof (gcov_type) == sizeof (HOST_WIDE_INT))
- tree_val = build_int_cst (get_gcov_type (), val);
- else
- {
- HOST_WIDE_INT a[2];
- a[0] = (unsigned HOST_WIDE_INT) val;
- a[1] = val >> (HOST_BITS_PER_WIDE_INT - 1) >> 1;
- tree_val = wide_int_to_tree (get_gcov_type (), wide_int::from_array (a, 2,
- TYPE_PRECISION (get_gcov_type ()), false));
- }
- if (dump_file)
- {
- fprintf (dump_file, "Single value %i stringop transformation on ",
- (int)val);
- print_gimple_stmt (dump_file, stmt, 0, TDF_SLIM);
- }
- gimple_stringop_fixed_value (stmt, tree_val, prob, count, all);
- return true;
- }
- void
- stringop_block_profile (gimple stmt, unsigned int *expected_align,
- HOST_WIDE_INT *expected_size)
- {
- histogram_value histogram;
- histogram = gimple_histogram_value_of_type (cfun, stmt, HIST_TYPE_AVERAGE);
- if (!histogram)
- *expected_size = -1;
- else if (!histogram->hvalue.counters[1])
- {
- *expected_size = -1;
- gimple_remove_histogram_value (cfun, stmt, histogram);
- }
- else
- {
- gcov_type size;
- size = ((histogram->hvalue.counters[0]
- + histogram->hvalue.counters[1] / 2)
- / histogram->hvalue.counters[1]);
- /* Even if we can hold bigger value in SIZE, INT_MAX
- is safe "infinity" for code generation strategies. */
- if (size > INT_MAX)
- size = INT_MAX;
- *expected_size = size;
- gimple_remove_histogram_value (cfun, stmt, histogram);
- }
- histogram = gimple_histogram_value_of_type (cfun, stmt, HIST_TYPE_IOR);
- if (!histogram)
- *expected_align = 0;
- else if (!histogram->hvalue.counters[0])
- {
- gimple_remove_histogram_value (cfun, stmt, histogram);
- *expected_align = 0;
- }
- else
- {
- gcov_type count;
- int alignment;
- count = histogram->hvalue.counters[0];
- alignment = 1;
- while (!(count & alignment)
- && (alignment * 2 * BITS_PER_UNIT))
- alignment <<= 1;
- *expected_align = alignment * BITS_PER_UNIT;
- gimple_remove_histogram_value (cfun, stmt, histogram);
- }
- }
- /* Find values inside STMT for that we want to measure histograms for
- division/modulo optimization. */
- static void
- gimple_divmod_values_to_profile (gimple stmt, histogram_values *values)
- {
- tree lhs, divisor, op0, type;
- histogram_value hist;
- if (gimple_code (stmt) != GIMPLE_ASSIGN)
- return;
- lhs = gimple_assign_lhs (stmt);
- type = TREE_TYPE (lhs);
- if (!INTEGRAL_TYPE_P (type))
- return;
- switch (gimple_assign_rhs_code (stmt))
- {
- case TRUNC_DIV_EXPR:
- case TRUNC_MOD_EXPR:
- divisor = gimple_assign_rhs2 (stmt);
- op0 = gimple_assign_rhs1 (stmt);
- values->reserve (3);
- if (TREE_CODE (divisor) == SSA_NAME)
- /* Check for the case where the divisor is the same value most
- of the time. */
- values->quick_push (gimple_alloc_histogram_value (cfun,
- HIST_TYPE_SINGLE_VALUE,
- stmt, divisor));
- /* For mod, check whether it is not often a noop (or replaceable by
- a few subtractions). */
- if (gimple_assign_rhs_code (stmt) == TRUNC_MOD_EXPR
- && TYPE_UNSIGNED (type))
- {
- tree val;
- /* Check for a special case where the divisor is power of 2. */
- values->quick_push (gimple_alloc_histogram_value (cfun,
- HIST_TYPE_POW2,
- stmt, divisor));
- val = build2 (TRUNC_DIV_EXPR, type, op0, divisor);
- hist = gimple_alloc_histogram_value (cfun, HIST_TYPE_INTERVAL,
- stmt, val);
- hist->hdata.intvl.int_start = 0;
- hist->hdata.intvl.steps = 2;
- values->quick_push (hist);
- }
- return;
- default:
- return;
- }
- }
- /* Find calls inside STMT for that we want to measure histograms for
- indirect/virtual call optimization. */
- static void
- gimple_indirect_call_to_profile (gimple stmt, histogram_values *values)
- {
- tree callee;
- if (gimple_code (stmt) != GIMPLE_CALL
- || gimple_call_internal_p (stmt)
- || gimple_call_fndecl (stmt) != NULL_TREE)
- return;
- callee = gimple_call_fn (stmt);
- values->reserve (3);
- values->quick_push (gimple_alloc_histogram_value (
- cfun,
- PARAM_VALUE (PARAM_INDIR_CALL_TOPN_PROFILE) ?
- HIST_TYPE_INDIR_CALL_TOPN :
- HIST_TYPE_INDIR_CALL,
- stmt, callee));
- return;
- }
- /* Find values inside STMT for that we want to measure histograms for
- string operations. */
- static void
- gimple_stringops_values_to_profile (gimple gs, histogram_values *values)
- {
- gcall *stmt;
- tree fndecl;
- tree blck_size;
- tree dest;
- int size_arg;
- stmt = dyn_cast <gcall *> (gs);
- if (!stmt)
- return;
- fndecl = gimple_call_fndecl (stmt);
- if (!fndecl)
- return;
- if (!interesting_stringop_to_profile_p (fndecl, stmt, &size_arg))
- return;
- dest = gimple_call_arg (stmt, 0);
- blck_size = gimple_call_arg (stmt, size_arg);
- if (TREE_CODE (blck_size) != INTEGER_CST)
- {
- values->safe_push (gimple_alloc_histogram_value (cfun,
- HIST_TYPE_SINGLE_VALUE,
- stmt, blck_size));
- values->safe_push (gimple_alloc_histogram_value (cfun, HIST_TYPE_AVERAGE,
- stmt, blck_size));
- }
- if (TREE_CODE (blck_size) != INTEGER_CST)
- values->safe_push (gimple_alloc_histogram_value (cfun, HIST_TYPE_IOR,
- stmt, dest));
- }
- /* Find values inside STMT for that we want to measure histograms and adds
- them to list VALUES. */
- static void
- gimple_values_to_profile (gimple stmt, histogram_values *values)
- {
- gimple_divmod_values_to_profile (stmt, values);
- gimple_stringops_values_to_profile (stmt, values);
- gimple_indirect_call_to_profile (stmt, values);
- }
- void
- gimple_find_values_to_profile (histogram_values *values)
- {
- basic_block bb;
- gimple_stmt_iterator gsi;
- unsigned i;
- histogram_value hist = NULL;
- values->create (0);
- FOR_EACH_BB_FN (bb, cfun)
- for (gsi = gsi_start_bb (bb); !gsi_end_p (gsi); gsi_next (&gsi))
- gimple_values_to_profile (gsi_stmt (gsi), values);
- values->safe_push (gimple_alloc_histogram_value (cfun, HIST_TYPE_TIME_PROFILE, 0, 0));
- FOR_EACH_VEC_ELT (*values, i, hist)
- {
- switch (hist->type)
- {
- case HIST_TYPE_INTERVAL:
- hist->n_counters = hist->hdata.intvl.steps + 2;
- break;
- case HIST_TYPE_POW2:
- hist->n_counters = 2;
- break;
- case HIST_TYPE_SINGLE_VALUE:
- hist->n_counters = 3;
- break;
- case HIST_TYPE_CONST_DELTA:
- hist->n_counters = 4;
- break;
- case HIST_TYPE_INDIR_CALL:
- hist->n_counters = 3;
- break;
- case HIST_TYPE_TIME_PROFILE:
- hist->n_counters = 1;
- break;
- case HIST_TYPE_AVERAGE:
- hist->n_counters = 2;
- break;
- case HIST_TYPE_IOR:
- hist->n_counters = 1;
- break;
- case HIST_TYPE_INDIR_CALL_TOPN:
- hist->n_counters = GCOV_ICALL_TOPN_NCOUNTS;
- break;
- default:
- gcc_unreachable ();
- }
- if (dump_file)
- {
- fprintf (dump_file, "Stmt ");
- print_gimple_stmt (dump_file, hist->hvalue.stmt, 0, TDF_SLIM);
- dump_histogram_value (dump_file, hist);
- }
- }
- }
|