HomePhabricator

Exploit dereferenceable_or_null attribute in LICM pass

Description

Exploit dereferenceable_or_null attribute in LICM pass

Summary:
Allow hoisting of loads from values marked with dereferenceable_or_null
attribute. For values marked with the attribute perform
context-sensitive analysis to determine whether it's known-non-null or
not.

Patch by Artur Pilipenko!

Reviewers: hfinkel, sanjoy, reames

Reviewed By: reames

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D9253

Details

Committed
sanjoyMay 18 2015, 11:07 AM
Reviewer
reames
Differential Revision
D9253: Exploit dereferenceable_or_null attribute in LICM pass
Parents
rL237592: Fix for LWG Issue 2458: N3778 and new library deallocation signatures.
Branches
Unknown
Tags
Unknown