[PATCH] D111054: [Attributor] Introduce AAAssumptionInfo to propagate assumptions

[Joseph Huber via Phabricator via llvm-commits]

jhuber6 updated this revision to Diff 377701.
jhuber6 marked an inline comment as done.
jhuber6 added a comment.

Fixing `isValidState`.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D111054

Files:
  llvm/include/llvm/IR/Assumptions.h
  llvm/include/llvm/Transforms/IPO/Attributor.h
  llvm/lib/IR/Assumptions.cpp
  llvm/lib/Transforms/IPO/Attributor.cpp
  llvm/lib/Transforms/IPO/AttributorAttributes.cpp
  llvm/test/Transforms/Attributor/assumes_info.ll
  llvm/test/Transforms/Attributor/depgraph.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D111054.377701.patch
Type: text/x-patch
Size: 25641 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20211006/1fc8324a/attachment.bin>