[PATCH] D37969: [Polly][test] Enable -polly-codegen-verify for regression tests.
Michael Kruse via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon Sep 18 04:48:29 PDT 2017
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>
More information about the llvm-commits
mailing list