[all-commits] [llvm/llvm-project] d09491: [Polly] Invalidate passes after Scop processing in...

[Michael Kruse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d09491895f8cd9fdc8ca4cdf45f30d4c2e3066a6
      https://github.com/llvm/llvm-project/commit/d09491895f8cd9fdc8ca4cdf45f30d4c2e3066a6
  Author: Michael Kruse <llvm-project at meinersbur.de>
  Date:   2021-02-14 (Sun, 14 Feb 2021)

  Changed paths:
    M polly/include/polly/ScopPass.h

  Log Message:
  -----------
  [Polly] Invalidate passes after Scop processing in NewPM.

ScopDetection's DetectionContext holds AssertionVH for
RequiredInvariantLoads. An assertion is thrown if the handle's value is
erased and the ScopDetection is not yet invalidated. The ScopDetection
must remain valid durting the ScopPassManager. Enusure that all Scop
analyses are free'd when the ScopPass manager is done.

If IR generation has happened, also invalidate all other passes to avoid
possible issues because, like for the legacy pass manager, Polly does not
yet perfectly preserve them.