blob: 8b116bfa902ec79def30c652570ed5091c5afefd [file] [log] [blame]
:: # Copyright 2013, Big Switch Networks, Inc.
:: #
:: # LoxiGen is licensed under the Eclipse Public License, version 1.0 (EPL), with
:: # the following special exception:
:: #
:: # LOXI Exception
:: #
:: # As a special exception to the terms of the EPL, you may distribute libraries
:: # generated by LoxiGen (LoxiGen Libraries) under the terms of your choice, provided
:: # that copyright and licensing notices generated by LoxiGen are not altered or removed
:: # from the LoxiGen Libraries and the notice provided below is (i) included in
:: # the LoxiGen Libraries, if distributed in source code form and (ii) included in any
:: # documentation for the LoxiGen Libraries, if distributed in binary form.
:: #
:: # Notice: "Copyright 2013, Big Switch Networks, Inc. This library was generated by the LoxiGen Compiler."
:: #
:: # You may not use this file except in compliance with the EPL or LOXI Exception. You may obtain
:: # a copy of the EPL at:
:: #
:: # http://www.eclipse.org/legal/epl-v10.html
:: #
:: # Unless required by applicable law or agreed to in writing, software
:: # distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
:: # WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
:: # EPL for the specific language governing permissions and limitations
:: # under the EPL.
::
:: include('_copyright.c')
/**
*
* Match utility test cases
*
*/
#include <locitest/test_common.h>
int
test_match_utils(void)
{
of_mac_addr_t m1 = {{0,0,1,1,3,3}};
of_mac_addr_t m2 = {{0,0,1,1,3,3}}; /* m1 == m2 */
of_mac_addr_t m3 = {{0,0,1,1,1,1}}; /* m1 is more specific than m3 */
of_mac_addr_t m4 = {{0xf,0,1,1,3,3}}; /* m1 is not more specific m4 */
of_mac_addr_t m5 = {{0,0,1,1,3,0xf}}; /* m1 is not more specific m5 */
of_mac_addr_t m_mask1 = {{0xff, 0xff, 0xff, 0xff, 0xff, 0xff}};
of_mac_addr_t m_mask2 = {{0xff, 0xff, 0xff, 0xff, 0, 0}};
/* m1 matches m2 for mask1 */
/* m1 matches m2 for mask2 */
/* m1 does not match m3, m4, m5 for mask1 */
/* m1 matches m3, m5 for mask2 */
/* m1 does not match m4 for mask2 */
of_ipv6_t i1 = {{0,0,0,0,1,1,1,1,3,3,3,3,7,7,7,7}}; /* same as above */
of_ipv6_t i2 = {{0,0,0,0,1,1,1,1,3,3,3,3,7,7,7,7}};
of_ipv6_t i3 = {{0,0,0,0,1,1,1,1,1,1,1,1,1,1,1,1}};
of_ipv6_t i4 = {{0xf,0,0,0,1,1,1,1,3,3,3,3,7,7,7,7}};
of_ipv6_t i5 = {{0,0,0,0,1,1,1,1,3,3,3,3,7,7,7,0xf}};
of_ipv6_t i_mask1 = {{0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff}};
of_ipv6_t i_mask2 = {{0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
0, 0, 0, 0, 0, 0, 0, 0}};
/* Same relationships as above */
uint32_t v1 = 3; /* same as above */
uint32_t v2 = 3;
uint32_t v3 = 1;
uint32_t v4 = 4;
uint32_t v5 = (1 << 31) | 1;
uint32_t u32_mask1 = -1;
uint32_t u32_mask2 = 1;
uint64_t w1 = 3; /* same as above */
uint64_t w2 = 3;
uint64_t w3 = 1;
uint64_t w4 = 4;
uint64_t w5 = (1LL << 63) | 1LL;
uint64_t u64_mask1 = -1;
uint64_t u64_mask2 = 1;
/* Match structures */
of_match_t match1, match2;
TEST_ASSERT(OF_MORE_SPECIFIC_MAC_ADDR(&m1, &m2));
TEST_ASSERT(OF_MORE_SPECIFIC_MAC_ADDR(&m1, &m3));
TEST_ASSERT(!OF_MORE_SPECIFIC_MAC_ADDR(&m1, &m4));
TEST_ASSERT(!OF_MORE_SPECIFIC_MAC_ADDR(&m1, &m5));
TEST_ASSERT(OF_MORE_SPECIFIC_IPV6(&i1, &i2));
TEST_ASSERT(OF_MORE_SPECIFIC_IPV6(&i1, &i3));
TEST_ASSERT(!OF_MORE_SPECIFIC_IPV6(&i1, &i4));
TEST_ASSERT(!OF_MORE_SPECIFIC_IPV6(&i1, &i5));
TEST_ASSERT(OF_MORE_SPECIFIC_INT(v1, v2));
TEST_ASSERT(OF_MORE_SPECIFIC_INT(v1, v3));
TEST_ASSERT(!OF_MORE_SPECIFIC_INT(v1, v4));
TEST_ASSERT(!OF_MORE_SPECIFIC_INT(v1, v5));
TEST_ASSERT(OF_MORE_SPECIFIC_INT(w1, w2));
TEST_ASSERT(OF_MORE_SPECIFIC_INT(w1, w3));
TEST_ASSERT(!OF_MORE_SPECIFIC_INT(w1, w4));
TEST_ASSERT(!OF_MORE_SPECIFIC_INT(w1, w5));
/* Test restricted matches on macs */
TEST_ASSERT(OF_RESTRICTED_MATCH_MAC_ADDR(&m1, &m2, &m_mask1));
TEST_ASSERT(!OF_RESTRICTED_MATCH_MAC_ADDR(&m1, &m3, &m_mask1));
TEST_ASSERT(!OF_RESTRICTED_MATCH_MAC_ADDR(&m1, &m4, &m_mask1));
TEST_ASSERT(!OF_RESTRICTED_MATCH_MAC_ADDR(&m1, &m5, &m_mask1));
TEST_ASSERT(OF_RESTRICTED_MATCH_MAC_ADDR(&m1, &m2, &m_mask2));
TEST_ASSERT(OF_RESTRICTED_MATCH_MAC_ADDR(&m1, &m3, &m_mask2));
TEST_ASSERT(!OF_RESTRICTED_MATCH_MAC_ADDR(&m1, &m4, &m_mask2));
TEST_ASSERT(OF_RESTRICTED_MATCH_MAC_ADDR(&m1, &m5, &m_mask2));
/* Test overlap */
TEST_ASSERT(OF_OVERLAP_MAC_ADDR(&m1, &m2, &m_mask1, &m_mask2));
TEST_ASSERT(OF_OVERLAP_MAC_ADDR(&m1, &m3, &m_mask1, &m_mask2));
TEST_ASSERT(!OF_OVERLAP_MAC_ADDR(&m1, &m3, &m_mask1, &m_mask1));
TEST_ASSERT(!OF_OVERLAP_MAC_ADDR(&m1, &m4, &m_mask1, &m_mask2));
TEST_ASSERT(OF_OVERLAP_MAC_ADDR(&m1, &m5, &m_mask1, &m_mask2));
/* Test restricted matches on ipv6 */
TEST_ASSERT(OF_RESTRICTED_MATCH_IPV6(&i1, &i2, &i_mask1));
TEST_ASSERT(!OF_RESTRICTED_MATCH_IPV6(&i1, &i3, &i_mask1));
TEST_ASSERT(!OF_RESTRICTED_MATCH_IPV6(&i1, &i4, &i_mask1));
TEST_ASSERT(!OF_RESTRICTED_MATCH_IPV6(&i1, &i5, &i_mask1));
TEST_ASSERT(OF_RESTRICTED_MATCH_IPV6(&i1, &i2, &i_mask2));
TEST_ASSERT(OF_RESTRICTED_MATCH_IPV6(&i1, &i3, &i_mask2));
TEST_ASSERT(!OF_RESTRICTED_MATCH_IPV6(&i1, &i4, &i_mask2));
TEST_ASSERT(OF_RESTRICTED_MATCH_IPV6(&i1, &i5, &i_mask2));
/* Test overlap */
TEST_ASSERT(OF_OVERLAP_IPV6(&i1, &i2, &i_mask1, &i_mask2));
TEST_ASSERT(OF_OVERLAP_IPV6(&i1, &i3, &i_mask1, &i_mask2));
TEST_ASSERT(!OF_OVERLAP_IPV6(&i1, &i3, &i_mask1, &i_mask1));
TEST_ASSERT(!OF_OVERLAP_IPV6(&i1, &i4, &i_mask1, &i_mask2));
TEST_ASSERT(OF_OVERLAP_IPV6(&i1, &i5, &i_mask1, &i_mask2));
/* Test restricted matches on uint32 */
TEST_ASSERT(OF_RESTRICTED_MATCH_INT(v1, v2, u32_mask1));
TEST_ASSERT(!OF_RESTRICTED_MATCH_INT(v1, v3, u32_mask1));
TEST_ASSERT(!OF_RESTRICTED_MATCH_INT(v1, v4, u32_mask1));
TEST_ASSERT(!OF_RESTRICTED_MATCH_INT(v1, v5, u32_mask1));
TEST_ASSERT(OF_RESTRICTED_MATCH_INT(v1, v2, u32_mask2));
TEST_ASSERT(OF_RESTRICTED_MATCH_INT(v1, v3, u32_mask2));
TEST_ASSERT(!OF_RESTRICTED_MATCH_INT(v1, v4, u32_mask2));
TEST_ASSERT(OF_RESTRICTED_MATCH_INT(v1, v5, u32_mask2));
/* Test overlap */
TEST_ASSERT(OF_OVERLAP_INT(v1, v2, u32_mask1, u32_mask2));
TEST_ASSERT(OF_OVERLAP_INT(v1, v3, u32_mask1, u32_mask2));
TEST_ASSERT(!OF_OVERLAP_INT(v1, v3, u32_mask1, u32_mask1));
TEST_ASSERT(!OF_OVERLAP_INT(v1, v4, u32_mask1, u32_mask2));
TEST_ASSERT(OF_OVERLAP_INT(v1, v5, u32_mask1, u32_mask2));
/* Test restricted matches on uint64 */
TEST_ASSERT(OF_RESTRICTED_MATCH_INT(w1, w2, u64_mask1));
TEST_ASSERT(!OF_RESTRICTED_MATCH_INT(w1, w3, u64_mask1));
TEST_ASSERT(!OF_RESTRICTED_MATCH_INT(w1, w4, u64_mask1));
TEST_ASSERT(!OF_RESTRICTED_MATCH_INT(w1, w5, u64_mask1));
TEST_ASSERT(OF_RESTRICTED_MATCH_INT(w1, w2, u64_mask2));
TEST_ASSERT(OF_RESTRICTED_MATCH_INT(w1, w3, u64_mask2));
TEST_ASSERT(!OF_RESTRICTED_MATCH_INT(w1, w4, u64_mask2));
TEST_ASSERT(OF_RESTRICTED_MATCH_INT(w1, w5, u64_mask2));
/* Test overlap */
TEST_ASSERT(OF_OVERLAP_INT(w1, w2, u64_mask1, u64_mask2));
TEST_ASSERT(OF_OVERLAP_INT(w1, w3, u64_mask1, u64_mask2));
TEST_ASSERT(!OF_OVERLAP_INT(w1, w3, u64_mask1, u64_mask1));
TEST_ASSERT(!OF_OVERLAP_INT(w1, w4, u64_mask1, u64_mask2));
TEST_ASSERT(OF_OVERLAP_INT(w1, w5, u64_mask1, u64_mask2));
/* Test match stuctures */
of_match_populate(&match1, OF_VERSION_1_2, 1);
of_match_populate(&match2, OF_VERSION_1_2, 1);
TEST_ASSERT(of_match_eq(&match1, &match2));
TEST_ASSERT(of_match_eq(&match2, &match1));
TEST_ASSERT(of_match_more_specific(&match1, &match2));
TEST_ASSERT(of_match_more_specific(&match2, &match1));
TEST_ASSERT(of_match_overlap(&match1, &match2));
TEST_ASSERT(of_match_overlap(&match2, &match1));
/* Change match2 so it still is extended by match1 */
memset(&match2.masks.eth_dst, 0, sizeof(of_mac_addr_t));
TEST_ASSERT(of_match_more_specific(&match1, &match2));
TEST_ASSERT(!of_match_more_specific(&match2, &match1));
TEST_ASSERT(!of_match_eq(&match1, &match2));
TEST_ASSERT(of_match_overlap(&match1, &match2));
TEST_ASSERT(of_match_overlap(&match2, &match1));
/* Now change a value so that matches disagree */
match2.fields.in_port++;
TEST_ASSERT(!of_match_more_specific(&match1, &match2));
TEST_ASSERT(!of_match_overlap(&match1, &match2));
TEST_ASSERT(!of_match_overlap(&match2, &match1));
/* Clear inport mask on match2 and should extend again */
match2.masks.in_port = 0;
TEST_ASSERT(of_match_more_specific(&match1, &match2));
TEST_ASSERT(of_match_overlap(&match1, &match2));
TEST_ASSERT(of_match_overlap(&match2, &match1));
/* Now change mask so the overlap, but not more specific */
match1.fields.in_port = 0x7;
match1.masks.in_port = 0x7;
match2.fields.in_port = 0xe;
match2.masks.in_port = 0xe;
TEST_ASSERT(!of_match_more_specific(&match1, &match2));
TEST_ASSERT(!of_match_more_specific(&match2, &match1));
TEST_ASSERT(of_match_overlap(&match1, &match2));
TEST_ASSERT(of_match_overlap(&match2, &match1));
return TEST_PASS;
}