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
/
test
/
Intrinsics
Age
Commit message (
Expand
)
Author
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-09-20
Move intrinsics tests to the proper directory
Mateusz Naściszewski
2019-05-28
Implement handling of the llvm.fabs intrinsic
Felix Rath
2019-03-21
remove tests for LLVM <= 3.7
Julian Büning
2019-03-12
Fixed comments to objectsize.ll and objectsize.leq49.ll
Cristian Cadar
2019-03-12
Removed unneeded and confusing disable-opt option, reformatted Optimize() fun...
Cristian Cadar
2018-10-26
llvm5: test, change objectsize
Jiri Slaby
2018-05-24
test: add versions of some tests for LLVM 3.7
Richard Trembecký
2017-07-23
Updated test cases to reflect removal of LLVM 2.9
Martin Nowack
2015-12-19
Implement support for lowering the ``llvm.objectsize`` intrinsic
Dan Liew