diff options
| author | Alasdair Armstrong | 2019-03-06 14:11:24 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-06 14:14:19 +0000 |
| commit | 2b4018a07e9eead8bfe147611b24a4d5856b4d56 (patch) | |
| tree | 456ce19e0ad0b413a3c4597008222425aba0e4f3 /test/c | |
| parent | 2cd88a225adf5f382df85a046cd59c43e1436965 (diff) | |
Add option to slice out printing and tracing functions when generating C
Make instruction dependency graph use graph.ml
Expose incremental graph building functions for performance in graph.mli
Diffstat (limited to 'test/c')
| -rwxr-xr-x | test/c/run_tests.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/test/c/run_tests.py b/test/c/run_tests.py index 4a02dd78..2ee44fca 100755 --- a/test/c/run_tests.py +++ b/test/c/run_tests.py @@ -95,7 +95,8 @@ 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) +xml += test_c('specialization', '-O1', '-O -c_specialize', True) +xml += test_c('undefined behavior sanitised', '-O2 -fsanitize=undefined', '-O', False) xml += test_interpreter('interpreter') |