diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-17 15:57:53 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-17 16:02:55 +0100 |
| commit | a13c0f62c38131ef2656b06de02d82110abaf272 (patch) | |
| tree | fe5f0ca06a0d0e2b1fd6f8387a16c37c1a6e1e1c /llvm/lib/Object/COFFObjectFile.cpp | |
| parent | 4bfbfb9bcb790931b97da972ff02865810f43ce8 (diff) | |
| download | llvm-a13c0f62c38131ef2656b06de02d82110abaf272.zip llvm-a13c0f62c38131ef2656b06de02d82110abaf272.tar.gz llvm-a13c0f62c38131ef2656b06de02d82110abaf272.tar.bz2 | |
[InstSimplify] Fold x*C1/C2 <= x (PR48744)
We can fold x*C1/C2 <= x to true if C1 <= C2. This is valid even
if the multiplication is not nuw: https://alive2.llvm.org/ce/z/vULors
The multiplication or division can be replaced by shifts. We don't
handle the case where both are shifts, as that should get folded
away by InstCombine.
Diffstat (limited to 'llvm/lib/Object/COFFObjectFile.cpp')
0 files changed, 0 insertions, 0 deletions