summaryrefslogtreecommitdiff
path: root/test/unit/test_passes.py
diff options
context:
space:
mode:
authorThomas Lively <tlively@google.com>2023-04-14 17:54:25 -0700
committerGitHub <noreply@github.com>2023-04-14 17:54:25 -0700
commitd0621e5820b4ce1b72907f5cdb3c68487ce20c60 (patch)
tree60832f328708f01ea6eed4cffc2da95cccc58c70 /test/unit/test_passes.py
parent56fe22d30ddd4deac619e41824fc69079dcd7a47 (diff)
downloadbinaryen-d0621e5820b4ce1b72907f5cdb3c68487ce20c60.tar.gz
binaryen-d0621e5820b4ce1b72907f5cdb3c68487ce20c60.tar.bz2
binaryen-d0621e5820b4ce1b72907f5cdb3c68487ce20c60.zip
Remove the --hybrid and --nominal command line options (#5669)
After this change, the only type system usable from the tools will be the standard isorecursive type system. The nominal type system is still usable via the API, but it will be removed entirely in a follow-on PR.
Diffstat (limited to 'test/unit/test_passes.py')
-rw-r--r--test/unit/test_passes.py45
1 files changed, 21 insertions, 24 deletions
diff --git a/test/unit/test_passes.py b/test/unit/test_passes.py
index 25f844757..5f91afa92 100644
--- a/test/unit/test_passes.py
+++ b/test/unit/test_passes.py
@@ -21,32 +21,29 @@ class PassesTest(utils.BinaryenTestCase):
def test_O2(self):
args = ['-O2', '-all']
- for nominal in ['--nominal', False]:
- for closed_world in ['--closed-world', False]:
- curr_args = args[:]
- if nominal:
- curr_args.append(nominal)
- if closed_world:
- curr_args.append(closed_world)
- passes = self.get_passes_run(curr_args)
+ for closed_world in ['--closed-world', False]:
+ curr_args = args[:]
+ if closed_world:
+ curr_args.append(closed_world)
+ passes = self.get_passes_run(curr_args)
- # dce always runs
- self.assertIn('dce', passes)
+ # dce always runs
+ self.assertIn('dce', passes)
- # some passes only run in closed world
- CLOSED_WORLD_PASSES = [
- 'type-refining',
- 'signature-pruning',
- 'signature-refining',
- 'gto',
- 'cfp',
- 'gsi',
- ]
- for pass_ in CLOSED_WORLD_PASSES:
- if closed_world:
- self.assertIn(pass_, passes)
- else:
- self.assertNotIn(pass_, passes)
+ # some passes only run in closed world
+ CLOSED_WORLD_PASSES = [
+ 'type-refining',
+ 'signature-pruning',
+ 'signature-refining',
+ 'gto',
+ 'cfp',
+ 'gsi',
+ ]
+ for pass_ in CLOSED_WORLD_PASSES:
+ if closed_world:
+ self.assertIn(pass_, passes)
+ else:
+ self.assertNotIn(pass_, passes)
def test_O3_O1(self):
# When we run something like -O3 -O1 we should run -O3 followed by -O1