projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b9e2da) | patch
[WIP] Build assume from call
authorTyker <tyker1@outlook.com>
Sun, 2 Feb 2020 13:46:59 +0000 (14:46 +0100)
committerTyker <tyker1@outlook.com>
Sun, 2 Feb 2020 16:17:46 +0000 (17:17 +0100)
commit355e4bfd7890e50b492b2dc29f70fc41ad8f867f
treebabb2abdb60d89148a9d828be4752b5edc71cb46tree | snapshot
parent9b9e2da07dd3b103e5a41a3519d839117d994ffacommit | diff
[WIP] Build assume from call

Summary:
this is part of the implementation of http://lists.llvm.org/pipermail/llvm-dev/2019-December/137632.html

this patch gives the basis of building an assume to preserve all information from an instruction and add support for building an assume that preserve the information from a call.

Reviewers: jdoerfert

Reviewed By: jdoerfert

Subscribers: mgrang, fhahn, mgorny, hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D72475
llvm/include/llvm/IR/Attributes.h diff | blob | history
llvm/include/llvm/Transforms/Utils/KnowledgeRetention.h [new file with mode: 0644] blob
llvm/lib/IR/Attributes.cpp diff | blob | history
llvm/lib/IR/Core.cpp diff | blob | history
llvm/lib/Passes/PassBuilder.cpp diff | blob | history
llvm/lib/Passes/PassRegistry.def diff | blob | history
llvm/lib/Transforms/Utils/CMakeLists.txt diff | blob | history
llvm/lib/Transforms/Utils/KnowledgeRetention.cpp [new file with mode: 0644] blob
llvm/test/Transforms/Util/assume-builder.ll [new file with mode: 0644] blob
Domain: System / Toolchain;