From f59c279b7255f65455270cfad96038b055884c03 Mon Sep 17 00:00:00 2001 From: rdzhabarov Date: Fri, 1 Jul 2022 18:31:20 +0000 Subject: [PATCH] [mlir] Fix usages of `run-reproducer`. There is no need to specify `run-reproducer` explicitly anymore. Differential Revision: https://reviews.llvm.org/D129010 --- mlir/docs/PassManagement.md | 6 +++--- mlir/utils/jupyter/mlir_opt_kernel/kernel.py | 2 -- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/mlir/docs/PassManagement.md b/mlir/docs/PassManagement.md index 727166860e27..255d1a79163d 100644 --- 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 index 48029012dbd9..85462dad83a3 100644 --- a/mlir/utils/jupyter/mlir_opt_kernel/kernel.py +++ b/mlir/utils/jupyter/mlir_opt_kernel/kernel.py @@ -128,8 +128,6 @@ class MlirOptKernel(Kernel): '-o', '-' ] - if code.startswith('// configuration:'): - command.append('--run-reproducer') # Simple handling of repeating last line. if code.endswith('\n_'): if not self._: