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

[Johannes Doerfert via llvm-commits]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13200.35827.patch
Type: text/x-patch
Size: 50543 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150928/48da349c/attachment.bin>