[PATCH] D63304: Ignore Singletons in statement domains

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur added inline comments.


================
Comment at: test/ScopDetect/model-dowhile.ll:2
+; REQUIRES: asserts
+; RUN: opt %loadPolly -S -O3 -debug-only=polly-ast -debug-only=polly-scops -polly-ast -polly-avoid-singular-loops=false --disable-output %s |& FileCheck %s --check-prefix=NOMODEL
+; RUN: opt %loadPolly -S -O3 -debug-only=polly-ast -debug-only=polly-scops -polly-ast -polly-avoid-singular-loops=true --disable-output  %s |& FileCheck %s --check-prefix=MODEL
----------------
Meinersbur wrote:
> The `-S` flag is unnecessary with `--disable-output`
[serious] Is -O3 should not be necessary; if some transformation is required by -polly-ast, it should be baked-into the test case.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D63304/new/

https://reviews.llvm.org/D63304