This is an archive of the discontinued LLVM Phabricator instance.

[LazyValueInfo] Report nonnull range for nonnull pointers
ClosedPublic

Authored by igor-laevsky on Sep 17 2015, 6:20 AM.

Details

Summary

Currently LazyValueInfo will report only alloca's as having nonnull range. For loads with !nonnull metadata it will bailout with no additional information. Same is true for calls returning nonnull pointers.

This change extends LazyValueInfo to handle this additional nonnull instructions.

Diff Detail

Repository
rL LLVM

Event Timeline

igor-laevsky retitled this revision from to [LazyValueInfo] Report nonnull range for nonnull pointers.
igor-laevsky updated this object.
igor-laevsky added a reviewer: reames.
igor-laevsky set the repository for this revision to rL LLVM.
igor-laevsky added a subscriber: llvm-commits.
reames accepted this revision.Sep 17 2015, 10:00 AM
reames edited edge metadata.

Nice cleanup. LGTM w/comment addressed.

lib/Analysis/LazyValueInfo.cpp
535

Please use a dyn_cast on the type to check the type since you have a cast below.

This revision is now accepted and ready to land.Sep 17 2015, 10:00 AM
This revision was automatically updated to reflect the committed changes.
igor-laevsky marked an inline comment as done.Sep 18 2015, 6:06 AM