[CodeGen] Add invalidation of the loop SCEVs after merge block generation.
authorMichael Kruse <llvm@meinersbur.de>
Mon, 22 May 2017 15:36:53 +0000 (15:36 +0000)
committerMichael Kruse <llvm@meinersbur.de>
Mon, 22 May 2017 15:36:53 +0000 (15:36 +0000)
commit1aad76c18f6f1ec346c24c7f6099c57589430330
treeaaa99e762965b360cfc8039d4779f8c1d7d2f9d6
parente00da22ef34a64be09a31a3f7a65d638deb4887b
[CodeGen] Add invalidation of the loop SCEVs after merge block generation.

The SCEVs of loops surrounding the escape users of a merge blocks are
forgotten, so that loop trip counts based on old values can be revoked.

This fixes llvm.org//PR32536

Contributed-by: Baranidharan Mohan <mbdharan@gmail.com>
Differential Revision: https://reviews.llvm.org/D33195

llvm-svn: 303561
polly/include/polly/CodeGen/BlockGenerators.h
polly/lib/CodeGen/BlockGenerators.cpp
polly/test/Isl/CodeGen/two-scops-in-row-invalidate-scevs.ll [new file with mode: 0644]