diff options
author | Tyker <tyker1@outlook.com> | 2020-02-02 14:46:59 +0100 |
---|---|---|
committer | Tyker <tyker1@outlook.com> | 2020-02-02 17:17:46 +0100 |
commit | 355e4bfd7890e50b492b2dc29f70fc41ad8f867f (patch) | |
tree | babb2abdb60d89148a9d828be4752b5edc71cb46 /clang/lib/Frontend/CompilerInvocation.cpp | |
parent | 9b9e2da07dd3b103e5a41a3519d839117d994ffa (diff) | |
download | llvm-355e4bfd7890e50b492b2dc29f70fc41ad8f867f.zip llvm-355e4bfd7890e50b492b2dc29f70fc41ad8f867f.tar.gz llvm-355e4bfd7890e50b492b2dc29f70fc41ad8f867f.tar.bz2 |
[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
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions