about summary refs log tree commit diff homepage
path: root/lib/Module/IntrinsicCleaner.cpp
AgeCommit message (Expand)Author
2019-05-28Implement handling of the llvm.fabs intrinsicFelix Rath
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-21remove obsolete macro KLEE_LLVM_GEP_TYPEJulian Büning
2019-03-19Add support to assign debug instructions to optimised codeMartin Nowack
2019-03-19Use debugging information from newer LLVM versionsMartin Nowack
2019-03-19Refactor InstructionInfoTableMartin Nowack
2018-10-26llvm5: Intrinsic::objectsize has three argumentsJiri Slaby
2018-10-26llvm5: handle getOrInsertFunction terminatorJiri Slaby
2018-08-03Replace remaining *Inst::Create() calls with llvm::BuilderMartin Nowack
2018-07-12llvm38: no more implicit iteratorsRichard Trembecký
2018-05-24llvm37: handle GetElementPtrInst::Create's new parameterJiri Slaby
2018-05-22clang-format on lib/Module/{IntrinsicCleaner.cpp,Passes.h}Julian Büning
2018-05-22some housekeeping in Passes.h and IntrinsicCleaner.cppJulian Büning
2018-05-09Remove workaround for bug in older LLVM version (< 3)Martin Nowack
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-02-25llvm: stop using global contextJiri Slaby
2016-10-18Fix `-Wmisleading-indentation` warning and also correctly set theDan Liew
2015-12-19Implement support for lowering the ``llvm.objectsize`` intrinsicDan Liew
2015-02-13refactor integer overflow detection, add signed intLuca Dariz
2015-02-13Fix overflow detection in unsigned multiplicationLuca Dariz
2015-02-13Detect overflow of unsigned add, sub and mul operationsLuca Dariz
2015-02-13Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"Cristian Cadar
2015-02-10Merged @luckyluke's change for detecting overflow of unsigned add, subCristian Cadar
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-10-08Remove llvm.trap declaration after cleaning all uses.Lei Zhang
2013-09-23Lower intrinsic instruction "llvm.trap" to a call of the abort() function.Lei Zhang
2013-08-27Port to LLVM 3.3Martin Nowack
2013-08-15Implemented llvm.umul.with.overflowMartin Nowack
2013-04-04Patch by Michael Contreras and Jiri Slaby for compiling KLEE with LLVM 3.2Cristian Cadar
2012-10-08Make the changes in r165394 be conditional on post LLVM 3.1 changes.Micah Villmow
2012-10-08Move TargetData to DataLayout.Micah Villmow
2012-04-10Lowering support for the llvm.uadd.with.overflow intrinsic.Peter Collingbourne
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2010-07-15Update to match new 2.8 CallInst getOperand API.Daniel Dunbar
2010-06-24Remove llvm.dbg.value intrinsic new to LLVM 2.7Peter Collingbourne
2010-05-02Add missing include of Config.h, which was causing LLVM version checks to beDaniel Dunbar
2010-03-14Update for 2.7.Daniel Dunbar
2009-08-17Update for LLVM API change.Daniel Dunbar
2009-08-01Implement va_arg handling for x86_64.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 06:31:58 +0000