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

[hfinkel at anl.gov]

Also added support for inferring the align attribute (which, post r213670, is now a useful thing to do).

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.11803.patch
Type: text/x-patch
Size: 21954 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140723/c16d62cf/attachment.bin>