diff options
author | Nikita Popov <npopov@redhat.com> | 2022-02-15 12:00:47 +0100 |
---|---|---|
committer | Nikita Popov <npopov@redhat.com> | 2022-02-15 12:04:24 +0100 |
commit | f35af77573d9e80bf6e61b3fdd20fe55191e962f (patch) | |
tree | 6674f964c84e765dcd907a0d26ed2a8d84fe55cb /clang/lib/Frontend/CompilerInvocation.cpp | |
parent | eccdf2d9b1286a976943489acb1642f5d7b35334 (diff) | |
download | llvm-f35af77573d9e80bf6e61b3fdd20fe55191e962f.zip llvm-f35af77573d9e80bf6e61b3fdd20fe55191e962f.tar.gz llvm-f35af77573d9e80bf6e61b3fdd20fe55191e962f.tar.bz2 |
[InstSimplify] Strip offsets once in computePointerICmp()
Instead of doing an inbounds strip first and another non-inbounds
strip afterward for equality comparisons, directly do a single
inbounds or non-inbounds strip based on whether we have an equality
predicate or not.
This is NFC-ish in that the alloca equality codepath is the only
part that sees additional non-inbounds offsets now, and for that
codepath it doesn't matter whether or not the GEP is inbounds, as
it does a stronger check itself. InstCombine would infer inbounds
for such GEPs.
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions