[PATCH] D15124: Use @llvm.invariant.start/end intrinsics to extend basic AA with invariant range analysis for GVN-based load elimination purposes [Local objects only]

[Larisse Voufo via llvm-commits]

lvoufo updated this revision to Diff 52373.
lvoufo added a comment.

Update the patch with respect to API changes in LLVM since the last version. Of particular interest here:

- The PostDominators API has been restructured as suggested from the last version of this patch, which simplifies this patch.
- The count of invariant range analysis requests has been restricted to non-trivial requests.


http://reviews.llvm.org/D15124

Files:
  include/llvm/Analysis/BasicAliasAnalysis.h
  include/llvm/Analysis/InvariantInfo.h
  include/llvm/Analysis/PostDominators.h
  include/llvm/InitializePasses.h
  include/llvm/Transforms/Scalar/GVN.h
  lib/Analysis/BasicAliasAnalysis.cpp
  lib/Analysis/CMakeLists.txt
  lib/Analysis/InvariantInfo.cpp
  lib/Analysis/MemoryDependenceAnalysis.cpp
  lib/Analysis/PostDominators.cpp
  lib/Passes/PassBuilder.cpp
  lib/Passes/PassRegistry.def
  lib/Transforms/InstCombine/InstructionCombining.cpp
  lib/Transforms/Scalar/GVN.cpp
  test/Analysis/InvariantInfo/gvn-basic.ll
  test/Analysis/InvariantInfo/gvn.ll
  test/Analysis/InvariantInfo/instcombine.ll
  test/Analysis/InvariantInfo/print.ll
  test/Analysis/InvariantInfo/verify.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D15124.52373.patch
Type: text/x-patch
Size: 65248 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160401/2fae0eb3/attachment.bin>