[BasicAA] Include MayBeCrossIteration in cache key
authorNikita Popov <npopov@redhat.com>
Tue, 18 Oct 2022 10:05:12 +0000 (12:05 +0200)
committerNikita Popov <npopov@redhat.com>
Mon, 31 Oct 2022 08:59:42 +0000 (09:59 +0100)
commitefbb4d0245b50dd8ad80a99ea7f676576fd538f7
treebfa1c41426de783e08208b417ee36424305dd68f
parentf2bd7acacdd46443fecafd1722c21181a1bac4a4
[BasicAA] Include MayBeCrossIteration in cache key

Rather than switching to a new AAQI instance with empty cache when
MayBeCrossIteration is toggled, include the value in the cache key.

The implementation redundantly include the information in both sides
of the pair, but that seems simpler than trying to store it only on
one side.

Differential Revision: https://reviews.llvm.org/D136175
llvm/include/llvm/Analysis/AliasAnalysis.h
llvm/lib/Analysis/BasicAliasAnalysis.cpp