HomePhabricator

Propagate nonnull and dereferenceable throught launder

Description

Propagate nonnull and dereferenceable throught launder

Summary:
invariant.group.launder should not stop propagation
of nonnull and dereferenceable, because e.g. we would not be
able to hoist loads speculatively.

Reviewers: rsmith, amharc, kuhar, xbolva00, hfinkel

Subscribers: hiraditya, llvm-commits

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

Details

Committed
PrazekMay 18 2018, 4:54 PM
Differential Revision
D46972: Propagate nonnull and dereferenceable throught launder
Parents
rL332787: Dissallow non-empty metadata for invariant.group
Branches
Unknown
Tags
Unknown