projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88cadb8) | patch
[mlir] Add option to read reproducer options from file
authorJacques Pienaar <jpienaar@google.com>
Wed, 30 Dec 2020 18:46:01 +0000 (10:46 -0800)
committerJacques Pienaar <jpienaar@google.com>
Wed, 30 Dec 2020 18:46:01 +0000 (10:46 -0800)
commit453b6aadcef9625599d6099011bede710d4524f1
treed7b090ce380311ff263f77921d6d338d085a95c2tree | snapshot
parent88cadb894ce2b3ba72a91db84504963cf3db991dcommit | diff
[mlir] Add option to read reproducer options from file

Add command line option to read the configuration dumped by the MLIR crash
reproducer and adds those to the other command line options parsed by mlir-opt.

Simple convenience that enables `mlir-opt --run-reproducer /tmp/repro.mlir`
instead of needing to copy&paste the configuration.

Differential Revision: https://reviews.llvm.org/D93924
mlir/docs/PassManagement.md diff | blob | history
mlir/lib/Support/MlirOptMain.cpp diff | blob | history
mlir/test/Pass/run-reproducer.mlir [new file with mode: 0644] blob
Domain: System / Toolchain;