diff options
| author | Alastair Reid <adreid@google.com> | 2020-06-16 16:57:46 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-06-29 22:22:48 +0100 |
| commit | 67ea19efc36bbf8885f32e85d11f920342a7949c (patch) | |
| tree | 17d329f3901bc349d92a4e8ab570b10d6f066ad8 /utils/hacks/TreeGraphs/Animate.py | |
| parent | 51e28268a927e1e40899ff2df11faa553d3c2e79 (diff) | |
| download | klee-67ea19efc36bbf8885f32e85d11f920342a7949c.tar.gz | |
Implement fshr/fshl intrinsics
Changes:
- IntrinsicCleaner accepts fshr/fshl as accepted intrinsics
- Executor::executeCall converts fshr/fshl to urem/zext/concat/shift/extract
- Klee/main suppresses warnings about externals that are LLVM reserved
(i.e., begin with "llvm.")
- New test exercises 32 and 7 bit versions including oversize shift values
Test values are based on LLVM's test for fshl/fshr
- Changes that depend on existence of fshr/fshl are guarded by
#if LLVM_VERSION_CODE >= LLVM_VERSION(7, 0)
or
; REQUIRES: geq-llvm-7.0
Diffstat (limited to 'utils/hacks/TreeGraphs/Animate.py')
0 files changed, 0 insertions, 0 deletions