summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorAlasdair2019-02-21 23:15:15 +0000
committerAlasdair2019-02-21 23:18:23 +0000
commit084fb032de3495671d557e31dbc55dc8400f9d81 (patch)
treeda26657dd4d71173aa94c756d5877988846b3c4a /test
parent9c13d5888fdd12aa46f9a3b1a752cf040bc94939 (diff)
Allow monomorphisation with C generation
Run C tests with -O -Oconstant_fold -auto_mono
Diffstat (limited to 'test')
-rwxr-xr-xtest/c/run_tests.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/test/c/run_tests.py b/test/c/run_tests.py
index 4927e281..4a02dd78 100755
--- a/test/c/run_tests.py
+++ b/test/c/run_tests.py
@@ -93,6 +93,7 @@ xml = '<testsuites>\n'
xml += test_c('unoptimized C', '', '', True)
xml += test_c('optimized C', '-O2', '-O', True)
xml += test_c('constant folding', '', '-Oconstant_fold', True)
+xml += test_c('monomorphised C', '-O2', '-O -Oconstant_fold -auto_mono', True)
xml += test_c('full optimizations', '-O2 -mbmi2 -DINTRINSICS', '-O -Oconstant_fold', True)
xml += test_c('address sanitised', '-O2 -fsanitize=undefined', '-O', False)