[PATCH] Exploit dereferenceable_or_null attribute in LICM pass
apilipenko at azulsystems.com
Fri Apr 24 05:56:29 PDT 2015
Hi hfinkel, reames, sanjoy,
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.
By now context-sensitive non-null analysis is implemented in two different ways: using LazyValueInfo and using dominating conditions. I don't know which one is better, so it's up for discussion.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 34397 bytes
Desc: not available
More information about the llvm-commits