[Attributor] Merge ranges by expansion, avoid unknown ranges
authorJohannes Doerfert <johannes@jdoerfert.de>
Sat, 3 Jun 2023 02:30:17 +0000 (19:30 -0700)
committerJohannes Doerfert <johannes@jdoerfert.de>
Mon, 5 Jun 2023 23:53:46 +0000 (16:53 -0700)
commit532356e82d9be75f969c97a76a8e7348ad05bc27
treeaa95c6fd43f47d4a1dc83a85a2845076d6900bf9
parent87d13b877617e8c17e04bbe3babb9362ac0e4507
[Attributor] Merge ranges by expansion, avoid unknown ranges

Different offsets can be handled by expansion rather than defaulting to
an unknown offset. Thus, [4,4] & [8,8] will result in [4, 12] rather
than [unknown, unknown].
llvm/include/llvm/Transforms/IPO/Attributor.h
llvm/test/Transforms/Attributor/value-simplify-pointer-info-vec.ll