[PATCH] D25873: [LCSSA] Perform LCSSA verification only for current loop nest

[Igor Laevsky via llvm-commits]

igor-laevsky added a comment.

Hi Michael,

Thanks for the comments!

With linearized implementation of the LCSSA verification we were still experiencing slowdown of the same order of magnitude (10x).

Besides printers there are IVUsers, LoopExtractor and LoopStrengthReduce passes which don't require LCSSA. I don't think it's a big problem if we add explicit LCSSA dependence to them. My biggest concern was about loop printers because there we really want to print ir exactly as it is. It would seem quite unexpected if printer pass will suddenly transform the IR.


Repository:
  rL LLVM

https://reviews.llvm.org/D25873