diff options
author | Roman Lebedev <lebedev.ri@gmail.com> | 2018-06-20 07:54:11 +0000 |
---|---|---|
committer | Roman Lebedev <lebedev.ri@gmail.com> | 2018-06-20 07:54:11 +0000 |
commit | 42a1ff11fb10040375067018bd517e85711e7f5d (patch) | |
tree | 207c01842a48be791b7b64566abf1f8ae0877b58 /lldb/packages/Python/lldbsuite/test/python_api/process/main.cpp | |
parent | c6079014468e5b09d79c9f4e08c49da71a57a735 (diff) | |
download | bcm5719-llvm-42a1ff11fb10040375067018bd517e85711e7f5d.tar.gz bcm5719-llvm-42a1ff11fb10040375067018bd517e85711e7f5d.zip |
[NFC][SCEV] Add tests related to bit masking (PR37793)
Summary:
Related to https://bugs.llvm.org/show_bug.cgi?id=37793, https://reviews.llvm.org/D46760#1127287
We'd like to do this canonicalization https://rise4fun.com/Alive/Gmc
But it is currently restricted by rL155136 / rL155362, which says:
```
// This is a constant shift of a constant shift. Be careful about hiding
// shl instructions behind bit masks. They are used to represent multiplies
// by a constant, and it is important that simple arithmetic expressions
// are still recognizable by scalar evolution.
//
// The transforms applied to shl are very similar to the transforms applied
// to mul by constant. We can be more aggressive about optimizing right
// shifts.
//
// Combinations of right and left shifts will still be optimized in
// DAGCombine where scalar evolution no longer applies.
```
I think these tests show that for *constants*, SCEV has no issues with that canonicalization.
Reviewers: mkazantsev, spatel, efriedma, sanjoy
Reviewed By: mkazantsev
Subscribers: sanjoy, javed.absar, llvm-commits, stoklund, bixia
Differential Revision: https://reviews.llvm.org/D48229
llvm-svn: 335101
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/python_api/process/main.cpp')
0 files changed, 0 insertions, 0 deletions