mlir/test/mlir-reduce/invalid.mlir

   1 // UNSUPPORTED: system-windows
   2 // RUN: not mlir-reduce -opt-reduction-pass --no-implicit-module %s 2>&1 | FileCheck %s --check-prefix=CHECK-PASS
   3 // RUN: not mlir-reduce -reduction-tree --no-implicit-module %s 2>&1 | FileCheck %s --check-prefix=CHECK-TREE
   4
   5 // The reduction passes are currently restricted to 'builtin.module'.
   6 // CHECK-PASS: error: Can't add pass '{{.+}}' restricted to 'builtin.module' on a PassManager intended to run on 'func.func'
   7 // CHECK-TREE: error: top-level op must be 'builtin.module'
   8 func.func private @foo()