projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5dfd5b6) | patch
Make context-sensitive isDereferenceable queries in isSafeToLoadUnconditionally
authorArtur Pilipenko <apilipenko@azulsystems.com>
Thu, 11 Feb 2016 13:42:59 +0000 (13:42 +0000)
committerArtur Pilipenko <apilipenko@azulsystems.com>
Thu, 11 Feb 2016 13:42:59 +0000 (13:42 +0000)
commit66d6d3eb2d51808e72bc8af7fc3d176d7a2acdea
tree93887ab128ce746bb5ce732bd5cc8a7ddcb06a75tree | snapshot
parent5dfd5b651af1626e2124ae40d1032438c21c219dcommit | diff
Make context-sensitive isDereferenceable queries in isSafeToLoadUnconditionally

This is a part of the refactoring to unify isSafeToLoadUnconditionally and isDereferenceablePointer functions. In the subsequent change isSafeToSpeculativelyExecute will be modified to use isSafeToLoadUnconditionally instead of isDereferenceableAndAlignedPointer.

Reviewed By: reames

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

llvm-svn: 260520
llvm/include/llvm/Analysis/Loads.h diff | blob | history
llvm/lib/Analysis/Loads.cpp diff | blob | history
Domain: System / Toolchain;