[PATCH] D37969: [Polly][test] Enable -polly-codegen-verify for regression tests.

[Michael Kruse via Phabricator via llvm-commits]

Meinersbur created this revision.
Meinersbur added a project: Polly.

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.

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


https://reviews.llvm.org/D37969

Files:
  test/lit.site.cfg.in


Index: test/lit.site.cfg.in
===================================================================
--- test/lit.site.cfg.in
+++ test/lit.site.cfg.in
@@ -50,13 +50,15 @@
                                  + ' -polly-remarks-minimal '
                                  + ' -polly-use-llvm-names '
                                  + ' -polly-import-jscop-dir=%S '
+                                 + ' -polly-codegen-verify '
                                  ))
 else:
     config.substitutions.append(('%loadPolly', ''
                                  + ' -polly-process-unprofitable '
                                  + ' -polly-remarks-minimal '
                                  + ' -polly-use-llvm-names '
                                  + ' -polly-import-jscop-dir=%S '
+                                 + ' -polly-codegen-verify '
                                  ))
 
 if config.enable_gpgpu_codegen == 'TRUE' :


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D37969.115621.patch
Type: text/x-patch
Size: 920 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170918/e9bd0eb5/attachment.bin>