diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2018-01-25 16:34:36 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2018-01-25 16:34:36 +0000 |
| commit | 1d68112c4b9ec7502ed9776555fd499cb2483347 (patch) | |
| tree | 17217fbd74e2a3c4c209e0f02fd3c88430eb9f66 /llvm/lib/Analysis/ModuleSummaryAnalysis.cpp | |
| parent | 0f95dd234d360b049bfc40d8a63f22468d570cd4 (diff) | |
| download | llvm-1d68112c4b9ec7502ed9776555fd499cb2483347.zip llvm-1d68112c4b9ec7502ed9776555fd499cb2483347.tar.gz llvm-1d68112c4b9ec7502ed9776555fd499cb2483347.tar.bz2 | |
[InstCombine] narrow masked zexted binops (PR35792)
This is guarded by shouldChangeType(), so the tests show that
we don't do the fold if the narrower type is not legal. Note
that there is a proposal (D42424) that would change the results
for the specific cases shown in these tests. That difference is
also discussed in PR35792:
https://bugs.llvm.org/show_bug.cgi?id=35792
Alive proofs for the cases handled here as well as the bitwise
logic binops that we should already do better on:
https://rise4fun.com/Alive/c97
https://rise4fun.com/Alive/Lc5E
https://rise4fun.com/Alive/kdf
llvm-svn: 323437
Diffstat (limited to 'llvm/lib/Analysis/ModuleSummaryAnalysis.cpp')
0 files changed, 0 insertions, 0 deletions