This is an archive of the discontinued LLVM Phabricator instance.

Map Parameters marked as dereferenceable during inlining to loads.
Needs ReviewPublic

Authored by mcberg2017 on Feb 18 2021, 3:11 PM.
This revision needs review, but there are no reviewers specified.

Details

Reviewers
None
Summary

If a call has a Dereferenceable parameter and the call site provides
a pointer load to that parameter, walk all load's uses and validate
that all the calls we find have at least one parameter which
shares this property and matches the same definition.

Diff Detail

Event Timeline

mcberg2017 created this revision.Feb 18 2021, 3:11 PM
mcberg2017 requested review of this revision.Feb 18 2021, 3:11 PM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 18 2021, 3:11 PM