diff options
| author | Alexander Shaposhnikov <6532716+alexander-shaposhnikov@users.noreply.github.com> | 2024-01-02 11:00:03 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-02 11:00:03 -0800 |
| commit | 3af59cfe0b5a319c165e3c74300aacdd42827c2d (patch) | |
| tree | 81352e504611774fea09fa5fc23c922d7df72187 /llvm/lib/Object/WasmObjectFile.cpp | |
| parent | d6c4d4c9b910e8ad5ed7cd4825a143742041c1f4 (diff) | |
| download | llvm-3af59cfe0b5a319c165e3c74300aacdd42827c2d.zip llvm-3af59cfe0b5a319c165e3c74300aacdd42827c2d.tar.gz llvm-3af59cfe0b5a319c165e3c74300aacdd42827c2d.tar.bz2 | |
[ConstraintElim] Add facts implied by llvm.abs (#73189)
Add "abs(x) >=s x" fact.
https://alive2.llvm.org/ce/z/gOrrU3
Test plan: ninja check-all
Diffstat (limited to 'llvm/lib/Object/WasmObjectFile.cpp')
0 files changed, 0 insertions, 0 deletions