diff options
author | Jakub Kuderski <kubakuderski@gmail.com> | 2019-10-01 15:23:27 +0000 |
---|---|---|
committer | Jakub Kuderski <kubakuderski@gmail.com> | 2019-10-01 15:23:27 +0000 |
commit | 56b52a207fef1edb19b0828a21e901627eb9155b (patch) | |
tree | 04dbaee3f24bf809a97f8108a297f82f15011739 /lldb/unittests/Process/gdb-remote/GDBRemoteCommunicationClientTest.cpp | |
parent | fd019ed54e36179d0b69d93822164ec2e5689e36 (diff) | |
download | llvm-56b52a207fef1edb19b0828a21e901627eb9155b.zip llvm-56b52a207fef1edb19b0828a21e901627eb9155b.tar.gz llvm-56b52a207fef1edb19b0828a21e901627eb9155b.tar.bz2 |
[Dominators][CodeGen] Add MachinePostDominatorTree verification
Summary:
This patch implements Machine PostDominator Tree verification and ensures that the verification doesn't fail the in-tree tests.
MPDT verification can be enabled using `verify-machine-dom-info` -- the same flag used by Machine Dominator Tree verification.
Flipping the flag revealed that MachineSink falsely claimed to preserve CFG and MDT/MPDT. This patch fixes that.
Reviewers: arsenm, hliao, rampitec, vpykhtin, grosser
Reviewed By: hliao
Subscribers: wdng, hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D68235
llvm-svn: 373341
Diffstat (limited to 'lldb/unittests/Process/gdb-remote/GDBRemoteCommunicationClientTest.cpp')
0 files changed, 0 insertions, 0 deletions