diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-05-27 21:20:58 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-09-10 15:14:56 +0100 |
| commit | 96aa751760b4efc3424a82b573057008bc639c3b (patch) | |
| tree | 312ec435f64030f04d0876d68239f034c8e61c09 /test/Solver | |
| parent | f61db845d73d07261950dbd37cf7935bcac6acb7 (diff) | |
| download | klee-96aa751760b4efc3424a82b573057008bc639c3b.tar.gz | |
llvm12: Implement llvm.{s,u}{max,min} intrinsics
The vector variants are not implemented at the moment. See: https://reviews.llvm.org/D84125 Co-authored-by: Lukas Zaoral <lzaoral@redhat.com> Co-authored-by: Martin Nowack <m.nowack@imperial.ac.uk>
Diffstat (limited to 'test/Solver')
0 files changed, 0 insertions, 0 deletions