mirror of https://github.com/llvm/circt.git
49 lines
1.6 KiB
MLIR
49 lines
1.6 KiB
MLIR
// UNSUPPORTED: system-windows
|
|
// See https://github.com/llvm/circt/issues/4129
|
|
|
|
// This test checks that only the reduction patterns of dialects that occur in
|
|
// the input file are registered
|
|
|
|
// RUN: circt-reduce %s --test /usr/bin/env --test-arg cat --list | FileCheck %s
|
|
|
|
// CHECK: firrtl-lower-chirrtl
|
|
// CHECK-DAG: firrtl-infer-widths
|
|
// CHECK-DAG: firrtl-infer-resets
|
|
// CHECK-DAG: firrtl-module-externalizer
|
|
// CHECK-DAG: instance-stubber
|
|
// CHECK-DAG: memory-stubber
|
|
// CHECK-DAG: eager-inliner
|
|
// CHECK-DAG: firrtl-lower-types
|
|
// CHECK-DAG: firrtl-expand-whens
|
|
// CHECK-DAG: firrtl-inliner
|
|
// CHECK-DAG: firrtl-imconstprop
|
|
// CHECK-DAG: firrtl-remove-unused-ports
|
|
// CHECK-DAG: node-symbol-remover
|
|
// CHECK-DAG: connect-forwarder
|
|
// CHECK-DAG: connect-invalidator
|
|
// CHECK-DAG: firrtl-constantifier
|
|
// CHECK-DAG: firrtl-operand0-forwarder
|
|
// CHECK-DAG: firrtl-operand1-forwarder
|
|
// CHECK-DAG: firrtl-operand2-forwarder
|
|
// CHECK-DAG: detach-subaccesses
|
|
// CHECK-DAG: hw-module-externalizer
|
|
// CHECK-DAG: annotation-remover
|
|
// CHECK-DAG: hw-constantifier
|
|
// CHECK-DAG: root-port-pruner
|
|
// CHECK-DAG: hw-operand0-forwarder
|
|
// CHECK-DAG: extmodule-instance-remover
|
|
// CHECK-DAG: cse
|
|
// CHECK-DAG: hw-operand1-forwarder
|
|
// CHECK-DAG: connect-source-operand-0-forwarder
|
|
// CHECK-DAG: canonicalize
|
|
// CHECK-DAG: hw-operand2-forwarder
|
|
// CHECK-DAG: connect-source-operand-1-forwarder
|
|
// CHECK-DAG: operation-pruner
|
|
// CHECK-DAG: connect-source-operand-2-forwarder
|
|
// CHECK-DAG: module-internal-name-sanitizer
|
|
// CHECK-DAG: module-name-sanitizer
|
|
// CHECK-EMPTY:
|
|
firrtl.circuit "Foo" {
|
|
firrtl.module @Foo() {}
|
|
}
|