[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 43977.
lvoufo added a comment.

Ensure invariant info is properly shared between multiple passes, e.g., GVN and basic AA, or -On.


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
  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.43977.patch
Type: text/x-patch
Size: 66967 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160105/c062f7c5/attachment.bin>