[PATCH] D13200: [Polly] Allow switch instructions in SCoPs

[Tobias Grosser via llvm-commits]

LGTM.

On 09/28/2015 02:58 AM, Johannes Doerfert wrote:
> jdoerfert created this revision.
> jdoerfert added reviewers: grosser, Meinersbur.
> jdoerfert added a subscriber: Polly.
> Herald added a subscriber: sanjoy.
>
>    This patch allows switch instructions with affine conditions in the
>    SCoP. Also switch instructions in non-affine subregions are allowed.
>    Both did not require much changes to the code, though there was some
>    refactoring needed to integrate them without code duplication.
>
>    In the llvm-test suite the number of profitable SCoPs increased from
>    135 to 139 but more importantly we can handle more benchmarks and user
>    inputs without preprocessing.
>
> http://reviews.llvm.org/D13200
>
> Files:
>    include/polly/ScopDetection.h
>    include/polly/ScopDetectionDiagnostic.h
>    include/polly/Support/ScopHelper.h
>    lib/Analysis/ScopDetection.cpp
>    lib/Analysis/ScopDetectionDiagnostic.cpp
>    lib/Analysis/ScopInfo.cpp
>    lib/CodeGen/BlockGenerators.cpp
>    lib/Support/ScopHelper.cpp
>    test/Isl/CodeGen/non-affine-switch.ll
>    test/Isl/CodeGen/switch-in-non-affine-region.ll
>    test/ScopInfo/switch-1.ll
>    test/ScopInfo/switch-2.ll
>    test/ScopInfo/switch-3.ll
>    test/ScopInfo/switch-4.ll
>    test/ScopInfo/switch-5.ll
>    test/ScopInfo/switch-6.ll
>    test/ScopInfo/switch-7.ll
>