[PATCH] D73404: Basis of dropping uses in llvm.assume.

[Tyker via Phabricator via llvm-commits]

Tyker updated this revision to Diff 248204.
Tyker added a comment.

Changes:

- Dropped uses in assume are represented the tag ignore and the values are replaced with undef.
- this broke the ordering invariance that hasAttributeInAssume was depending upon so i changed the implementation to a more naive linear search.
- changed the test in KnowledgeRetentionTest.cpp to make them easier to write.
- adapted the LangRef and verifier to the new "ignore" tag.

an assume containg a dropped use now looks like

  call void @llvm.assume(i1 true) [ "ignore"(i32* undef, i64 8) ]


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

https://reviews.llvm.org/D73404

Files:
  llvm/docs/LangRef.rst
  llvm/include/llvm/IR/User.h
  llvm/include/llvm/IR/Value.h
  llvm/lib/Analysis/KnowledgeRetention.cpp
  llvm/lib/IR/User.cpp
  llvm/lib/IR/Value.cpp
  llvm/lib/IR/Verifier.cpp
  llvm/unittests/Analysis/KnowledgeRetentionTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D73404.248204.patch
Type: text/x-patch
Size: 11793 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200304/ef5b7e41/attachment.bin>