[PATCH] Review for hoisting and sinking of equivalent memory instruction (Instruction Merge Pass)

Philip Reames listmail at philipreames.com
Wed Jun 11 10:34:02 PDT 2014


As I said in the other thread, I do not support the current name. Here 
are a few ideas:
- You're hoisting and sinking loads and stores across branches. Maybe: 
LSHoistSink
- This is analogous to LICM, but without loops.  Maybe: BranchICM?

I would argue *strongly* that the current name should not be accepted.  
It is not descriptive and is actively confusing.

The rest of my comments will be on the phabricator review.  I wanted to 
continue this in email since that's where it had previously started.

Philip


On 06/10/2014 01:43 PM, Gerolf Hoflehner wrote:
> Hi chandlerc,
>
> This pass iteratively hoists two loads to the same address out of a diamond (hammock) and merges them
> into a single load in the header. Similar it sinks and merges two stores to the tail block. The algorithm
> iterates over the instructions of one side of the diamond and attempts to find a matching load/store on
> the other side. It hoists / sinks when it thinks it safe to do so.  I tailored the code as conservative as possible to catch the initial cases we are interested in, which keeps code size and complexity in check. The optimization helps hiding load latencies and triggering if-conversion.
>
> http://reviews.llvm.org/D4096
>
> Files:
>    bindings/ocaml/transforms/scalar/scalar_opts_ocaml.c
>    include/llvm-c/Transforms/Scalar.h
>    include/llvm/InitializePasses.h
>    include/llvm/LinkAllPasses.h
>    include/llvm/Transforms/Scalar.h
>    lib/LTO/LTOCodeGenerator.cpp
>    lib/Transforms/IPO/PassManagerBuilder.cpp
>    lib/Transforms/Scalar/CMakeLists.txt
>    lib/Transforms/Scalar/IM.cpp
>    lib/Transforms/Scalar/Scalar.cpp
>    test/Transforms/InstMerge/ld_hoist_st_sink.ll
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140611/afc51704/attachment.html>


More information about the llvm-commits mailing list