diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-03-26 20:16:57 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-03-26 20:21:05 +0100 |
| commit | fd7df0cf3873a0c9eef6cce4dab05551ff6e0e8d (patch) | |
| tree | b5e1353b5841b48a1f06eccccb53f47073259b27 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 9666e89d577887cf574507207484a066588fc9ca (diff) | |
[ValueTracking] Handle shl pair in isKnownNonEqual()
Handle (x << s) != (y << s) where x != y and the shifts are
non-wrapping. Once again, this establishes parity with the
corresponing mul fold that already exists. The shift case is
more powerful because we don't need to guard against multiplies
by zero.
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions