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

Note that uses of invariant_start instructions can be other that invariant_end.


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.44174.patch
Type: text/x-patch
Size: 67634 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160106/a3e82e6d/attachment-0001.bin>