Skip to content
  • Chandler Carruth's avatar
    Port the SSAUpdater-based promotion logic from the old SROA pass to the · 70b44c5c
    Chandler Carruth authored
    new one, and add support for running the new pass in that mode and in
    that slot of the pass manager. With this the new pass can completely
    replace the old one within the pipeline.
    
    The strategy for enabling or disabling the SSAUpdater logic is to do it
    by making the requirement of the domtree analysis optional. By default,
    it is required and we get the standard mem2reg approach. This is usually
    the desired strategy when run in stand-alone situations. Within the
    CGSCC pass manager, we disable requiring of the domtree analysis and
    consequentially trigger fallback to the SSAUpdater promotion.
    
    In theory this would allow the pass to re-use a domtree if one happened
    to be available even when run in a mode that doesn't require it. In
    practice, it lets us have a single pass rather than two which was
    simpler for me to wrap my head around.
    
    There is a hidden flag to force the use of the SSAUpdater code path for
    the purpose of testing. The primary testing strategy is just to run the
    existing tests through that path. One notable difference is that it has
    custom code to handle lifetime markers, and one of the tests has been
    enhanced to exercise that code.
    
    This has survived a bootstrap and the test suite without serious
    correctness issues, however my run of the test suite produced *very*
    alarming performance numbers. I don't entirely understand or trust them
    though, so more investigation is on-going.
    
    To aid my understanding of the performance impact of the new SROA now
    that it runs throughout the optimization pipeline, I'm enabling it by
    default in this commit, and will disable it again once the LNT bots have
    picked up one iteration with it. I want to get those bots (which are
    much more stable) to evaluate the impact of the change before I jump to
    any conclusions.
    
    NOTE: Several Clang tests will fail because they run -O3 and check the
    result's order of output. They'll go back to passing once I disable it
    again.
    
    llvm-svn: 163965
    70b44c5c
Loading