diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2021-11-06 12:54:29 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-11-06 21:03:21 +0100 |
| commit | e3cec17b2db292227a2b92d46e653372dad711af (patch) | |
| tree | 04cf65e497feb604d19c240e4375359b44d5b3b4 /llvm/lib/Target/WebAssembly/WebAssemblyCFGStackify.cpp | |
| parent | 859a6d973f3d9c9fde9c7de44b8a215711eb5141 (diff) | |
| download | llvm-e3cec17b2db292227a2b92d46e653372dad711af.zip llvm-e3cec17b2db292227a2b92d46e653372dad711af.tar.gz llvm-e3cec17b2db292227a2b92d46e653372dad711af.tar.bz2 | |
[InstSimplify] Remove incorrect icmp of gep fold (PR52429)
As described in https://bugs.llvm.org/show_bug.cgi?id=52429 this
fold is incorrect, because inbounds only guarantees that the
pointers don't wrap in the unsigned space: It is possible that
the sign boundary is crossed by an object.
I'm dropping the fold entirely rather than adjusting it, because
computePointerICmp() fully subsumes it (just with correct predicate
handling).
Differential Revision: https://reviews.llvm.org/D113343
Diffstat (limited to 'llvm/lib/Target/WebAssembly/WebAssemblyCFGStackify.cpp')
0 files changed, 0 insertions, 0 deletions