Skip to content
  • Chandler Carruth's avatar
    [PM] Widen the interface for invalidate on an analysis result now that · 2846e9ef
    Chandler Carruth authored
    it is completely optional, and sink the logic for handling the preserved
    analysis set into it.
    
    This allows us to implement the delegation logic desired in the proxy
    module analysis for the function analysis manager where if the proxy
    itself is preserved we assume the set of functions hasn't changed and we
    do a fine grained invalidation by walking the functions in the module
    and running the invalidate for them all at the manager level and letting
    it try to invalidate any passes.
    
    This in turn makes it blindingly obvious why we should hoist the
    invalidate trait and have two collections of results. That allows
    handling invalidation for almost all analyses without indirect calls and
    it allows short circuiting when the preserved set is all.
    
    llvm-svn: 195338
    2846e9ef
Loading