https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122096
Jan Hubicka <hubicka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mjambor at suse dot cz
--- Comment #8 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
This is indeed speculative devirtualization. It does make xalancbmk little bit
faster
https://lnt.opensuse.org/db_default/v4/SPEC/graph?highlight_run=74155&plot.367=959.367.0
It is a question if the code size cost is worth it. Code is organized by
speculatively devirtualizing first, doing ipa-cp and inline and removing
speculation if neither of those did something useful. The cost model can be
improved, but I am not sure if this is or isn't reasonable tradeoff for -O3.
