Remove unnecessary -verify-diagnostics

These were likely added in error because of confusion about the flag when it was just called "-verify". The extra flag doesn't cause much harm, but it does make mlir-opt do more work and clutter the RUN line

PiperOrigin-RevId: 254037016
This commit is contained in:
Geoffrey Martin-Noble 2019-06-19 11:30:16 -07:00 committed by Mehdi Amini
parent d7d69569e7
commit fd99b6ce97
6 changed files with 8 additions and 8 deletions

View File

@ -1,5 +1,5 @@
// RUN: linalg1-opt %s -verify-diagnostics | FileCheck %s
// RUN: linalg1-opt %s -lower-linalg-to-llvm -verify-diagnostics | FileCheck %s -check-prefix=LLVM
// RUN: linalg1-opt %s | FileCheck %s
// RUN: linalg1-opt %s -lower-linalg-to-llvm | FileCheck %s -check-prefix=LLVM
func @view_op(%arg0: memref<f32>, %arg1: memref<?xf32>, %arg2: memref<?x?xf32>) {
%c3 = constant 3 : index

View File

@ -1,4 +1,4 @@
// RUN: mlir-opt %s -verify-diagnostics | mlir-opt -verify-diagnostics | FileCheck %s
// RUN: mlir-opt %s | mlir-opt | FileCheck %s
// CHECK: #[[map0:.*]] = (d0, d1, d2) -> (d0, d2, d1)
// CHECK: #[[map1:.*]] = (d0, d1, d2) -> (d2, d1, d0)

View File

@ -1,4 +1,4 @@
// RUN: mlir-opt %s -quantizer-remove-instrumentation -verify-diagnostics -split-input-file | FileCheck %s
// RUN: mlir-opt %s -quantizer-remove-instrumentation -split-input-file | FileCheck %s
// -----
// CHECK-LABEL: remove_ops

View File

@ -1,5 +1,5 @@
// RUN: mlir-opt %s -affine-loop-fusion -split-input-file -verify-diagnostics | FileCheck %s
// RUN: mlir-opt %s -affine-loop-fusion -fusion-maximal -split-input-file -verify-diagnostics | FileCheck %s --check-prefix=MAXIMAL
// RUN: mlir-opt %s -affine-loop-fusion -split-input-file | FileCheck %s
// RUN: mlir-opt %s -affine-loop-fusion -fusion-maximal -split-input-file | FileCheck %s --check-prefix=MAXIMAL
// TODO(andydavis) Add more tests:
// *) Add nested fusion test cases when non-constant loop bound support is

View File

@ -1,4 +1,4 @@
// RUN: mlir-opt %s -affine-loop-invariant-code-motion -split-input-file -verify-diagnostics | FileCheck %s
// RUN: mlir-opt %s -affine-loop-invariant-code-motion -split-input-file | FileCheck %s
func @nested_loops_both_having_invariant_code() {
%m = alloc() : memref<10xf32>

View File

@ -1,4 +1,4 @@
// RUN: mlir-opt %s -memref-dataflow-opt -verify-diagnostics | FileCheck %s
// RUN: mlir-opt %s -memref-dataflow-opt | FileCheck %s
// CHECK-DAG: [[MAP0:#map[0-9]+]] = (d0, d1) -> (d1 + 1)
// CHECK-DAG: [[MAP1:#map[0-9]+]] = (d0, d1) -> (d0)