diff options
| author | Yingwei Zheng <dtcxzyw2333@gmail.com> | 2023-11-16 17:30:01 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-16 17:30:01 +0800 |
| commit | e8fe15ccf1a0e3fab66200471b2e7d9cd7228f4b (patch) | |
| tree | 83b7151d26f1609f4c1fe8b5a7d572d474494e25 /llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp | |
| parent | c4afeccdd235a282d200c450e06a730504a66a08 (diff) | |
| download | llvm-e8fe15ccf1a0e3fab66200471b2e7d9cd7228f4b.zip llvm-e8fe15ccf1a0e3fab66200471b2e7d9cd7228f4b.tar.gz llvm-e8fe15ccf1a0e3fab66200471b2e7d9cd7228f4b.tar.bz2 | |
[InstCombine] Add exact flags for ext idiom `shr (shl X, Y), Y` (#72483)
This patch adds exact flags for sext/zext idiom `shr (shl X, Y), Y`.
Alive2: https://alive2.llvm.org/ce/z/xYFpfB
We can generalize it to handle pattern `shr (shl X, Y), Z` with `Y u>=
Z` (e.g., non-splat vectors). But I don't think it's worth the effort.
This missed optimization is discovered with the help of
https://github.com/AliveToolkit/alive2/pull/962.
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeAnalyzer.cpp')
0 files changed, 0 insertions, 0 deletions