HomePhabricator

[WIP] Build assume from call

Authored by Tyker on Feb 2 2020, 5:46 AM.

Description

[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

Details

Committed
TykerFeb 2 2020, 9:15 AM
Reviewer
jdoerfert
Differential Revision
D72475: [WIP] Build assume from call
Parents
rGc2d03362081b: Revert "[WIP] Build assume from call"
Branches
Unknown
Tags
Unknown
Reverted By
rG7cb5d96fbe75: Revert "[WIP] Build assume from call"