[PATCH v3 5/7] dpdk-test: add flow parser library functional tests

Lukas Sismis sismis at dyna-nic.com
Fri Jan 16 00:01:11 CET 2026


Tests cover:
- success cases - veryfing variety of flow/set rules through the main
  parse function and through parser helpers
- fail cases - to test invalid arguments/input/syntax

Signed-off-by: Lukas Sismis <sismis at dyna-nic.com>
---
 MAINTAINERS                 |   1 +
 app/test/meson.build        |   1 +
 app/test/test_flow_parser.c | 698 ++++++++++++++++++++++++++++++++++++
 3 files changed, 700 insertions(+)
 create mode 100644 app/test/test_flow_parser.c

diff --git a/MAINTAINERS b/MAINTAINERS
index ff6d3d2fa8..c6ae31cb10 100644
--- a/MAINTAINERS
+++ b/MAINTAINERS
@@ -450,6 +450,7 @@ F: doc/guides/prog_guide/flow_parser_lib.rst
 F: lib/ethdev/rte_flow*
 F: lib/flow_parser/
 F: examples/flow_parsing/
+F: app/test/test_flow_parser.c
 
 Traffic Management API
 M: Cristian Dumitrescu <cristian.dumitrescu at intel.com>
diff --git a/app/test/meson.build b/app/test/meson.build
index efec42a6bf..03cf8aa70c 100644
--- a/app/test/meson.build
+++ b/app/test/meson.build
@@ -88,6 +88,7 @@ source_file_deps = {
     'test_fib6_perf.c': ['fib'],
     'test_fib_perf.c': ['net', 'fib'],
     'test_flow_classify.c': ['net', 'acl', 'table', 'ethdev', 'flow_classify'],
+    'test_flow_parser.c': ['flow_parser', 'cmdline', 'ethdev'],
     'test_func_reentrancy.c': ['hash', 'lpm'],
     'test_graph.c': ['graph'],
     'test_graph_feature_arc.c': ['graph'],
diff --git a/app/test/test_flow_parser.c b/app/test/test_flow_parser.c
new file mode 100644
index 0000000000..175e2ef972
--- /dev/null
+++ b/app/test/test_flow_parser.c
@@ -0,0 +1,698 @@
+/* SPDX-License-Identifier: BSD-3-Clause
+ * Copyright(c) 2026 Dyna-NIC
+ */
+
+#include <stdint.h>
+#include <inttypes.h>
+#include <string.h>
+#include <errno.h>
+
+#include <rte_byteorder.h>
+#include <rte_flow.h>
+#include <rte_flow_parser.h>
+
+#include "test.h"
+
+static int
+flow_parser_setup(void)
+{
+	TEST_ASSERT_SUCCESS(rte_flow_parser_init(NULL),
+		"rte_flow_parser_init failed");
+	return 0;
+}
+
+static int
+flow_parser_case_setup(void)
+{
+	rte_flow_parser_reset_defaults();
+	return 0;
+}
+
+static void
+flow_parser_teardown(void)
+{
+	rte_flow_parser_reset_defaults();
+}
+
+static int
+test_flow_parser_command_mapping(void)
+{
+	static const char *create_cmd =
+		"flow create 0 ingress pattern eth / end "
+		"actions drop / end";
+	static const char *list_cmd = "flow list 0";
+	uint8_t outbuf[4096];
+	struct rte_flow_parser_output *out = (void *)outbuf;
+	int ret;
+
+	/* Test flow create command parsing */
+	ret = rte_flow_parser_parse(create_cmd, out, sizeof(outbuf));
+	TEST_ASSERT_SUCCESS(ret, "flow create parse failed: %s",
+		strerror(-ret));
+	TEST_ASSERT_EQUAL(out->command, RTE_FLOW_PARSER_CMD_CREATE,
+		"expected CREATE command, got %d", out->command);
+	TEST_ASSERT_EQUAL(out->port, 0, "expected port 0, got %u", out->port);
+	/* pattern: eth / end = 2 items */
+	TEST_ASSERT_EQUAL(out->args.vc.pattern_n, 2,
+		"expected 2 pattern items, got %u", out->args.vc.pattern_n);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[0].type, RTE_FLOW_ITEM_TYPE_ETH,
+		"expected ETH pattern, got %d", out->args.vc.pattern[0].type);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[1].type, RTE_FLOW_ITEM_TYPE_END,
+		"expected END pattern, got %d", out->args.vc.pattern[1].type);
+	/* actions: drop / end = 2 items */
+	TEST_ASSERT_EQUAL(out->args.vc.actions_n, 2,
+		"expected 2 action items, got %u", out->args.vc.actions_n);
+	TEST_ASSERT_EQUAL(out->args.vc.actions[0].type,
+		RTE_FLOW_ACTION_TYPE_DROP,
+		"expected DROP action, got %d", out->args.vc.actions[0].type);
+	TEST_ASSERT_EQUAL(out->args.vc.actions[1].type,
+		RTE_FLOW_ACTION_TYPE_END,
+		"expected END action, got %d", out->args.vc.actions[1].type);
+	/* ingress attribute */
+	TEST_ASSERT(out->args.vc.attr.ingress == 1 &&
+		out->args.vc.attr.egress == 0,
+		"expected ingress=1 egress=0");
+
+	/* Test flow list command parsing */
+	ret = rte_flow_parser_parse(list_cmd, out, sizeof(outbuf));
+	TEST_ASSERT_SUCCESS(ret, "flow list parse failed: %s", strerror(-ret));
+	TEST_ASSERT_EQUAL(out->command, RTE_FLOW_PARSER_CMD_LIST,
+		"expected LIST command, got %d", out->command);
+	TEST_ASSERT_EQUAL(out->port, 0, "expected port 0, got %u", out->port);
+
+	return TEST_SUCCESS;
+}
+
+static int
+test_flow_parser_lightweight_helpers(void)
+{
+	const struct rte_flow_item *pattern = NULL;
+	const struct rte_flow_action *actions = NULL;
+	const struct rte_flow_action_queue *queue_conf;
+	const struct rte_flow_action_mark *mark_conf;
+	struct rte_flow_attr attr;
+	uint32_t pattern_n = 0;
+	uint32_t actions_n = 0;
+	int ret;
+
+	/* Test attribute parsing */
+	memset(&attr, 0, sizeof(attr));
+	ret = rte_flow_parser_parse_attr_str("ingress group 1 priority 5", &attr);
+	TEST_ASSERT_SUCCESS(ret, "attr parse failed: %s", strerror(-ret));
+	TEST_ASSERT_EQUAL(attr.group, 1, "attr group mismatch: %u", attr.group);
+	TEST_ASSERT_EQUAL(attr.priority, 5,
+		"attr priority mismatch: %u", attr.priority);
+	TEST_ASSERT(attr.ingress == 1 && attr.egress == 0,
+		"attr flags mismatch ingress=%u egress=%u",
+		attr.ingress, attr.egress);
+
+	/* Test pattern parsing: eth / ipv4 / end = 3 items */
+	ret = rte_flow_parser_parse_pattern_str("eth / ipv4 / end",
+						&pattern, &pattern_n);
+	TEST_ASSERT_SUCCESS(ret, "pattern parse failed: %s", strerror(-ret));
+	TEST_ASSERT_EQUAL(pattern_n, 3, "expected 3 pattern items, got %u",
+		pattern_n);
+	TEST_ASSERT_EQUAL(pattern[0].type, RTE_FLOW_ITEM_TYPE_ETH,
+		"pattern[0] expected ETH, got %d", pattern[0].type);
+	TEST_ASSERT_EQUAL(pattern[1].type, RTE_FLOW_ITEM_TYPE_IPV4,
+		"pattern[1] expected IPV4, got %d", pattern[1].type);
+	TEST_ASSERT_EQUAL(pattern[2].type, RTE_FLOW_ITEM_TYPE_END,
+		"pattern[2] expected END, got %d", pattern[2].type);
+
+	/* Test actions parsing with config values: queue index 3 / end = 2 items */
+	ret = rte_flow_parser_parse_actions_str("queue index 3 / end",
+						&actions, &actions_n);
+	TEST_ASSERT_SUCCESS(ret, "actions parse failed: %s", strerror(-ret));
+	TEST_ASSERT_EQUAL(actions_n, 2, "expected 2 action items, got %u",
+		actions_n);
+	TEST_ASSERT_EQUAL(actions[0].type, RTE_FLOW_ACTION_TYPE_QUEUE,
+		"actions[0] expected QUEUE, got %d", actions[0].type);
+	queue_conf = actions[0].conf;
+	TEST_ASSERT_NOT_NULL(queue_conf, "queue action configuration missing");
+	TEST_ASSERT_EQUAL(queue_conf->index, 3,
+		"queue index expected 3, got %u", queue_conf->index);
+	TEST_ASSERT_EQUAL(actions[1].type, RTE_FLOW_ACTION_TYPE_END,
+		"actions[1] expected END, got %d", actions[1].type);
+
+	/* Test multiple actions: mark id 42 / drop / end = 3 items */
+	ret = rte_flow_parser_parse_actions_str("mark id 42 / drop / end",
+						&actions, &actions_n);
+	TEST_ASSERT_SUCCESS(ret, "multi-action parse failed: %s",
+		strerror(-ret));
+	TEST_ASSERT_EQUAL(actions_n, 3, "expected 3 action items, got %u",
+		actions_n);
+	TEST_ASSERT_EQUAL(actions[0].type, RTE_FLOW_ACTION_TYPE_MARK,
+		"actions[0] expected MARK, got %d", actions[0].type);
+	mark_conf = actions[0].conf;
+	TEST_ASSERT_NOT_NULL(mark_conf, "mark action configuration missing");
+	TEST_ASSERT_EQUAL(mark_conf->id, 42,
+		"mark id expected 42, got %u", mark_conf->id);
+	TEST_ASSERT_EQUAL(actions[1].type, RTE_FLOW_ACTION_TYPE_DROP,
+		"actions[1] expected DROP, got %d", actions[1].type);
+	TEST_ASSERT_EQUAL(actions[2].type, RTE_FLOW_ACTION_TYPE_END,
+		"actions[2] expected END, got %d", actions[2].type);
+
+	/* Test complex pattern: eth / ipv4 / tcp / end = 4 items */
+	ret = rte_flow_parser_parse_pattern_str("eth / ipv4 / tcp / end",
+						&pattern, &pattern_n);
+	TEST_ASSERT_SUCCESS(ret, "complex pattern parse failed: %s",
+		strerror(-ret));
+	TEST_ASSERT_EQUAL(pattern_n, 4, "expected 4 pattern items, got %u",
+		pattern_n);
+	TEST_ASSERT(pattern[0].type == RTE_FLOW_ITEM_TYPE_ETH &&
+		pattern[1].type == RTE_FLOW_ITEM_TYPE_IPV4 &&
+		pattern[2].type == RTE_FLOW_ITEM_TYPE_TCP &&
+		pattern[3].type == RTE_FLOW_ITEM_TYPE_END,
+		"complex pattern type mismatch");
+
+	return TEST_SUCCESS;
+}
+
+static int
+test_flow_parser_indirect_action(void)
+{
+	static const char *flow_indirect_sample =
+		"flow indirect_action 0 create transfer list actions sample ratio 1 index 1 / jump group 2 / end";
+	uint8_t outbuf[8192];
+	struct rte_flow_parser_output *out = (void *)outbuf;
+	const struct rte_flow_action *actions;
+	const struct rte_flow_action_sample *sample_conf;
+	const struct rte_flow_action_ethdev *repr;
+	struct rte_flow_action sample_actions[ACTION_SAMPLE_ACTIONS_NUM];
+	uint32_t actions_n;
+	int ret;
+
+	ret = rte_flow_parser_parse_actions_str(
+		"port_representor port_id 0xffff / end",
+		&actions, &actions_n);
+	TEST_ASSERT_SUCCESS(ret, "parse sample actions failed: %s",
+		strerror(-ret));
+	TEST_ASSERT(actions_n <= RTE_DIM(sample_actions),
+		"sample actions too long");
+	memcpy(sample_actions, actions,
+		sizeof(struct rte_flow_action) * actions_n);
+	memset(out, 0, sizeof(*out));
+	out->command = RTE_FLOW_PARSER_CMD_SET_SAMPLE_ACTIONS;
+	out->port = 1;
+	out->args.vc.actions = sample_actions;
+	out->args.vc.actions_n = actions_n;
+	rte_flow_parser_cmd_set_raw_dispatch(out);
+
+	ret = rte_flow_parser_parse(flow_indirect_sample, out, sizeof(outbuf));
+	TEST_ASSERT_SUCCESS(ret, "indirect sample parse failed: %s",
+		strerror(-ret));
+	TEST_ASSERT(out->command == RTE_FLOW_PARSER_CMD_INDIRECT_ACTION_LIST_CREATE ||
+		out->command == RTE_FLOW_PARSER_CMD_INDIRECT_ACTION_CREATE ||
+		out->command == RTE_FLOW_PARSER_CMD_QUEUE_INDIRECT_ACTION_LIST_CREATE ||
+		out->command == RTE_FLOW_PARSER_CMD_QUEUE_INDIRECT_ACTION_CREATE,
+		"expected indirect action create command, got %d", out->command);
+	TEST_ASSERT(out->args.vc.actions_n >= 3,
+		"expected sample + jump + end actions for indirect action");
+	TEST_ASSERT_EQUAL(out->args.vc.actions[0].type,
+		RTE_FLOW_ACTION_TYPE_SAMPLE, "indirect actions[0] not SAMPLE");
+	sample_conf = out->args.vc.actions[0].conf;
+	TEST_ASSERT_NOT_NULL(sample_conf, "indirect sample conf missing");
+	TEST_ASSERT_NOT_NULL(sample_conf->actions,
+		"indirect sample actions missing");
+	TEST_ASSERT_EQUAL(sample_conf->actions[0].type,
+		RTE_FLOW_ACTION_TYPE_PORT_REPRESENTOR,
+		"indirect sample action[0] type mismatch: %d",
+		sample_conf->actions[0].type);
+	repr = sample_conf->actions[0].conf;
+	TEST_ASSERT_NOT_NULL(repr, "indirect sample port conf missing");
+	TEST_ASSERT_EQUAL(repr->port_id, 0xffff,
+		"indirect sample port representor id mismatch");
+	TEST_ASSERT_EQUAL(sample_conf->actions[1].type,
+		RTE_FLOW_ACTION_TYPE_END, "indirect sample actions should end");
+
+	return TEST_SUCCESS;
+}
+
+static int
+test_flow_parser_meter(void)
+{
+	// meter itself needs to be created beforehand; here we just test parsing
+	static const char *flow_meter =
+		"flow create 0 ingress group 1 pattern eth / end "
+		"actions meter mtr_id 101 / end";
+	uint8_t outbuf[8192];
+	struct rte_flow_parser_output *out = (void *)outbuf;
+	const struct rte_flow_action_meter *meter_conf;
+	int ret;
+
+	ret = rte_flow_parser_parse(flow_meter, out, sizeof(outbuf));
+	TEST_ASSERT_SUCCESS(ret, "flow meter parse failed: %s", strerror(-ret));
+	TEST_ASSERT_EQUAL(out->command, RTE_FLOW_PARSER_CMD_CREATE,
+		"expected CREATE command, got %d", out->command);
+	TEST_ASSERT_EQUAL(out->port, 0, "expected port 0, got %u", out->port);
+	TEST_ASSERT(out->args.vc.attr.ingress == 1 &&
+		out->args.vc.attr.egress == 0,
+		"expected ingress=1 egress=0");
+	TEST_ASSERT_EQUAL(out->args.vc.attr.group, 1,
+		"expected group 1, got %u", out->args.vc.attr.group);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern_n, 2,
+		"expected 2 pattern items, got %u", out->args.vc.pattern_n);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[0].type, RTE_FLOW_ITEM_TYPE_ETH,
+		"expected ETH pattern, got %d", out->args.vc.pattern[0].type);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[1].type, RTE_FLOW_ITEM_TYPE_END,
+		"expected END pattern, got %d", out->args.vc.pattern[1].type);
+	TEST_ASSERT_EQUAL(out->args.vc.actions_n, 2,
+		"expected 2 action items, got %u", out->args.vc.actions_n);
+	TEST_ASSERT_EQUAL(out->args.vc.actions[0].type,
+		RTE_FLOW_ACTION_TYPE_METER, "actions[0] not METER");
+	meter_conf = out->args.vc.actions[0].conf;
+	TEST_ASSERT_NOT_NULL(meter_conf, "meter action configuration missing");
+	TEST_ASSERT_EQUAL(meter_conf->mtr_id, 101,
+		"expected mtr_id 101, got %u", meter_conf->mtr_id);
+	TEST_ASSERT_EQUAL(out->args.vc.actions[1].type,
+		RTE_FLOW_ACTION_TYPE_END, "actions[1] not END");
+
+	return TEST_SUCCESS;
+}
+
+static int
+test_flow_parser_queue_set_meta(void)
+{
+	static const char *flow_queue_meta =
+		"flow create 0 ingress pattern eth / ipv4 / tcp dst is 80 / end "
+		"actions queue index 0 / set_meta data 0x1234 / end";
+	uint8_t outbuf[8192];
+	struct rte_flow_parser_output *out = (void *)outbuf;
+	const struct rte_flow_item_tcp *tcp_spec;
+	const struct rte_flow_action_queue *queue_conf;
+	const struct rte_flow_action_set_meta *set_meta_conf;
+	int ret;
+
+	ret = rte_flow_parser_parse(flow_queue_meta, out, sizeof(outbuf));
+	TEST_ASSERT_SUCCESS(ret, "flow queue set_meta parse failed: %s",
+		strerror(-ret));
+	TEST_ASSERT_EQUAL(out->command, RTE_FLOW_PARSER_CMD_CREATE,
+		"expected CREATE command, got %d", out->command);
+	TEST_ASSERT_EQUAL(out->port, 0, "expected port 0, got %u", out->port);
+	TEST_ASSERT(out->args.vc.attr.ingress == 1 &&
+		out->args.vc.attr.egress == 0,
+		"expected ingress=1 egress=0");
+	TEST_ASSERT_EQUAL(out->args.vc.pattern_n, 4,
+		"expected 4 pattern items, got %u", out->args.vc.pattern_n);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[0].type, RTE_FLOW_ITEM_TYPE_ETH,
+		"pattern[0] expected ETH, got %d", out->args.vc.pattern[0].type);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[1].type, RTE_FLOW_ITEM_TYPE_IPV4,
+		"pattern[1] expected IPV4, got %d", out->args.vc.pattern[1].type);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[2].type, RTE_FLOW_ITEM_TYPE_TCP,
+		"pattern[2] expected TCP, got %d", out->args.vc.pattern[2].type);
+	tcp_spec = out->args.vc.pattern[2].spec;
+	TEST_ASSERT_NOT_NULL(tcp_spec, "tcp spec missing");
+	TEST_ASSERT_EQUAL(tcp_spec->hdr.dst_port, rte_cpu_to_be_16(80),
+		"tcp dst port mismatch");
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[3].type, RTE_FLOW_ITEM_TYPE_END,
+		"pattern[3] expected END, got %d", out->args.vc.pattern[3].type);
+
+	TEST_ASSERT_EQUAL(out->args.vc.actions_n, 3,
+		"expected 3 action items, got %u", out->args.vc.actions_n);
+	TEST_ASSERT_EQUAL(out->args.vc.actions[0].type,
+		RTE_FLOW_ACTION_TYPE_QUEUE, "actions[0] not QUEUE");
+	queue_conf = out->args.vc.actions[0].conf;
+	TEST_ASSERT_NOT_NULL(queue_conf, "queue action configuration missing");
+	TEST_ASSERT_EQUAL(queue_conf->index, 0,
+		"queue index expected 0, got %u", queue_conf->index);
+	TEST_ASSERT_EQUAL(out->args.vc.actions[1].type,
+		RTE_FLOW_ACTION_TYPE_SET_META, "actions[1] not SET_META");
+	set_meta_conf = out->args.vc.actions[1].conf;
+	TEST_ASSERT_NOT_NULL(set_meta_conf,
+		"set_meta action configuration missing");
+	TEST_ASSERT_EQUAL(set_meta_conf->data, 0x1234,
+		"set_meta data expected 0x1234, got %#x",
+		set_meta_conf->data);
+	TEST_ASSERT_EQUAL(out->args.vc.actions[2].type,
+		RTE_FLOW_ACTION_TYPE_END, "actions[2] not END");
+
+	return TEST_SUCCESS;
+}
+
+static int
+test_flow_parser_modify_field_count(void)
+{
+	static const char *flow_modify_field =
+		"flow validate 1 egress pattern "
+		"tx_queue tx_queue_value is 0 / meta data is 0x1234 / end "
+		"actions modify_field op set dst_type ipv4_src src_type value "
+		"src_value 0x0a000001 width 32 / count / end";
+	uint8_t outbuf[8192];
+	struct rte_flow_parser_output *out = (void *)outbuf;
+	const struct rte_flow_item_tx_queue *tx_queue_spec;
+	const struct rte_flow_item_meta *meta_spec;
+	const struct rte_flow_action_modify_field *modify_conf;
+	const struct rte_flow_action_count *count_conf;
+	const uint8_t expected_src_value[16] = { 0x0a, 0x00, 0x00, 0x01 };
+	int ret;
+
+	ret = rte_flow_parser_parse(flow_modify_field, out, sizeof(outbuf));
+	TEST_ASSERT_SUCCESS(ret, "flow modify_field parse failed: %s",
+		strerror(-ret));
+	TEST_ASSERT_EQUAL(out->command, RTE_FLOW_PARSER_CMD_VALIDATE,
+		"expected VALIDATE command, got %d", out->command);
+	TEST_ASSERT_EQUAL(out->port, 1, "expected port 1, got %u", out->port);
+	TEST_ASSERT(out->args.vc.attr.ingress == 0 &&
+		out->args.vc.attr.egress == 1,
+		"expected ingress=0 egress=1");
+	TEST_ASSERT_EQUAL(out->args.vc.pattern_n, 3,
+		"expected 3 pattern items, got %u", out->args.vc.pattern_n);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[0].type,
+		RTE_FLOW_ITEM_TYPE_TX_QUEUE,
+		"pattern[0] expected TX_QUEUE, got %d",
+		out->args.vc.pattern[0].type);
+	tx_queue_spec = out->args.vc.pattern[0].spec;
+	TEST_ASSERT_NOT_NULL(tx_queue_spec, "tx_queue spec missing");
+	TEST_ASSERT_EQUAL(tx_queue_spec->tx_queue, 0,
+		"tx_queue value expected 0, got %u",
+		tx_queue_spec->tx_queue);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[1].type,
+		RTE_FLOW_ITEM_TYPE_META,
+		"pattern[1] expected META, got %d",
+		out->args.vc.pattern[1].type);
+	meta_spec = out->args.vc.pattern[1].spec;
+	TEST_ASSERT_NOT_NULL(meta_spec, "meta spec missing");
+	TEST_ASSERT_EQUAL(meta_spec->data, 0x1234,
+		"meta data expected 0x1234, got %#x",
+		meta_spec->data);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[2].type, RTE_FLOW_ITEM_TYPE_END,
+		"pattern[2] expected END, got %d", out->args.vc.pattern[2].type);
+
+	TEST_ASSERT_EQUAL(out->args.vc.actions_n, 3,
+		"expected 3 action items, got %u", out->args.vc.actions_n);
+	TEST_ASSERT_EQUAL(out->args.vc.actions[0].type,
+		RTE_FLOW_ACTION_TYPE_MODIFY_FIELD, "actions[0] not MODIFY_FIELD");
+	modify_conf = out->args.vc.actions[0].conf;
+	TEST_ASSERT_NOT_NULL(modify_conf,
+		"modify_field action configuration missing");
+	TEST_ASSERT_EQUAL(modify_conf->operation, RTE_FLOW_MODIFY_SET,
+		"modify_field operation expected SET, got %d",
+		modify_conf->operation);
+	TEST_ASSERT_EQUAL(modify_conf->dst.field, RTE_FLOW_FIELD_IPV4_SRC,
+		"modify_field dst field expected IPV4_SRC, got %d",
+		modify_conf->dst.field);
+	TEST_ASSERT_EQUAL(modify_conf->src.field, RTE_FLOW_FIELD_VALUE,
+		"modify_field src field expected VALUE, got %d",
+		modify_conf->src.field);
+	TEST_ASSERT_EQUAL(modify_conf->width, 32,
+		"modify_field width expected 32, got %u",
+		modify_conf->width);
+	TEST_ASSERT_BUFFERS_ARE_EQUAL(modify_conf->src.value,
+		expected_src_value, sizeof(expected_src_value),
+		"modify_field src value mismatch");
+	TEST_ASSERT_EQUAL(out->args.vc.actions[1].type,
+		RTE_FLOW_ACTION_TYPE_COUNT, "actions[1] not COUNT");
+	count_conf = out->args.vc.actions[1].conf;
+	TEST_ASSERT_NOT_NULL(count_conf, "count action configuration missing");
+	TEST_ASSERT_EQUAL(count_conf->id, 0,
+		"count id expected 0, got %u", count_conf->id);
+	TEST_ASSERT_EQUAL(out->args.vc.actions[2].type,
+		RTE_FLOW_ACTION_TYPE_END, "actions[2] not END");
+
+	return TEST_SUCCESS;
+}
+
+static int
+test_flow_parser_raw_decap_rss(void)
+{
+	char set_raw_decap[96];
+	char flow_raw_decap_rss[160];
+	const uint16_t raw_decap_index = 0;
+	uint8_t outbuf[8192];
+	struct rte_flow_parser_output *out = (void *)outbuf;
+	const struct rte_flow_item_vxlan *vxlan_spec;
+	const struct rte_flow_action_raw_decap *raw_decap_action;
+	const struct rte_flow_action_rss *rss_conf;
+	const struct rte_flow_action_raw_decap *decap_conf;
+	const struct rte_vxlan_hdr *vxlan_hdr;
+	uint32_t vni;
+	int len;
+	int ret;
+
+	len = snprintf(set_raw_decap, sizeof(set_raw_decap),
+		"set raw_decap %u vxlan vni is 33 / end_set",
+		raw_decap_index);
+	TEST_ASSERT(len > 0 && len < (int)sizeof(set_raw_decap),
+		"set raw_decap command truncated");
+	len = snprintf(flow_raw_decap_rss, sizeof(flow_raw_decap_rss),
+		"flow create 0 ingress pattern eth / ipv4 / end "
+		"actions raw_decap index %u / rss / end",
+		raw_decap_index);
+	TEST_ASSERT(len > 0 && len < (int)sizeof(flow_raw_decap_rss),
+		"flow raw_decap rss command truncated");
+
+	ret = rte_flow_parser_parse(set_raw_decap, out, sizeof(outbuf));
+	TEST_ASSERT_SUCCESS(ret, "set raw_decap parse failed: %s",
+		strerror(-ret));
+	TEST_ASSERT_EQUAL(out->command, RTE_FLOW_PARSER_CMD_SET_RAW_DECAP,
+		"expected SET_RAW_DECAP command, got %d", out->command);
+	TEST_ASSERT_EQUAL(out->port, raw_decap_index,
+		"expected raw_decap index %u, got %u",
+		raw_decap_index, out->port);
+	TEST_ASSERT(out->args.vc.pattern_n >= 1,
+		"expected at least 1 pattern item, got %u",
+		out->args.vc.pattern_n);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[0].type,
+		RTE_FLOW_ITEM_TYPE_VXLAN,
+		"pattern[0] expected VXLAN, got %d",
+		out->args.vc.pattern[0].type);
+	vxlan_spec = out->args.vc.pattern[0].spec;
+	TEST_ASSERT_NOT_NULL(vxlan_spec, "vxlan spec missing");
+	vni = ((uint32_t)vxlan_spec->hdr.vni[0] << 16) |
+	      ((uint32_t)vxlan_spec->hdr.vni[1] << 8) |
+	      (uint32_t)vxlan_spec->hdr.vni[2];
+	TEST_ASSERT_EQUAL(vni, 33, "vxlan vni expected 33, got %u", vni);
+
+	rte_flow_parser_cmd_set_raw_dispatch(out);
+
+	ret = rte_flow_parser_parse(flow_raw_decap_rss, out, sizeof(outbuf));
+	TEST_ASSERT_SUCCESS(ret, "flow raw_decap rss parse failed: %s",
+		strerror(-ret));
+	TEST_ASSERT_EQUAL(out->command, RTE_FLOW_PARSER_CMD_CREATE,
+		"expected CREATE command, got %d", out->command);
+	TEST_ASSERT_EQUAL(out->port, 0, "expected port 0, got %u", out->port);
+	TEST_ASSERT(out->args.vc.attr.ingress == 1 &&
+		out->args.vc.attr.egress == 0,
+		"expected ingress=1 egress=0");
+
+	TEST_ASSERT_EQUAL(out->args.vc.pattern_n, 3,
+		"expected 3 pattern items, got %u", out->args.vc.pattern_n);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[0].type, RTE_FLOW_ITEM_TYPE_ETH,
+		"pattern[0] expected ETH, got %d", out->args.vc.pattern[0].type);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[1].type, RTE_FLOW_ITEM_TYPE_IPV4,
+		"pattern[1] expected IPV4, got %d", out->args.vc.pattern[1].type);
+	TEST_ASSERT_EQUAL(out->args.vc.pattern[2].type, RTE_FLOW_ITEM_TYPE_END,
+		"pattern[2] expected END, got %d", out->args.vc.pattern[2].type);
+
+	TEST_ASSERT_EQUAL(out->args.vc.actions_n, 3,
+		"expected 3 action items, got %u", out->args.vc.actions_n);
+	TEST_ASSERT_EQUAL(out->args.vc.actions[0].type,
+		RTE_FLOW_ACTION_TYPE_RAW_DECAP, "actions[0] not RAW_DECAP");
+	raw_decap_action = out->args.vc.actions[0].conf;
+	TEST_ASSERT_NOT_NULL(raw_decap_action,
+		"raw_decap action configuration missing");
+	TEST_ASSERT_NOT_NULL(raw_decap_action->data,
+		"raw_decap action data missing");
+	TEST_ASSERT(raw_decap_action->size >= sizeof(struct rte_vxlan_hdr),
+		"raw_decap action size too small: %zu",
+		raw_decap_action->size);
+	TEST_ASSERT_EQUAL(out->args.vc.actions[1].type,
+		RTE_FLOW_ACTION_TYPE_RSS, "actions[1] not RSS");
+	rss_conf = out->args.vc.actions[1].conf;
+	TEST_ASSERT_NOT_NULL(rss_conf, "rss action configuration missing");
+	TEST_ASSERT_EQUAL(out->args.vc.actions[2].type,
+		RTE_FLOW_ACTION_TYPE_END, "actions[2] not END");
+
+	decap_conf = rte_flow_parser_raw_decap_conf_get(raw_decap_index);
+	TEST_ASSERT_NOT_NULL(decap_conf, "raw_decap config missing");
+	TEST_ASSERT_NOT_NULL(decap_conf->data, "raw_decap config data missing");
+	TEST_ASSERT_EQUAL(decap_conf->size, raw_decap_action->size,
+		"raw_decap size mismatch: %zu vs %zu",
+		decap_conf->size, raw_decap_action->size);
+	TEST_ASSERT_EQUAL(decap_conf->data, raw_decap_action->data,
+		"raw_decap data pointer mismatch");
+	TEST_ASSERT(decap_conf->size >= sizeof(struct rte_vxlan_hdr),
+		"raw_decap config size too small: %zu",
+		decap_conf->size);
+	vxlan_hdr = (const struct rte_vxlan_hdr *)decap_conf->data;
+	vni = ((uint32_t)vxlan_hdr->vni[0] << 16) |
+	      ((uint32_t)vxlan_hdr->vni[1] << 8) |
+	      (uint32_t)vxlan_hdr->vni[2];
+	TEST_ASSERT_EQUAL(vni, 33,
+		"raw_decap vxlan vni expected 33, got %u", vni);
+
+	return TEST_SUCCESS;
+}
+
+static int
+test_flow_parser_invalid_args(void)
+{
+	const struct rte_flow_item *pattern = NULL;
+	const struct rte_flow_action *actions = NULL;
+	uint8_t outbuf[sizeof(struct rte_flow_parser_output)];
+	struct rte_flow_attr attr;
+	uint32_t count = 0;
+	int ret;
+
+	ret = rte_flow_parser_parse(NULL, (void *)outbuf, sizeof(outbuf));
+	TEST_ASSERT_EQUAL(ret, -EINVAL, "NULL cmd should return -EINVAL");
+
+	ret = rte_flow_parser_parse("flow list 0", NULL, sizeof(outbuf));
+	TEST_ASSERT_EQUAL(ret, -EINVAL, "NULL output should return -EINVAL");
+
+	ret = rte_flow_parser_parse("flow list 0", (void *)outbuf,
+		sizeof(struct rte_flow_parser_output) - 1);
+	TEST_ASSERT_EQUAL(ret, -ENOBUFS, "short output buffer not rejected");
+
+	ret = rte_flow_parser_parse_attr_str(NULL, &attr);
+	TEST_ASSERT_EQUAL(ret, -EINVAL, "NULL attr string should fail");
+
+	ret = rte_flow_parser_parse_pattern_str(NULL, &pattern, &count);
+	TEST_ASSERT_EQUAL(ret, -EINVAL, "NULL pattern string should fail");
+
+	ret = rte_flow_parser_parse_actions_str(NULL, &actions, &count);
+	TEST_ASSERT_EQUAL(ret, -EINVAL, "NULL actions string should fail");
+
+	ret = rte_flow_parser_parse_pattern_str("eth / end", NULL, &count);
+	TEST_ASSERT_EQUAL(ret, -EINVAL, "NULL pattern out should fail");
+
+	ret = rte_flow_parser_parse_actions_str("drop / end", &actions, NULL);
+	TEST_ASSERT_EQUAL(ret, -EINVAL, "NULL actions count should fail");
+
+	return TEST_SUCCESS;
+}
+
+static int
+test_flow_parser_invalid_lightweight_helpers(void)
+{
+	const struct rte_flow_item *pattern = NULL;
+	const struct rte_flow_action *actions = NULL;
+	struct rte_flow_attr attr;
+	uint32_t count = 0;
+	int ret;
+
+	ret = rte_flow_parser_parse_attr_str("ingress group", &attr);
+	TEST_ASSERT(ret < 0, "expected attr failure for missing group id: %d",
+		ret);
+	ret = rte_flow_parser_parse_attr_str("priority foo", &attr);
+	TEST_ASSERT(ret < 0, "expected attr failure for invalid priority: %d",
+		ret);
+	ret = rte_flow_parser_parse_attr_str("ingress bogus 1", &attr);
+	TEST_ASSERT(ret < 0, "expected attr failure for unknown token: %d",
+		ret);
+
+	ret = rte_flow_parser_parse_pattern_str("eth / ipv4", &pattern, &count);
+	TEST_ASSERT(ret < 0, "expected pattern failure for missing end: %d",
+		ret);
+	ret = rte_flow_parser_parse_pattern_str("eth / unknown / end",
+		&pattern, &count);
+	TEST_ASSERT(ret < 0, "expected pattern failure for unknown item: %d",
+		ret);
+
+	ret = rte_flow_parser_parse_actions_str("queue index / end",
+		&actions, &count);
+	TEST_ASSERT(ret < 0, "expected actions failure for missing index: %d",
+		ret);
+	ret = rte_flow_parser_parse_actions_str("mark id / end",
+		&actions, &count);
+	TEST_ASSERT(ret < 0, "expected actions failure for missing id: %d",
+		ret);
+	ret = rte_flow_parser_parse_actions_str("bogus / end",
+		&actions, &count);
+	TEST_ASSERT(ret < 0, "expected actions failure for unknown action: %d",
+		ret);
+
+	return TEST_SUCCESS;
+}
+
+static int
+test_flow_parser_invalid_syntax(void)
+{
+	static const char *invalid_cmd = "flow invalid 0";
+	static const char *wrong_cmd =
+		"flow create 0 rule 7"; // destroy
+	static const char *actions_before_pattern =
+		"flow create 0 ingress actions drop / end pattern eth / end";
+	static const char *missing_actions_keyword =
+		"flow create 0 ingress pattern eth / end drop / end";
+	static const char *missing_pattern_keyword =
+		"flow create 0 ingress actions drop / end";
+	static const char *missing_action_separator =
+		"flow create 0 ingress pattern eth / end actions drop end";
+	static const char *missing_pattern_end =
+		"flow create 0 ingress pattern eth / ipv4 actions drop / end";
+	static const char *missing_port_id =
+		"flow create ingress pattern eth / end actions drop / end";
+	static const char *extra_trailing_token =
+		"flow create 0 ingress pattern eth / end actions drop / end junk";
+	uint8_t outbuf[4096];
+	struct rte_flow_parser_output *out = (void *)outbuf;
+	int ret;
+
+	ret = rte_flow_parser_parse(invalid_cmd, out, sizeof(outbuf));
+	TEST_ASSERT(ret < 0, "unexpected status for invalid cmd: %d", ret);
+	ret = rte_flow_parser_parse(wrong_cmd, out, sizeof(outbuf));
+	TEST_ASSERT(ret < 0,
+		"expected failure for wrong command usage: %d", ret);
+	ret = rte_flow_parser_parse(actions_before_pattern, out, sizeof(outbuf));
+	TEST_ASSERT(ret < 0,
+		"expected failure for actions before pattern: %d", ret);
+	ret = rte_flow_parser_parse(missing_actions_keyword, out, sizeof(outbuf));
+	TEST_ASSERT(ret < 0,
+		"expected failure for missing actions keyword: %d", ret);
+	ret = rte_flow_parser_parse(missing_pattern_keyword, out, sizeof(outbuf));
+	TEST_ASSERT(ret < 0,
+		"expected failure for missing pattern keyword: %d", ret);
+	ret = rte_flow_parser_parse(missing_action_separator, out, sizeof(outbuf));
+	TEST_ASSERT(ret < 0,
+		"expected failure for missing action separator: %d", ret);
+	ret = rte_flow_parser_parse(missing_pattern_end, out, sizeof(outbuf));
+	TEST_ASSERT(ret < 0,
+		"expected failure for missing pattern end: %d", ret);
+	ret = rte_flow_parser_parse(missing_port_id, out, sizeof(outbuf));
+	TEST_ASSERT(ret < 0,
+		"expected failure for missing port id: %d", ret);
+	ret = rte_flow_parser_parse(extra_trailing_token, out, sizeof(outbuf));
+	TEST_ASSERT(ret < 0,
+		"expected failure for extra trailing token: %d", ret);
+
+	return TEST_SUCCESS;
+}
+
+
+static struct unit_test_suite flow_parser_tests = {
+	.suite_name = "flow parser autotest",
+	.setup = flow_parser_setup,
+	.teardown = flow_parser_teardown,
+	.unit_test_cases = {
+		TEST_CASE_ST(flow_parser_case_setup, NULL,
+			test_flow_parser_command_mapping),
+		TEST_CASE_ST(flow_parser_case_setup, NULL,
+			test_flow_parser_lightweight_helpers),
+		TEST_CASE_ST(flow_parser_case_setup, NULL,
+			test_flow_parser_invalid_args),
+		TEST_CASE_ST(flow_parser_case_setup, NULL,
+			test_flow_parser_invalid_lightweight_helpers),
+		TEST_CASE_ST(flow_parser_case_setup, NULL,
+			test_flow_parser_invalid_syntax),
+		TEST_CASE_ST(flow_parser_case_setup, NULL,
+			test_flow_parser_indirect_action),
+		TEST_CASE_ST(flow_parser_case_setup, NULL,
+			test_flow_parser_meter),
+		TEST_CASE_ST(flow_parser_case_setup, NULL,
+			test_flow_parser_queue_set_meta),
+		TEST_CASE_ST(flow_parser_case_setup, NULL,
+			test_flow_parser_modify_field_count),
+		TEST_CASE_ST(flow_parser_case_setup, NULL,
+			test_flow_parser_raw_decap_rss),
+		TEST_CASES_END()
+	}
+};
+
+static int
+test_flow_parser(void)
+{
+	return unit_test_suite_runner(&flow_parser_tests);
+}
+
+REGISTER_FAST_TEST(flow_parser_autotest, true, true, test_flow_parser);
-- 
2.43.7



More information about the dev mailing list