diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2022-11-02 08:21:42 -0400 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2022-11-02 08:23:52 -0400 |
| commit | b24e2f6ef6704652f52e1dc24e4e1cae5144fb7a (patch) | |
| tree | b5eb35fa54934915bc6e95c4735052877c179a82 /llvm/lib/Transforms/Utils/LoopUtils.cpp | |
| parent | 6f77979a4b1348d136995644c1f4ad37b50d6580 (diff) | |
| download | llvm-b24e2f6ef6704652f52e1dc24e4e1cae5144fb7a.zip llvm-b24e2f6ef6704652f52e1dc24e4e1cae5144fb7a.tar.gz llvm-b24e2f6ef6704652f52e1dc24e4e1cae5144fb7a.tar.bz2 | |
[InstCombine] use logical-and matcher to avoid crash
Follow-on to:
ec0b406e16c44f1554
This should prevent crashing for example like issue #58552
by not matching a select-of-vectors-with-scalar-condition.
The test that shows a regression seems unlikely to occur
in real code.
This also picks up an optimization in the case where a real
(bitwise) logic op is used. We could already convert some
similar select ops to real logic via impliesPoison(), so
we don't see more diffs on commuted tests. Using commutative
matchers (when safe) might also handle one of the TODO tests.
Diffstat (limited to 'llvm/lib/Transforms/Utils/LoopUtils.cpp')
0 files changed, 0 insertions, 0 deletions