[PATCH] D9151: Loop Versioning for LICM

[Ashutosh Nema via llvm-commits]

ashutosh.nema updated this revision to Diff 42692.
ashutosh.nema marked 27 inline comments as done.
ashutosh.nema added a comment.
Herald added a subscriber: joker.eph.

Thanks Hal, for again looking into this change.

> Do the runtme checks inserted cover only the interactions between 

>  the invariant access and the non-invariant accesses, or do they also 

>  perform range overlap checks on the non-invariant accesses?


Runtime check also perform overlap checks between non-invariant 
accesses. without checking all memory access we can’t make aggressive 
aliasing assumptions.

In this patch, incorporated comments from Hal.


Repository:
  rL LLVM

http://reviews.llvm.org/D9151

Files:
  docs/LangRef.rst
  include/llvm/InitializePasses.h
  include/llvm/LinkAllPasses.h
  include/llvm/Transforms/Scalar.h
  lib/Transforms/IPO/PassManagerBuilder.cpp
  lib/Transforms/Scalar/CMakeLists.txt
  lib/Transforms/Scalar/LoopVersioningLICM.cpp
  lib/Transforms/Scalar/Scalar.cpp
  test/Transforms/LoopVersioningLICM/loopversioningLICM1.ll
  test/Transforms/LoopVersioningLICM/loopversioningLICM2.ll
  test/Transforms/LoopVersioningLICM/loopversioningLICM3.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D9151.42692.patch
Type: text/x-patch
Size: 38478 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151214/300df602/attachment-0001.bin>