Anna Thomas 3087bcdef2 [SafepointIRVerifier] Add verifier pass for finding GC relocation bugs ...

Original Patch and summary by Philip Reames.

RewriteStatepointsForGC tries to rewrite a function in a manner where
the optimizer can't end up using a pointer value after it might have
been relocated by a safepoint. This pass checks the invariant that
RSForGC is supposed to establish and that (if we constructed semantics
correctly) later passes must preserve.

This has been a really useful diagnostic tool when initially developing
the rewriting scheme and has found numerous bugs.

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

Reviewed by: swaroop.sridhar, mjacob

Subscribers: llvm-commits

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@307112 91177308-0d34-0410-b5e6-96231b3b80d8

2017-07-05 01:16:29 +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

[SafepointIRVerifier] Add verifier pass for finding GC relocation bugs

2017-07-05 01:16:29 +00:00

Comdat.cpp

…

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

[SafepointIRVerifier] Add verifier pass for finding GC relocation bugs

2017-07-05 01:16:29 +00:00

DataLayout.cpp

…

DebugInfo.cpp

…

DebugInfoMetadata.cpp

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

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

DebugLoc.cpp

…

DiagnosticInfo.cpp

…

DiagnosticPrinter.cpp

…

DIBuilder.cpp

…

Dominators.cpp

[Dominators] Do not perform expensive checks by default. Fix PR33656.

2017-06-30 16:33:04 +00:00

Function.cpp

…

GCOV.cpp

…

Globals.cpp

…

GVMaterializer.cpp

…

InlineAsm.cpp

…

Instruction.cpp

…

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

…

IRBuilder.cpp

[Atomics] Rename and change prototype for atomic memcpy intrinsic

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

IRPrintingPasses.cpp

…

LegacyPassManager.cpp

…

LLVMBuild.txt

…

LLVMContext.cpp

[ORE] Add diagnostics hotness threshold

2017-06-30 23:14:53 +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

[ORE] Add diagnostics hotness threshold

2017-06-30 23:14:53 +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

…

ModuleSummaryIndex.cpp

[cfi] CFI-ICall for ThinLTO.

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

Operator.cpp

…

OptBisect.cpp

…

Pass.cpp

…

PassManager.cpp

…

PassRegistry.cpp

…

ProfileSummary.cpp

…

SafepointIRVerifier.cpp

[SafepointIRVerifier] Add verifier pass for finding GC relocation bugs

2017-07-05 01:16:29 +00:00

Statepoint.cpp

[Statepoint] Add helper functions for GCRelocate and GCResult

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

SymbolTableListTraitsImpl.h

…

Type.cpp

…

TypeFinder.cpp

…

Use.cpp

…

User.cpp

…

Value.cpp

…

ValueSymbolTable.cpp

…

ValueTypes.cpp

…

Verifier.cpp

[Atomics] Rename and change prototype for atomic memcpy intrinsic

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