This is an archive of the discontinued LLVM Phabricator instance.

[Attributor] Make AANonNull perform context sensitive queries
ClosedPublic

Authored by jdoerfert on Oct 29 2019, 4:40 PM.

Details

Summary

In order to get context sensitivity from isKnownNonZero we need to
provide a context instruction *and* a dominator tree. The latter is
passed now to which actually allows to remove some initialization code.

Tests taken from PR43833.

Event Timeline

jdoerfert created this revision.Oct 29 2019, 4:40 PM
Herald added a project: Restricted Project. · View Herald TranscriptOct 29 2019, 4:40 PM
uenoku accepted this revision.Oct 30 2019, 1:55 AM
uenoku added inline comments.
llvm/test/Transforms/FunctionAttrs/nonnull.ll
598

Please add FIXME.

This revision is now accepted and ready to land.Oct 30 2019, 1:55 AM
This revision was automatically updated to reflect the committed changes.