diff options
author | Tyker <tyker1@outlook.com> | 2020-02-02 14:46:59 +0100 |
---|---|---|
committer | Tyker <tyker1@outlook.com> | 2020-02-02 17:54:31 +0100 |
commit | 780d2c532fe5ca4a368c5e631197a839e03a3cc4 (patch) | |
tree | 92d999099bd9bb665beebeb22bf39aca354981e4 /clang/lib/Frontend/CompilerInvocation.cpp | |
parent | ad8ffc50104ff3c8cb401cef13bd71bf617db3a9 (diff) | |
download | llvm-780d2c532fe5ca4a368c5e631197a839e03a3cc4.zip llvm-780d2c532fe5ca4a368c5e631197a839e03a3cc4.tar.gz llvm-780d2c532fe5ca4a368c5e631197a839e03a3cc4.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