[PATCH] D60012: [Attributor] Introduce bit-encodings for abstract states

[Hal Finkel via Phabricator via llvm-commits]

hfinkel accepted this revision.
hfinkel added a comment.
This revision is now accepted and ready to land.

LGTM.



================
Comment at: llvm/include/llvm/Transforms/IPO/Attributor.h:377
+/// reached when the assumed and known state/bits are equal. Users can
+/// force/inidicate a fixpoint. If an optimistic one is indicated, the known
+/// state will catch up with the assumed one, for a pessimistic fixpoint it is
----------------
inidicate -> indicate


================
Comment at: llvm/include/llvm/Transforms/IPO/Attributor.h:434
+
+  /// Keep only "assumed bits" also set in \p BitsEncoding but all known ones.
+  IntegerState &intersectAssumedBits(base_t BitsEncoding) {
----------------
Keep only "assumed bits" also set in \p BitsEncoding in addition to all known ones.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D60012