projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c2d0336) | 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 17:15:50 +0000 (18:15 +0100)
commit8ebe001553d0c204cc41f3dbc595031828b1f140
treeb00d0b0322244dff153c4dcda19f95d203a5c6cbtree | snapshot
parentc2d03362081b1aa6cda79924c1d5fb77f2ed57aecommit | 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;