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' 8func.func private @foo() 9