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

[Meinersbur]

Summary

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).

[grosser]

LGTM.

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

if config.link_polly_into_tools == '' or \
    config.link_polly_into_tools.lower() == 'notfound' or \
    config.link_polly_into_tools.lower() == 'link_polly_into_tools-notfound':
     config.substitutions.append(('%loadPolly', '-load '
                                  + config.polly_lib_dir + '/LLVMPolly@LLVM_SHLIBEXT@'
                                  + ' -polly-process-unprofitable '
                                  + ' -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' :
     config.available_features.add('pollyacc')
 
 # Let the main config do the real work.
 lit_config.load_config(config, "@POLLY_SOURCE_DIR@/test/lit.cfg")