[unittests/DeLICM] Add test for Occipied vs Occupied.
authorMichael Kruse <llvm@meinersbur.de>
Wed, 26 Apr 2017 21:52:51 +0000 (21:52 +0000)
committerMichael Kruse <llvm@meinersbur.de>
Wed, 26 Apr 2017 21:52:51 +0000 (21:52 +0000)
commit8080011ca1e9a70f502b2678a4c68957ff2ef299
treede26ee43bab514d847ec68403357acc561281b17
parentc080598ed30ecc250b22cfbe82e3f0e4aaec62b5
[unittests/DeLICM] Add test for Occipied vs Occupied.

The interpretation of multiple known ValInsts for the same element and
timepoint is that these are alterntivate names for the same values,
for instance a PHINode and the incoming value when knowning it was
the last executed block. That means that known values do not conflict
if there at least (but necessarily all) one common ValInst.

Add a case to test this principle.

llvm-svn: 301480
polly/unittests/DeLICM/DeLICMTest.cpp