Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 1 | # Copyright 2013, Big Switch Networks, Inc. |
| 2 | # |
| 3 | # LoxiGen is licensed under the Eclipse Public License, version 1.0 (EPL), with |
| 4 | # the following special exception: |
| 5 | # |
| 6 | # LOXI Exception |
| 7 | # |
| 8 | # As a special exception to the terms of the EPL, you may distribute libraries |
| 9 | # generated by LoxiGen (LoxiGen Libraries) under the terms of your choice, provided |
| 10 | # that copyright and licensing notices generated by LoxiGen are not altered or removed |
| 11 | # from the LoxiGen Libraries and the notice provided below is (i) included in |
| 12 | # the LoxiGen Libraries, if distributed in source code form and (ii) included in any |
| 13 | # documentation for the LoxiGen Libraries, if distributed in binary form. |
| 14 | # |
| 15 | # Notice: "Copyright 2013, Big Switch Networks, Inc. This library was generated by the LoxiGen Compiler." |
| 16 | # |
| 17 | # You may not use this file except in compliance with the EPL or LOXI Exception. You may obtain |
| 18 | # a copy of the EPL at: |
| 19 | # |
| 20 | # http://www.eclipse.org/legal/epl-v10.html |
| 21 | # |
| 22 | # Unless required by applicable law or agreed to in writing, software |
| 23 | # distributed under the License is distributed on an "AS IS" BASIS, WITHOUT |
| 24 | # WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the |
| 25 | # EPL for the specific language governing permissions and limitations |
| 26 | # under the EPL. |
| 27 | |
| 28 | # @brief Match data representation |
| 29 | # |
| 30 | # @fixme This still has lots of C specific code that should be moved into c_gen |
| 31 | |
| 32 | import sys |
Andreas Wundsam | 542a13c | 2013-11-15 13:28:55 -0800 | [diff] [blame] | 33 | import c_gen.of_g_legacy as of_g |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 34 | from generic_utils import * |
Andreas Wundsam | 542a13c | 2013-11-15 13:28:55 -0800 | [diff] [blame] | 35 | import c_gen.loxi_utils_legacy as loxi_utils |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 36 | |
| 37 | # |
| 38 | # Use 1.2 match semantics for common case |
| 39 | # |
| 40 | # Generate maps between generic match and version specific matches |
| 41 | # Generate dump functions for generic match |
| 42 | # Generate dump functions for version specific matches |
| 43 | |
| 44 | ## @var of_match_members |
| 45 | # The dictionary from unified match members to type and indexing info |
| 46 | # |
| 47 | # Keys: |
| 48 | # name The unified name used for the member |
| 49 | # m_type The data type used for the object in unified structure |
| 50 | # print_type The id to use when printing |
| 51 | # conditions The condition underwhich the field could occur TBD |
| 52 | # takes_mask_in_spec Shown as taking mask in OF 1.2 spec; IGNORED NOW |
| 53 | # order Used to define an order for readability |
| 54 | # v1_wc_shift The WC shift in OF 1.0 |
| 55 | # v2_wc_shift The WC shift in OF 1.1 |
| 56 | # |
| 57 | # Unless noted otherwise, class is 0x8000, OFPXMC_OPENFLOW_BASIC |
| 58 | # We use the 1.2 names and alias older names |
| 59 | # Conditions: |
| 60 | # is_ipv4(_m): ((_m)->eth_type == 0x0800) |
| 61 | # is_ipv6(_m): ((_m)->eth_type == 0x86dd) |
| 62 | # is_ip(_m): (is_ipv4(_m) || is_ipv6(_m)) |
| 63 | # is_arp(_m): ((_m)->eth_type == 0x0806) |
| 64 | # is_tcp(_m): (is_ip(_m) && ((_m)->ip_proto == 6)) |
| 65 | # is_udp(_m): (is_ip(_m) && ((_m)->ip_proto == 17)) |
| 66 | # is_sctp(_m): (is_ip(_m) && ((_m)->ip_proto == 132)) |
| 67 | # is_icmpv4(_m): (is_ipv4(_m) && ((_m)->ip_proto == 1)) |
| 68 | # is_icmpv6(_m): (is_ipv6(_m) && ((_m)->ip_proto == 58)) |
| 69 | # |
| 70 | |
| 71 | of_match_members = dict( |
| 72 | in_port = dict( |
| 73 | name="in_port", |
| 74 | m_type="of_port_no_t", |
| 75 | print_type="PRIx32", |
| 76 | conditions="", |
| 77 | v1_wc_shift=0, |
| 78 | v2_wc_shift=0, |
| 79 | takes_mask_in_spec=False, |
| 80 | order=100, |
| 81 | ), |
| 82 | in_phy_port = dict( |
| 83 | name="in_phy_port", |
| 84 | m_type="of_port_no_t", |
| 85 | print_type="PRIx32", |
| 86 | conditions="", # OXM_OF_IN_PORT must be present |
| 87 | takes_mask_in_spec=False, |
| 88 | order=101, |
| 89 | ), |
| 90 | metadata = dict( |
| 91 | name="metadata", |
| 92 | m_type="uint64_t", |
| 93 | print_type="PRIx64", |
| 94 | conditions="", |
| 95 | takes_mask_in_spec=True, |
| 96 | order=102, |
| 97 | ), |
| 98 | |
| 99 | eth_dst = dict( |
| 100 | name="eth_dst", |
| 101 | m_type="of_mac_addr_t", |
| 102 | v1_wc_shift=3, |
| 103 | print_type="\"p\"", |
| 104 | conditions="", |
| 105 | takes_mask_in_spec=True, |
| 106 | order=200, |
| 107 | ), |
| 108 | eth_src = dict( |
| 109 | name="eth_src", |
| 110 | m_type="of_mac_addr_t", |
| 111 | v1_wc_shift=2, |
| 112 | print_type="\"p\"", |
| 113 | conditions="", |
| 114 | takes_mask_in_spec=True, |
| 115 | order=201, |
| 116 | ), |
| 117 | eth_type = dict( |
| 118 | name="eth_type", |
| 119 | m_type="uint16_t", |
| 120 | v1_wc_shift=4, |
| 121 | v2_wc_shift=3, |
| 122 | print_type="PRIx16", |
| 123 | conditions="", |
| 124 | takes_mask_in_spec=False, |
| 125 | order=203, |
| 126 | ), |
| 127 | vlan_vid = dict( # FIXME: Semantics changed in 1.2 |
| 128 | # Use CFI bit to indicate tag presence |
| 129 | name="vlan_vid", |
| 130 | m_type="uint16_t", |
| 131 | v1_wc_shift=1, |
| 132 | v2_wc_shift=1, |
| 133 | print_type="PRIx16", |
| 134 | conditions="", |
| 135 | takes_mask_in_spec=True, |
| 136 | order=210, |
| 137 | ), |
| 138 | vlan_pcp = dict( |
| 139 | name="vlan_pcp", |
| 140 | m_type="uint8_t", |
| 141 | v1_wc_shift=20, |
| 142 | v2_wc_shift=2, |
| 143 | print_type="PRIx8", |
| 144 | conditions="", |
| 145 | takes_mask_in_spec=False, |
| 146 | order=211, |
| 147 | ), |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 148 | |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 149 | ip_dscp = dict( |
| 150 | name="ip_dscp", |
| 151 | m_type="uint8_t", |
| 152 | v1_wc_shift=21, |
| 153 | v2_wc_shift=4, |
| 154 | print_type="PRIx8", |
| 155 | conditions="is_ip(match)", |
| 156 | takes_mask_in_spec=False, |
| 157 | order=310, |
| 158 | ), |
| 159 | ip_ecn = dict( |
| 160 | name="ip_ecn", |
| 161 | m_type="uint8_t", |
| 162 | print_type="PRIx8", |
| 163 | conditions="is_ip(match)", |
| 164 | takes_mask_in_spec=False, |
| 165 | order=311, |
| 166 | ), |
| 167 | ip_proto = dict( |
| 168 | name="ip_proto", |
| 169 | m_type="uint8_t", |
| 170 | v1_wc_shift=5, |
| 171 | v2_wc_shift=5, |
| 172 | print_type="PRIx8", |
| 173 | conditions="is_ip(match)", |
| 174 | takes_mask_in_spec=False, |
| 175 | order=320, |
| 176 | ), |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 177 | ipv4_src = dict( |
| 178 | name="ipv4_src", |
| 179 | m_type="of_ipv4_t", |
| 180 | v1_wc_shift=8, |
| 181 | print_type="PRIx32", |
| 182 | conditions="is_ipv4(match)", |
| 183 | takes_mask_in_spec=True, |
| 184 | order=330, |
| 185 | ), |
| 186 | ipv4_dst = dict( |
| 187 | name="ipv4_dst", |
| 188 | m_type="of_ipv4_t", |
| 189 | v1_wc_shift=14, |
| 190 | print_type="PRIx32", |
| 191 | conditions="is_ipv4(match)", |
| 192 | takes_mask_in_spec=True, |
| 193 | order=331, |
| 194 | ), |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 195 | |
| 196 | tcp_dst = dict( |
| 197 | name="tcp_dst", |
| 198 | m_type="uint16_t", |
| 199 | v1_wc_shift=7, |
| 200 | v2_wc_shift=7, |
| 201 | print_type="PRIx16", |
| 202 | conditions="is_tcp(match)", |
| 203 | takes_mask_in_spec=False, |
| 204 | order=400, |
| 205 | ), |
| 206 | tcp_src = dict( |
| 207 | name="tcp_src", |
| 208 | m_type="uint16_t", |
| 209 | v1_wc_shift=6, |
| 210 | v2_wc_shift=6, |
| 211 | print_type="PRIx16", |
| 212 | conditions="is_tcp(match)", |
| 213 | takes_mask_in_spec=False, |
| 214 | order=401, |
| 215 | ), |
| 216 | |
| 217 | udp_dst = dict( |
| 218 | name="udp_dst", |
| 219 | m_type="uint16_t", |
| 220 | print_type="PRIx16", |
| 221 | conditions="is_udp(match)", |
| 222 | takes_mask_in_spec=False, |
| 223 | order=410, |
| 224 | ), |
| 225 | udp_src = dict( |
| 226 | name="udp_src", |
| 227 | m_type="uint16_t", |
| 228 | print_type="PRIx16", |
| 229 | conditions="is_udp(match)", |
| 230 | takes_mask_in_spec=False, |
| 231 | order=411, |
| 232 | ), |
| 233 | |
| 234 | sctp_dst = dict( |
| 235 | name="sctp_dst", |
| 236 | m_type="uint16_t", |
| 237 | print_type="PRIx16", |
| 238 | conditions="is_sctp(match)", |
| 239 | takes_mask_in_spec=False, |
| 240 | order=420, |
| 241 | ), |
| 242 | sctp_src = dict( |
| 243 | name="sctp_src", |
| 244 | m_type="uint16_t", |
| 245 | print_type="PRIx16", |
| 246 | conditions="is_sctp(match)", |
| 247 | takes_mask_in_spec=False, |
| 248 | order=421, |
| 249 | ), |
| 250 | |
| 251 | icmpv4_type = dict( |
| 252 | name="icmpv4_type", |
| 253 | m_type="uint8_t", |
| 254 | print_type="PRIx8", |
| 255 | conditions="is_icmp_v4(match)", |
| 256 | takes_mask_in_spec=False, |
| 257 | order=430, |
| 258 | ), |
| 259 | icmpv4_code = dict( |
| 260 | name="icmpv4_code", |
| 261 | m_type="uint8_t", |
| 262 | print_type="PRIx8", |
| 263 | conditions="is_icmp_v4(match)", |
| 264 | takes_mask_in_spec=False, |
| 265 | order=431, |
| 266 | ), |
| 267 | |
| 268 | arp_op = dict( |
| 269 | name="arp_op", |
| 270 | m_type="uint16_t", |
| 271 | print_type="PRIx16", |
| 272 | conditions="is_arp(match)", |
| 273 | takes_mask_in_spec=False, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 274 | order=450, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 275 | ), |
| 276 | |
| 277 | arp_spa = dict( |
| 278 | name="arp_spa", |
| 279 | m_type="uint32_t", |
| 280 | print_type="PRIx32", |
| 281 | conditions="is_arp(match)", |
| 282 | takes_mask_in_spec=True, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 283 | order=451, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 284 | ), |
| 285 | arp_tpa = dict( |
| 286 | name="arp_tpa", |
| 287 | m_type="uint32_t", |
| 288 | print_type="PRIx32", |
| 289 | conditions="is_arp(match)", |
| 290 | takes_mask_in_spec=True, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 291 | order=452, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 292 | ), |
| 293 | |
| 294 | arp_sha = dict( |
| 295 | name="arp_sha", |
| 296 | m_type="of_mac_addr_t", |
| 297 | print_type="\"p\"", |
| 298 | conditions="is_arp(match)", |
| 299 | takes_mask_in_spec=False, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 300 | order=453, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 301 | ), |
| 302 | arp_tha = dict( |
| 303 | name="arp_tha", |
| 304 | m_type="of_mac_addr_t", |
| 305 | print_type="\"p\"", |
| 306 | conditions="is_arp(match)", |
| 307 | takes_mask_in_spec=False, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 308 | order=454, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 309 | ), |
| 310 | |
| 311 | ipv6_src = dict( |
| 312 | name="ipv6_src", |
| 313 | m_type="of_ipv6_t", |
| 314 | print_type="\"p\"", |
| 315 | conditions="is_ipv6(match)", |
| 316 | takes_mask_in_spec=True, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 317 | order=500, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 318 | ), |
| 319 | ipv6_dst = dict( |
| 320 | name="ipv6_dst", |
| 321 | m_type="of_ipv6_t", |
| 322 | print_type="\"p\"", |
| 323 | conditions="is_ipv6(match)", |
| 324 | takes_mask_in_spec=True, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 325 | order=501, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 326 | ), |
| 327 | |
| 328 | ipv6_flabel = dict( |
| 329 | name="ipv6_flabel", |
| 330 | m_type="uint32_t", |
| 331 | print_type="PRIx32", |
| 332 | conditions="is_ipv6(match)", |
| 333 | takes_mask_in_spec=False, # Comment in openflow.h says True |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 334 | order=502, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 335 | ), |
| 336 | |
| 337 | icmpv6_type = dict( |
| 338 | name="icmpv6_type", |
| 339 | m_type="uint8_t", |
| 340 | print_type="PRIx8", |
| 341 | conditions="is_icmp_v6(match)", |
| 342 | takes_mask_in_spec=False, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 343 | order=510, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 344 | ), |
| 345 | icmpv6_code = dict( |
| 346 | name="icmpv6_code", |
| 347 | m_type="uint8_t", |
| 348 | print_type="PRIx8", |
| 349 | conditions="is_icmp_v6(match)", |
| 350 | takes_mask_in_spec=False, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 351 | order=511, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 352 | ), |
| 353 | |
| 354 | ipv6_nd_target = dict( |
| 355 | name="ipv6_nd_target", |
| 356 | m_type="of_ipv6_t", |
| 357 | print_type="\"p\"", |
| 358 | conditions="", # fixme |
| 359 | takes_mask_in_spec=False, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 360 | order=512, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 361 | ), |
| 362 | |
| 363 | ipv6_nd_sll = dict( |
| 364 | name="ipv6_nd_sll", |
| 365 | m_type="of_mac_addr_t", |
| 366 | print_type="\"p\"", |
| 367 | conditions="", # fixme |
| 368 | takes_mask_in_spec=False, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 369 | order=520, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 370 | ), |
| 371 | ipv6_nd_tll = dict( |
| 372 | name="ipv6_nd_tll", |
| 373 | m_type="of_mac_addr_t", |
| 374 | print_type="\"p\"", |
| 375 | conditions="", # fixme |
| 376 | takes_mask_in_spec=False, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 377 | order=521, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 378 | ), |
| 379 | |
| 380 | mpls_label = dict( |
| 381 | name="mpls_label", |
| 382 | m_type="uint32_t", |
| 383 | v2_wc_shift=8, |
| 384 | print_type="PRIx32", |
| 385 | conditions="", |
| 386 | takes_mask_in_spec=False, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 387 | order=600, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 388 | ), |
| 389 | mpls_tc = dict( |
| 390 | name="mpls_tc", |
| 391 | m_type="uint8_t", |
| 392 | v2_wc_shift=9, |
| 393 | print_type="PRIx8", |
| 394 | conditions="", |
| 395 | takes_mask_in_spec=False, |
Rich Lane | 4964d54 | 2013-10-14 18:13:47 -0700 | [diff] [blame] | 396 | order=601, |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 397 | ), |
Rich Lane | d8d29c9 | 2013-09-24 13:46:42 -0700 | [diff] [blame] | 398 | |
| 399 | bsn_in_ports_128 = dict( |
| 400 | name="bsn_in_ports_128", |
| 401 | m_type="of_bitmap_128_t", |
| 402 | v2_wc_shift=9, |
| 403 | print_type="p", |
| 404 | conditions="", |
| 405 | takes_mask_in_spec=True, |
| 406 | order=1000, |
| 407 | ), |
Rich Lane | 6171836 | 2013-10-24 16:59:42 -0700 | [diff] [blame] | 408 | |
| 409 | bsn_lag_id = dict( |
| 410 | name="bsn_lag_id", |
| 411 | m_type="uint32_t", |
| 412 | print_type="PRIu32", |
| 413 | conditions="", |
| 414 | takes_mask_in_spec=False, |
| 415 | order=1001, |
| 416 | ), |
Rich Lane | eb21c4f | 2013-10-28 17:34:41 -0700 | [diff] [blame] | 417 | |
| 418 | bsn_vrf = dict( |
| 419 | name="bsn_vrf", |
| 420 | m_type="uint32_t", |
| 421 | print_type="PRIu32", |
| 422 | conditions="", |
| 423 | takes_mask_in_spec=False, |
| 424 | order=1002, |
| 425 | ), |
| 426 | |
| 427 | bsn_global_vrf_allowed = dict( |
| 428 | name="bsn_global_vrf_allowed", |
| 429 | m_type="uint8_t", |
| 430 | print_type="PRIu8", |
| 431 | conditions="", |
| 432 | takes_mask_in_spec=False, |
| 433 | order=1003, |
| 434 | ), |
| 435 | |
| 436 | bsn_l3_interface_class_id = dict( |
| 437 | name="bsn_l3_interface_class_id", |
| 438 | m_type="uint32_t", |
| 439 | print_type="PRIu32", |
| 440 | conditions="", |
| 441 | takes_mask_in_spec=True, |
| 442 | order=1003, |
| 443 | ), |
| 444 | |
| 445 | bsn_l3_src_class_id = dict( |
| 446 | name="bsn_l3_src_class_id", |
| 447 | m_type="uint32_t", |
| 448 | print_type="PRIu32", |
| 449 | conditions="", |
| 450 | takes_mask_in_spec=True, |
| 451 | order=1004, |
| 452 | ), |
| 453 | |
| 454 | bsn_l3_dst_class_id = dict( |
| 455 | name="bsn_l3_dst_class_id", |
| 456 | m_type="uint32_t", |
| 457 | print_type="PRIu32", |
| 458 | conditions="", |
| 459 | takes_mask_in_spec=True, |
| 460 | order=1005, |
| 461 | ), |
Rich Lane | adb9481 | 2014-03-11 17:13:07 -0700 | [diff] [blame] | 462 | |
| 463 | bsn_egr_port_group_id = dict( |
| 464 | name="bsn_egr_port_group_id", |
| 465 | m_type="uint32_t", |
| 466 | print_type="PRIu32", |
| 467 | conditions="", |
| 468 | takes_mask_in_spec=True, |
| 469 | order=1006, |
| 470 | ), |
Rich Lane | 53ddf5c | 2014-03-20 15:24:08 -0700 | [diff] [blame] | 471 | |
| 472 | bsn_udf0 = dict( |
| 473 | name="bsn_udf0", |
| 474 | m_type="uint32_t", |
| 475 | print_type="PRIu32", |
| 476 | conditions="", |
| 477 | takes_mask_in_spec=True, |
| 478 | order=1010, |
| 479 | ), |
| 480 | |
| 481 | bsn_udf1 = dict( |
| 482 | name="bsn_udf1", |
| 483 | m_type="uint32_t", |
| 484 | print_type="PRIu32", |
| 485 | conditions="", |
| 486 | takes_mask_in_spec=True, |
| 487 | order=1010, |
| 488 | ), |
| 489 | |
| 490 | bsn_udf2 = dict( |
| 491 | name="bsn_udf2", |
| 492 | m_type="uint32_t", |
| 493 | print_type="PRIu32", |
| 494 | conditions="", |
| 495 | takes_mask_in_spec=True, |
| 496 | order=1010, |
| 497 | ), |
| 498 | |
| 499 | bsn_udf3 = dict( |
| 500 | name="bsn_udf3", |
| 501 | m_type="uint32_t", |
| 502 | print_type="PRIu32", |
| 503 | conditions="", |
| 504 | takes_mask_in_spec=True, |
| 505 | order=1010, |
| 506 | ), |
| 507 | |
| 508 | bsn_udf4 = dict( |
| 509 | name="bsn_udf4", |
| 510 | m_type="uint32_t", |
| 511 | print_type="PRIu32", |
| 512 | conditions="", |
| 513 | takes_mask_in_spec=True, |
| 514 | order=1010, |
| 515 | ), |
| 516 | |
| 517 | bsn_udf5 = dict( |
| 518 | name="bsn_udf5", |
| 519 | m_type="uint32_t", |
| 520 | print_type="PRIu32", |
| 521 | conditions="", |
| 522 | takes_mask_in_spec=True, |
| 523 | order=1010, |
| 524 | ), |
| 525 | |
| 526 | bsn_udf6 = dict( |
| 527 | name="bsn_udf6", |
| 528 | m_type="uint32_t", |
| 529 | print_type="PRIu32", |
| 530 | conditions="", |
| 531 | takes_mask_in_spec=True, |
| 532 | order=1010, |
| 533 | ), |
| 534 | |
| 535 | bsn_udf7 = dict( |
| 536 | name="bsn_udf7", |
| 537 | m_type="uint32_t", |
| 538 | print_type="PRIu32", |
| 539 | conditions="", |
| 540 | takes_mask_in_spec=True, |
| 541 | order=1010, |
| 542 | ), |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 543 | ) |
| 544 | |
| 545 | match_keys_sorted = of_match_members.keys() |
| 546 | match_keys_sorted.sort(key=lambda entry:of_match_members[entry]["order"]) |
| 547 | |
| 548 | of_v1_keys = [ |
| 549 | "eth_dst", |
| 550 | "eth_src", |
| 551 | "eth_type", |
| 552 | "in_port", |
| 553 | "ipv4_dst", |
| 554 | "ip_proto", |
| 555 | "ipv4_src", |
| 556 | "ip_dscp", |
| 557 | "tcp_dst", # Means UDP too for 1.0 and 1.1 |
| 558 | "tcp_src", # Means UDP too for 1.0 and 1.1 |
| 559 | "vlan_pcp", |
Rob Sherwood | 53989c8 | 2013-07-03 16:49:50 -0700 | [diff] [blame] | 560 | "vlan_vid" |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 561 | ] |
| 562 | |
| 563 | of_v2_keys = [ |
| 564 | "eth_dst", |
| 565 | "eth_src", |
| 566 | "eth_type", |
| 567 | "in_port", |
| 568 | "ipv4_dst", |
| 569 | "ip_proto", |
| 570 | "ipv4_src", |
| 571 | "ip_dscp", |
| 572 | "tcp_dst", # Means UDP too for 1.0 and 1.1 |
| 573 | "tcp_src", # Means UDP too for 1.0 and 1.1 |
| 574 | "vlan_pcp", |
| 575 | "vlan_vid", |
| 576 | "mpls_label", |
| 577 | "mpls_tc", |
| 578 | "metadata" |
| 579 | ] |
| 580 | |
| 581 | of_v2_full_mask = [ |
| 582 | "eth_dst", |
| 583 | "eth_src", |
| 584 | "ipv4_dst", |
| 585 | "ipv4_src", |
| 586 | "metadata" |
| 587 | ] |
| 588 | |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 589 | ## |
| 590 | # Check that all members in the hash are recognized as match keys |
| 591 | def match_sanity_check(): |
| 592 | count = 0 |
| 593 | for match_v in ["of_match_v1", "of_match_v2"]: |
| 594 | count += 1 |
| 595 | for mm in of_g.unified[match_v][count]["members"]: |
| 596 | key = mm["name"] |
| 597 | if key.find("_mask") >= 0: |
| 598 | continue |
| 599 | if loxi_utils.skip_member_name(key): |
| 600 | continue |
| 601 | if key == "wildcards": |
| 602 | continue |
| 603 | if not key in of_match_members: |
| 604 | print "Key %s not found in match struct, v %s" % (key, match_v) |
| 605 | sys.exit(1) |
| 606 | |
Rich Lane | 883919c | 2013-05-09 17:53:18 -0700 | [diff] [blame] | 607 | # Generate list of OXM names from the unified classes |
| 608 | oxm_names = [x[7:] for x in of_g.unified.keys() if |
| 609 | x.startswith('of_oxm_') and |
| 610 | x.find('masked') < 0 and |
| 611 | x.find('header') < 0] |
| 612 | |
| 613 | # Check that all OXMs are in the match members |
| 614 | for key in oxm_names: |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 615 | if not key in of_match_members: |
| 616 | if not (key.find("_masked") > 0): |
Rich Lane | 883919c | 2013-05-09 17:53:18 -0700 | [diff] [blame] | 617 | debug("Key %s in OXM, not of_match_members" % key) |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 618 | sys.exit(1) |
| 619 | if not key[:-7] in of_match_members: |
Rich Lane | 883919c | 2013-05-09 17:53:18 -0700 | [diff] [blame] | 620 | debug("Key %s in OXM, but %s not in of_match_members" |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 621 | % (key, key[:-7])) |
| 622 | sys.exit(1) |
| 623 | |
Rich Lane | 883919c | 2013-05-09 17:53:18 -0700 | [diff] [blame] | 624 | # Check that all match members are in the OXMs |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 625 | for key in of_match_members: |
Rich Lane | 883919c | 2013-05-09 17:53:18 -0700 | [diff] [blame] | 626 | if not key in oxm_names: |
| 627 | debug("Key %s in of_match_members, not in OXM" % key) |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 628 | sys.exit(1) |
Rich Lane | 883919c | 2013-05-09 17:53:18 -0700 | [diff] [blame] | 629 | oxm_type = of_g.unified['of_oxm_%s' % key]['union']['value']['m_type'] |
| 630 | if of_match_members[key]["m_type"] != oxm_type: |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 631 | debug("Type mismatch for key %s in oxm data: %s vs %s" % |
Rich Lane | 883919c | 2013-05-09 17:53:18 -0700 | [diff] [blame] | 632 | (key, of_match_members[key]["m_type"], oxm_type)) |
Rich Lane | a06d0c3 | 2013-03-25 08:52:03 -0700 | [diff] [blame] | 633 | sys.exit(1) |