HomePhabricator

[IPSCCP] Use PredicateInfo to propagate facts from cmp instructions.

Authored by fhahn on May 25 2018, 4:12 AM.

Description

[IPSCCP] Use PredicateInfo to propagate facts from cmp instructions.

This patch updates IPSCCP to use PredicateInfo to propagate
facts to true branches predicated by EQ and to false branches
predicated by NE.

As a follow up, we should be able to extend it to also propagate additional
facts about nonnull.

Reviewers: davide, mssimpso, dberlin, efriedma

Reviewed By: davide, dberlin

Differential Revision: https://reviews.llvm.org/D45330

llvm-svn: 333268

Details

Committed
fhahnMay 25 2018, 4:12 AM
Reviewer
davide
Differential Revision
D45330: [IPSCCP] Use PredicateInfo to propagate facts from cmp instructions.
Parents
rG99dda0bab837: [llvm-objcopy] Add --strip-unneeded option
Branches
Unknown
Tags
Unknown