summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IR/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Use branch funnels for virtual calls when retpoline mitigation is enabled.Peter Collingbourne2018-03-091-7/+10
* [DebugInfo] Add verifier for DICompositeType vectorMatt Davis2018-03-081-0/+8
* Refactor check for dllimport in the Verifier.Rafael Espindola2018-03-061-11/+6
* [DebugInfo] Unify ChecksumKind and Checksum value in DIFileScott Linder2018-02-121-16/+16
* Add DWARF for discriminated unionsAdrian Prantl2018-02-061-1/+7
* Add IRBuilder API to create memcpy/memmove calls with differing source and de...Daniel Neilson2018-01-271-4/+0
* [Metadata] Extend 'count' field of DISubrange to take a metadata nodeSander de Smalen2018-01-241-1/+6
* Verifier: fix bug treating debug info issue as non-debug info issueYaxun Liu2018-01-231-2/+2
* Remove alignment argument from memcpy/memmove/memset in favour of alignment a...Daniel Neilson2018-01-191-7/+12
* Make GlobalValues with non-default visibilility dso_local.Rafael Espindola2018-01-181-0/+4
* [NFC] Change MemIntrinsicInst::setAlignment() to take an unsigned instead of ...Daniel Neilson2018-01-121-3/+7
* Make internal/private GVs implicitly dso_local.Rafael Espindola2018-01-111-0/+5
* Tighten up DIFile verifier for checksumsPaul Robinson2018-01-111-2/+18
* Add a pass to generate synthetic function entry counts.Easwaran Raman2018-01-091-2/+5
* Debug Info: Support DW_AT_calling_convention on composite types.Adrian Prantl2018-01-051-2/+5
* Use phi ranges to simplify code. No functionality change intended.Benjamin Kramer2017-12-301-12/+11
* [IR] Support the new TBAA metadata format in IR verifierIvan A. Kosarev2017-12-181-33/+109
* [Verifier] Check that GEP indexes has correct typesIgor Laevsky2017-12-141-0/+4
* Remove redundant includes from lib/IR.Michael Zolotukhin2017-12-131-1/+0
* Hardware-assisted AddressSanitizer (llvm part).Evgeniy Stepanov2017-12-091-0/+1
* Move getVariableSize from Verifier.cpp into DIVariable::getSize() (NFC)Adrian Prantl2017-11-281-26/+3
* [Verifier] Remove the -verify-debug-info cl::optVedant Kumar2017-11-021-2/+0
* Create instruction classes for identifying any atomicity of memory intrinsic....Daniel Neilson2017-10-301-5/+3
* Represent runtime preemption in the IR.Sean Fertile2017-10-261-0/+4
* Verifier: Ignore CUs pulled in by ODR-uniqued types.Adrian Prantl2017-10-181-0/+5
* Revert "Verifier: Ignore CUs pulled in by ODR-uniqued types."Adrian Prantl2017-10-181-6/+0
* Verifier: Ignore CUs pulled in by ODR-uniqued types.Adrian Prantl2017-10-181-0/+6
* Move the stripping of invalid debug info from the Verifier to AutoUpgrade.Adrian Prantl2017-10-021-25/+4
* [Verifier] Stop accepting broken DIGlobalVariable(s).Davide Italiano2017-09-241-1/+3
* Fix uninteneded fallthrough detected by GCC warningReid Kleckner2017-09-221-0/+1
* Re-land r313825: "[IR] Add llvm.dbg.addr, a control-dependent version of llvm...Reid Kleckner2017-09-211-0/+2
* Revert r313825: "[IR] Add llvm.dbg.addr, a control-dependent version of llvm....Daniel Jasper2017-09-211-2/+0
* [IR] Add llvm.dbg.addr, a control-dependent version of llvm.dbg.declareReid Kleckner2017-09-201-0/+2
* Move duplicate helpers from DbgValueInst / DbgDeclareInst to DbgInfoIntrinsicReid Kleckner2017-09-071-28/+11
* Revert "Revert r312139 "Verifier: Verify the correctness of fragment expressi...Adrian Prantl2017-08-311-8/+22
* Revert r312139 "Verifier: Verify the correctness of fragment expressions atta...Hans Wennborg2017-08-301-22/+8
* Verifier: Verify the correctness of fragment expressions attached to globals.Adrian Prantl2017-08-301-8/+22
* [Verifier] Diagnose invalid DIType references instead of crashing.Davide Italiano2017-08-251-0/+1
* Add ‘llvm.experimental.constrained.fma‘ Intrinsic.Wei Ding2017-08-241-2/+4
* Retire the llvm.dbg.mir hack after r311594.Adrian Prantl2017-08-231-1/+1
* Add a Verifier check for DILocation's scopes.Adrian Prantl2017-08-231-0/+4
* [Verifier] Avoid visiting DIGlobalVariables twice.Davide Italiano2017-08-171-2/+0
* [Verifier] Reject globals without a type associated.Davide Italiano2017-08-161-0/+1
* Add strictfp attribute to prevent unwanted optimizations of libm callsAndrew Kaylor2017-08-141-0/+1
* Remove PrologEpilogInserter's usage of DBG_VALUE's offset fieldAdrian Prantl2017-08-011-1/+1
* Add element atomic memset intrinsicDaniel Neilson2017-07-121-1/+32
* Add element atomic memmove intrinsicDaniel Neilson2017-07-121-0/+36
* Enhance synchscope representationKonstantin Zhuravlyov2017-07-111-2/+2
* [IR] Make use of Type::isPtrOrPtrVectorTy/isIntOrIntVectorTy/isFPOrFPVectorTy...Craig Topper2017-07-091-11/+8
* [IR] Use CmpInst::isFPPredicate/isIntPredicate in a few other places. NFCCraig Topper2017-07-051-4/+2
OpenPOWER on IntegriCloud