projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d17ae2) | patch
[InstCombine] Fold icmp eq of non-inbounds geps
authorNikita Popov <npopov@redhat.com>
Tue, 21 Mar 2023 09:46:13 +0000 (10:46 +0100)
committerNikita Popov <npopov@redhat.com>
Tue, 21 Mar 2023 09:51:37 +0000 (10:51 +0100)
commit289542b1e72dc4fe17093952dfb1b04cce259183
treeef8bf3dbc5ee40e5e612454828496bd01d9afdc6tree | snapshot
parent5d17ae2d5d1ab482058b345eaa138125e21b7087commit | diff
[InstCombine] Fold icmp eq of non-inbounds geps

We can fold equality comparisons of non-inbounds geps to offset
comparison (https://alive2.llvm.org/ce/z/x2Zp8b). The inbounds
requirement is only necessary for relational comparisons.
llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp diff | blob | history
llvm/test/Transforms/InstCombine/icmp-gep.ll diff | blob | history
Domain: System / Toolchain;