Dead code elimination: Update dependences after eliminating code
authorTobias Grosser <tobias@grosser.es>
Wed, 17 Dec 2014 21:13:55 +0000 (21:13 +0000)
committerTobias Grosser <tobias@grosser.es>
Wed, 17 Dec 2014 21:13:55 +0000 (21:13 +0000)
commit11e3873516fa5dbb63bbe7c2d2614ec2bf5bc851
tree352833d192cc56bd34b5138c497bab8a17b3d25b
parent303011a0059039a9635db856e0b4bb5d4df12347
Dead code elimination: Update dependences after eliminating code

Without updating dependences we may lose implicit transitive dependences for
which all explicit dependences have gone through the statement iterations we
have just eliminated.

No test case. We should probably implement a -verify-dependences option.

This fixes llvm.org/PR21227

llvm-svn: 224459
polly/include/polly/Dependences.h
polly/lib/Analysis/Dependences.cpp
polly/lib/Transform/DeadCodeElimination.cpp