[mlir] Fix usages of run-reproducer.

There is no need to specify `run-reproducer` explicitly anymore. Differential Revision: https://reviews.llvm.org/D129010
llvm · Jul 1, 2022 · f59c279 · f59c279
1 parent 258c3ae
commit f59c279
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/mlir/docs/PassManagement.md b/mlir/docs/PassManagement.md
@@ -1284,9 +1284,9 @@ module {
 #-}
 ```
 
-The configuration dumped can be passed to `mlir-opt` by specifying
-`-run-reproducer` flag. This will result in parsing the configuration of the reproducer
-and adjusting the necessary opt state, e.g. configuring the pass manager, context, etc.
+The configuration dumped can be passed to `mlir-opt`. This will result in
+parsing the configuration of the reproducer and adjusting the necessary opt
+state, e.g. configuring the pass manager, context, etc.
 
 Beyond specifying a filename, one can also register a `ReproducerStreamFactory`
 function that would be invoked in the case of a crash and the reproducer written

diff --git a/mlir/utils/jupyter/mlir_opt_kernel/kernel.py b/mlir/utils/jupyter/mlir_opt_kernel/kernel.py
@@ -128,8 +128,6 @@ def run(code):
                     '-o',
                     '-'
                 ]
-                if code.startswith('// configuration:'):
-                    command.append('--run-reproducer')
                 # Simple handling of repeating last line.
                 if code.endswith('\n_'):
                     if not self._: