[Polly] Never consider non-SCoP blocks as error blocks.
authorMichael Kruse <llvm-project@meinersbur.de>
Mon, 23 Aug 2021 00:23:51 +0000 (19:23 -0500)
committerMichael Kruse <llvm-project@meinersbur.de>
Mon, 23 Aug 2021 06:04:01 +0000 (01:04 -0500)
commit955b91c19c00ed4c917559a5d66d14c669dde2e3
tree027d2b254d1d2fad47c42244c8c6112a89c1daa0
parent8e488c3cc0da71afbe75963033e86bf32ee56c11
[Polly] Never consider non-SCoP blocks as error blocks.

Code outside the SCoP will be executed recardless of the code versioning
runtime check introduced by CodeGeneration. Assumption made based on
that these are never executed in Polly-optimized code does not hold.

This fixes the miscompilation of MultiSource/Applications/lambda-0.1.3
polly/lib/Analysis/ScopBuilder.cpp
polly/lib/Analysis/ScopDetection.cpp
polly/test/ScopInfo/condition-after-error-block-before-scop.ll [new file with mode: 0644]