[PATCH] D13624: [Polly] Allow eager evaluated binary && and || conditions

[Johannes Doerfert via llvm-commits]

jdoerfert created this revision.
jdoerfert added reviewers: grosser, Meinersbur.
jdoerfert added a subscriber: Polly.

  The domain generation can handle lazy && and || by default but eager
  evaluated expressions were dismissed as non-affine. With this patch we
  will allow arbitrary combinations of and/or bit-operations in the
  conditions of branches.

http://reviews.llvm.org/D13624

Files:
  lib/Analysis/ScopDetection.cpp
  lib/Analysis/ScopInfo.cpp
  test/ScopInfo/eager-binary-and-or-conditions.ll
  test/ScopInfo/multiple-binary-or-conditions.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D13624.37036.patch
Type: text/x-patch
Size: 9534 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20151011/1130488d/attachment.bin>