diff options
| author | River Riddle <riddleriver@gmail.com> | 2022-09-28 18:39:26 -0700 |
|---|---|---|
| committer | River Riddle <riddleriver@gmail.com> | 2022-09-28 20:38:12 -0700 |
| commit | 1ae60e044e40de1752c8c1aa2cf9af243f1e8b5f (patch) | |
| tree | c40cc89d9be61706fdc7df8d4d9e5d495cd24a85 /mlir/lib/Bytecode/Reader/BytecodeReader.cpp | |
| parent | b947e15a577f72284d69d077cfdb2d3f211abe65 (diff) | |
[mlir] Making verification after parsing optional
This is very useful when you want to parse IR even if
its invalid (e.g. bytecode). It's also useful if you don't
want to pay the cost of verification in certain situations.
Differential Revision: https://reviews.llvm.org/D134847
Diffstat (limited to 'mlir/lib/Bytecode/Reader/BytecodeReader.cpp')
| -rw-r--r-- | mlir/lib/Bytecode/Reader/BytecodeReader.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mlir/lib/Bytecode/Reader/BytecodeReader.cpp b/mlir/lib/Bytecode/Reader/BytecodeReader.cpp index 2f36de523ff3..d61a8acc1b67 100644 --- a/mlir/lib/Bytecode/Reader/BytecodeReader.cpp +++ b/mlir/lib/Bytecode/Reader/BytecodeReader.cpp @@ -1408,7 +1408,7 @@ LogicalResult BytecodeReader::parseIRSection(ArrayRef<uint8_t> sectionData, } // Verify that the parsed operations are valid. - if (failed(verify(*moduleOp))) + if (config.shouldVerifyAfterParse() && failed(verify(*moduleOp))) return failure(); // Splice the parsed operations over to the provided top-level block. |