[PATCH] D15687: [Polly] Add conditions for unnecessary value reads

[Michael Kruse via llvm-commits]

Meinersbur created this revision.
Meinersbur added reviewers: grosser, jdoerfert.
Meinersbur added subscribers: llvm-commits, pollydev.
Meinersbur added a project: Polly.

Before adding a MK_Value READ MemoryAccess, check whether the read is really necessary. This patch is also a requirement for the "cause inversion" extracted from D13762.

http://reviews.llvm.org/D15687

Files:
  lib/Analysis/ScopInfo.cpp
  test/Isl/CodeGen/phi-defined-before-scop.ll
  test/Isl/CodeGen/uninitialized_scalar_memory.ll
  test/ScopInfo/NonAffine/non_affine_loop_used_later.ll
  test/ScopInfo/pointer-used-as-base-pointer-and-scalar-read.ll
  test/ScopInfo/same-base-address-scalar-and-array.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D15687.43361.patch
Type: text/x-patch
Size: 6006 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151221/6521c4a0/attachment.bin>