circt/test/Dialect/Sim/print-canon.mlir

19 lines
486 B
MLIR

// RUN: circt-opt --canonicalize %s | FileCheck %s
// CHECK-LABEL: hw.module @always_disabled
// CHECK-NOT: sim.print
hw.module @always_disabled(in %clock: !seq.clock) {
%false = hw.constant false
%lit = sim.fmt.lit "Foo"
sim.print %lit on %clock if %false
}
// CHECK-LABEL: hw.module @emtpy_proc_print
// CHECK-NOT: sim.proc.print
hw.module @emtpy_proc_print(in %trigger: i1) {
hw.triggered posedge %trigger {
%epsilon = sim.fmt.lit ""
sim.proc.print %epsilon
}
}