[PATCH] D15483: [Polly] Unique value write accesses

[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.

Ensure there is at most one write access per definition of an llvm::Value. Keep track of already created value write access by using a (dense) map.

Replace addValueWriteAccess  by ensureValueStore which can be uses more liberally without worrying to add redundant access. It will be used, e.g. in a logical correspondant for value reads -- ensureValueReload -- to ensure that the expected definition has been written.

This is was originally part of D13762.

http://reviews.llvm.org/D15483

Files:
  include/polly/ScopInfo.h
  lib/Analysis/ScopInfo.cpp
  test/ScopInfo/phi_scalar_simple_1.ll
  test/ScopInfo/phi_scalar_simple_2.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D15483.42676.patch
Type: text/x-patch
Size: 6294 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151214/ef78d8d8/attachment.bin>