[PATCH] Sink store based on alias analysis

[Ella Bolshinsky]

Hi Gerolf, delena, hfinkel,

Similarly to patch D5991, I use alias analysis to define whether the given instruction is a barrier for store sinking.
For 2 identical stores, following instructions are checked in the both basic blocks, to determine whether they are sinking barriers.

http://reviews.llvm.org/D6420

Files:
  include/llvm/Analysis/AliasAnalysis.h
  lib/Analysis/AliasAnalysis.cpp
  lib/Transforms/IPO/ArgumentPromotion.cpp
  lib/Transforms/Scalar/MergedLoadStoreMotion.cpp
  test/Transforms/InstMerge/st_sink_barrier_call.ll
  test/Transforms/InstMerge/st_sink_no_barrier_call.ll
  test/Transforms/InstMerge/st_sink_no_barrier_load.ll
  test/Transforms/InstMerge/st_sink_no_barrier_store.ll
  test/Transforms/InstMerge/st_sink_two_stores.ll
  test/Transforms/InstMerge/st_sink_with_barrier.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D6420.16648.patch
Type: text/x-patch
Size: 20991 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141126/fa0696c8/attachment.bin>