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

[Tyker via Phabricator via llvm-commits]

Tyker created this revision.
Tyker added a reviewer: jdoerfert.
Herald added subscribers: llvm-commits, dexonsmith, hiraditya, mgorny.
Herald added a reviewer: sstefan1.
Herald added a project: LLVM.
Tyker updated this revision to Diff 240359.
Tyker added a parent revision: D72885: [WIP] Add Query API for llvm.assume holding attributes.

This patch adds the basis for droppable uses and applies it to code sinking in InstCombine form uses in llvm.assume. I also prevented llvm.assume(i1 true) to considered dead if it still has information in this operand bundle as it was making testing harder.


https://reviews.llvm.org/D73404

Files:
  llvm/include/llvm/ADT/STLExtras.h
  llvm/include/llvm/IR/User.h
  llvm/include/llvm/IR/Value.h
  llvm/include/llvm/Transforms/Utils/KnowledgeRetention.h
  llvm/lib/IR/AsmWriter.cpp
  llvm/lib/IR/User.cpp
  llvm/lib/IR/Value.cpp
  llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp
  llvm/lib/Transforms/InstCombine/InstructionCombining.cpp
  llvm/lib/Transforms/Utils/KnowledgeRetention.cpp
  llvm/lib/Transforms/Utils/Local.cpp
  llvm/test/Transforms/InstCombine/assume.ll
  llvm/unittests/Transforms/Utils/CMakeLists.txt
  llvm/unittests/Transforms/Utils/KnowledgeRetentionTest.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D73404.240359.patch
Type: text/x-patch
Size: 37688 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200125/6cb2b2f0/attachment.bin>