[PATCH] Top-Down FunctionAttrs propagation for noalias, dereferenceable and nonnull inference

[hfinkel at anl.gov]

Use isDereferenceablePointer (which checks things like argument's dereferenceable attribute) in addition to using isSafeToLoadUnconditionally (which is mostly useful for its local instruction scan). Also fixed up one of the test cases.

http://reviews.llvm.org/D4609

Files:
  include/llvm-c/Transforms/IPO.h
  include/llvm/InitializePasses.h
  include/llvm/LinkAllPasses.h
  include/llvm/Transforms/IPO.h
  lib/LTO/LTOCodeGenerator.cpp
  lib/Transforms/IPO/CMakeLists.txt
  lib/Transforms/IPO/FunctionAttrsTD.cpp
  lib/Transforms/IPO/IPO.cpp
  lib/Transforms/IPO/PassManagerBuilder.cpp
  test/Transforms/FunctionAttrsTD/large-agg.ll
  test/Transforms/FunctionAttrsTD/malloc.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D4609.11731.patch
Type: text/x-patch
Size: 19250 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140722/075bb7e2/attachment.bin>