[PATCH] D29280: Do not verify MachimeDominatorTree if it is not calculated

[Serge Pavlov via Phabricator via llvm-commits]

sepavloff created this revision.

If dominator tree is not calculated or is invalidated, set corresponding
pointer in the pass state to nullptr. Such pointer value will indicate
that operations with dominator tree are not allowed. In particular, it
allows to skip verification for such pass state. The dominator thee is
not calculated if the machine dominator pass was skipped, it occures in
the case of entities with linkage available_externally.

The change fixes some test fails observed when expensive checks
are enabled.


https://reviews.llvm.org/D29280

Files:
  include/llvm/CodeGen/MachineDominators.h
  lib/CodeGen/MachineDominators.cpp
  test/CodeGen/Generic/externally_available.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D29280.86281.patch
Type: text/x-patch
Size: 3932 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170130/308e6a71/attachment.bin>