diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2020-03-27 16:55:31 -0400 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2020-03-27 17:33:59 -0400 |
| commit | 0f56bbc1a5b2ddc881d1c55c9024b9c473dac6f0 (patch) | |
| tree | 5789129f312b9ff86f09fad54fe98bc88a7b4ff5 /llvm/lib/Support/VirtualFileSystem.cpp | |
| parent | e72730ee3a5740c3a8be9db03eb30f00ef9b53e1 (diff) | |
| download | llvm-0f56bbc1a5b2ddc881d1c55c9024b9c473dac6f0.zip llvm-0f56bbc1a5b2ddc881d1c55c9024b9c473dac6f0.tar.gz llvm-0f56bbc1a5b2ddc881d1c55c9024b9c473dac6f0.tar.bz2 | |
[InstCombine] reduce FP-casted and bitcasted signbit check
PR45305:
https://bugs.llvm.org/show_bug.cgi?id=45305
Alive2 proofs:
http://volta.cs.utah.edu:8080/z/bVyrko
http://volta.cs.utah.edu:8080/z/Vxpz9q
Diffstat (limited to 'llvm/lib/Support/VirtualFileSystem.cpp')
0 files changed, 0 insertions, 0 deletions