aboutsummaryrefslogtreecommitdiff
path: root/lib/VMCore/Verifier.cpp
AgeCommit message (Expand)Author
2012-04-16Remove support for the special 'fast' value for fpmath accuracy for the moment.Duncan Sands
2012-04-16Make it possible to indicate relaxed floating point requirements at the IR levelDuncan Sands
2012-04-14Rename "fpaccuracy" metadata to the more generic "fpmath". That's because I'mDuncan Sands
2012-04-10Express the number of ULPs in fpaccuracy metadata as a real rather than aDuncan Sands
2012-03-24Remove always true variable.Rafael Espindola
2012-03-24First part of PR12251. Add documentation and verifier support for the rangeRafael Espindola
2012-03-11llvm::SwitchInstStepan Dyatkovskiy
2012-03-08Taken into account Duncan's comments for r149481 dated by 2nd Feb 2012:Stepan Dyatkovskiy
2012-02-26Use the DT dominates function in the verifier.Rafael Espindola
2012-02-26Don't call dominates on unreachable instructions.Rafael Espindola
2012-02-25Remove spurious emacs mode marker.Nick Lewycky
2012-02-03Simplify some GEP checks in the verifier.Duncan Sands
2012-02-01SwitchInst refactoring.Stepan Dyatkovskiy
2012-01-20Extend Attributes to 64 bitsKostya Serebryany
2012-01-10Add 'llvm_unreachable' to passify GCC's understanding of the constraintsChandler Carruth
2012-01-10Remove unnecessary default cases in switches that cover all enum values.David Blaikie
2011-12-12Teach the verifier to reject all non-constant arguments to the secondChandler Carruth
2011-12-05Add support for vectors of pointers.Nadav Rotem
2011-09-27Check that catch clauses have pointer type.Duncan Sands
2011-09-27Have the verifier check that all landingpad operands are constants.Duncan Sands
2011-09-21The last verification check for the new EH model.Bill Wendling
2011-08-12Initial commit of the 'landingpad' instruction.Bill Wendling
2011-08-09Representation of 'atomic load' and 'atomic store' in IR.Eli Friedman
2011-08-08Remove unnecessary space.Bill Wendling
2011-07-30Revert r136253, r136263, r136269, r136313, r136325, r136326, r136329, r136338,Bill Wendling
2011-07-29have the verifier catch gep's into opaque struct types. PR10473Chris Lattner
2011-07-28LangRef and basic memory-representation/reading/writing for 'cmpxchg' andEli Friedman
2011-07-27Merge the contents from exception-handling-rewrite to the mainline.Bill Wendling
2011-07-25Initial implementation of 'fence' instruction, the new C++0x-style replacemen...Eli Friedman
2011-07-25Convert GetElementPtrInst to use ArrayRef.Jay Foad
2011-07-18land David Blaikie's patch to de-constify Type, with a few tweaks.Chris Lattner
2011-07-13Convert InsertValueInst and ExtractValueInst APIs to use ArrayRef.Jay Foad
2011-07-09Land the long talked about "type system rewrite" patch. ThisChris Lattner
2011-06-23Reinstate r133513 (reverted in r133700) with an additional fix for aJay Foad
2011-06-23Revert r133513:Eric Christopher
2011-06-21Reinstate r133435 and r133449 (reverted in r133499) now that the clangJay Foad
2011-06-21Revert r133435 and r133449 to appease buildbots.Chad Rosier
2011-06-20Change how PHINodes store their operands.Jay Foad
2011-06-20Make better use of the PHINode API.Jay Foad
2011-05-31Add a minor missing -verify check. Found by inspection.Eli Friedman
2011-04-08llvm.global_[cd]tor is defined to be either external, or appending with an arrayNick Lewycky
2011-04-04Remove some support for ReturnInsts with multiple operands, and forJay Foad
2011-01-15Allow unnamed_addr on declarations.Rafael Espindola
2011-01-13Reject uses of unnamed_addr in declarations.Rafael Espindola
2011-01-08First step in fixing PR8927:Rafael Espindola
2010-10-22Make some symbols static, move classes into anonymous namespaces.Benjamin Kramer
2010-10-19Get rid of static constructors for pass registration. Instead, every pass ex...Owen Anderson
2010-10-12Begin adding static dependence information to passes, which will allow us toOwen Anderson
2010-10-07Now with fewer extraneous semicolons!Owen Anderson
2010-09-30Allow llvm.gcroot to work with non-pointer allocas.Talin