xls/dslx/interpreter_main: default compare to none

- default flag to "none"
- update doc

PiperOrigin-RevId: 669232425

docs_src/tools.md

@@ -263,8 +263,8 @@ BOM_KIND_COMPARISON,ne,25,1,1
 
 Interpreter for DSLX code and test-runner.
 
-When tests are run this also cross-checks that the conversion to IR and JIT
-compilation of the IR produces the same values.
+The `--compare` flag allows to also cross-checks that the conversion to IR and
+JIT compilation of the IR produces the same values.
 
 ```
 $ bazel run -c opt //xls/dslx:interpreter_main -- $PWD/xls/dslx/stdlib/std.x

xls/dslx/interpreter_main.cc

@@ -54,7 +54,7 @@ ABSL_FLAG(
     "`trace!`, `{}` format strings in `trace_fmt!`, traced channel values, "
     "`assert_*` statements and elsewhere. Valid values: binary|hex|decimal");
 ABSL_FLAG(bool, execute, true, "Execute tests within the entry module.");
-ABSL_FLAG(std::string, compare, "jit",
+ABSL_FLAG(std::string, compare, "none",
           "Compare DSL-interpreted results with an IR execution for each"
           " function for consistency checking; options: none|jit|interpreter.");
 ABSL_FLAG(

xls/dslx/tests/errors/error_modules_test.py

@@ -36,6 +36,9 @@ def _run(
       path_is_runfile: bool = True,
       alsologtostderr: bool = False,
       *,
+      compare: Optional[
+          str
+      ] = 'jit',  # default on comparing to catch IR onversion and JIT errors.
       enable_warnings: Optional[Set[str]] = None,
   ) -> str:
     cmd = [
@@ -44,6 +47,9 @@ def _run(
         '--warnings_as_errors={}'.format(str(warnings_as_errors).lower()),
     ]
 
+    if compare:
+      cmd.append('--compare=' + compare)
+
     if enable_warnings:
       cmd.append('--enable_warnings=' + ','.join(sorted(enable_warnings)))