← passage and results

seed_0018.mlir

evidence/breadth-13/cases/seed_0018.mlir

Download original file

module {
  fabric.module @m18(%a0 : !fabric.bits<8>, %a1 : !fabric.bits<4>, %a2 : !fabric.bits<4>, %a3 : !fabric.bits<16>) -> (!fabric.bits<8>) {
    %s0:2 = fabric.switch [spatial] %a3 [{connectivity_table = ["1", "1"]}] : (!fabric.bits<16>) -> (!fabric.bits<16>, !fabric.bits<16>)
    %s1:2 = fabric.switch [spatial] %a1 [{connectivity_table = ["1", "1"]}] : (!fabric.bits<4>) -> (!fabric.bits<4>, !fabric.bits<4>)
    %s2 = fabric.switch [spatial] %a0 [{connectivity_table = ["1"]}] : (!fabric.bits<8>) -> (!fabric.bits<8>)
    %bad18 = memref.alloc() : memref<8xi32>
    fabric.yield %s2 : !fabric.bits<8>
  }
}