← passage and results

pass2.out

evidence/breadth-10/pbt/raw/case040_seed1040_valid/pass2.out

Download original file

module {
  fabric.module @m(%arg0 : !fabric.bits_tag<32, 2>) -> !fabric.bits_tag<32, 4> {
    %0 = fabric.boundary [t2t] %arg0 {hw_params = [{lut_size = 4 : i32}], sw_configs = {lookup_table = [{dst_tag = -8 : i4, src_tag = 0 : i2}]}} : !fabric.bits_tag<32, 2> -> !fabric.bits_tag<32, 4>
    fabric.yield %0 : !fabric.bits_tag<32, 4>
  }
}