← passage and results

case_ctrl_good_positive.mlir

evidence/breadth-02/pbt/controlled/cases/case_ctrl_good_positive.mlir

Download original file

module {
  "fabric.switch"() <{sym_name = "sw_0", function_type = (!fabric.bits_tag<1, 2>, !fabric.bits_tag<1, 2>, !fabric.bits_tag<1, 2>, !fabric.bits_tag<1, 2>, !fabric.bits_tag<1, 2>) -> (!fabric.bits_tag<1, 2>, !fabric.bits_tag<1, 2>, !fabric.bits_tag<1, 2>, !fabric.bits_tag<1, 2>), schedule = 1 : i32, hw_params = [{connectivity_table = ["11111", "11111", "11111", "11010"], route_table_size = 4 : i32, grant_policy = #fabric.switch_fixed_priority<requester_order = [1, 0, 4, 2, 3]>}]}> : () -> ()
}