[polly] r313527 - [test] Enable -polly-codegen-verify for regression tests.

[Michael Kruse via llvm-commits]

Author: meinersbur
Date: Mon Sep 18 05:34:11 2017
New Revision: 313527

URL: http://llvm.org/viewvc/llvm-project?rev=313527&view=rev
Log:
[test] Enable -polly-codegen-verify for regression tests.

In r301670 IR verification was disabled. Since then, CodeGen writing
malformed IR would only be noticed by unpredictable behavior in
follow-up passes (e.g. segfaults, infinite loops) or IR verification in
the backend assert builds.

Re-enable -polly-codegen-verify at for the regression tests to ensure
that malformed IR is detected where Polly generated malformed IR in the
past and changes in CodeGen are at least partially covered by
check-polly
(otherwise malformed IR may only get noticed when the buildbots run the
test-suite).

Differential Revision: https://reviews.llvm.org/D37969

Modified:
    polly/trunk/test/lit.site.cfg.in

Modified: polly/trunk/test/lit.site.cfg.in
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/lit.site.cfg.in?rev=313527&r1=313526&r2=313527&view=diff
==============================================================================
--- polly/trunk/test/lit.site.cfg.in (original)
+++ polly/trunk/test/lit.site.cfg.in Mon Sep 18 05:34:11 2017
@@ -50,6 +50,7 @@ if config.link_polly_into_tools == '' or
                                  + ' -polly-remarks-minimal '
                                  + ' -polly-use-llvm-names '
                                  + ' -polly-import-jscop-dir=%S '
+                                 + ' -polly-codegen-verify '
                                  ))
 else:
     config.substitutions.append(('%loadPolly', ''
@@ -57,6 +58,7 @@ else:
                                  + ' -polly-remarks-minimal '
                                  + ' -polly-use-llvm-names '
                                  + ' -polly-import-jscop-dir=%S '
+                                 + ' -polly-codegen-verify '
                                  ))
 
 if config.enable_gpgpu_codegen == 'TRUE' :