about summary refs log tree commit diff homepage
path: root/lib/Module/IntrinsicCleaner.cpp
AgeCommit message (Expand)Author
2024-02-16drop llvm 9 and 10Daniel Schemmel
2024-02-08Add support for `Intrinsic::get_rounding` for LLVM 16Martin Nowack
2024-02-08Add support for opaque pointersMartin Nowack
2023-04-06Support disabling compiler warnings; Use with external headersMartin Nowack
2022-09-24Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it str...Pavel
2022-06-30remove LLVM < 9Frank Busse
2022-06-26Intrinsics: Add support for @llvm.f{ma,muladd}.f*Lukáš Zaoral
2022-03-17remove obsolete KLEE_LLVM legacy definesJulian Büning
2022-03-17remove LLVM < 6 from sourcesFrank Busse
2021-12-20llvm13: CreateGEP no longer accepts nullptrLukas Zaoral
2021-12-20llvm13: CreateLoad API with implicit types has been deprecatedLukas Zaoral
2021-09-10llvm12: Implement llvm.abs intrinsicLukas Zaoral
2021-09-10llvm11: Handle llvm.roundeven instrinsicLukas Zaoral
2021-09-10llvm12: Implement llvm.{s,u}{max,min} intrinsicsLukas Zaoral
2021-02-16add ifdefs for C++ exception handlingJulian Büning
2020-10-12Implemented support for C++ ExceptionsFelix Rath
2020-09-02More robust handling of unknown intrinsicsAlastair Reid
2020-06-29Implement fshr/fshl intrinsicsAlastair Reid
2019-11-15Implement @llvm.is.constant() intrinsic handling and add a test for it.Gleb Popov
2019-11-07Handle llvm.objectsize explicitlyMartin Nowack
2019-10-31LLVM 9.0: fourth parameter for @llvm.objectsize()Julian Büning
2019-10-31support compilation against LLVM 9.0Julian Büning
2019-09-20Add saturated arithmetic intrinsicsMateusz Naściszewski
2019-08-14Update basic block iterator after deleting instruction; add test caseMartin Nowack
2019-08-14fixed bug in IntrinsicCleaner trap cleanerMichael Bryman
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