diff options
author | Noah Goldstein <goldstein.w.n@gmail.com> | 2023-04-27 11:03:40 -0500 |
---|---|---|
committer | Noah Goldstein <goldstein.w.n@gmail.com> | 2023-04-27 13:48:41 -0500 |
commit | d8e9dd33b2a5546af0b26243810712629d4d5f14 (patch) | |
tree | 5051e183f47727dd37017b7b853d541cec94ca97 /llvm/lib/IR/ModuleSummaryIndex.cpp | |
parent | 3db8ae1f68489c1843c4ce6af7a84ae2c18f06bb (diff) | |
download | llvm-d8e9dd33b2a5546af0b26243810712629d4d5f14.zip llvm-d8e9dd33b2a5546af0b26243810712629d4d5f14.tar.gz llvm-d8e9dd33b2a5546af0b26243810712629d4d5f14.tar.bz2 |
[ValueTracking] Add logic for `udiv x,y != 0` if `y u<= x`
Alive2 Link:
https://alive2.llvm.org/ce/z/2DKh46
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D149203
Diffstat (limited to 'llvm/lib/IR/ModuleSummaryIndex.cpp')
0 files changed, 0 insertions, 0 deletions