mirror of https://github.com/llvm/circt.git
16 lines
503 B
MLIR
16 lines
503 B
MLIR
// RUN: circt-opt --split-input-file -allow-unregistered-dialect --hw-eliminate-inout-ports -verify-diagnostics %s
|
|
|
|
hw.module @unsupported(inout %a: i42) {
|
|
// expected-error @+1 {{uses hw.inout port "a" but the operation itself is unsupported.}}
|
|
"foo.bar" (%a) : (!hw.inout<i42>) -> ()
|
|
}
|
|
|
|
// -----
|
|
|
|
// expected-error @+1 {{multiple writers of inout port "a" is unsupported.}}
|
|
hw.module @multipleWriters(inout %a: i42) {
|
|
%0 = hw.constant 0 : i42
|
|
sv.assign %a, %0 : i42
|
|
sv.assign %a, %0 : i42
|
|
}
|