tools/test/p4src/p4-14/p4c-out/tofino/default/mavericks/default.json

{
  "program" : "default.p4",
  "__meta__" : {
    "version" : [2, 7],
    "compiler" : "https://github.com/p4lang/p4c"
  },
  "header_types" : [
    {
      "name" : "scalars_0",
      "id" : 0,
      "fields" : [
        ["tmp_0", 104, false],
        ["tmp", 8, false],
        ["tmp_1", 32, false],
        ["tmp_2", 32, false]
      ]
    },
    {
      "name" : "ethernet_t",
      "id" : 1,
      "fields" : [
        ["dstAddr", 48, false],
        ["srcAddr", 48, false],
        ["etherType", 16, false]
      ]
    },
    {
      "name" : "ipv4_t",
      "id" : 2,
      "fields" : [
        ["version", 4, false],
        ["ihl", 4, false],
        ["diffserv", 8, false],
        ["totalLen", 16, false],
        ["identification", 16, false],
        ["flags", 3, false],
        ["fragOffset", 13, false],
        ["ttl", 8, false],
        ["protocol", 8, false],
        ["hdrChecksum", 16, false],
        ["srcAddr", 32, false],
        ["dstAddr", 32, false]
      ]
    },
    {
      "name" : "packet_in_t",
      "id" : 3,
      "fields" : [
        ["ingress_port", 9, false],
        ["_padding", 7, false]
      ]
    },
    {
      "name" : "packet_out_t",
      "id" : 4,
      "fields" : [
        ["egress_port", 9, false],
        ["_padding_0", 7, false]
      ]
    },
    {
      "name" : "tcp_t",
      "id" : 5,
      "fields" : [
        ["srcPort", 16, false],
        ["dstPort", 16, false],
        ["seqNo", 32, false],
        ["ackNo", 32, false],
        ["dataOffset", 4, false],
        ["res", 3, false],
        ["ecn", 3, false],
        ["ctrl", 6, false],
        ["window", 16, false],
        ["checksum", 16, false],
        ["urgentPtr", 16, false]
      ]
    },
    {
      "name" : "udp_t",
      "id" : 6,
      "fields" : [
        ["srcPort", 16, false],
        ["dstPort", 16, false],
        ["length_", 16, false],
        ["checksum", 16, false]
      ]
    },
    {
      "name" : "ig_intr_md",
      "id" : 7,
      "fields" : [
        ["ingress_port", 9, false],
        ["egress_spec", 9, false],
        ["egress_port", 9, false],
        ["clone_spec", 32, false],
        ["instance_type", 32, false],
        ["drop", 1, false],
        ["recirculate_port", 16, false],
        ["packet_length", 32, false],
        ["enq_timestamp", 32, false],
        ["enq_qdepth", 19, false],
        ["deq_timedelta", 32, false],
        ["deq_qdepth", 19, false],
        ["ingress_global_timestamp", 48, false],
        ["lf_field_list", 32, false],
        ["mcast_grp", 16, false],
        ["resubmit_flag", 1, false],
        ["egress_rid", 16, false],
        ["_padding_1", 5, false]
      ]
    }
  ],
  "headers" : [
    {
      "name" : "scalars",
      "id" : 0,
      "header_type" : "scalars_0",
      "metadata" : true,
      "pi_omit" : true
    },
    {
      "name" : "ig_intr_md",
      "id" : 1,
      "header_type" : "ig_intr_md",
      "metadata" : true,
      "pi_omit" : true
    },
    {
      "name" : "ethernet",
      "id" : 2,
      "header_type" : "ethernet_t",
      "metadata" : false,
      "pi_omit" : true
    },
    {
      "name" : "ipv4",
      "id" : 3,
      "header_type" : "ipv4_t",
      "metadata" : false,
      "pi_omit" : true
    },
    {
      "name" : "packet_in_hdr",
      "id" : 4,
      "header_type" : "packet_in_t",
      "metadata" : false,
      "pi_omit" : true
    },
    {
      "name" : "packet_out_hdr",
      "id" : 5,
      "header_type" : "packet_out_t",
      "metadata" : false,
      "pi_omit" : true
    },
    {
      "name" : "tcp",
      "id" : 6,
      "header_type" : "tcp_t",
      "metadata" : false,
      "pi_omit" : true
    },
    {
      "name" : "udp",
      "id" : 7,
      "header_type" : "udp_t",
      "metadata" : false,
      "pi_omit" : true
    }
  ],
  "header_stacks" : [],
  "header_union_types" : [],
  "header_unions" : [],
  "header_union_stacks" : [],
  "field_lists" : [],
  "errors" : [
    ["NoError", 1],
    ["PacketTooShort", 2],
    ["NoMatch", 3],
    ["StackOutOfBounds", 4],
    ["HeaderTooShort", 5],
    ["ParserTimeout", 6]
  ],
  "enums" : [],
  "parsers" : [
    {
      "name" : "parser",
      "id" : 0,
      "init_state" : "start",
      "parse_states" : [
        {
          "name" : "default_parser",
          "id" : 0,
          "parser_ops" : [],
          "transitions" : [
            {
              "value" : "0x00ff",
              "mask" : null,
              "next_state" : "parse_pkt_out"
            },
            {
              "value" : "default",
              "mask" : null,
              "next_state" : "parse_ethernet"
            }
          ],
          "transition_key" : [
            {
              "type" : "field",
              "value" : ["ig_intr_md", "ingress_port"]
            }
          ]
        },
        {
          "name" : "parse_ethernet",
          "id" : 1,
          "parser_ops" : [
            {
              "parameters" : [
                {
                  "type" : "regular",
                  "value" : "ethernet"
                }
              ],
              "op" : "extract"
            }
          ],
          "transitions" : [
            {
              "value" : "0x0800",
              "mask" : null,
              "next_state" : "parse_ipv4"
            },
            {
              "value" : "default",
              "mask" : null,
              "next_state" : null
            }
          ],
          "transition_key" : [
            {
              "type" : "field",
              "value" : ["ethernet", "etherType"]
            }
          ]
        },
        {
          "name" : "parse_ipv4",
          "id" : 2,
          "parser_ops" : [
            {
              "parameters" : [
                {
                  "type" : "regular",
                  "value" : "ipv4"
                }
              ],
              "op" : "extract"
            }
          ],
          "transitions" : [
            {
              "value" : "0x000006",
              "mask" : null,
              "next_state" : "parse_tcp"
            },
            {
              "value" : "0x000011",
              "mask" : null,
              "next_state" : "parse_udp"
            },
            {
              "value" : "default",
              "mask" : null,
              "next_state" : null
            }
          ],
          "transition_key" : [
            {
              "type" : "field",
              "value" : ["ipv4", "fragOffset"]
            },
            {
              "type" : "field",
              "value" : ["ipv4", "protocol"]
            }
          ]
        },
        {
          "name" : "parse_pkt_in",
          "id" : 3,
          "parser_ops" : [
            {
              "parameters" : [
                {
                  "type" : "regular",
                  "value" : "packet_in_hdr"
                }
              ],
              "op" : "extract"
            }
          ],
          "transitions" : [
            {
              "value" : "default",
              "mask" : null,
              "next_state" : "parse_ethernet"
            }
          ],
          "transition_key" : []
        },
        {
          "name" : "parse_pkt_out",
          "id" : 4,
          "parser_ops" : [
            {
              "parameters" : [
                {
                  "type" : "regular",
                  "value" : "packet_out_hdr"
                }
              ],
              "op" : "extract"
            }
          ],
          "transitions" : [
            {
              "value" : "default",
              "mask" : null,
              "next_state" : "parse_ethernet"
            }
          ],
          "transition_key" : []
        },
        {
          "name" : "parse_tcp",
          "id" : 5,
          "parser_ops" : [
            {
              "parameters" : [
                {
                  "type" : "regular",
                  "value" : "tcp"
                }
              ],
              "op" : "extract"
            }
          ],
          "transitions" : [
            {
              "value" : "default",
              "mask" : null,
              "next_state" : null
            }
          ],
          "transition_key" : []
        },
        {
          "name" : "parse_udp",
          "id" : 6,
          "parser_ops" : [
            {
              "parameters" : [
                {
                  "type" : "regular",
                  "value" : "udp"
                }
              ],
              "op" : "extract"
            }
          ],
          "transitions" : [
            {
              "value" : "default",
              "mask" : null,
              "next_state" : null
            }
          ],
          "transition_key" : []
        },
        {
          "name" : "start",
          "id" : 7,
          "parser_ops" : [
            {
              "parameters" : [
                {
                  "type" : "field",
                  "value" : ["scalars", "tmp_0"]
                },
                {
                  "type" : "lookahead",
                  "value" : [0, 104]
                }
              ],
              "op" : "set"
            },
            {
              "parameters" : [
                {
                  "type" : "field",
                  "value" : ["scalars", "tmp"]
                },
                {
                  "type" : "expression",
                  "value" : {
                    "type" : "expression",
                    "value" : {
                      "op" : "&",
                      "left" : {
                        "type" : "field",
                        "value" : ["scalars", "tmp_0"]
                      },
                      "right" : {
                        "type" : "hexstr",
                        "value" : "0xff"
                      }
                    }
                  }
                }
              ],
              "op" : "set"
            }
          ],
          "transitions" : [
            {
              "value" : "0x00",
              "mask" : null,
              "next_state" : "parse_pkt_in"
            },
            {
              "value" : "default",
              "mask" : null,
              "next_state" : "default_parser"
            }
          ],
          "transition_key" : [
            {
              "type" : "field",
              "value" : ["scalars", "tmp"]
            }
          ]
        }
      ]
    }
  ],
  "deparsers" : [
    {
      "name" : "deparser",
      "id" : 0,
      "order" : ["packet_out_hdr", "packet_in_hdr", "ethernet", "ipv4", "udp", "tcp"]
    }
  ],
  "meter_arrays" : [],
  "counter_arrays" : [
    {
      "name" : "table0_counter",
      "id" : 0,
      "is_direct" : true,
      "binding" : "table0"
    },
    {
      "name" : "egress_port_counter",
      "id" : 1,
      "size" : 254,
      "is_direct" : false
    },
    {
      "name" : "ingress_port_counter",
      "id" : 2,
      "size" : 254,
      "is_direct" : false
    }
  ],
  "register_arrays" : [],
  "calculations" : [],
  "learn_lists" : [],
  "actions" : [
    {
      "name" : "add_packet_in_hdr",
      "id" : 0,
      "runtime_data" : [],
      "primitives" : [
        {
          "op" : "add_header",
          "parameters" : [
            {
              "type" : "header",
              "value" : "packet_in_hdr"
            }
          ],
          "source_info" : {
            "filename" : "include/packet_io.p4",
            "line" : 25,
            "column" : 4,
            "source_fragment" : "add_header(packet_in_hdr)"
          }
        },
        {
          "op" : "assign",
          "parameters" : [
            {
              "type" : "field",
              "value" : ["packet_in_hdr", "ingress_port"]
            },
            {
              "type" : "field",
              "value" : ["ig_intr_md", "ingress_port"]
            }
          ],
          "source_info" : {
            "filename" : "include/packet_io.p4",
            "line" : 26,
            "column" : 4,
            "source_fragment" : "modify_field(packet_in_hdr.ingress_port, ig_intr_md.ingress_port)"
          }
        }
      ]
    },
    {
      "name" : "NoAction",
      "id" : 1,
      "runtime_data" : [],
      "primitives" : []
    },
    {
      "name" : "set_egress_port",
      "id" : 2,
      "runtime_data" : [
        {
          "name" : "port",
          "bitwidth" : 9
        }
      ],
      "primitives" : [
        {
          "op" : "assign",
          "parameters" : [
            {
              "type" : "field",
              "value" : ["ig_intr_md", "egress_spec"]
            },
            {
              "type" : "runtime_data",
              "value" : 0
            }
          ],
          "source_info" : {
            "filename" : "include/actions.p4",
            "line" : 5,
            "column" : 23,
            "source_fragment" : "port) { ..."
          }
        }
      ]
    },
    {
      "name" : "send_to_cpu",
      "id" : 3,
      "runtime_data" : [],
      "primitives" : [
        {
          "op" : "assign",
          "parameters" : [
            {
              "type" : "field",
              "value" : ["ig_intr_md", "egress_spec"]
            },
            {
              "type" : "hexstr",
              "value" : "0x00ff"
            }
          ],
          "source_info" : {
            "filename" : "include/actions.p4",
            "line" : 21,
            "column" : 4,
            "source_fragment" : "modify_field(ig_intr_md.egress_spec, 255)"
          }
        }
      ]
    },
    {
      "name" : "_drop",
      "id" : 4,
      "runtime_data" : [],
      "primitives" : [
        {
          "op" : "assign",
          "parameters" : [
            {
              "type" : "field",
              "value" : ["ig_intr_md", "egress_spec"]
            },
            {
              "type" : "hexstr",
              "value" : "0x01ff"
            }
          ],
          "source_info" : {
            "filename" : "include/actions.p4",
            "line" : 13,
            "column" : 4,
            "source_fragment" : "modify_field(ig_intr_md.egress_spec, 511)"
          }
        }
      ]
    },
    {
      "name" : "_packet_out",
      "id" : 5,
      "runtime_data" : [],
      "primitives" : [
        {
          "op" : "assign",
          "parameters" : [
            {
              "type" : "field",
              "value" : ["ig_intr_md", "egress_spec"]
            },
            {
              "type" : "field",
              "value" : ["packet_out_hdr", "egress_port"]
            }
          ],
          "source_info" : {
            "filename" : "include/packet_io.p4",
            "line" : 7,
            "column" : 4,
            "source_fragment" : "modify_field(ig_intr_md.egress_spec, packet_out_hdr.egress_port)"
          }
        },
        {
          "op" : "remove_header",
          "parameters" : [
            {
              "type" : "header",
              "value" : "packet_out_hdr"
            }
          ],
          "source_info" : {
            "filename" : "include/packet_io.p4",
            "line" : 8,
            "column" : 4,
            "source_fragment" : "remove_header(packet_out_hdr)"
          }
        }
      ]
    },
    {
      "name" : "count_egress",
      "id" : 6,
      "runtime_data" : [],
      "primitives" : [
        {
          "op" : "assign",
          "parameters" : [
            {
              "type" : "field",
              "value" : ["scalars", "tmp_1"]
            },
            {
              "type" : "expression",
              "value" : {
                "type" : "expression",
                "value" : {
                  "op" : "&",
                  "left" : {
                    "type" : "field",
                    "value" : ["ig_intr_md", "egress_spec"]
                  },
                  "right" : {
                    "type" : "hexstr",
                    "value" : "0xffffffff"
                  }
                }
              }
            }
          ]
        },
        {
          "op" : "count",
          "parameters" : [
            {
              "type" : "counter_array",
              "value" : "egress_port_counter"
            },
            {
              "type" : "field",
              "value" : ["scalars", "tmp_1"]
            }
          ],
          "source_info" : {
            "filename" : "include/port_counters.p4",
            "line" : 22,
            "column" : 4,
            "source_fragment" : "count(egress_port_counter, ig_intr_md.egress_spec)"
          }
        }
      ]
    },
    {
      "name" : "count_ingress",
      "id" : 7,
      "runtime_data" : [],
      "primitives" : [
        {
          "op" : "assign",
          "parameters" : [
            {
              "type" : "field",
              "value" : ["scalars", "tmp_2"]
            },
            {
              "type" : "expression",
              "value" : {
                "type" : "expression",
                "value" : {
                  "op" : "&",
                  "left" : {
                    "type" : "field",
                    "value" : ["ig_intr_md", "ingress_port"]
                  },
                  "right" : {
                    "type" : "hexstr",
                    "value" : "0xffffffff"
                  }
                }
              }
            }
          ]
        },
        {
          "op" : "count",
          "parameters" : [
            {
              "type" : "counter_array",
              "value" : "ingress_port_counter"
            },
            {
              "type" : "field",
              "value" : ["scalars", "tmp_2"]
            }
          ],
          "source_info" : {
            "filename" : "include/port_counters.p4",
            "line" : 18,
            "column" : 4,
            "source_fragment" : "count(ingress_port_counter, ig_intr_md.ingress_port)"
          }
        }
      ]
    }
  ],
  "pipelines" : [
    {
      "name" : "ingress",
      "id" : 0,
      "init_table" : "node_2",
      "tables" : [
        {
          "name" : "ingress_pkt",
          "id" : 0,
          "source_info" : {
            "filename" : "include/packet_io.p4",
            "line" : 11,
            "column" : 0,
            "source_fragment" : "table ingress_pkt { ..."
          },
          "key" : [],
          "match_type" : "exact",
          "type" : "simple",
          "max_size" : 1024,
          "with_counters" : false,
          "support_timeout" : false,
          "direct_meters" : null,
          "action_ids" : [5],
          "actions" : ["_packet_out"],
          "base_default_next" : "node_4",
          "next_tables" : {
            "_packet_out" : "node_4"
          },
          "default_entry" : {
            "action_id" : 5,
            "action_const" : false,
            "action_data" : [],
            "action_entry_const" : false
          }
        },
        {
          "name" : "table0",
          "id" : 1,
          "source_info" : {
            "filename" : "default.p4",
            "line" : 8,
            "column" : 0,
            "source_fragment" : "table table0 { ..."
          },
          "key" : [
            {
              "match_type" : "ternary",
              "target" : ["ig_intr_md", "ingress_port"],
              "mask" : null
            },
            {
              "match_type" : "ternary",
              "target" : ["ethernet", "dstAddr"],
              "mask" : null
            },
            {
              "match_type" : "ternary",
              "target" : ["ethernet", "srcAddr"],
              "mask" : null
            },
            {
              "match_type" : "ternary",
              "target" : ["ethernet", "etherType"],
              "mask" : null
            }
          ],
          "match_type" : "ternary",
          "type" : "simple",
          "max_size" : 1024,
          "with_counters" : true,
          "support_timeout" : false,
          "direct_meters" : null,
          "action_ids" : [2, 3, 4, 1],
          "actions" : ["set_egress_port", "send_to_cpu", "_drop", "NoAction"],
          "base_default_next" : "node_6",
          "next_tables" : {
            "set_egress_port" : "node_6",
            "send_to_cpu" : "node_6",
            "_drop" : "node_6",
            "NoAction" : "node_6"
          },
          "default_entry" : {
            "action_id" : 1,
            "action_const" : false,
            "action_data" : [],
            "action_entry_const" : false
          }
        },
        {
          "name" : "ingress_port_count_table",
          "id" : 2,
          "source_info" : {
            "filename" : "include/port_counters.p4",
            "line" : 25,
            "column" : 0,
            "source_fragment" : "table ingress_port_count_table { ..."
          },
          "key" : [],
          "match_type" : "exact",
          "type" : "simple",
          "max_size" : 1024,
          "with_counters" : false,
          "support_timeout" : false,
          "direct_meters" : null,
          "action_ids" : [7],
          "actions" : ["count_ingress"],
          "base_default_next" : "egress_port_count_table",
          "next_tables" : {
            "count_ingress" : "egress_port_count_table"
          },
          "default_entry" : {
            "action_id" : 7,
            "action_const" : false,
            "action_data" : [],
            "action_entry_const" : false
          }
        },
        {
          "name" : "egress_port_count_table",
          "id" : 3,
          "source_info" : {
            "filename" : "include/port_counters.p4",
            "line" : 30,
            "column" : 0,
            "source_fragment" : "table egress_port_count_table { ..."
          },
          "key" : [],
          "match_type" : "exact",
          "type" : "simple",
          "max_size" : 1024,
          "with_counters" : false,
          "support_timeout" : false,
          "direct_meters" : null,
          "action_ids" : [6],
          "actions" : ["count_egress"],
          "base_default_next" : null,
          "next_tables" : {
            "count_egress" : null
          },
          "default_entry" : {
            "action_id" : 6,
            "action_const" : false,
            "action_data" : [],
            "action_entry_const" : false
          }
        }
      ],
      "action_profiles" : [],
      "conditionals" : [
        {
          "name" : "node_2",
          "id" : 0,
          "source_info" : {
            "filename" : "include/packet_io.p4",
            "line" : 19,
            "column" : 8,
            "source_fragment" : "valid(packet_out_hdr)"
          },
          "expression" : {
            "type" : "expression",
            "value" : {
              "op" : "==",
              "left" : {
                "type" : "field",
                "value" : ["packet_out_hdr", "$valid$"]
              },
              "right" : {
                "type" : "hexstr",
                "value" : "0x01"
              }
            }
          },
          "true_next" : "ingress_pkt",
          "false_next" : "node_4"
        },
        {
          "name" : "node_4",
          "id" : 1,
          "source_info" : {
            "filename" : "default.p4",
            "line" : 31,
            "column" : 12,
            "source_fragment" : "valid(packet_out_hdr)"
          },
          "expression" : {
            "type" : "expression",
            "value" : {
              "op" : "!=",
              "left" : {
                "type" : "field",
                "value" : ["packet_out_hdr", "$valid$"]
              },
              "right" : {
                "type" : "hexstr",
                "value" : "0x01"
              }
            }
          },
          "true_next" : "table0",
          "false_next" : "node_6"
        },
        {
          "name" : "node_6",
          "id" : 2,
          "source_info" : {
            "filename" : "include/port_counters.p4",
            "line" : 36,
            "column" : 38,
            "source_fragment" : "<"
          },
          "expression" : {
            "type" : "expression",
            "value" : {
              "op" : "<",
              "left" : {
                "type" : "field",
                "value" : ["ig_intr_md", "egress_spec"]
              },
              "right" : {
                "type" : "hexstr",
                "value" : "0x00fe"
              }
            }
          },
          "false_next" : null,
          "true_next" : "ingress_port_count_table"
        }
      ]
    },
    {
      "name" : "egress",
      "id" : 1,
      "init_table" : "node_11",
      "tables" : [
        {
          "name" : "egress_pkt",
          "id" : 4,
          "source_info" : {
            "filename" : "include/packet_io.p4",
            "line" : 29,
            "column" : 0,
            "source_fragment" : "table egress_pkt { ..."
          },
          "key" : [],
          "match_type" : "exact",
          "type" : "simple",
          "max_size" : 1024,
          "with_counters" : false,
          "support_timeout" : false,
          "direct_meters" : null,
          "action_ids" : [0],
          "actions" : ["add_packet_in_hdr"],
          "base_default_next" : null,
          "next_tables" : {
            "add_packet_in_hdr" : null
          },
          "default_entry" : {
            "action_id" : 0,
            "action_const" : false,
            "action_data" : [],
            "action_entry_const" : false
          }
        }
      ],
      "action_profiles" : [],
      "conditionals" : [
        {
          "name" : "node_11",
          "id" : 3,
          "source_info" : {
            "filename" : "include/packet_io.p4",
            "line" : 40,
            "column" : 39,
            "source_fragment" : "=="
          },
          "expression" : {
            "type" : "expression",
            "value" : {
              "op" : "==",
              "left" : {
                "type" : "field",
                "value" : ["ig_intr_md", "ingress_port"]
              },
              "right" : {
                "type" : "hexstr",
                "value" : "0x00ff"
              }
            }
          },
          "false_next" : null,
          "true_next" : "egress_pkt"
        }
      ]
    }
  ],
  "checksums" : [],
  "force_arith" : [],
  "extern_instances" : [],
  "field_aliases" : [
    [
      "queueing_metadata.enq_timestamp",
      ["ig_intr_md", "enq_timestamp"]
    ],
    [
      "queueing_metadata.enq_qdepth",
      ["ig_intr_md", "enq_qdepth"]
    ],
    [
      "queueing_metadata.deq_timedelta",
      ["ig_intr_md", "deq_timedelta"]
    ],
    [
      "queueing_metadata.deq_qdepth",
      ["ig_intr_md", "deq_qdepth"]
    ],
    [
      "intrinsic_metadata.ingress_global_timestamp",
      ["ig_intr_md", "ingress_global_timestamp"]
    ],
    [
      "intrinsic_metadata.lf_field_list",
      ["ig_intr_md", "lf_field_list"]
    ],
    [
      "intrinsic_metadata.mcast_grp",
      ["ig_intr_md", "mcast_grp"]
    ],
    [
      "intrinsic_metadata.resubmit_flag",
      ["ig_intr_md", "resubmit_flag"]
    ],
    [
      "intrinsic_metadata.egress_rid",
      ["ig_intr_md", "egress_rid"]
    ]
  ]
}