xref: /dpdk/lib/acl/acl_run_altivec.h (revision e9fd1ebf981f361844aea9ec94e17f4bda5e1479)
199a2dd95SBruce Richardson /*
299a2dd95SBruce Richardson  * SPDX-License-Identifier: BSD-3-Clause
399a2dd95SBruce Richardson  * Copyright (C) IBM Corporation 2016.
499a2dd95SBruce Richardson  */
599a2dd95SBruce Richardson 
6*e9fd1ebfSTyler Retzlaff #include <stdalign.h>
7*e9fd1ebfSTyler Retzlaff 
899a2dd95SBruce Richardson #include "acl_run.h"
999a2dd95SBruce Richardson #include "acl_vect.h"
1099a2dd95SBruce Richardson 
11*e9fd1ebfSTyler Retzlaff alignas(RTE_CACHE_LINE_SIZE) struct _altivec_acl_const {
1299a2dd95SBruce Richardson 	rte_xmm_t xmm_shuffle_input;
1399a2dd95SBruce Richardson 	rte_xmm_t xmm_index_mask;
1499a2dd95SBruce Richardson 	rte_xmm_t xmm_ones_16;
1599a2dd95SBruce Richardson 	rte_xmm_t range_base;
16*e9fd1ebfSTyler Retzlaff } altivec_acl_const = {
1799a2dd95SBruce Richardson 	{
1899a2dd95SBruce Richardson 		.u32 = {0x00000000, 0x04040404, 0x08080808, 0x0c0c0c0c}
1999a2dd95SBruce Richardson 	},
2099a2dd95SBruce Richardson 	{
2199a2dd95SBruce Richardson 		.u32 = {RTE_ACL_NODE_INDEX, RTE_ACL_NODE_INDEX,
2299a2dd95SBruce Richardson 		RTE_ACL_NODE_INDEX, RTE_ACL_NODE_INDEX}
2399a2dd95SBruce Richardson 	},
2499a2dd95SBruce Richardson 	{
2599a2dd95SBruce Richardson 		.u16 = {1, 1, 1, 1, 1, 1, 1, 1}
2699a2dd95SBruce Richardson 	},
2799a2dd95SBruce Richardson 	{
2899a2dd95SBruce Richardson 		.u32 = {0xffffff00, 0xffffff04, 0xffffff08, 0xffffff0c}
2999a2dd95SBruce Richardson 	},
3099a2dd95SBruce Richardson };
3199a2dd95SBruce Richardson 
3299a2dd95SBruce Richardson /*
3399a2dd95SBruce Richardson  * Resolve priority for multiple results (altivec version).
3499a2dd95SBruce Richardson  * This consists comparing the priority of the current traversal with the
3599a2dd95SBruce Richardson  * running set of results for the packet.
3699a2dd95SBruce Richardson  * For each result, keep a running array of the result (rule number) and
3799a2dd95SBruce Richardson  * its priority for each category.
3899a2dd95SBruce Richardson  */
3999a2dd95SBruce Richardson static inline void
resolve_priority_altivec(uint64_t transition,int n,const struct rte_acl_ctx * ctx,struct parms * parms,const struct rte_acl_match_results * p,uint32_t categories)4099a2dd95SBruce Richardson resolve_priority_altivec(uint64_t transition, int n,
4199a2dd95SBruce Richardson 	const struct rte_acl_ctx *ctx, struct parms *parms,
4299a2dd95SBruce Richardson 	const struct rte_acl_match_results *p, uint32_t categories)
4399a2dd95SBruce Richardson {
4499a2dd95SBruce Richardson 	uint32_t x;
4599a2dd95SBruce Richardson 	xmm_t results, priority, results1, priority1;
4633d66940SBruce Richardson 	__vector __bool int selector;
4799a2dd95SBruce Richardson 	xmm_t *saved_results, *saved_priority;
4899a2dd95SBruce Richardson 
4999a2dd95SBruce Richardson 	for (x = 0; x < categories; x += RTE_ACL_RESULTS_MULTIPLIER) {
5099a2dd95SBruce Richardson 
5199a2dd95SBruce Richardson 		saved_results = (xmm_t *)(&parms[n].cmplt->results[x]);
5299a2dd95SBruce Richardson 		saved_priority =
5399a2dd95SBruce Richardson 			(xmm_t *)(&parms[n].cmplt->priority[x]);
5499a2dd95SBruce Richardson 
5599a2dd95SBruce Richardson 		/* get results and priorities for completed trie */
5699a2dd95SBruce Richardson 		results = *(const xmm_t *)&p[transition].results[x];
5799a2dd95SBruce Richardson 		priority = *(const xmm_t *)&p[transition].priority[x];
5899a2dd95SBruce Richardson 
5999a2dd95SBruce Richardson 		/* if this is not the first completed trie */
6099a2dd95SBruce Richardson 		if (parms[n].cmplt->count != ctx->num_tries) {
6199a2dd95SBruce Richardson 
6299a2dd95SBruce Richardson 			/* get running best results and their priorities */
6399a2dd95SBruce Richardson 			results1 = *saved_results;
6499a2dd95SBruce Richardson 			priority1 = *saved_priority;
6599a2dd95SBruce Richardson 
6699a2dd95SBruce Richardson 			/* select results that are highest priority */
6799a2dd95SBruce Richardson 			selector = vec_cmpgt(priority1, priority);
6899a2dd95SBruce Richardson 			results = vec_sel(results, results1, selector);
6999a2dd95SBruce Richardson 			priority = vec_sel(priority, priority1,
7099a2dd95SBruce Richardson 				selector);
7199a2dd95SBruce Richardson 		}
7299a2dd95SBruce Richardson 
7399a2dd95SBruce Richardson 		/* save running best results and their priorities */
7499a2dd95SBruce Richardson 		*saved_results = results;
7599a2dd95SBruce Richardson 		*saved_priority = priority;
7699a2dd95SBruce Richardson 	}
7799a2dd95SBruce Richardson }
7899a2dd95SBruce Richardson 
7999a2dd95SBruce Richardson /*
8099a2dd95SBruce Richardson  * Check for any match in 4 transitions
8199a2dd95SBruce Richardson  */
8299a2dd95SBruce Richardson static __rte_always_inline uint32_t
check_any_match_x4(uint64_t val[])8399a2dd95SBruce Richardson check_any_match_x4(uint64_t val[])
8499a2dd95SBruce Richardson {
8599a2dd95SBruce Richardson 	return (val[0] | val[1] | val[2] | val[3]) & RTE_ACL_NODE_MATCH;
8699a2dd95SBruce Richardson }
8799a2dd95SBruce Richardson 
8899a2dd95SBruce Richardson static __rte_always_inline void
acl_match_check_x4(int slot,const struct rte_acl_ctx * ctx,struct parms * parms,struct acl_flow_data * flows,uint64_t transitions[])8999a2dd95SBruce Richardson acl_match_check_x4(int slot, const struct rte_acl_ctx *ctx, struct parms *parms,
9099a2dd95SBruce Richardson 	struct acl_flow_data *flows, uint64_t transitions[])
9199a2dd95SBruce Richardson {
9299a2dd95SBruce Richardson 	while (check_any_match_x4(transitions)) {
9399a2dd95SBruce Richardson 		transitions[0] = acl_match_check(transitions[0], slot, ctx,
9499a2dd95SBruce Richardson 			parms, flows, resolve_priority_altivec);
9599a2dd95SBruce Richardson 		transitions[1] = acl_match_check(transitions[1], slot + 1, ctx,
9699a2dd95SBruce Richardson 			parms, flows, resolve_priority_altivec);
9799a2dd95SBruce Richardson 		transitions[2] = acl_match_check(transitions[2], slot + 2, ctx,
9899a2dd95SBruce Richardson 			parms, flows, resolve_priority_altivec);
9999a2dd95SBruce Richardson 		transitions[3] = acl_match_check(transitions[3], slot + 3, ctx,
10099a2dd95SBruce Richardson 			parms, flows, resolve_priority_altivec);
10199a2dd95SBruce Richardson 	}
10299a2dd95SBruce Richardson }
10399a2dd95SBruce Richardson 
10499a2dd95SBruce Richardson /*
10599a2dd95SBruce Richardson  * Process 4 transitions (in 2 XMM registers) in parallel
10699a2dd95SBruce Richardson  */
1073f62bba2SDavid Christensen static __rte_always_inline xmm_t
transition4(xmm_t next_input,const uint64_t * trans,xmm_t * indices1,xmm_t * indices2)10899a2dd95SBruce Richardson transition4(xmm_t next_input, const uint64_t *trans,
10999a2dd95SBruce Richardson 	xmm_t *indices1, xmm_t *indices2)
11099a2dd95SBruce Richardson {
11199a2dd95SBruce Richardson 	xmm_t addr, tr_lo, tr_hi;
11299a2dd95SBruce Richardson 	xmm_t in, node_type, r, t;
11399a2dd95SBruce Richardson 	xmm_t dfa_ofs, quad_ofs;
11499a2dd95SBruce Richardson 	xmm_t *index_mask, *tp;
11533d66940SBruce Richardson 	__vector __bool int dfa_msk;
11664fcadeaSThomas Monjalon 	__vector signed char zeroes = {};
11799a2dd95SBruce Richardson 	union {
11899a2dd95SBruce Richardson 		uint64_t d64[2];
11999a2dd95SBruce Richardson 		uint32_t d32[4];
12099a2dd95SBruce Richardson 	} v;
12199a2dd95SBruce Richardson 
12299a2dd95SBruce Richardson 	/* Move low 32 into tr_lo and high 32 into tr_hi */
12399a2dd95SBruce Richardson 	tr_lo = (xmm_t){(*indices1)[0], (*indices1)[2],
12499a2dd95SBruce Richardson 			(*indices2)[0], (*indices2)[2]};
12599a2dd95SBruce Richardson 	tr_hi = (xmm_t){(*indices1)[1], (*indices1)[3],
12699a2dd95SBruce Richardson 			(*indices2)[1], (*indices2)[3]};
12799a2dd95SBruce Richardson 
12899a2dd95SBruce Richardson 	 /* Calculate the address (array index) for all 4 transitions. */
12999a2dd95SBruce Richardson 	index_mask = (xmm_t *)&altivec_acl_const.xmm_index_mask.u32;
13099a2dd95SBruce Richardson 	t = vec_xor(*index_mask, *index_mask);
13199a2dd95SBruce Richardson 	in = vec_perm(next_input, (xmm_t){},
13264fcadeaSThomas Monjalon 		*(__vector unsigned char *)&altivec_acl_const.xmm_shuffle_input);
13399a2dd95SBruce Richardson 
13499a2dd95SBruce Richardson 	/* Calc node type and node addr */
13599a2dd95SBruce Richardson 	node_type = vec_and(vec_nor(*index_mask, *index_mask), tr_lo);
13699a2dd95SBruce Richardson 	addr = vec_and(tr_lo, *index_mask);
13799a2dd95SBruce Richardson 
13899a2dd95SBruce Richardson 	/* mask for DFA type(0) nodes */
13999a2dd95SBruce Richardson 	dfa_msk = vec_cmpeq(node_type, t);
14099a2dd95SBruce Richardson 
14199a2dd95SBruce Richardson 	/* DFA calculations. */
14264fcadeaSThomas Monjalon 	r = vec_sr(in, (__vector unsigned int){30, 30, 30, 30});
14399a2dd95SBruce Richardson 	tp = (xmm_t *)&altivec_acl_const.range_base.u32;
14499a2dd95SBruce Richardson 	r = vec_add(r, *tp);
14564fcadeaSThomas Monjalon 	t = vec_sr(in, (__vector unsigned int){24, 24, 24, 24});
14699a2dd95SBruce Richardson 	r = vec_perm(tr_hi, (xmm_t){(uint16_t)0 << 16},
14764fcadeaSThomas Monjalon 		(__vector unsigned char)r);
14899a2dd95SBruce Richardson 
14999a2dd95SBruce Richardson 	dfa_ofs = vec_sub(t, r);
15099a2dd95SBruce Richardson 
1517be78d02SJosh Soref 	/* QUAD/SINGLE calculations. */
15264fcadeaSThomas Monjalon 	t = (xmm_t)vec_cmpgt((__vector signed char)in, (__vector signed char)tr_hi);
15399a2dd95SBruce Richardson 	t = (xmm_t)vec_sel(
15499a2dd95SBruce Richardson 		vec_sel(
15564fcadeaSThomas Monjalon 			(__vector signed char)vec_sub(
15664fcadeaSThomas Monjalon 				zeroes, (__vector signed char)t),
15764fcadeaSThomas Monjalon 			(__vector signed char)t,
15864fcadeaSThomas Monjalon 			vec_cmpgt((__vector signed char)t, zeroes)),
15999a2dd95SBruce Richardson 		zeroes,
16064fcadeaSThomas Monjalon 		vec_cmpeq((__vector signed char)t, zeroes));
16199a2dd95SBruce Richardson 
16264fcadeaSThomas Monjalon 	t = (xmm_t)vec_msum((__vector signed char)t,
16364fcadeaSThomas Monjalon 		(__vector unsigned char)t, (xmm_t){});
16464fcadeaSThomas Monjalon 	quad_ofs = (xmm_t)vec_msum((__vector signed short)t,
16564fcadeaSThomas Monjalon 		*(__vector signed short *)&altivec_acl_const.xmm_ones_16.u16,
16699a2dd95SBruce Richardson 		(xmm_t){});
16799a2dd95SBruce Richardson 
16899a2dd95SBruce Richardson 	/* blend DFA and QUAD/SINGLE. */
16999a2dd95SBruce Richardson 	t = vec_sel(quad_ofs, dfa_ofs, dfa_msk);
17099a2dd95SBruce Richardson 
17199a2dd95SBruce Richardson 	/* calculate address for next transitions. */
17299a2dd95SBruce Richardson 	addr = vec_add(addr, t);
17399a2dd95SBruce Richardson 
17499a2dd95SBruce Richardson 	v.d64[0] = (uint64_t)trans[addr[0]];
17599a2dd95SBruce Richardson 	v.d64[1] = (uint64_t)trans[addr[1]];
17699a2dd95SBruce Richardson 	*indices1 = (xmm_t){v.d32[0], v.d32[1], v.d32[2], v.d32[3]};
17799a2dd95SBruce Richardson 	v.d64[0] = (uint64_t)trans[addr[2]];
17899a2dd95SBruce Richardson 	v.d64[1] = (uint64_t)trans[addr[3]];
17999a2dd95SBruce Richardson 	*indices2 = (xmm_t){v.d32[0], v.d32[1], v.d32[2], v.d32[3]};
18099a2dd95SBruce Richardson 
18199a2dd95SBruce Richardson 	return vec_sr(next_input,
18264fcadeaSThomas Monjalon 		(__vector unsigned int){CHAR_BIT, CHAR_BIT, CHAR_BIT, CHAR_BIT});
18399a2dd95SBruce Richardson }
18499a2dd95SBruce Richardson 
18599a2dd95SBruce Richardson /*
18699a2dd95SBruce Richardson  * Execute trie traversal with 8 traversals in parallel
18799a2dd95SBruce Richardson  */
18899a2dd95SBruce Richardson static inline int
search_altivec_8(const struct rte_acl_ctx * ctx,const uint8_t ** data,uint32_t * results,uint32_t total_packets,uint32_t categories)18999a2dd95SBruce Richardson search_altivec_8(const struct rte_acl_ctx *ctx, const uint8_t **data,
19099a2dd95SBruce Richardson 	uint32_t *results, uint32_t total_packets, uint32_t categories)
19199a2dd95SBruce Richardson {
19299a2dd95SBruce Richardson 	int n;
19399a2dd95SBruce Richardson 	struct acl_flow_data flows;
19499a2dd95SBruce Richardson 	uint64_t index_array[MAX_SEARCHES_ALTIVEC8];
19599a2dd95SBruce Richardson 	struct completion cmplt[MAX_SEARCHES_ALTIVEC8];
19699a2dd95SBruce Richardson 	struct parms parms[MAX_SEARCHES_ALTIVEC8];
19799a2dd95SBruce Richardson 	xmm_t input0, input1;
19899a2dd95SBruce Richardson 
19999a2dd95SBruce Richardson 	acl_set_flow(&flows, cmplt, RTE_DIM(cmplt), data, results,
20099a2dd95SBruce Richardson 		total_packets, categories, ctx->trans_table);
20199a2dd95SBruce Richardson 
20299a2dd95SBruce Richardson 	for (n = 0; n < MAX_SEARCHES_ALTIVEC8; n++) {
20399a2dd95SBruce Richardson 		cmplt[n].count = 0;
20499a2dd95SBruce Richardson 		index_array[n] = acl_start_next_trie(&flows, parms, n, ctx);
20599a2dd95SBruce Richardson 	}
20699a2dd95SBruce Richardson 
20799a2dd95SBruce Richardson 	 /* Check for any matches. */
20899a2dd95SBruce Richardson 	acl_match_check_x4(0, ctx, parms, &flows, (uint64_t *)&index_array[0]);
20999a2dd95SBruce Richardson 	acl_match_check_x4(4, ctx, parms, &flows, (uint64_t *)&index_array[4]);
21099a2dd95SBruce Richardson 
21199a2dd95SBruce Richardson 	while (flows.started > 0) {
21299a2dd95SBruce Richardson 
21399a2dd95SBruce Richardson 		/* Gather 4 bytes of input data for each stream. */
21499a2dd95SBruce Richardson 		input0 = (xmm_t){GET_NEXT_4BYTES(parms, 0),
21599a2dd95SBruce Richardson 				GET_NEXT_4BYTES(parms, 1),
21699a2dd95SBruce Richardson 				GET_NEXT_4BYTES(parms, 2),
21799a2dd95SBruce Richardson 				GET_NEXT_4BYTES(parms, 3)};
21899a2dd95SBruce Richardson 
21999a2dd95SBruce Richardson 		input1 = (xmm_t){GET_NEXT_4BYTES(parms, 4),
22099a2dd95SBruce Richardson 				GET_NEXT_4BYTES(parms, 5),
22199a2dd95SBruce Richardson 				GET_NEXT_4BYTES(parms, 6),
22299a2dd95SBruce Richardson 				GET_NEXT_4BYTES(parms, 7)};
22399a2dd95SBruce Richardson 
22499a2dd95SBruce Richardson 		 /* Process the 4 bytes of input on each stream. */
22599a2dd95SBruce Richardson 
22699a2dd95SBruce Richardson 		input0 = transition4(input0, flows.trans,
22799a2dd95SBruce Richardson 			(xmm_t *)&index_array[0], (xmm_t *)&index_array[2]);
22899a2dd95SBruce Richardson 		input1 = transition4(input1, flows.trans,
22999a2dd95SBruce Richardson 			(xmm_t *)&index_array[4], (xmm_t *)&index_array[6]);
23099a2dd95SBruce Richardson 
23199a2dd95SBruce Richardson 		input0 = transition4(input0, flows.trans,
23299a2dd95SBruce Richardson 			(xmm_t *)&index_array[0], (xmm_t *)&index_array[2]);
23399a2dd95SBruce Richardson 		input1 = transition4(input1, flows.trans,
23499a2dd95SBruce Richardson 			(xmm_t *)&index_array[4], (xmm_t *)&index_array[6]);
23599a2dd95SBruce Richardson 
23699a2dd95SBruce Richardson 		input0 = transition4(input0, flows.trans,
23799a2dd95SBruce Richardson 			(xmm_t *)&index_array[0], (xmm_t *)&index_array[2]);
23899a2dd95SBruce Richardson 		input1 = transition4(input1, flows.trans,
23999a2dd95SBruce Richardson 			(xmm_t *)&index_array[4], (xmm_t *)&index_array[6]);
24099a2dd95SBruce Richardson 
24199a2dd95SBruce Richardson 		input0 = transition4(input0, flows.trans,
24299a2dd95SBruce Richardson 			(xmm_t *)&index_array[0], (xmm_t *)&index_array[2]);
24399a2dd95SBruce Richardson 		input1 = transition4(input1, flows.trans,
24499a2dd95SBruce Richardson 			(xmm_t *)&index_array[4], (xmm_t *)&index_array[6]);
24599a2dd95SBruce Richardson 
24699a2dd95SBruce Richardson 		 /* Check for any matches. */
24799a2dd95SBruce Richardson 		acl_match_check_x4(0, ctx, parms, &flows,
24899a2dd95SBruce Richardson 			(uint64_t *)&index_array[0]);
24999a2dd95SBruce Richardson 		acl_match_check_x4(4, ctx, parms, &flows,
25099a2dd95SBruce Richardson 			(uint64_t *)&index_array[4]);
25199a2dd95SBruce Richardson 	}
25299a2dd95SBruce Richardson 
25399a2dd95SBruce Richardson 	return 0;
25499a2dd95SBruce Richardson }
25599a2dd95SBruce Richardson 
25699a2dd95SBruce Richardson /*
25799a2dd95SBruce Richardson  * Execute trie traversal with 4 traversals in parallel
25899a2dd95SBruce Richardson  */
25999a2dd95SBruce Richardson static inline int
search_altivec_4(const struct rte_acl_ctx * ctx,const uint8_t ** data,uint32_t * results,int total_packets,uint32_t categories)26099a2dd95SBruce Richardson search_altivec_4(const struct rte_acl_ctx *ctx, const uint8_t **data,
26199a2dd95SBruce Richardson 	 uint32_t *results, int total_packets, uint32_t categories)
26299a2dd95SBruce Richardson {
26399a2dd95SBruce Richardson 	int n;
26499a2dd95SBruce Richardson 	struct acl_flow_data flows;
26599a2dd95SBruce Richardson 	uint64_t index_array[MAX_SEARCHES_ALTIVEC4];
26699a2dd95SBruce Richardson 	struct completion cmplt[MAX_SEARCHES_ALTIVEC4];
26799a2dd95SBruce Richardson 	struct parms parms[MAX_SEARCHES_ALTIVEC4];
26899a2dd95SBruce Richardson 	xmm_t input;
26999a2dd95SBruce Richardson 
27099a2dd95SBruce Richardson 	acl_set_flow(&flows, cmplt, RTE_DIM(cmplt), data, results,
27199a2dd95SBruce Richardson 		total_packets, categories, ctx->trans_table);
27299a2dd95SBruce Richardson 
27399a2dd95SBruce Richardson 	for (n = 0; n < MAX_SEARCHES_ALTIVEC4; n++) {
27499a2dd95SBruce Richardson 		cmplt[n].count = 0;
27599a2dd95SBruce Richardson 		index_array[n] = acl_start_next_trie(&flows, parms, n, ctx);
27699a2dd95SBruce Richardson 	}
27799a2dd95SBruce Richardson 
27899a2dd95SBruce Richardson 	/* Check for any matches. */
27999a2dd95SBruce Richardson 	acl_match_check_x4(0, ctx, parms, &flows, index_array);
28099a2dd95SBruce Richardson 
28199a2dd95SBruce Richardson 	while (flows.started > 0) {
28299a2dd95SBruce Richardson 
28399a2dd95SBruce Richardson 		/* Gather 4 bytes of input data for each stream. */
28499a2dd95SBruce Richardson 		input = (xmm_t){GET_NEXT_4BYTES(parms, 0),
28599a2dd95SBruce Richardson 				GET_NEXT_4BYTES(parms, 1),
28699a2dd95SBruce Richardson 				GET_NEXT_4BYTES(parms, 2),
28799a2dd95SBruce Richardson 				GET_NEXT_4BYTES(parms, 3)};
28899a2dd95SBruce Richardson 
28999a2dd95SBruce Richardson 		/* Process the 4 bytes of input on each stream. */
29099a2dd95SBruce Richardson 		input = transition4(input, flows.trans,
29199a2dd95SBruce Richardson 			(xmm_t *)&index_array[0], (xmm_t *)&index_array[2]);
29299a2dd95SBruce Richardson 		input = transition4(input, flows.trans,
29399a2dd95SBruce Richardson 			(xmm_t *)&index_array[0], (xmm_t *)&index_array[2]);
29499a2dd95SBruce Richardson 		input = transition4(input, flows.trans,
29599a2dd95SBruce Richardson 			(xmm_t *)&index_array[0], (xmm_t *)&index_array[2]);
29699a2dd95SBruce Richardson 		input = transition4(input, flows.trans,
29799a2dd95SBruce Richardson 			(xmm_t *)&index_array[0], (xmm_t *)&index_array[2]);
29899a2dd95SBruce Richardson 
29999a2dd95SBruce Richardson 		/* Check for any matches. */
30099a2dd95SBruce Richardson 		acl_match_check_x4(0, ctx, parms, &flows, index_array);
30199a2dd95SBruce Richardson 	}
30299a2dd95SBruce Richardson 
30399a2dd95SBruce Richardson 	return 0;
30499a2dd95SBruce Richardson }
305