[Simplify] Mark (and sweep) based on latest access relation.
commitac234a3b9f20f11b3d897734fb9a4ac73e91b298
authorMichael Kruse <llvm@meinersbur.de>
Thu, 26 Oct 2017 12:34:36 +0000 (26 12:34 +0000)
committerMichael Kruse <llvm@meinersbur.de>
Thu, 26 Oct 2017 12:34:36 +0000 (26 12:34 +0000)
tree3f0daaeb2e44295ae22eb5b6d6f0bae76951dcde
parent0e52d44e68462046906878d907ae08fc913cf5f1
[Simplify] Mark (and sweep) based on latest access relation.

Previously we marked scalars based on the original access function. However,
when a scalar read access is redirected, the original definition
(or incoming values of a PHI) is not used anymore, and can be deleted
(unless referenced by use that has not been redirected).

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@316660 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Support/VirtualInstruction.cpp
test/Simplify/sweep_mapped_phi.ll [new file with mode: 0644]
test/Simplify/sweep_mapped_phi___%for---%return.jscop [new file with mode: 0644]
test/Simplify/sweep_mapped_phi___%for---%return.jscop.transformed [new file with mode: 0644]
test/Simplify/sweep_mapped_value.ll [new file with mode: 0644]
test/Simplify/sweep_mapped_value___%for---%return.jscop [new file with mode: 0644]
test/Simplify/sweep_mapped_value___%for---%return.jscop.transformed [new file with mode: 0644]