A few of the reference kernels in iree/hal/vmla/op_kernels_generic.h have particularly poor performance. While we expect the LLVM ahead-of-time backend to be more viable as a deployment target, having a faster reference backend is still generally useful.

Some of the slow kernels are already labeled:

https://github

The firrtl dialect does some fancy things with SSA names: it pulls the 'name' attribute into the result of the operation, and correctly round trips this through the parser. The RTL dialect should do something similar, but limited to rtl.wire specifically. Instead of printing:

%42 = rtl.wire { name = "foo" } : i8

We should print:

%foo = rtl.wire : i8

The real pay

Since #384 we can make use of the IR verification features of MLIR.

Our BConv op has a few parameter combinations where it can throw during Init or Prepare. In the converter we try to make sure that none of those cases will ev