-
Notifications
You must be signed in to change notification settings - Fork 216
Optional SIMD str(c)spn #597
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
base: main
Are you sure you want to change the base?
Changes from 1 commit
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,175 @@ | ||
#if defined(__wasm_simd128__) && defined(__wasilibc_simd_string) | ||
// Skip Clang 19 and Clang 20 which have a bug (llvm/llvm-project#146574) | ||
// which results in an ICE when inline assembly is used with a vector result. | ||
#if __clang_major__ != 19 && __clang_major__ != 20 | ||
|
||
#include <stdint.h> | ||
#include <string.h> | ||
#include <wasm_simd128.h> | ||
|
||
#if !defined(__wasm_relaxed_simd__) || !defined(__RELAXED_FN_ATTRS) | ||
#define wasm_i8x16_relaxed_swizzle wasm_i8x16_swizzle | ||
#endif | ||
|
||
// SIMDized check which bytes are in a set (Geoff Langdale) | ||
// http://0x80.pl/notesen/2018-10-18-simd-byte-lookup.html | ||
|
||
typedef struct { | ||
__u8x16 lo; | ||
__u8x16 hi; | ||
} __wasm_v128_bitmap256_t; | ||
|
||
__attribute__((always_inline)) | ||
static void __wasm_v128_setbit(__wasm_v128_bitmap256_t *bitmap, int i) { | ||
uint8_t hi_nibble = (uint8_t)i >> 4; | ||
uint8_t lo_nibble = (uint8_t)i & 0xf; | ||
bitmap->lo[lo_nibble] |= (uint8_t)((uint32_t)1 << (hi_nibble - 0)); | ||
bitmap->hi[lo_nibble] |= (uint8_t)((uint32_t)1 << (hi_nibble - 8)); | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. I'm interested in understanding the codegen of this: so the There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. LLVM cheats and uses the stack, |
||
} | ||
|
||
__attribute__((always_inline)) | ||
static v128_t __wasm_v128_chkbits(__wasm_v128_bitmap256_t bitmap, v128_t v) { | ||
v128_t hi_nibbles = wasm_u8x16_shr(v, 4); | ||
v128_t bitmask_lookup = wasm_u8x16_const(1, 2, 4, 8, 16, 32, 64, 128, // | ||
1, 2, 4, 8, 16, 32, 64, 128); | ||
ncruces marked this conversation as resolved.
Show resolved
Hide resolved
|
||
v128_t bitmask = wasm_i8x16_relaxed_swizzle(bitmask_lookup, hi_nibbles); | ||
|
||
v128_t indices_0_7 = v & wasm_u8x16_const_splat(0x8f); | ||
v128_t indices_8_15 = indices_0_7 ^ wasm_u8x16_const_splat(0x80); | ||
|
||
v128_t row_0_7 = wasm_i8x16_swizzle(bitmap.lo, indices_0_7); | ||
v128_t row_8_15 = wasm_i8x16_swizzle(bitmap.hi, indices_8_15); | ||
|
||
v128_t bitsets = row_0_7 | row_8_15; | ||
return wasm_i8x16_eq(bitsets & bitmask, bitmask); | ||
} | ||
|
||
size_t strspn(const char *s, const char *c) | ||
{ | ||
// Note that reading before/after the allocation of a pointer is UB in | ||
// C, so inline assembly is used to generate the exact machine | ||
// instruction we want with opaque semantics to the compiler to avoid | ||
// the UB. | ||
uintptr_t align = (uintptr_t)s % sizeof(v128_t); | ||
uintptr_t addr = (uintptr_t)s - align; | ||
|
||
if (!c[0]) return 0; | ||
if (!c[1]) { | ||
v128_t vc = wasm_i8x16_splat(*c); | ||
for (;;) { | ||
v128_t v; | ||
__asm__( | ||
"local.get %1\n" | ||
"v128.load 0\n" | ||
"local.set %0\n" | ||
: "=r"(v) | ||
: "r"(addr) | ||
: "memory"); | ||
v128_t cmp = wasm_i8x16_eq(v, vc); | ||
// Bitmask is slow on AArch64, all_true is much faster. | ||
if (!wasm_i8x16_all_true(cmp)) { | ||
// Clear the bits corresponding to align (little-endian) | ||
// so we can count trailing zeros. | ||
int mask = (uint16_t)~wasm_i8x16_bitmask(cmp) >> align << align; | ||
// At least one bit will be set, unless align cleared them. | ||
// Knowing this helps the compiler if it unrolls the loop. | ||
__builtin_assume(mask || align); | ||
// If the mask became zero because of align, | ||
// it's as if we didn't find anything. | ||
if (mask) { | ||
// Find the offset of the first one bit (little-endian). | ||
return addr - (uintptr_t)s + __builtin_ctz(mask); | ||
} | ||
} | ||
align = 0; | ||
addr += sizeof(v128_t); | ||
} | ||
} | ||
|
||
__wasm_v128_bitmap256_t bitmap = {}; | ||
|
||
for (; *c; c++) { | ||
// Terminator IS NOT on the bitmap. | ||
__wasm_v128_setbit(&bitmap, *c); | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Just a note for future reference: I was initially a bit concerned here that we will incur startup costs too heavy for the "check a small string" use case (?). But of course it's better to loop over There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. The scalar version does the same: it iterates over They use some "inscrutable" (but well known) macros to build a more straightforward bitmap in stack memory. |
||
} | ||
|
||
for (;;) { | ||
v128_t v; | ||
__asm__( | ||
"local.get %1\n" | ||
"v128.load 0\n" | ||
"local.set %0\n" | ||
: "=r"(v) | ||
: "r"(addr) | ||
: "memory"); | ||
v128_t cmp = __wasm_v128_chkbits(bitmap, v); | ||
// Bitmask is slow on AArch64, all_true is much faster. | ||
if (!wasm_i8x16_all_true(cmp)) { | ||
// Clear the bits corresponding to align (little-endian) | ||
// so we can count trailing zeros. | ||
int mask = (uint16_t)~wasm_i8x16_bitmask(cmp) >> align << align; | ||
// At least one bit will be set, unless align cleared them. | ||
// Knowing this helps the compiler if it unrolls the loop. | ||
__builtin_assume(mask || align); | ||
// If the mask became zero because of align, | ||
// it's as if we didn't find anything. | ||
if (mask) { | ||
// Find the offset of the first one bit (little-endian). | ||
return addr - (uintptr_t)s + __builtin_ctz(mask); | ||
} | ||
} | ||
ncruces marked this conversation as resolved.
Show resolved
Hide resolved
|
||
align = 0; | ||
addr += sizeof(v128_t); | ||
} | ||
} | ||
|
||
size_t strcspn(const char *s, const char *c) | ||
{ | ||
if (!c[0] || !c[1]) return __strchrnul(s, *c) - s; | ||
|
||
// Note that reading before/after the allocation of a pointer is UB in | ||
// C, so inline assembly is used to generate the exact machine | ||
// instruction we want with opaque semantics to the compiler to avoid | ||
// the UB. | ||
uintptr_t align = (uintptr_t)s % sizeof(v128_t); | ||
uintptr_t addr = (uintptr_t)s - align; | ||
|
||
__wasm_v128_bitmap256_t bitmap = {}; | ||
|
||
do { | ||
// Terminator IS on the bitmap. | ||
__wasm_v128_setbit(&bitmap, *c); | ||
} while (*c++); | ||
|
||
for (;;) { | ||
v128_t v; | ||
__asm__( | ||
"local.get %1\n" | ||
"v128.load 0\n" | ||
"local.set %0\n" | ||
: "=r"(v) | ||
: "r"(addr) | ||
: "memory"); | ||
v128_t cmp = __wasm_v128_chkbits(bitmap, v); | ||
// Bitmask is slow on AArch64, any_true is much faster. | ||
if (wasm_v128_any_true(cmp)) { | ||
// Clear the bits corresponding to align (little-endian) | ||
// so we can count trailing zeros. | ||
int mask = wasm_i8x16_bitmask(cmp) >> align << align; | ||
// At least one bit will be set, unless align cleared them. | ||
// Knowing this helps the compiler if it unrolls the loop. | ||
__builtin_assume(mask || align); | ||
// If the mask became zero because of align, | ||
// it's as if we didn't find anything. | ||
if (mask) { | ||
// Find the offset of the first one bit (little-endian). | ||
return addr - (uintptr_t)s + __builtin_ctz(mask); | ||
} | ||
} | ||
align = 0; | ||
addr += sizeof(v128_t); | ||
} | ||
} | ||
|
||
#endif | ||
#endif |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,62 @@ | ||
//! add-flags.py(LDFLAGS): -Wl,--stack-first -Wl,--initial-memory=327680 | ||
|
||
#include <__macro_PAGESIZE.h> | ||
#include <stddef.h> | ||
#include <stdio.h> | ||
#include <string.h> | ||
|
||
void test(char *ptr, char *set, size_t want) { | ||
size_t got = strcspn(ptr, set); | ||
if (got != want) { | ||
printf("strcspn(%p, \"%s\") = %lu, want %lu\n", ptr, set, got, want); | ||
} | ||
} | ||
|
||
int main(void) { | ||
char *const LIMIT = (char *)(__builtin_wasm_memory_size(0) * PAGESIZE); | ||
|
||
for (ptrdiff_t length = 0; length < 64; length++) { | ||
for (ptrdiff_t alignment = 0; alignment < 24; alignment++) { | ||
for (ptrdiff_t pos = -2; pos < length + 2; pos++) { | ||
// Create a buffer with the given length, at a pointer with the given | ||
// alignment. Using the offset LIMIT - PAGESIZE - 8 means many buffers | ||
// will straddle a (Wasm, and likely OS) page boundary. Place the | ||
// character to find at every position in the buffer, including just | ||
// prior to it and after its end. | ||
char *ptr = LIMIT - PAGESIZE - 8 + alignment; | ||
memset(LIMIT - 2 * PAGESIZE, 0, 2 * PAGESIZE); | ||
memset(ptr, 5, length); | ||
|
||
// The first instance of the character is found. | ||
if (pos >= 0) ptr[pos + 2] = 7; | ||
ptr[pos] = 7; | ||
ptr[length] = 0; | ||
|
||
// The character is found if it's within range. | ||
ptrdiff_t want = 0 <= pos && pos < length ? pos : length; | ||
test(ptr, "\x07", want); | ||
test(ptr, "\x07\x03", want); | ||
test(ptr, "\x07\x85", want); | ||
test(ptr, "\x87\x85", length); | ||
} | ||
} | ||
|
||
// We need space for the terminator. | ||
if (length == 0) continue; | ||
|
||
// Ensure we never read past the end of memory. | ||
char *ptr = LIMIT - length; | ||
memset(LIMIT - 2 * PAGESIZE, 0, 2 * PAGESIZE); | ||
memset(ptr, 5, length); | ||
|
||
ptr[length - 1] = 7; | ||
test(ptr, "\x07", length - 1); | ||
test(ptr, "\x07\x03", length - 1); | ||
|
||
ptr[length - 1] = 0; | ||
test(ptr, "\x07", length - 1); | ||
test(ptr, "\x07\x03", length - 1); | ||
} | ||
|
||
return 0; | ||
} |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,62 @@ | ||
//! add-flags.py(LDFLAGS): -Wl,--stack-first -Wl,--initial-memory=327680 | ||
|
||
#include <__macro_PAGESIZE.h> | ||
#include <stddef.h> | ||
#include <stdio.h> | ||
#include <string.h> | ||
|
||
void test(char *ptr, char *set, size_t want) { | ||
size_t got = strspn(ptr, set); | ||
if (got != want) { | ||
printf("strspn(%p, \"%s\") = %lu, want %lu\n", ptr, set, got, want); | ||
} | ||
} | ||
|
||
int main(void) { | ||
char *const LIMIT = (char *)(__builtin_wasm_memory_size(0) * PAGESIZE); | ||
|
||
for (ptrdiff_t length = 0; length < 64; length++) { | ||
for (ptrdiff_t alignment = 0; alignment < 24; alignment++) { | ||
for (ptrdiff_t pos = -2; pos < length + 2; pos++) { | ||
// Create a buffer with the given length, at a pointer with the given | ||
// alignment. Using the offset LIMIT - PAGESIZE - 8 means many buffers | ||
// will straddle a (Wasm, and likely OS) page boundary. Place the | ||
// character to find at every position in the buffer, including just | ||
// prior to it and after its end. | ||
char *ptr = LIMIT - PAGESIZE - 8 + alignment; | ||
memset(LIMIT - 2 * PAGESIZE, 0, 2 * PAGESIZE); | ||
memset(ptr, 5, length); | ||
|
||
// The first instance of the character is found. | ||
if (pos >= 0) ptr[pos + 2] = 7; | ||
ptr[pos] = 7; | ||
ptr[length] = 0; | ||
|
||
// The character is found if it's within range. | ||
ptrdiff_t want = 0 <= pos && pos < length ? pos : length; | ||
test(ptr, "\x05", want); | ||
test(ptr, "\x05\x03", want); | ||
test(ptr, "\x05\x87", want); | ||
test(ptr, "\x05\x07", length); | ||
} | ||
} | ||
|
||
// We need space for the terminator. | ||
if (length == 0) continue; | ||
|
||
// Ensure we never read past the end of memory. | ||
char *ptr = LIMIT - length; | ||
memset(LIMIT - 2 * PAGESIZE, 0, 2 * PAGESIZE); | ||
memset(ptr, 5, length); | ||
|
||
ptr[length - 1] = 7; | ||
test(ptr, "\x05", length - 1); | ||
test(ptr, "\x05\x03", length - 1); | ||
|
||
ptr[length - 1] = 0; | ||
test(ptr, "\x05", length - 1); | ||
test(ptr, "\x05\x03", length - 1); | ||
} | ||
|
||
return 0; | ||
} |
Uh oh!
There was an error while loading. Please reload this page.