diff options
author | Ronsor <ronsor@ronsor.pw> | 2023-03-14 12:34:37 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-03-14 21:34:37 +0200 |
commit | 47857e564c218a2c38346d0cdd94314632878fcb (patch) | |
tree | c8b19e714c0e737e267f82b127d4fb7f33459205 /Makefile | |
parent | 60f819a2b10475055a36415bc489e5b55df2d052 (diff) |
Don't use vdotq_s32 if it's not available (#139)
* Don't use vdotq_s32 if it's not available
`dotprod` extensions aren't available on some ARM CPUs (e.g. Raspberry Pi 4), so check for them and only use them if they're available.
Reintroduces the code removed in 84d9015 if `__ARM_FEATURE_DOTPROD` isn't defined.
* Update ggml.c
---------
Co-authored-by: Georgi Gerganov <ggerganov@gmail.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions