[PATCH] D68511: [PATCH 28/38] [noalias] Clone scopes and llvm.noalias.decl as needed during loop rotation.

[Jeroen Dobbelaere via Phabricator via llvm-commits]

jeroen.dobbelaere created this revision.
jeroen.dobbelaere added reviewers: hfinkel, jdoerfert.
Herald added subscribers: llvm-commits, asbirlea, george.burgess.iv, hiraditya.
Herald added a project: LLVM.

This is part of the series started by D68484 <https://reviews.llvm.org/D68484>.

When a restrict variable is declared in the loop body, and the loop is
rotated, care must be taken to clone the llvm.noalias.decl and the noalias
scopes to ensure that the local restrict scope does not spill over the
iterations.

Note: this is a stable point and tests should run fine with the patches applied up to this point.


https://reviews.llvm.org/D68511

Files:
  llvm/include/llvm/IR/Value.h
  llvm/lib/Analysis/MemorySSA.cpp
  llvm/lib/IR/Value.cpp
  llvm/lib/Transforms/Utils/LoopRotationUtils.cpp
  llvm/test/Transforms/LoopRotate/noalias.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D68511.223314.patch
Type: text/x-patch
Size: 20528 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191004/a80c2e08/attachment.bin>