diff options
| author | Geoffrey Martin-Noble <gcmn@google.com> | 2019-06-19 11:21:41 -0700 |
|---|---|---|
| committer | Mehdi Amini <joker.eph@gmail.com> | 2019-06-19 23:08:03 -0700 |
| commit | d7d69569e72725686f1293aa042aa2cba9a1b11a (patch) | |
| tree | 35d159eba945a10ad7d359753434604ae4f492bb /mlir/test/Examples | |
| parent | e31c47ee8b596990aba2e4b967ed7e56684ae0f0 (diff) | |
| download | bcm5719-llvm-d7d69569e72725686f1293aa042aa2cba9a1b11a.tar.gz bcm5719-llvm-d7d69569e72725686f1293aa042aa2cba9a1b11a.zip | |
Rename -verify mlir-opt flag to -verify-expected-diagnostics
This name has caused some confusion because it suggests that it's running op verification (and that this verification isn't getting run by default).
PiperOrigin-RevId: 254035268
Diffstat (limited to 'mlir/test/Examples')
| -rw-r--r-- | mlir/test/Examples/Linalg/Linalg1.mlir | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mlir/test/Examples/Linalg/Linalg1.mlir b/mlir/test/Examples/Linalg/Linalg1.mlir index 7606ffae70e..6858707dca9 100644 --- a/mlir/test/Examples/Linalg/Linalg1.mlir +++ b/mlir/test/Examples/Linalg/Linalg1.mlir @@ -1,5 +1,5 @@ -// RUN: linalg1-opt %s -verify | FileCheck %s -// RUN: linalg1-opt %s -lower-linalg-to-llvm -verify | FileCheck %s -check-prefix=LLVM +// RUN: linalg1-opt %s -verify-diagnostics | FileCheck %s +// RUN: linalg1-opt %s -lower-linalg-to-llvm -verify-diagnostics | FileCheck %s -check-prefix=LLVM func @view_op(%arg0: memref<f32>, %arg1: memref<?xf32>, %arg2: memref<?x?xf32>) { %c3 = constant 3 : index |
