diff options
| author | Yingwei Zheng <dtcxzyw2333@gmail.com> | 2023-12-27 06:06:16 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-27 06:06:16 +0800 |
| commit | aacff347af846e600d30eb1a8a38af75f8b33370 (patch) | |
| tree | c8f74d8dfd5d0dbb6f1b30d6aaf2c8f4db46ab32 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 7962bd5719b7a1acc595bbacdb479addd81703bc (diff) | |
| download | llvm-aacff347af846e600d30eb1a8a38af75f8b33370.zip llvm-aacff347af846e600d30eb1a8a38af75f8b33370.tar.gz llvm-aacff347af846e600d30eb1a8a38af75f8b33370.tar.bz2 | |
[InstCombine] Simplify `icmp pred (sdiv exact X, C), (sdiv exact Y, C)` into `icmp pred X, Y` when C is positive (#76409)
Alive2: https://alive2.llvm.org/ce/z/u49dQ9
It will improve the codegen of `std::_Vector_base<T>::~_Vector_base()` when `sizeof(T)` is not a power of 2.
NOTE: We can also fold `icmp signed-pred (sdiv exact X, C), (sdiv exact Y, C)` into `icmp signed-pred (sdiv exact Y, C), (sdiv exact X, C)` when C is negative. But I don't think it enables more optimizations for real-world applications.
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions