[PATCH] D80991: [WIP][Attributor] AAPotentialValues Attribute

[Shinji Okumura via Phabricator via llvm-commits]

okura added a comment.

- I didn't know what I should use to maintain potential values uniformly for integer type and floating point number type. So I consulted implementation of AAConstantRange and implemented it for integer type only at first. (by using a set of APInt)
- We have to represent a full set (which contains arbitrary possible elements). Because we actually cannot make the set, I represented an internal state by using a pair of boolean variable, which indicates whether the corresponding set is full or not, and a set of APInt.
- Logic in `Initialize` and `updateImpl` of each kind of IRPositions is quite incomplete and I haven't made any use of the new AA yet.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D80991/new/

https://reviews.llvm.org/D80991