circt/test/circt-opt/commandline.mlir

39 lines
942 B
MLIR

// RUN: circt-opt --help | FileCheck %s --check-prefix=HELP
// RUN: circt-opt --show-dialects | FileCheck %s --check-prefix=DIALECT
// HELP: OVERVIEW: CIRCT modular optimizer driver
// DIALECT: Available Dialects:
// DIALECT-SAME: affine
// DIALECT-SAME: aig
// DIALECT-SAME: arc
// DIALECT-SAME: arith
// DIALECT-SAME: builtin
// DIALECT-SAME: calyx
// DIALECT-SAME: cf
// DIALECT-SAME: chirrtl
// DIALECT-SAME: comb
// DIALECT-SAME: emitc
// DIALECT-SAME: esi
// DIALECT-SAME: firrtl
// DIALECT-SAME: fsm
// DIALECT-SAME: func
// DIALECT-SAME: handshake
// DIALECT-SAME: hw
// DIALECT-SAME: hwarith
// DIALECT-SAME: interop
// DIALECT-SAME: kanagawa
// DIALECT-SAME: llhd
// DIALECT-SAME: llvm
// DIALECT-SAME: memref
// DIALECT-SAME: moore
// DIALECT-SAME: msft
// DIALECT-SAME: om
// DIALECT-SAME: pipeline
// DIALECT-SAME: scf
// DIALECT-SAME: seq
// DIALECT-SAME: smt
// DIALECT-SAME: ssp
// DIALECT-SAME: sv
// DIALECT-SAME: systemc