diff options
| author | Roman Lebedev <lebedev.ri@gmail.com> | 2020-12-09 18:04:08 +0300 |
|---|---|---|
| committer | Roman Lebedev <lebedev.ri@gmail.com> | 2020-12-09 18:19:09 +0300 |
| commit | e6f2a79d7aa01f8dd7f0194f97a50b480e8ede71 (patch) | |
| tree | 856b8ecaab6e0485a75d8bc9f979dcdeb13ce2d5 /lldb/source/Plugins/ScriptInterpreter/Python/PythonReadline.h | |
| parent | f16320b90b8381f2e3aac1ec17f39eff06f09ea0 (diff) | |
| download | llvm-e6f2a79d7aa01f8dd7f0194f97a50b480e8ede71.zip llvm-e6f2a79d7aa01f8dd7f0194f97a50b480e8ede71.tar.gz llvm-e6f2a79d7aa01f8dd7f0194f97a50b480e8ede71.tar.bz2 | |
[InstCombine] canonicalizeSaturatedAdd(): last fold is only valid for strict comparison (PR48390)
We could create uadd.sat under incorrect circumstances
if a select with -1 as the false value was canonicalized
by swapping the T/F values. Unlike the other transforms
in the same function, it is not invariant to equality.
Some alive proofs: https://alive2.llvm.org/ce/z/emmKKL
Based on original patch by David Green!
Fixes https://bugs.llvm.org/show_bug.cgi?id=48390
Differential Revision: https://reviews.llvm.org/D92717
Diffstat (limited to 'lldb/source/Plugins/ScriptInterpreter/Python/PythonReadline.h')
0 files changed, 0 insertions, 0 deletions