[PATCH] D67571: [LICM] Don't verify domtree/loopinfo unless EXPENSIVE_CHECKS is enabled.

[Florian Hahn via Phabricator via llvm-commits]

fhahn accepted this revision.
fhahn added a comment.
This revision is now accepted and ready to land.

Thanks Eli, LGTM. This is in line with how we handle verification in many other places.

For EXPENSIVE_CHECKS, we also enable verify-loop-info & verify-dom-info, but I think it is worth keeping the extra verification here, as plenty of things could go wrong in LICM after this point, before we are done.


Repository:
  rL LLVM

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D67571/new/

https://reviews.llvm.org/D67571