static void
create_symtab(struct shash *symtab)
{
ovn_init_symtab(symtab);
/* For negative testing. */
expr_symtab_add_field(symtab, "bad_prereq", MFF_XREG0, "xyzzy", false);
expr_symtab_add_field(symtab, "self_recurse", MFF_XREG0,
"self_recurse != 0", false);
expr_symtab_add_field(symtab, "mutual_recurse_1", MFF_XREG0,
"mutual_recurse_2 != 0", false);
expr_symtab_add_field(symtab, "mutual_recurse_2", MFF_XREG0,
"mutual_recurse_1 != 0", false);
expr_symtab_add_string(symtab, "big_string", MFF_XREG0, NULL);
}
static void
add_logical_register(struct shash *symtab, enum mf_field_id id)
{
char name[8];
snprintf(name, sizeof name, "reg%d", id - MFF_REG0);
expr_symtab_add_field(symtab, name, id, NULL, false);
}
void
ovn_init_symtab(struct shash *symtab)
{
shash_init(symtab);
/* Reserve a pair of registers for the logical inport and outport. A full
* 32-bit register each is bigger than we need, but the expression code
* doesn't yet support string fields that occupy less than a full OXM. */
expr_symtab_add_string(symtab, "inport", MFF_LOG_INPORT, NULL);
expr_symtab_add_string(symtab, "outport", MFF_LOG_OUTPORT, NULL);
/* Logical registers:
* 128-bit xxregs
* 64-bit xregs
* 32-bit regs
*
* The expression language doesn't handle overlapping fields properly
* unless they're formally defined as subfields. It's a little awkward. */
for (int xxi = 0; xxi < MFF_N_LOG_REGS / 4; xxi++) {
char *xxname = xasprintf("xxreg%d", xxi);
expr_symtab_add_field(symtab, xxname, MFF_XXREG0 + xxi, NULL, false);
free(xxname);
}
for (int xi = 0; xi < MFF_N_LOG_REGS / 2; xi++) {
char *xname = xasprintf("xreg%d", xi);
int xxi = xi / 2;
if (xxi < MFF_N_LOG_REGS / 4) {
add_subregister(xname, "xxreg", xxi, 64, 1 - xi % 2, symtab);
} else {
expr_symtab_add_field(symtab, xname, MFF_XREG0 + xi, NULL, false);
}
free(xname);
}
for (int i = 0; i < MFF_N_LOG_REGS; i++) {
char *name = xasprintf("reg%d", i);
int xxi = i / 4;
int xi = i / 2;
if (xxi < MFF_N_LOG_REGS / 4) {
add_subregister(name, "xxreg", xxi, 32, 3 - i % 4, symtab);
} else if (xi < MFF_N_LOG_REGS / 2) {
add_subregister(name, "xreg", xi, 32, 1 - i % 2, symtab);
} else {
expr_symtab_add_field(symtab, name, MFF_REG0 + i, NULL, false);
}
free(name);
}
/* Flags used in logical to physical transformation. */
expr_symtab_add_field(symtab, "flags", MFF_LOG_FLAGS, NULL, false);
char flags_str[16];
snprintf(flags_str, sizeof flags_str, "flags[%d]", MLF_ALLOW_LOOPBACK_BIT);
expr_symtab_add_subfield(symtab, "flags.loopback", NULL, flags_str);
snprintf(flags_str, sizeof flags_str, "flags[%d]",
MLF_FORCE_SNAT_FOR_DNAT_BIT);
expr_symtab_add_subfield(symtab, "flags.force_snat_for_dnat", NULL,
flags_str);
snprintf(flags_str, sizeof flags_str, "flags[%d]",
MLF_FORCE_SNAT_FOR_LB_BIT);
expr_symtab_add_subfield(symtab, "flags.force_snat_for_lb", NULL,
flags_str);
/* Connection tracking state. */
expr_symtab_add_field(symtab, "ct_mark", MFF_CT_MARK, NULL, false);
expr_symtab_add_field(symtab, "ct_label", MFF_CT_LABEL, NULL, false);
expr_symtab_add_subfield(symtab, "ct_label.blocked", NULL, "ct_label[0]");
expr_symtab_add_field(symtab, "ct_state", MFF_CT_STATE, NULL, false);
struct ct_bit {
const char *name;
int bit;
};
static const struct ct_bit bits[] = {
{"trk", CS_TRACKED_BIT},
{"new", CS_NEW_BIT},
{"est", CS_ESTABLISHED_BIT},
{"rel", CS_RELATED_BIT},
{"rpl", CS_REPLY_DIR_BIT},
{"inv", CS_INVALID_BIT},
{"dnat", CS_DST_NAT_BIT},
{"snat", CS_SRC_NAT_BIT},
};
for (const struct ct_bit *b = bits; b < &bits[ARRAY_SIZE(bits)]; b++) {
char *name = xasprintf("ct.%s", b->name);
char *expansion = xasprintf("ct_state[%d]", b->bit);
const char *prereqs = b->bit == CS_TRACKED_BIT ? NULL : "ct.trk";
expr_symtab_add_subfield(symtab, name, prereqs, expansion);
free(expansion);
free(name);
}
/* Data fields. */
expr_symtab_add_field(symtab, "eth.src", MFF_ETH_SRC, NULL, false);
expr_symtab_add_field(symtab, "eth.dst", MFF_ETH_DST, NULL, false);
expr_symtab_add_field(symtab, "eth.type", MFF_ETH_TYPE, NULL, true);
expr_symtab_add_predicate(symtab, "eth.bcast",
"eth.dst == ff:ff:ff:ff:ff:ff");
expr_symtab_add_subfield(symtab, "eth.mcast", NULL, "eth.dst[40]");
expr_symtab_add_field(symtab, "vlan.tci", MFF_VLAN_TCI, NULL, false);
expr_symtab_add_predicate(symtab, "vlan.present", "vlan.tci[12]");
expr_symtab_add_subfield(symtab, "vlan.pcp", "vlan.present",
"vlan.tci[13..15]");
expr_symtab_add_subfield(symtab, "vlan.vid", "vlan.present",
"vlan.tci[0..11]");
expr_symtab_add_predicate(symtab, "ip4", "eth.type == 0x800");
expr_symtab_add_predicate(symtab, "ip6", "eth.type == 0x86dd");
expr_symtab_add_predicate(symtab, "ip", "ip4 || ip6");
expr_symtab_add_field(symtab, "ip.proto", MFF_IP_PROTO, "ip", true);
expr_symtab_add_field(symtab, "ip.dscp", MFF_IP_DSCP_SHIFTED, "ip", false);
expr_symtab_add_field(symtab, "ip.ecn", MFF_IP_ECN, "ip", false);
expr_symtab_add_field(symtab, "ip.ttl", MFF_IP_TTL, "ip", false);
expr_symtab_add_field(symtab, "ip4.src", MFF_IPV4_SRC, "ip4", false);
expr_symtab_add_field(symtab, "ip4.dst", MFF_IPV4_DST, "ip4", false);
expr_symtab_add_predicate(symtab, "ip4.mcast", "ip4.dst[28..31] == 0xe");
expr_symtab_add_predicate(symtab, "icmp4", "ip4 && ip.proto == 1");
expr_symtab_add_field(symtab, "icmp4.type", MFF_ICMPV4_TYPE, "icmp4",
false);
expr_symtab_add_field(symtab, "icmp4.code", MFF_ICMPV4_CODE, "icmp4",
false);
expr_symtab_add_field(symtab, "ip6.src", MFF_IPV6_SRC, "ip6", false);
expr_symtab_add_field(symtab, "ip6.dst", MFF_IPV6_DST, "ip6", false);
expr_symtab_add_field(symtab, "ip6.label", MFF_IPV6_LABEL, "ip6", false);
expr_symtab_add_predicate(symtab, "icmp6", "ip6 && ip.proto == 58");
expr_symtab_add_field(symtab, "icmp6.type", MFF_ICMPV6_TYPE, "icmp6",
true);
expr_symtab_add_field(symtab, "icmp6.code", MFF_ICMPV6_CODE, "icmp6",
true);
expr_symtab_add_predicate(symtab, "icmp", "icmp4 || icmp6");
expr_symtab_add_field(symtab, "ip.frag", MFF_IP_FRAG, "ip", false);
expr_symtab_add_predicate(symtab, "ip.is_frag", "ip.frag[0]");
expr_symtab_add_predicate(symtab, "ip.later_frag", "ip.frag[1]");
expr_symtab_add_predicate(symtab, "ip.first_frag",
"ip.is_frag && !ip.later_frag");
expr_symtab_add_predicate(symtab, "arp", "eth.type == 0x806");
expr_symtab_add_field(symtab, "arp.op", MFF_ARP_OP, "arp", false);
expr_symtab_add_field(symtab, "arp.spa", MFF_ARP_SPA, "arp", false);
expr_symtab_add_field(symtab, "arp.sha", MFF_ARP_SHA, "arp", false);
expr_symtab_add_field(symtab, "arp.tpa", MFF_ARP_TPA, "arp", false);
expr_symtab_add_field(symtab, "arp.tha", MFF_ARP_THA, "arp", false);
expr_symtab_add_predicate(symtab, "nd",
"icmp6.type == {135, 136} && icmp6.code == 0 && ip.ttl == 255");
expr_symtab_add_predicate(symtab, "nd_ns",
"icmp6.type == 135 && icmp6.code == 0 && ip.ttl == 255");
expr_symtab_add_predicate(symtab, "nd_na",
"icmp6.type == 136 && icmp6.code == 0 && ip.ttl == 255");
expr_symtab_add_field(symtab, "nd.target", MFF_ND_TARGET, "nd", false);
expr_symtab_add_field(symtab, "nd.sll", MFF_ND_SLL, "nd_ns", false);
expr_symtab_add_field(symtab, "nd.tll", MFF_ND_TLL, "nd_na", false);
expr_symtab_add_predicate(symtab, "tcp", "ip.proto == 6");
expr_symtab_add_field(symtab, "tcp.src", MFF_TCP_SRC, "tcp", false);
expr_symtab_add_field(symtab, "tcp.dst", MFF_TCP_DST, "tcp", false);
expr_symtab_add_field(symtab, "tcp.flags", MFF_TCP_FLAGS, "tcp", false);
expr_symtab_add_predicate(symtab, "udp", "ip.proto == 17");
expr_symtab_add_field(symtab, "udp.src", MFF_UDP_SRC, "udp", false);
expr_symtab_add_field(symtab, "udp.dst", MFF_UDP_DST, "udp", false);
expr_symtab_add_predicate(symtab, "sctp", "ip.proto == 132");
expr_symtab_add_field(symtab, "sctp.src", MFF_SCTP_SRC, "sctp", false);
expr_symtab_add_field(symtab, "sctp.dst", MFF_SCTP_DST, "sctp", false);
}
static void
symtab_init(void)
{
shash_init(&symtab);
/* Reserve a pair of registers for the logical inport and outport. A full
* 32-bit register each is bigger than we need, but the expression code
* doesn't yet support string fields that occupy less than a full OXM. */
expr_symtab_add_string(&symtab, "inport", MFF_LOG_INPORT, NULL);
expr_symtab_add_string(&symtab, "outport", MFF_LOG_OUTPORT, NULL);
/* Logical registers. */
#define MFF_LOG_REG(ID) add_logical_register(&symtab, ID);
MFF_LOG_REGS;
#undef MFF_LOG_REG
/* Connection tracking state. */
expr_symtab_add_field(&symtab, "ct_state", MFF_CT_STATE, NULL, false);
char ct_state_str[16];
snprintf(ct_state_str, sizeof ct_state_str, "ct_state[%d]", CS_TRACKED_BIT);
expr_symtab_add_predicate(&symtab, "ct.trk", ct_state_str);
snprintf(ct_state_str, sizeof ct_state_str, "ct_state[%d]", CS_NEW_BIT);
expr_symtab_add_subfield(&symtab, "ct.new", "ct.trk", ct_state_str);
snprintf(ct_state_str, sizeof ct_state_str, "ct_state[%d]", CS_ESTABLISHED_BIT);
expr_symtab_add_subfield(&symtab, "ct.est", "ct.trk", ct_state_str);
snprintf(ct_state_str, sizeof ct_state_str, "ct_state[%d]", CS_RELATED_BIT);
expr_symtab_add_subfield(&symtab, "ct.rel", "ct.trk", ct_state_str);
snprintf(ct_state_str, sizeof ct_state_str, "ct_state[%d]", CS_REPLY_DIR_BIT);
expr_symtab_add_subfield(&symtab, "ct.rpl", "ct.trk", ct_state_str);
snprintf(ct_state_str, sizeof ct_state_str, "ct_state[%d]", CS_INVALID_BIT);
expr_symtab_add_subfield(&symtab, "ct.inv", "ct.trk", ct_state_str);
/* Data fields. */
expr_symtab_add_field(&symtab, "eth.src", MFF_ETH_SRC, NULL, false);
expr_symtab_add_field(&symtab, "eth.dst", MFF_ETH_DST, NULL, false);
expr_symtab_add_field(&symtab, "eth.type", MFF_ETH_TYPE, NULL, true);
expr_symtab_add_predicate(&symtab, "eth.bcast",
"eth.dst == ff:ff:ff:ff:ff:ff");
expr_symtab_add_subfield(&symtab, "eth.mcast", NULL, "eth.dst[40]");
expr_symtab_add_field(&symtab, "vlan.tci", MFF_VLAN_TCI, NULL, false);
expr_symtab_add_predicate(&symtab, "vlan.present", "vlan.tci[12]");
expr_symtab_add_subfield(&symtab, "vlan.pcp", "vlan.present",
"vlan.tci[13..15]");
expr_symtab_add_subfield(&symtab, "vlan.vid", "vlan.present",
"vlan.tci[0..11]");
expr_symtab_add_predicate(&symtab, "ip4", "eth.type == 0x800");
expr_symtab_add_predicate(&symtab, "ip6", "eth.type == 0x86dd");
expr_symtab_add_predicate(&symtab, "ip", "ip4 || ip6");
expr_symtab_add_field(&symtab, "ip.proto", MFF_IP_PROTO, "ip", true);
expr_symtab_add_field(&symtab, "ip.dscp", MFF_IP_DSCP, "ip", false);
expr_symtab_add_field(&symtab, "ip.ecn", MFF_IP_ECN, "ip", false);
expr_symtab_add_field(&symtab, "ip.ttl", MFF_IP_TTL, "ip", false);
expr_symtab_add_field(&symtab, "ip4.src", MFF_IPV4_SRC, "ip4", false);
expr_symtab_add_field(&symtab, "ip4.dst", MFF_IPV4_DST, "ip4", false);
expr_symtab_add_predicate(&symtab, "ip4.mcast", "ip4.dst[28..31] == 0xe");
expr_symtab_add_predicate(&symtab, "icmp4", "ip4 && ip.proto == 1");
expr_symtab_add_field(&symtab, "icmp4.type", MFF_ICMPV4_TYPE, "icmp4",
false);
expr_symtab_add_field(&symtab, "icmp4.code", MFF_ICMPV4_CODE, "icmp4",
false);
expr_symtab_add_field(&symtab, "ip6.src", MFF_IPV6_SRC, "ip6", false);
expr_symtab_add_field(&symtab, "ip6.dst", MFF_IPV6_DST, "ip6", false);
expr_symtab_add_field(&symtab, "ip6.label", MFF_IPV6_LABEL, "ip6", false);
expr_symtab_add_predicate(&symtab, "icmp6", "ip6 && ip.proto == 58");
expr_symtab_add_field(&symtab, "icmp6.type", MFF_ICMPV6_TYPE, "icmp6",
true);
expr_symtab_add_field(&symtab, "icmp6.code", MFF_ICMPV6_CODE, "icmp6",
true);
expr_symtab_add_predicate(&symtab, "icmp", "icmp4 || icmp6");
expr_symtab_add_field(&symtab, "ip.frag", MFF_IP_FRAG, "ip", false);
expr_symtab_add_predicate(&symtab, "ip.is_frag", "ip.frag[0]");
expr_symtab_add_predicate(&symtab, "ip.later_frag", "ip.frag[1]");
expr_symtab_add_predicate(&symtab, "ip.first_frag",
"ip.is_frag && !ip.later_frag");
expr_symtab_add_predicate(&symtab, "arp", "eth.type == 0x806");
expr_symtab_add_field(&symtab, "arp.op", MFF_ARP_OP, "arp", false);
expr_symtab_add_field(&symtab, "arp.spa", MFF_ARP_SPA, "arp", false);
expr_symtab_add_field(&symtab, "arp.sha", MFF_ARP_SHA, "arp", false);
expr_symtab_add_field(&symtab, "arp.tpa", MFF_ARP_TPA, "arp", false);
expr_symtab_add_field(&symtab, "arp.tha", MFF_ARP_THA, "arp", false);
expr_symtab_add_predicate(&symtab, "nd",
"icmp6.type == {135, 136} && icmp6.code == 0");
expr_symtab_add_field(&symtab, "nd.target", MFF_ND_TARGET, "nd", false);
expr_symtab_add_field(&symtab, "nd.sll", MFF_ND_SLL,
"nd && icmp6.type == 135", false);
expr_symtab_add_field(&symtab, "nd.tll", MFF_ND_TLL,
"nd && icmp6.type == 136", false);
expr_symtab_add_predicate(&symtab, "tcp", "ip.proto == 6");
expr_symtab_add_field(&symtab, "tcp.src", MFF_TCP_SRC, "tcp", false);
expr_symtab_add_field(&symtab, "tcp.dst", MFF_TCP_DST, "tcp", false);
expr_symtab_add_field(&symtab, "tcp.flags", MFF_TCP_FLAGS, "tcp", false);
expr_symtab_add_predicate(&symtab, "udp", "ip.proto == 17");
expr_symtab_add_field(&symtab, "udp.src", MFF_UDP_SRC, "udp", false);
expr_symtab_add_field(&symtab, "udp.dst", MFF_UDP_DST, "udp", false);
expr_symtab_add_predicate(&symtab, "sctp", "ip.proto == 132");
expr_symtab_add_field(&symtab, "sctp.src", MFF_SCTP_SRC, "sctp", false);
expr_symtab_add_field(&symtab, "sctp.dst", MFF_SCTP_DST, "sctp", false);
}