diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-05 14:25:21 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-05 14:25:21 +0200 |
| commit | 5a095e968ca040757db22a4bd7cde34b91bf44e1 (patch) | |
| tree | a3c934884d3a4c55f90e76962ea39d74013b9b9c /test/mppa | |
| parent | 2e1ecb87d05d7a6b5921be04ba10f6b9eae1be9c (diff) | |
| download | compcert-kvx-5a095e968ca040757db22a4bd7cde34b91bf44e1.tar.gz compcert-kvx-5a095e968ca040757db22a4bd7cde34b91bf44e1.zip | |
Removing unused .all, .any, .nall and .none conditions
Diffstat (limited to 'test/mppa')
| -rw-r--r-- | test/mppa/coverage_helper.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/mppa/coverage_helper.py b/test/mppa/coverage_helper.py index cf7a84c9..e5b1907c 100644 --- a/test/mppa/coverage_helper.py +++ b/test/mppa/coverage_helper.py @@ -5,7 +5,7 @@ all_loads_stores = "lbs lbz lhz lo lq ld lhs lws sb sd sh so sq sw".split(" ") all_bconds = "wnez weqz wltz wgez wlez wgtz dnez deqz dltz dgez dlez dgtz".split(" ") -all_iconds = "ne eq lt ge le gt ltu geu leu gtu all nall any none".split(" ") +all_iconds = "ne eq lt ge le gt ltu geu leu gtu".split(" ") all_fconds = "one ueq oeq une olt uge oge ult".split(" ") |