projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eae62b2) | patch
[instsimplify] Assume storage for byval args doesn't overlap allocas, globals, or...
authorPhilip Reames <listmail@philipreames.com>
Fri, 18 Feb 2022 19:06:54 +0000 (11:06 -0800)
committerPhilip Reames <listmail@philipreames.com>
Fri, 18 Feb 2022 19:08:01 +0000 (11:08 -0800)
commitff2e4c04c46a9173489a6aa7dd70b804105f4d03
treee63aa7bfa515f9021dee25f16a1c1ee6112c2dd5tree | snapshot
parenteae62b226630377e7b88ed019fa3b6c7cec12fd8commit | diff
[instsimplify] Assume storage for byval args doesn't overlap allocas, globals, or other byval args

This allows us to discharge many pointer comparisons based on byval arguments.

Differential Revision: https://reviews.llvm.org/D120133
llvm/lib/Analysis/InstructionSimplify.cpp diff | blob | history
llvm/test/Transforms/InstSimplify/compare.ll diff | blob | history
Domain: System / Toolchain;