interpreter: use interpreter default bitwidth in run main (#3034)

xdslproject · Oct 2, 2024 · 07e8eba · 07e8eba
1 parent 4f427e9
commit 07e8eba
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/xdsl/tools/xdsl_run.py b/xdsl/tools/xdsl_run.py
@@ -62,6 +62,8 @@ def register_all_arguments(self, arg_parser: argparse.ArgumentParser):
         arg_parser.add_argument(
             "--index-bitwidth",
             choices=(32, 64),
+            # Otherwise default is None, overriding interpreter default mechanism
+            default=Interpreter.DEFAULT_BITWIDTH,
             type=int,
             nargs="?",
             help="Bitwidth of the index type representation.",