[Attributor] Multi-range accesses can be exact
authorJohannes Doerfert <johannes@jdoerfert.de>
Mon, 23 Jan 2023 07:18:55 +0000 (23:18 -0800)
committerJohannes Doerfert <johannes@jdoerfert.de>
Mon, 23 Jan 2023 07:18:55 +0000 (23:18 -0800)
commit538cd2e8833eccc47179add268609b5adc558465
tree9992a09e57ab6e5426fd462ad06f5c648b371926
parent129faec711693ac05b0dbf97c7e84e83dc0bbb88
[Attributor] Multi-range accesses can be exact

Even if we have multiple access ranges, the access can be exact. It is
not a MUST access but that is taken care of elsewhere. The tests were
wrong as they contained uninitialized memory. When the memory is
initialized it works as expected.
llvm/lib/Transforms/IPO/AttributorAttributes.cpp
llvm/test/Transforms/Attributor/multiple-offsets-pointer-info.ll