Calyx test failure

Incubator CIRCT
1

Just fyi @cgyurgyik I’m seeing this failure on ToT:

******************** TEST 'CIRCT :: Dialect/Calyx/emit.mlir' FAILED ********************
Script:
--
: 'RUN: at line 1';   /Users/chrisl/Projects/circt/build/bin/circt-translate --export-calyx --verify-diagnostics /Users/chrisl/Projects/circt/test/Dialect/Calyx/emit.mlir | /Users/chrisl/Projects/circt/llvm/build/bin/FileCheck /Users/chrisl/Projects/circt/test/Dialect/Calyx/emit.mlir --strict-whitespace
--
Exit Code: 1

Command Output (stderr):
--
/Users/chrisl/Projects/circt/test/Dialect/Calyx/emit.mlir:57:23: error: CHECK-LABEL: expected string not found in input
      // CHECK-LABEL: comb group Group2 {
                      ^
<stdin>:30:10: note: scanning from here
  wires {
         ^
<stdin>:38:5: note: possible intended match here
    comb group Group2comb group {
    ^

Input file: <stdin>
Check file: /Users/chrisl/Projects/circt/test/Dialect/Calyx/emit.mlir

-dump-input=help explains the following input dump.

Input was:
<<<<<<
            .
2

Is this still occurring for you? I can’t reproduce.

Edit: running the command locally, I get

...
comb group Group2 {
      c1.in = (c1.out | (c1.out & 1'd1 & !c1.out)) ? c1.out;
}
...

Edit: @youngar fixed this :slight_smile:

3

This should be fixed in: