mirror of
https://github.com/VectorCamp/vectorscan.git
synced 2025-11-15 17:02:14 +03:00
Use SVE for single shufti.
Change-Id: Ic76940c5bb9b81a1c45d39e9ca396a158c50a7dc
This commit is contained in:
committed by
Konstantinos Margaritis
parent
d1e763c13b
commit
87ee8d4d7f
151
src/nfa/shufti_sve.hpp
Normal file
151
src/nfa/shufti_sve.hpp
Normal file
@@ -0,0 +1,151 @@
|
||||
/*
|
||||
* Copyright (c) 2015-2017, Intel Corporation
|
||||
* Copyright (c) 2021, Arm Limited
|
||||
*
|
||||
* Redistribution and use in source and binary forms, with or without
|
||||
* modification, are permitted provided that the following conditions are met:
|
||||
*
|
||||
* * Redistributions of source code must retain the above copyright notice,
|
||||
* this list of conditions and the following disclaimer.
|
||||
* * Redistributions in binary form must reproduce the above copyright
|
||||
* notice, this list of conditions and the following disclaimer in the
|
||||
* documentation and/or other materials provided with the distribution.
|
||||
* * Neither the name of Intel Corporation nor the names of its contributors
|
||||
* may be used to endorse or promote products derived from this software
|
||||
* without specific prior written permission.
|
||||
*
|
||||
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
|
||||
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
||||
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
||||
* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
|
||||
* LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
|
||||
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
|
||||
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
|
||||
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
|
||||
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
|
||||
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
||||
* POSSIBILITY OF SUCH DAMAGE.
|
||||
*/
|
||||
|
||||
/** \file
|
||||
* \brief Shufti: character class acceleration.
|
||||
*
|
||||
* Utilises the SVE tbl shuffle instruction
|
||||
*/
|
||||
|
||||
static really_inline
|
||||
svbool_t singleMatched(svuint8_t mask_lo, svuint8_t mask_hi,
|
||||
const u8 *buf, svbool_t pg) {
|
||||
svuint8_t vec = svld1_u8(pg, buf);
|
||||
svuint8_t c_lo = svtbl(mask_lo, svand_z(svptrue_b8(), vec, (uint8_t)0xf));
|
||||
svuint8_t c_hi = svtbl(mask_hi, svlsr_z(svptrue_b8(), vec, 4));
|
||||
svuint8_t t = svand_z(svptrue_b8(), c_lo, c_hi);
|
||||
return svcmpne(pg, t, (uint8_t)0);
|
||||
}
|
||||
|
||||
static really_inline
|
||||
const u8 *shuftiOnce(svuint8_t mask_lo, svuint8_t mask_hi,
|
||||
const u8 *buf, const u8 *buf_end) {
|
||||
DEBUG_PRINTF("start %p end %p\n", buf, buf_end);
|
||||
assert(buf <= buf_end);
|
||||
svbool_t pg = svwhilelt_b8_s64(0, buf_end - buf);
|
||||
svbool_t matched = singleMatched(mask_lo, mask_hi, buf, pg);
|
||||
return accelSearchCheckMatched(buf, matched);
|
||||
}
|
||||
|
||||
static really_inline
|
||||
const u8 *shuftiLoopBody(svuint8_t mask_lo, svuint8_t mask_hi, const u8 *buf) {
|
||||
DEBUG_PRINTF("start %p end %p\n", buf, buf + svcntb());
|
||||
svbool_t matched = singleMatched(mask_lo, mask_hi, buf, svptrue_b8());
|
||||
return accelSearchCheckMatched(buf, matched);
|
||||
}
|
||||
|
||||
static really_inline
|
||||
const u8 *rshuftiOnce(svuint8_t mask_lo, svuint8_t mask_hi,
|
||||
const u8 *buf, const u8 *buf_end) {
|
||||
DEBUG_PRINTF("start %p end %p\n", buf, buf_end);
|
||||
assert(buf <= buf_end);
|
||||
DEBUG_PRINTF("l = %td\n", buf_end - buf);
|
||||
svbool_t pg = svwhilelt_b8_s64(0, buf_end - buf);
|
||||
svbool_t matched = singleMatched(mask_lo, mask_hi, buf, pg);
|
||||
return accelRevSearchCheckMatched(buf, matched);
|
||||
}
|
||||
|
||||
static really_inline
|
||||
const u8 *rshuftiLoopBody(svuint8_t mask_lo, svuint8_t mask_hi,
|
||||
const u8 *buf) {
|
||||
svbool_t matched = singleMatched(mask_lo, mask_hi, buf, svptrue_b8());
|
||||
return accelRevSearchCheckMatched(buf, matched);
|
||||
}
|
||||
|
||||
static really_inline
|
||||
const u8 *shuftiSearch(svuint8_t mask_lo, svuint8_t mask_hi,
|
||||
const u8 *buf, const u8 *buf_end) {
|
||||
assert(buf < buf_end);
|
||||
size_t len = buf_end - buf;
|
||||
if (len <= svcntb()) {
|
||||
return shuftiOnce(mask_lo, mask_hi, buf, buf_end);
|
||||
}
|
||||
// peel off first part to align to the vector size
|
||||
const u8 *aligned_buf = ROUNDUP_PTR(buf, svcntb_pat(SV_POW2));
|
||||
assert(aligned_buf < buf_end);
|
||||
if (buf != aligned_buf) {
|
||||
const u8 *ptr = shuftiLoopBody(mask_lo, mask_hi, buf);
|
||||
if (ptr) return ptr;
|
||||
}
|
||||
buf = aligned_buf;
|
||||
size_t loops = (buf_end - buf) / svcntb();
|
||||
DEBUG_PRINTF("loops %zu \n", loops);
|
||||
for (size_t i = 0; i < loops; i++, buf += svcntb()) {
|
||||
const u8 *ptr = shuftiLoopBody(mask_lo, mask_hi, buf);
|
||||
if (ptr) return ptr;
|
||||
}
|
||||
DEBUG_PRINTF("buf %p buf_end %p \n", buf, buf_end);
|
||||
return buf == buf_end ? NULL : shuftiLoopBody(mask_lo, mask_hi,
|
||||
buf_end - svcntb());
|
||||
}
|
||||
|
||||
static really_inline
|
||||
const u8 *rshuftiSearch(svuint8_t mask_lo, svuint8_t mask_hi,
|
||||
const u8 *buf, const u8 *buf_end) {
|
||||
assert(buf < buf_end);
|
||||
size_t len = buf_end - buf;
|
||||
if (len <= svcntb()) {
|
||||
return rshuftiOnce(mask_lo, mask_hi, buf, buf_end);
|
||||
}
|
||||
// peel off first part to align to the vector size
|
||||
const u8 *aligned_buf_end = ROUNDDOWN_PTR(buf_end, svcntb_pat(SV_POW2));
|
||||
assert(buf < aligned_buf_end);
|
||||
if (buf_end != aligned_buf_end) {
|
||||
const u8 *ptr = rshuftiLoopBody(mask_lo, mask_hi, buf_end - svcntb());
|
||||
if (ptr) return ptr;
|
||||
}
|
||||
buf_end = aligned_buf_end;
|
||||
size_t loops = (buf_end - buf) / svcntb();
|
||||
DEBUG_PRINTF("loops %zu \n", loops);
|
||||
for (size_t i = 0; i < loops; i++) {
|
||||
buf_end -= svcntb();
|
||||
const u8 *ptr = rshuftiLoopBody(mask_lo, mask_hi, buf_end);
|
||||
if (ptr) return ptr;
|
||||
}
|
||||
DEBUG_PRINTF("buf %p buf_end %p \n", buf, buf_end);
|
||||
return buf == buf_end ? NULL : rshuftiLoopBody(mask_lo, mask_hi, buf);
|
||||
}
|
||||
|
||||
const u8 *shuftiExec(m128 mask_lo, m128 mask_hi, const u8 *buf,
|
||||
const u8 *buf_end) {
|
||||
DEBUG_PRINTF("shufti scan over %td bytes\n", buf_end - buf);
|
||||
svuint8_t sve_mask_lo = getSVEMaskFrom128(mask_lo);
|
||||
svuint8_t sve_mask_hi = getSVEMaskFrom128(mask_hi);
|
||||
const u8 *ptr = shuftiSearch(sve_mask_lo, sve_mask_hi, buf, buf_end);
|
||||
return ptr ? ptr : buf_end;
|
||||
}
|
||||
|
||||
const u8 *rshuftiExec(m128 mask_lo, m128 mask_hi, const u8 *buf,
|
||||
const u8 *buf_end) {
|
||||
DEBUG_PRINTF("rshufti scan over %td bytes\n", buf_end - buf);
|
||||
svuint8_t sve_mask_lo = getSVEMaskFrom128(mask_lo);
|
||||
svuint8_t sve_mask_hi = getSVEMaskFrom128(mask_hi);
|
||||
const u8 *ptr = rshuftiSearch(sve_mask_lo, sve_mask_hi, buf, buf_end);
|
||||
return ptr ? ptr : buf - 1;
|
||||
}
|
||||
Reference in New Issue
Block a user