mirror of https://github.com/llvm/circt.git
18 lines
463 B
MLIR
18 lines
463 B
MLIR
// RUN: circt-opt -split-input-file -convert-fsm-to-sv -verify-diagnostics %s
|
|
|
|
fsm.machine @foo(%arg0: i1) -> (i1) attributes {initialState = "A"} {
|
|
// expected-error@+1 {{'arith.constant' op is unsupported (op from the arith dialect).}}
|
|
%true = arith.constant true
|
|
fsm.state @A output {
|
|
fsm.output %true : i1
|
|
} transitions {
|
|
fsm.transition @A
|
|
}
|
|
|
|
fsm.state @B output {
|
|
fsm.output %true : i1
|
|
} transitions {
|
|
fsm.transition @A
|
|
}
|
|
}
|