summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IR/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* [IR] Make paramHasAttr to use arg indices instead of attr indicesReid Kleckner2017-04-141-2/+2
* Simplify some Verifier attribute checks with AttributeSetReid Kleckner2017-04-141-188/+175
* [IR] Make getParamAttributes take argument numbers, not ArgNo+1Reid Kleckner2017-04-131-3/+3
* Remove unused functions. Remove static qualifier from functions in header fil...Vassil Vassilev2017-04-111-22/+0
* Allow DataLayout to specify addrspace for allocas.Matt Arsenault2017-04-101-2/+3
* Verifier: Check some amdgpu calling convention restrictionsMatt Arsenault2017-04-041-0/+12
* Rename AttributeSet to AttributeListReid Kleckner2017-03-211-45/+48
* [DebugInfo] Emit address space with DW_AT_address_class attribute for pointer...Konstantin Zhuravlyov2017-03-081-0/+7
* Rephrase condition for better readability. NFCAdrian Prantl2017-03-071-1/+1
* Relax the conflicting function arg verifier to allow for inlined debugAdrian Prantl2017-03-071-0/+10
* Verfier: Move the reset of DebugFnArgs closer to other similar operations.Adrian Prantl2017-03-071-2/+1
* Verifier: Change Assert to AssertDI.Adrian Prantl2017-03-061-3/+3
* Teach the IR verifier to reject conflicting debug info for function arguments.Adrian Prantl2017-02-281-0/+38
* Add function importing info from samplepgo profile to the module summary.Dehao Chen2017-02-281-2/+2
* fix 80-column violationAdrian Prantl2017-02-231-1/+2
* Revert "Teach the IR verifier to reject conflicting debug info for function a...Adrian Prantl2017-02-231-38/+0
* Teach the IR verifier to reject conflicting debug info for function arguments.Adrian Prantl2017-02-211-0/+38
* [IR/Verifier] List the CU we weren't able to find in `llvm.dbg.cu`.Davide Italiano2017-02-201-4/+2
* [IR/Verifier] Don't visit DISubprograms more than needed.Davide Italiano2017-02-181-2/+0
* Verifier: Disallow a line number without a file in DISubprogramJustin Bogner2017-02-171-0/+2
* Add intrinsics for constrained floating point operationsAndrew Kaylor2017-01-261-0/+18
* [TBAAVerifier] Be stricter around verifying scalar nodesSanjoy Das2016-12-291-24/+21
* [TBAAVerifier] Make things const-consistent; NFCSanjoy Das2016-12-291-6/+6
* [TBAAVerifier] Memoize validity of scalar tbaa nodes; NFCISanjoy Das2016-12-291-5/+14
* Introduce element-wise atomic memcpy intrinsicIgor Laevsky2016-12-291-0/+26
* [DebugInfo] Added support for Checksum debug info feature.Amjad Aboud2016-12-251-0/+2
* Refactor the DIExpression fragment query interface (NFC)Adrian Prantl2016-12-221-3/+4
* Reapply r289926: attempt to fix windows buildAdrian Prantl2016-12-201-1/+2
* [IR] Remove the DIExpression field from DIGlobalVariable.Adrian Prantl2016-12-201-5/+20
* Revert "[IR] Remove the DIExpression field from DIGlobalVariable."Adrian Prantl2016-12-161-21/+5
* Move VerifierSupport into namespace llvm.Daniel Jasper2016-12-161-1/+5
* Extract a TBAAVerifier out of the verifier (NFC)Mehdi Amini2016-12-161-268/+268
* attempt to fix windows buildNico Weber2016-12-161-1/+2
* [IR] Remove the DIExpression field from DIGlobalVariable.Adrian Prantl2016-12-161-5/+20
* Revert "[IR] Remove the DIExpression field from DIGlobalVariable."Adrian Prantl2016-12-161-21/+5
* [IR] Remove the DIExpression field from DIGlobalVariable.Adrian Prantl2016-12-161-5/+21
* [Verifier] Allow TBAA metadata on atomicrmw and atomiccmpxchgSanjoy Das2016-12-151-1/+2
* Replace APFloatBase static fltSemantics data members with getter functionsStephan Bergmann2016-12-141-1/+1
* [Verifier] Add verification for TBAA metadataSanjoy Das2016-12-111-2/+265
* [DIExpression] Introduce a dedicated DW_OP_LLVM_fragment operationAdrian Prantl2016-12-051-9/+9
* [PM] Change the static object whose address is used to uniquely identifyChandler Carruth2016-11-231-1/+1
* [Verifier] clang-format a section; NFCSanjoy Das2016-11-091-6/+4
* [TBAA] Drop support for "old style" scalar TBAA tagsSanjoy Das2016-11-081-0/+13
* DebugInfo: make DW_TAG_atomic_type validVictor Leschuk2016-10-311-0/+1
* Verifier: Reject any unknown named MD nodes in the llvm.dbg namespace.Adrian Prantl2016-10-051-2/+7
* Revert "Verifier: Reject any unknown named MD nodes in the llvm.dbg namespace."Adrian Prantl2016-10-051-7/+2
* Verifier: Reject any unknown named MD nodes in the llvm.dbg namespace.Adrian Prantl2016-10-051-2/+7
* Verifier: Mark orphaned DICompileUnits as a debug info failure.Adrian Prantl2016-09-141-10/+10
* DebugInfo: New metadata representation for global variables.Peter Collingbourne2016-09-131-6/+2
* It should also be legal to pass a swifterror parameter to a call as a swifterrorArnold Schwaighofer2016-09-101-4/+9
OpenPOWER on IntegriCloud