diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-26 11:36:02 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-26 11:36:02 +0200 |
| commit | 432bff5418d4789ba4187ffdd6ce89a29d58962a (patch) | |
| tree | 6c48ff6aa5919fe8d5804302d48b5900a2c4441c /test/mppa/coverage_helper.py | |
| parent | fd0562ffa499e57eff1243b5d9defe94a3f91d3c (diff) | |
| download | compcert-kvx-432bff5418d4789ba4187ffdd6ce89a29d58962a.tar.gz compcert-kvx-432bff5418d4789ba4187ffdd6ce89a29d58962a.zip | |
MPPA - Added a lot more unit tests + refined coverage
Diffstat (limited to 'test/mppa/coverage_helper.py')
| -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 f886264c..b086aca9 100644 --- a/test/mppa/coverage_helper.py +++ b/test/mppa/coverage_helper.py @@ -24,7 +24,7 @@ for inst in occurs: pruned_occurs[inst_no_a + "." + mod] = 1 elif inst_no_a in ("cb"): del pruned_occurs[inst] - for mod in ("wnez", "weqz", "wltz", "wgez", "wlez", "wgtz", "dnez", + for mod in ("wnez", "weqz", "wltz", "wgez", "wlez", "wgtz", "deqz", "dnez", "dltz", "dgez", "dlez", "dgtz"): pruned_occurs[inst_no_a + "." + mod] = 1 else: |