Jakub Kuderski f92233652e [Dominators] Add parent and sibling property verification (non-hacky) ...

Summary:
This patch adds an additional level of verification - it checks parent and sibling properties of a tree. By definition, every tree with these two properties is a dominator tree.

It is possible to run those check by running llvm with `-verify-dom-info=1`.

Bootstrapping clang and building the llvm test suite with this option enabled doesn't yield any errors.

Reviewers: dberlin, sanjoy, chandlerc

Reviewed By: dberlin

Subscribers: llvm-commits

Differential Revision: https://reviews.llvm.org/D34482

llvm-svn: 306711

2017-06-29 17:45:51 +00:00

..

AsmWriter.cpp

[IR] Fix some Clang-tidy modernize-use-using warnings; other minor fixes (NFC).

2017-06-19 22:05:08 +00:00

AttributeImpl.h

[IR] Fix some Clang-tidy modernize-use-using warnings; other minor fixes (NFC).

2017-06-19 22:05:08 +00:00

Attributes.cpp

Define behavior of "stack-probe-size" attribute when inlining.

2017-06-22 23:22:36 +00:00

AttributesCompatFunc.td

…

AutoUpgrade.cpp

[AVX-512] Remove and autoupgrade the masked integer compare intrinsics

2017-06-22 20:11:01 +00:00

BasicBlock.cpp

Restrict the definition of loop preheader to avoid EH blocks

2017-06-22 23:27:16 +00:00

CMakeLists.txt

…

Comdat.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

ConstantFold.cpp

fix typos/formatting; NFC

2017-06-12 22:34:37 +00:00

ConstantFold.h

…

ConstantRange.cpp

[IR] Fix some Clang-tidy modernize-use-using warnings; other minor fixes (NFC).

2017-06-19 22:05:08 +00:00

Constants.cpp

[Constants] Fix copy-pasto in llvm_unreachable message. NFC

2017-06-27 19:57:51 +00:00

ConstantsContext.h

[IR] Stop deleting other signatures of User::operator new when we override one signature in a class derived from User

2017-06-12 23:25:15 +00:00

Core.cpp

[LLVM-C] [OCaml] Expose Type::subtypes.

2017-06-05 11:49:52 +00:00

DataLayout.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

DebugInfo.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

DebugInfoMetadata.cpp

Align definition of DW_OP_plus with DWARF spec [3/3]

2017-06-14 13:14:38 +00:00

DebugLoc.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

DiagnosticInfo.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

DiagnosticPrinter.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

DIBuilder.cpp

Move Object format code to lib/BinaryFormat.

2017-06-07 03:48:56 +00:00

Dominators.cpp

[Dominators] Add parent and sibling property verification (non-hacky)

2017-06-29 17:45:51 +00:00

Function.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

GCOV.cpp

…

Globals.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

GVMaterializer.cpp

…

InlineAsm.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

Instruction.cpp

[LoopVectorize] Don't preserve nsw/nuw flags on shrunken ops.

2017-06-09 03:56:15 +00:00

Instructions.cpp

[IR] Rename BinaryOperator::init to AssertOK and remove argument. Replace default case in switch with llvm_unreachable since all valid opcodes are covered.

2017-06-26 07:15:59 +00:00

IntrinsicInst.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

IRBuilder.cpp

[Atomics] Rename and change prototype for atomic memcpy intrinsic

2017-06-16 14:43:59 +00:00

IRPrintingPasses.cpp

…

LegacyPassManager.cpp

[llvm] Remove double semicolons

2017-06-06 05:08:36 +00:00

LLVMBuild.txt

Move Object format code to lib/BinaryFormat.

2017-06-07 03:48:56 +00:00

LLVMContext.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

LLVMContextImpl.cpp

[IR] Fix some Clang-tidy modernize-use-using warnings; other minor fixes (NFC).

2017-06-19 22:05:08 +00:00

LLVMContextImpl.h

[IR] Fix some Clang-tidy modernize-use-using warnings; other minor fixes (NFC).

2017-06-19 22:05:08 +00:00

Mangler.cpp

…

MDBuilder.cpp

…

Metadata.cpp

[IR] Fix some Clang-tidy modernize-use-using warnings; other minor fixes (NFC).

2017-06-19 22:05:08 +00:00

MetadataImpl.h

…

Module.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

ModuleSummaryIndex.cpp

[cfi] CFI-ICall for ThinLTO.

2017-06-16 00:18:29 +00:00

Operator.cpp

…

OptBisect.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

Pass.cpp

…

PassManager.cpp

…

PassRegistry.cpp

[LegacyPassManager] Remove TargetMachine constructors

2017-05-18 17:21:13 +00:00

ProfileSummary.cpp

…

Statepoint.cpp

[Statepoint] Add helper functions for GCRelocate and GCResult

2017-06-20 20:54:57 +00:00

SymbolTableListTraitsImpl.h

…

Type.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

TypeFinder.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

Use.cpp

…

User.cpp

[IR] De-virtualize ~Value to save a vptr

2017-05-18 17:24:10 +00:00

Value.cpp

[IR] De-virtualize ~Value to save a vptr

2017-05-18 17:24:10 +00:00

ValueSymbolTable.cpp

Sort the remaining #include lines in include/... and lib/....

2017-06-06 11:49:48 +00:00

ValueTypes.cpp

[MVT] add v1i1 MVT

2017-05-18 11:29:41 +00:00

Verifier.cpp

[Atomics] Rename and change prototype for atomic memcpy intrinsic

2017-06-16 14:43:59 +00:00