diff options
| author | John Brawn <john.brawn@arm.com> | 2018-06-04 16:53:57 +0000 |
|---|---|---|
| committer | John Brawn <john.brawn@arm.com> | 2018-06-04 16:53:57 +0000 |
| commit | c5a6392be3bd00c5ab31450a42a2fb713257f4ee (patch) | |
| tree | 3064442c13c57ff7cdd6ff3ca4e0ccbc0a73c941 /llvm/lib/Object/MachOObjectFile.cpp | |
| parent | f0b93f1e9e649dde693c40ce4fc929fba068abae (diff) | |
| download | llvm-c5a6392be3bd00c5ab31450a42a2fb713257f4ee.zip llvm-c5a6392be3bd00c5ab31450a42a2fb713257f4ee.tar.gz llvm-c5a6392be3bd00c5ab31450a42a2fb713257f4ee.tar.bz2 | |
[ValueTracking] Match select abs pattern when there's an sext involved
When checking a select to see if it matches an abs, allow the true/false values
to be a sign-extension of the comparison value instead of requiring that they're
directly the comparison value, as all the comparison cares about is the sign of
the value.
This fixes a regression due to r333702, where we were no longer generating ctlz
due to isKnownNonNegative failing to match such a pattern.
Differential Revision: https://reviews.llvm.org/D47631
llvm-svn: 333927
Diffstat (limited to 'llvm/lib/Object/MachOObjectFile.cpp')
0 files changed, 0 insertions, 0 deletions