[PATCH] D86018: [Attributor] fix AAValueConstantRange and IntegerRangeState implementation

[Hideto Ueno via Phabricator via llvm-commits]

uenoku added a comment.

Why can't we take a union of assumed range?



================
Comment at: llvm/lib/Transforms/IPO/AttributorAttributes.cpp:6964
+      auto &OpAA =
+          A.getAAFor<AAValueConstantRange>(*this, IRPosition::value(OpV));
+      intersectKnown(
----------------
I'm not sure this propagation is necessary in `initialize` but at least, we need `TrackDpencdence = false` here. 


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

https://reviews.llvm.org/D86018