index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
Module
/
IntrinsicCleaner.cpp
Age
Commit message (
Expand
)
Author
2024-02-08
Add support for `Intrinsic::get_rounding` for LLVM 16
Martin Nowack
2024-02-08
Add support for opaque pointers
Martin Nowack
2023-04-06
Support disabling compiler warnings; Use with external headers
Martin Nowack
2022-09-24
Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it str...
Pavel
2022-06-30
remove LLVM < 9
Frank Busse
2022-06-26
Intrinsics: Add support for @llvm.f{ma,muladd}.f*
Lukáš Zaoral
2022-03-17
remove obsolete KLEE_LLVM legacy defines
Julian Büning
2022-03-17
remove LLVM < 6 from sources
Frank Busse
2021-12-20
llvm13: CreateGEP no longer accepts nullptr
Lukas Zaoral
2021-12-20
llvm13: CreateLoad API with implicit types has been deprecated
Lukas Zaoral
2021-09-10
llvm12: Implement llvm.abs intrinsic
Lukas Zaoral
2021-09-10
llvm11: Handle llvm.roundeven instrinsic
Lukas Zaoral
2021-09-10
llvm12: Implement llvm.{s,u}{max,min} intrinsics
Lukas Zaoral
2021-02-16
add ifdefs for C++ exception handling
Julian Büning
2020-10-12
Implemented support for C++ Exceptions
Felix Rath
2020-09-02
More robust handling of unknown intrinsics
Alastair Reid
2020-06-29
Implement fshr/fshl intrinsics
Alastair Reid
2019-11-15
Implement @llvm.is.constant() intrinsic handling and add a test for it.
Gleb Popov
2019-11-07
Handle llvm.objectsize explicitly
Martin Nowack
2019-10-31
LLVM 9.0: fourth parameter for @llvm.objectsize()
Julian Büning
2019-10-31
support compilation against LLVM 9.0
Julian Büning
2019-09-20
Add saturated arithmetic intrinsics
Mateusz Naściszewski
2019-08-14
Update basic block iterator after deleting instruction; add test case
Martin Nowack
2019-08-14
fixed bug in IntrinsicCleaner trap cleaner
Michael Bryman
2019-05-28
Implement handling of the llvm.fabs intrinsic
Felix Rath
2019-03-21
drop support for LLVM <= 3.7
Julian Büning
2019-03-21
remove obsolete macro KLEE_LLVM_GEP_TYPE
Julian Büning
2019-03-19
Add support to assign debug instructions to optimised code
Martin Nowack
2019-03-19
Use debugging information from newer LLVM versions
Martin Nowack
2019-03-19
Refactor InstructionInfoTable
Martin Nowack
2018-10-26
llvm5: Intrinsic::objectsize has three arguments
Jiri Slaby
2018-10-26
llvm5: handle getOrInsertFunction terminator
Jiri Slaby
2018-08-03
Replace remaining *Inst::Create() calls with llvm::Builder
Martin Nowack
2018-07-12
llvm38: no more implicit iterators
Richard Trembecký
2018-05-24
llvm37: handle GetElementPtrInst::Create's new parameter
Jiri Slaby
2018-05-22
clang-format on lib/Module/{IntrinsicCleaner.cpp,Passes.h}
Julian Büning
2018-05-22
some housekeeping in Passes.h and IntrinsicCleaner.cpp
Julian Büning
2018-05-09
Remove workaround for bug in older LLVM version (< 3)
Martin Nowack
2017-07-23
Remove support for LLVM < 3.4
Martin Nowack
2017-02-25
llvm: stop using global context
Jiri Slaby
2016-10-18
Fix `-Wmisleading-indentation` warning and also correctly set the
Dan Liew
2015-12-19
Implement support for lowering the ``llvm.objectsize`` intrinsic
Dan Liew
2015-02-13
refactor integer overflow detection, add signed int
Luca Dariz
2015-02-13
Fix overflow detection in unsigned multiplication
Luca Dariz
2015-02-13
Detect overflow of unsigned add, sub and mul operations
Luca Dariz
2015-02-13
Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"
Cristian Cadar
2015-02-10
Merged @luckyluke's change for detecting overflow of unsigned add, sub
Cristian Cadar
2013-12-06
Deprecate LLVM 2.8 and lower
Martin Nowack
2013-10-08
Remove llvm.trap declaration after cleaning all uses.
Lei Zhang
2013-09-23
Lower intrinsic instruction "llvm.trap" to a call of the abort() function.
Lei Zhang
[next]