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

hfinkel at anl.gov hfinkel at anl.gov
Mon Jul 21 17:08:51 PDT 2014


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>


More information about the llvm-commits mailing list