projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad8ffc5) | 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:54:31 +0000 (17:54 +0100)
commit780d2c532fe5ca4a368c5e631197a839e03a3cc4
tree92d999099bd9bb665beebeb22bf39aca354981e4tree | snapshot
parentad8ffc50104ff3c8cb401cef13bd71bf617db3a9commit | 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;