[Simplify] Remove partial write accesses with empty domain.
commit6dfe9bce94358dd603b1e5e1e38d9942b8c6b220
authorMichael Kruse <llvm@meinersbur.de>
Sat, 22 Jul 2017 20:33:09 +0000 (22 20:33 +0000)
committerMichael Kruse <llvm@meinersbur.de>
Sat, 22 Jul 2017 20:33:09 +0000 (22 20:33 +0000)
tree4463141d2c3363737ec4ea8a3d079eb6f1bf690c
parent66580335415fa3baaff09bf3f7b65c7b8f937711
[Simplify] Remove partial write accesses with empty domain.

If the access relation's domain is empty, the access will never be
executed. We can just remove it.

We only remove write accesses. Partial read accesses are not yet
supported and instructions in the statement might require the
llvm::Value holding the read's result to be defined.

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@308830 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transform/Simplify.cpp
test/Simplify/emptyaccessdomain.ll [new file with mode: 0644]
test/Simplify/emptyaccessdomain___%for---%return.jscop [new file with mode: 0644]
test/Simplify/emptyaccessdomain___%for---%return.jscop.transformed [new file with mode: 0644]