char-fork/llama.cpp

git clone https://git.t4t.associates/char-fork/llama.cpp

cwriterAdd IQ type handling for MoE (#28476)304665fe7

char/aliceai-t5-moe
63.0 KiB1747 linesraw
1//
2// MIT license
3// Copyright (C) 2025 Intel Corporation
4// SPDX-License-Identifier: MIT
5//
6
7//
8// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
9// See https://llvm.org/LICENSE.txt for license information.
10// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
11//
12
13#ifndef GGML_SYCL_VECDOTQ_HPP
14#define GGML_SYCL_VECDOTQ_HPP
15
16#include "dpct/helper.hpp"
17#include "ggml.h"
18#include "type.hpp"
19#include "quants.hpp"
20
21typedef float (*vec_dot_q_sycl_t)(const void * __restrict__ vbq, const block_q8_1 * __restrict__ bq8_1,
22                                  const int & iqs);
23
24static __dpct_inline__ int get_int_b1(const void * x, const int & i32) {
25    const uint8_t * x8 = (const uint8_t *) x;
26
27    int x32  = x8[4*i32 + 0] <<  0;
28    x32     |= x8[4*i32 + 1] <<  8;
29    x32     |= x8[4*i32 + 2] << 16;
30    x32     |= x8[4*i32 + 3] << 24;
31
32    return x32;
33}
34
35static __dpct_inline__ int get_int_b2(const void * x, const int & i32) {
36    const uint16_t * x16 = (const uint16_t *) x; // assume at least 2 byte alignment
37
38    int x32  = x16[2*i32 + 0] <<  0;
39    x32     |= x16[2*i32 + 1] << 16;
40
41    return x32;
42}
43
44static __dpct_inline__ int get_int_b4(const void * x, const int & i32) {
45    return ((const int *) x)[i32]; // assume at least 4 byte alignment
46}
47
48static __dpct_inline__ int get_int_from_int8(const int8_t* x8, const int& i32) {
49  const uint16_t* x16 =
50      (const uint16_t*)(x8 + sizeof(int) * i32); // assume at least 2 byte
51                                                 // alignment
52
53  int x32 = 0;
54  x32 |= x16[0] << 0;
55  x32 |= x16[1] << 16;
56
57  return x32;
58}
59
60static __dpct_inline__ int get_int_from_uint8(
61    const uint8_t* x8,
62    const int& i32) {
63  const uint16_t* x16 =
64      (const uint16_t*)(x8 + sizeof(int) * i32); // assume at least 2 byte
65                                                 // alignment
66
67  int x32 = 0;
68  x32 |= x16[0] << 0;
69  x32 |= x16[1] << 16;
70
71  return x32;
72}
73
74static __dpct_inline__ int get_int_from_int8_aligned(
75    const int8_t* x8,
76    const int& i32) {
77  return *(
78      (const int*)(x8 + sizeof(int) * i32)); // assume at least 4 byte alignment
79}
80
81static __dpct_inline__ int get_int_from_uint8_aligned(
82    const uint8_t* x8,
83    const int& i32) {
84  return *(
85      (const int*)(x8 + sizeof(int) * i32)); // assume at least 4 byte alignment
86}
87
88static __dpct_inline__ int byte_sub_4(const int a, const int b) {
89  const uint32_t ua = static_cast<uint32_t>(a);
90  const uint32_t ub = static_cast<uint32_t>(b);
91  return static_cast<int>(((ua | 0x80808080u) - ub) ^ 0x80808080u);
92}
93
94static __dpct_inline__ float vec_dot_q6_K_q8_1_impl_mmvq_scalar(
95    const int vl, const int vh, const int u0, const int u1, const int8_t sc0,
96    const int8_t sc1, const float d, const float d80, const float d81) {
97    static_assert(QR6_K == 2, "q6_K MMVQ scalar fast path assumes QR6_K == 2");
98
99    const int vil0 = (vl >> 0) & 0x0F0F0F0F;
100    const int vih0 = ((vh >> 0) << 4) & 0x30303030;
101    const int vi0 = byte_sub_4(vil0 | vih0, 0x20202020);
102
103    const int vil1 = (vl >> 4) & 0x0F0F0F0F;
104    const int vih1 = ((vh >> 4) << 4) & 0x30303030;
105    const int vi1 = byte_sub_4(vil1 | vih1, 0x20202020);
106
107    const float sumf =
108        d80 * (dpct::dp4a(vi0, u0, 0) * sc0) +
109        d81 * (dpct::dp4a(vi1, u1, 0) * sc1);
110
111    return d * sumf;
112}
113
114static __dpct_inline__ void get_int_from_table_16(const uint32_t &q4,
115                                                  const uint8_t *values,
116                                                  int &val1, int &val2) {
117
118    uint32_t aux32; const uint8_t * q8 = (const uint8_t *)&aux32;
119    aux32 = q4 & 0x0f0f0f0f;
120    uint16_t v1 = values[q8[0]] | (values[q8[1]] << 8);
121    uint16_t v2 = values[q8[2]] | (values[q8[3]] << 8);
122    val1 = v1 | (v2 << 16);
123    aux32 = (q4 >> 4) & 0x0f0f0f0f;
124    v1 = values[q8[0]] | (values[q8[1]] << 8);
125    v2 = values[q8[2]] | (values[q8[3]] << 8);
126    val2 = v1 | (v2 << 16);
127}
128
129static __dpct_inline__ sycl::int2 get_int_from_table_16(
130    const int& q4, const int8_t* table) {
131  const uint32_t* table32 = (const uint32_t*)table;
132  uint32_t tmp[2];
133  const uint32_t low_high_selection_indices =
134      (0x32103210 | ((q4 & 0x88888888) >> 1));
135#pragma unroll
136  for (uint32_t i = 0; i < 2; ++i) {
137    const uint32_t shift = 16 * i;
138
139    const uint32_t low =
140        dpct::byte_level_permute(table32[0], table32[1], q4 >> shift);
141    const uint32_t high =
142        dpct::byte_level_permute(table32[2], table32[3], q4 >> shift);
143    tmp[i] = dpct::byte_level_permute(
144        low, high, low_high_selection_indices >> shift);
145  }
146  return sycl::int2(
147      dpct::byte_level_permute(tmp[0], tmp[1], 0x6420),
148      dpct::byte_level_permute(tmp[0], tmp[1], 0x7531));
149}
150
151#define VDR_Q2_K_Q8_1_MMVQ 1
152
153// contiguous v/x values
154static __dpct_inline__ float vec_dot_q2_K_q8_1_impl_mmvq(
155    const int &v, const int *__restrict__ u, const uint8_t *__restrict__ scales,
156    const sycl::half2 &dm2, const float *__restrict__ d8) {
157
158    float sumf_d = 0.0f;
159    float sumf_m = 0.0f;
160
161#pragma unroll
162    for (int i = 0; i < QR2_K; ++i) {
163        const int sc = scales[2*i];
164
165        const int vi = (v >> (2*i)) & 0x03030303;
166
167        sumf_d +=
168            d8[i] * (dpct::dp4a(vi, u[i], 0) * (sc & 0xF)); // SIMD dot product
169
170        // fill int with 4x m
171        int m = sc >> 4;
172        m |= m <<  8;
173        m |= m << 16;
174        sumf_m += d8[i] *
175                  dpct::dp4a(
176                      m, u[i],
177                      0); // multiply constant q2_K part with sum of q8_1 values
178    }
179
180    const sycl::float2 dm2f =
181        dm2.convert<float, sycl::rounding_mode::automatic>();
182
183    return dm2f.x() * sumf_d - dm2f.y() * sumf_m;
184}
185
186
187#define VDR_Q3_K_Q8_1_MMVQ 1
188
189// contiguous v/x values
190static __dpct_inline__ float vec_dot_q3_K_q8_1_impl_mmvq(
191    const int &vl, const int &vh, const int *__restrict__ u,
192    const uint8_t *__restrict__ scales, const int &scale_offset,
193    const float &d3, const float *__restrict__ d8) {
194
195    float sumf = 0.0f;
196
197#pragma unroll
198    for (int i = 0; i < QR3_K; ++i) {
199        const int isc = scale_offset + 2*i;
200
201        const int isc_low = isc % (QK_K/32);
202        const int sc_shift_low = 4 * (isc / (QK_K/32));
203        const int sc_low  = (scales[isc_low] >> sc_shift_low) & 0xF;
204
205        const int isc_high = isc % (QK_K/64);
206        const int sc_shift_high = 2 * (isc / (QK_K/64));
207        const int sc_high = ((scales[(QK_K/32) + isc_high] >> sc_shift_high) & 3) << 4;
208
209        const int sc = (sc_low | sc_high) - 32;
210
211        const int vil = (vl >> (2*i)) & 0x03030303;
212
213        const int vih = ((vh >> i) << 2) & 0x04040404;
214
215        const int vi =
216            dpct::vectorized_binary<sycl::char4>(vil, vih, dpct::sub_sat());
217
218        sumf += d8[i] * (dpct::dp4a(vi, u[i], 0) * sc); // SIMD dot product
219    }
220
221    return d3 * sumf;
222}
223
224#define VDR_Q4_K_Q8_1_MMVQ 2
225
226// contiguous v/x values
227static __dpct_inline__ float vec_dot_q4_K_q8_1_impl_vmmq(
228    const int *__restrict__ v, const int *__restrict__ u,
229    const uint8_t *__restrict__ sc, const uint8_t *__restrict__ m,
230    const sycl::half2 &dm4, const float *__restrict__ d8) {
231
232    float sumf_d = 0.0f;
233    float sumf_m = 0.0f;
234
235#pragma unroll
236    for (int i = 0; i < QR4_K; ++i) {
237        const int v0i = (v[0] >> (4*i)) & 0x0F0F0F0F;
238        const int v1i = (v[1] >> (4*i)) & 0x0F0F0F0F;
239
240        const int dot1 =
241            dpct::dp4a(v1i, u[2 * i + 1],
242                       dpct::dp4a(v0i, u[2 * i + 0], 0)); // SIMD dot product
243        const int dot2 =
244            dpct::dp4a(0x01010101, u[2 * i + 1],
245                       dpct::dp4a(0x01010101, u[2 * i + 0], 0)); // sum of u
246
247        sumf_d += d8[i] * (dot1 * sc[i]);
248        sumf_m += d8[i] * (dot2 * m[i]);  // multiply constant part of q4_K with sum of q8_1 values
249    }
250
251    const sycl::float2 dm4f =
252        dm4.convert<float, sycl::rounding_mode::automatic>();
253
254    return dm4f.x() * sumf_d - dm4f.y() * sumf_m;
255}
256
257
258#define VDR_Q5_K_Q8_1_MMVQ 2
259
260// contiguous v/x values
261static __dpct_inline__ float vec_dot_q5_K_q8_1_impl_vmmq(
262    const int *__restrict__ vl, const int *__restrict__ vh,
263    const int *__restrict__ u, const uint8_t *__restrict__ sc,
264    const uint8_t *__restrict__ m, const sycl::half2 &dm5,
265    const float *__restrict__ d8) {
266
267    float sumf_d = 0.0f;
268    float sumf_m = 0.0f;
269
270#pragma unroll
271    for (int i = 0; i < QR5_K; ++i) {
272        const int vl0i = (vl[0] >> (4*i)) & 0x0F0F0F0F;
273        const int vl1i = (vl[1] >> (4*i)) & 0x0F0F0F0F;
274
275        const int vh0i = ((vh[0] >> i) << 4) & 0x10101010;
276        const int vh1i = ((vh[1] >> i) << 4) & 0x10101010;
277
278        const int v0i = vl0i | vh0i;
279        const int v1i = vl1i | vh1i;
280
281        const int dot1 =
282            dpct::dp4a(v0i, u[2 * i + 0],
283                       dpct::dp4a(v1i, u[2 * i + 1], 0)); // SIMD dot product
284        const int dot2 =
285            dpct::dp4a(0x01010101, u[2 * i + 0],
286                       dpct::dp4a(0x01010101, u[2 * i + 1], 0)); // sum of u
287
288        sumf_d += d8[i] * (dot1 * sc[i]);
289        sumf_m += d8[i] * (dot2 * m[i]);
290
291    }
292
293    const sycl::float2 dm5f =
294        dm5.convert<float, sycl::rounding_mode::automatic>();
295
296    return dm5f.x() * sumf_d - dm5f.y() * sumf_m;
297}
298
299
300#define VDR_Q6_K_Q8_1_MMVQ 1
301
302// contiguous v/x values
303static __dpct_inline__ float
304vec_dot_q6_K_q8_1_impl_mmvq(const int &vl, const int &vh,
305                            const int *__restrict__ u,
306                            const int8_t *__restrict__ scales, const float &d,
307                            const float *__restrict__ d8) {
308    return vec_dot_q6_K_q8_1_impl_mmvq_scalar(
309        vl, vh, u[0], u[1], scales[0], scales[4], d, d8[0], d8[1]);
310}
311
312#define VDR_Q1_0_Q8_1_MMVQ 1
313#define VDR_Q1_0_Q8_1_MMQ  4
314
315static __dpct_inline__ float
316vec_dot_q1_0_q8_1(const void *__restrict__ vbq,
317                  const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
318
319    const block_q1_0 * bq1_0 = (const block_q1_0 *) vbq;
320
321    const block_q8_1 * bq8_1_chunk = bq8_1 + iqs;
322    const float        d1          = bq1_0->d;
323    const int          v           = get_int_from_uint8_aligned(bq1_0->qs, iqs);
324
325    int vi_bytes[8];
326#pragma unroll
327    for (int j = 0; j < 8; ++j) {
328        const int shift = j * 4;
329        const int bits4 = (v >> shift) & 0x0F;
330        const int b0    = (bits4 & 0x01) ? 1 : -1;
331        const int b1    = (bits4 & 0x02) ? 1 : -1;
332        const int b2    = (bits4 & 0x04) ? 1 : -1;
333        const int b3    = (bits4 & 0x08) ? 1 : -1;
334        vi_bytes[j]     = (b0 & 0xFF) | ((b1 & 0xFF) << 8) | ((b2 & 0xFF) << 16) | ((b3 & 0xFF) << 24);
335    }
336
337    int sumi = 0;
338#pragma unroll
339    for (int j = 0; j < 8; ++j) {
340        const int u = get_int_from_int8_aligned(bq8_1_chunk->qs, j);
341        sumi        = ggml_sycl_dp4a(vi_bytes[j], u, sumi);
342    }
343
344    return d1 * bq8_1_chunk->ds[0] * sumi;
345}
346
347// VDR = vec dot ratio, how many contiguous integers each thread processes when the vec dot kernel is called
348// MMVQ = mul_mat_vec_q, MMQ = mul_mat_q
349
350template <ggml_type T> struct reorder_vec_dot_q_sycl {
351    static_assert(T != T, "ggml_type for reorder vecdot not implemented");
352};
353
354// For some types the weight side of the dot product does not depend on the destination column, so a
355// multi-column mul_mat_vec can unpack it once per block instead of once per column. Such a type adds
356// load() and dot() next to operator() and opts in here. See reorder_vec_dot_q_sycl<GGML_TYPE_Q4_K>.
357template <ggml_type T> struct reorder_vec_dot_shared_weights {
358    static constexpr bool value = false;
359};
360
361template <> struct reorder_vec_dot_shared_weights<GGML_TYPE_Q4_K> {
362    static constexpr bool value = true;
363};
364
365template <ggml_type T> struct reorder_vec_dot_shared_activations {
366    static constexpr bool value = false;
367};
368
369template <> struct reorder_vec_dot_shared_activations<GGML_TYPE_Q4_K> {
370    static constexpr bool value = true;
371};
372
373template <> struct reorder_vec_dot_q_sycl<GGML_TYPE_Q4_0> {
374    static constexpr ggml_type gtype = GGML_TYPE_Q4_0;
375
376    using q4_0_block  = ggml_sycl_reordered::block_q_t<GGML_TYPE_Q4_0>;
377    using q4_0_traits = typename q4_0_block::traits;
378
379    __dpct_inline__ float vec_dot_q4_0_q8_1_impl(const int * v, const int * u, const float & d4, const sycl::half2 & ds8) {
380        int sumi = 0;
381
382#pragma unroll
383        for (size_t i = 0; i < q4_0_traits::vdr_mmvq; ++i) {
384            const int vi0 = (v[i] >> 0) & 0x0F0F0F0F;
385            const int vi1 = (v[i] >> 4) & 0x0F0F0F0F;
386
387            // SIMD dot product of quantized values
388            sumi = dpct::dp4a(vi0, u[2 * i + 0], sumi);
389            sumi = dpct::dp4a(vi1, u[2 * i + 1], sumi);
390        }
391
392        const sycl::float2 ds8f = ds8.convert<float, sycl::rounding_mode::automatic>();
393
394        // second part effectively subtracts 8 from each quant value
395        return d4 * (sumi * ds8f.x() - (8 * q4_0_traits::vdr_mmvq / q4_0_traits::qi) * ds8f.y());
396    }
397
398    __dpct_inline__ float operator()(const void * __restrict__ vbq, const std::pair<int, int> ibx_offset,
399                                     const std::pair<int, int> d_offset, const int8_t * q8_1_quant_ptr,
400                                     const sycl::half2 * q8_1_ds, const int & iqs) {
401        const uint8_t * bq4_0 = static_cast<const uint8_t *>(vbq) + ibx_offset.first;
402        const ggml_half d = *(reinterpret_cast<const ggml_half *>(static_cast<const uint8_t *>(vbq) + d_offset.first));
403        int             v[q4_0_traits::vdr_mmvq];
404        int             u[2 * q4_0_traits::vdr_mmvq];
405
406
407#pragma unroll
408        for (size_t i = 0; i < q4_0_traits::vdr_mmvq; ++i) {
409            v[i]         = get_int_from_uint8(bq4_0, iqs + i);
410            u[2 * i + 0] = get_int_from_int8_aligned(q8_1_quant_ptr, iqs + i);
411            u[2 * i + 1] = get_int_from_int8_aligned(q8_1_quant_ptr, iqs + i + q4_0_traits::qi);
412        }
413
414        return vec_dot_q4_0_q8_1_impl(v, u, d, *q8_1_ds);
415    };
416};
417
418template <> struct reorder_vec_dot_q_sycl<GGML_TYPE_Q8_0> {
419    static constexpr ggml_type gtype = GGML_TYPE_Q8_0;
420
421    using q8_0_block  = ggml_sycl_reordered::block_q_t<GGML_TYPE_Q8_0>;
422    using q8_0_traits = typename q8_0_block::traits;
423
424    __dpct_inline__ float operator()(const void * __restrict__ vbq, const std::pair<int, int> ibx_offset,
425                                     const std::pair<int, int> d_offset, const int8_t * q8_1_quant_ptr,
426                                     const sycl::half2 * q8_1_ds, const int & iqs) {
427        const uint8_t * base = static_cast<const uint8_t *>(vbq);
428        const int8_t *  qs   = reinterpret_cast<const int8_t *>(base + ibx_offset.first);
429        const ggml_half  d   = *reinterpret_cast<const ggml_half *>(base + d_offset.first);
430
431        int v[q8_0_traits::vdr_mmvq];
432        int u[q8_0_traits::vdr_mmvq];
433
434#pragma unroll
435        for (size_t i = 0; i < q8_0_traits::vdr_mmvq; ++i) {
436            v[i] = get_int_from_int8(qs, iqs + i);
437            u[i] = get_int_from_int8_aligned(q8_1_quant_ptr, iqs + i);
438        }
439
440        int sumi = 0;
441#pragma unroll
442        for (size_t i = 0; i < q8_0_traits::vdr_mmvq; ++i) {
443            sumi = dpct::dp4a(v[i], u[i], sumi);
444        }
445
446        const sycl::half2 ds_values = *q8_1_ds;
447        return static_cast<float>(d) * static_cast<float>(ds_values[0]) * sumi;
448    }
449};
450
451template <> struct reorder_vec_dot_q_sycl<GGML_TYPE_Q2_K> {
452    static constexpr ggml_type gtype = GGML_TYPE_Q2_K;
453
454    using q2_k_block  = ggml_sycl_reordered::block_q_t<GGML_TYPE_Q2_K>;
455    using q2_k_traits = typename q2_k_block::traits;
456
457    __dpct_inline__ float operator()(const void * __restrict__ vbq, const std::pair<int, int> ibx_offset,
458                                     const std::pair<int, int> d_offset, const int8_t * q8_1_quant_ptr,
459                                     const sycl::half2 * q8_1_ds, const int & iqs) {
460        const uint8_t *    base   = static_cast<const uint8_t *>(vbq);
461        const uint8_t *    qs     = base + ibx_offset.first;
462        const uint8_t *    scales = base + d_offset.first;
463        const ggml_half2 * dm     = reinterpret_cast<const ggml_half2 *>(base + d_offset.second);
464
465        const int bq8_offset   = QR2_K * (iqs / QI8_1);
466        const int scale_offset = iqs - iqs % QI8_1 + (iqs % QI8_1) / (QI8_1 / 2);
467
468        const int v = get_int_from_uint8_aligned(qs, iqs);
469
470        int   u[QR2_K];
471        float d8[QR2_K];
472
473#pragma unroll
474        for (int i = 0; i < QR2_K; ++i) {
475            const int8_t * quant_base_ptr = q8_1_quant_ptr + (bq8_offset + i) * QK8_1;
476            u[i]                          = get_int_from_int8_aligned(quant_base_ptr, iqs % QI8_1);
477            d8[i]                         = (*(q8_1_ds + bq8_offset + i))[0];
478        }
479
480        return vec_dot_q2_K_q8_1_impl_mmvq(v, u, scales + scale_offset, *dm, d8);
481    }
482};
483
484template <> struct reorder_vec_dot_q_sycl<GGML_TYPE_Q3_K> {
485    static constexpr ggml_type gtype = GGML_TYPE_Q3_K;
486
487    using q3_k_block  = ggml_sycl_reordered::block_q_t<GGML_TYPE_Q3_K>;
488    using q3_k_traits = typename q3_k_block::traits;
489
490    __dpct_inline__ float operator()(const void * __restrict__ vbq, const std::pair<int, int> ibx_offset,
491                                     const std::pair<int, int> d_offset, const int8_t * q8_1_quant_ptr,
492                                     const sycl::half2 * q8_1_ds, const int & iqs) {
493        const uint8_t *  base   = static_cast<const uint8_t *>(vbq);
494        const uint8_t *  qs     = base + ibx_offset.first;
495        const uint8_t *  hmask  = base + ibx_offset.second;
496        const uint8_t *  scales = base + d_offset.first;
497        const ggml_half  d      = *reinterpret_cast<const ggml_half *>(base + d_offset.second);
498
499        const int bq8_offset   = QR3_K * (iqs / (QI3_K / 2));
500        const int scale_offset = iqs - iqs % QI8_1 + (iqs % QI8_1) / (QI8_1 / 2);
501
502        const int vl = get_int_from_uint8(qs, iqs);
503        const int vh = ~get_int_from_uint8(hmask, iqs % (QI3_K / 2)) >> bq8_offset;
504
505        int   u[QR3_K];
506        float d8[QR3_K];
507
508#pragma unroll
509        for (int i = 0; i < QR3_K; ++i) {
510            const int8_t * quant_base_ptr = q8_1_quant_ptr + (bq8_offset + i) * QK8_1;
511            u[i]                          = get_int_from_int8_aligned(quant_base_ptr, iqs % QI8_1);
512            d8[i]                         = (*(q8_1_ds + bq8_offset + i))[0];
513        }
514
515        return vec_dot_q3_K_q8_1_impl_mmvq(vl, vh, u, scales, scale_offset, static_cast<float>(d), d8);
516    }
517};
518
519static inline float vec_dot_q4_K_q8_1_common(const int * __restrict__ q4, const uint16_t * __restrict__ scales,
520                                             const ggml_half2 & dm, const block_q8_1 * __restrict__ bq8_1,
521                                             const int &        iqs) {
522    int   v[2];
523    int   u[2 * QR4_K];
524    float d8[QR4_K];
525
526    v[0] = q4[0];
527    v[1] = q4[4];
528
529    uint16_t  aux[2];
530    const int j = (QR4_K * ((iqs / 2) / (QI8_1 / 2))) / 2;
531    if (j < 2) {
532        aux[0] = scales[j + 0] & 0x3f3f;
533        aux[1] = scales[j + 2] & 0x3f3f;
534    } else {
535        aux[0] = ((scales[j + 2] >> 0) & 0x0f0f) | ((scales[j - 2] & 0xc0c0) >> 2);
536        aux[1] = ((scales[j + 2] >> 4) & 0x0f0f) | ((scales[j - 0] & 0xc0c0) >> 2);
537    }
538
539    const uint8_t * sc = (const uint8_t *) aux;
540    const uint8_t * m  = sc + 2;
541
542    const int bq8_offset = QR4_K * ((iqs / 2) / (QI8_1 / 2));
543
544    for (int i = 0; i < QR4_K; ++i) {
545        const block_q8_1 * bq8i = bq8_1 + bq8_offset + i;
546        d8[i]                   = bq8i->ds[0];
547
548        const int * q8 = (const int *) bq8i->qs + ((iqs / 2) % 4);
549        u[2 * i + 0]   = q8[0];
550        u[2 * i + 1]   = q8[4];
551    }
552
553    return vec_dot_q4_K_q8_1_impl_vmmq(v, u, sc, m, dm, d8);
554}
555
556template <> struct reorder_vec_dot_q_sycl<GGML_TYPE_Q4_K> {
557    static constexpr ggml_type gtype = GGML_TYPE_Q4_K;
558
559    using q4_k_block  = ggml_sycl_reordered::block_q_t<GGML_TYPE_Q4_K>;
560    using q4_k_traits = typename q4_k_block::traits;
561
562    struct weights {
563        int        v[2];
564        uint16_t   aux[2];
565        ggml_half2 dm;
566        int        bq8_offset;
567    };
568
569    struct activations {
570        int   u[2 * QR4_K];
571        float d8[QR4_K];
572    };
573
574    __dpct_inline__ static weights load(const void * __restrict__ vbq, const std::pair<int, int> ibx_offset,
575                                        const std::pair<int, int> d_offset, const int & iqs) {
576        const uint8_t *    base = static_cast<const uint8_t *>(vbq);
577        const uint8_t *    qs   = base + ibx_offset.first;
578        const uint8_t *    scs  = base + d_offset.first;
579        const ggml_half2 * dms  = reinterpret_cast<const ggml_half2 *>(base + d_offset.second);
580
581        weights w;
582        w.bq8_offset = QR4_K * ((iqs / 2) / (QI8_1 / 2));
583
584        const int *      q4     = (const int *) (qs + 16 * w.bq8_offset + 4 * ((iqs / 2) % 4));
585        const uint16_t * scales = (const uint16_t *) scs;
586
587        w.v[0] = q4[0];
588        w.v[1] = q4[4];
589
590        const int j = (QR4_K * ((iqs / 2) / (QI8_1 / 2))) / 2;
591        if (j < 2) {
592            w.aux[0] = scales[j + 0] & 0x3f3f;
593            w.aux[1] = scales[j + 2] & 0x3f3f;
594        } else {
595            w.aux[0] = ((scales[j + 2] >> 0) & 0x0f0f) | ((scales[j - 2] & 0xc0c0) >> 2);
596            w.aux[1] = ((scales[j + 2] >> 4) & 0x0f0f) | ((scales[j - 0] & 0xc0c0) >> 2);
597        }
598
599        w.dm = *dms;
600
601        return w;
602    }
603
604    __dpct_inline__ static activations load_activations(const int8_t * q8_1_quant_ptr,
605                                                        const sycl::half2 * q8_1_ds, const int & iqs) {
606        activations a;
607        const int bq8_offset = QR4_K * ((iqs / 2) / (QI8_1 / 2));
608        for (int i = 0; i < QR4_K; ++i) {
609            const int8_t * quant_base_ptr = q8_1_quant_ptr + (bq8_offset + i) * QK8_1;
610            sycl::half2    ds_values      = *(q8_1_ds + bq8_offset + i);
611
612            a.d8[i] = ds_values[0];
613
614            const int * q8 = (const int *) quant_base_ptr + ((iqs / 2) % 4);
615            a.u[2 * i + 0] = q8[0];
616            a.u[2 * i + 1] = q8[4];
617        }
618
619        return a;
620    }
621
622    __dpct_inline__ static float apply(const weights & w, const activations & a) {
623        const uint8_t * sc = (const uint8_t *) w.aux;
624        const uint8_t * m  = sc + 2;
625
626        return vec_dot_q4_K_q8_1_impl_vmmq(w.v, a.u, sc, m, w.dm, a.d8);
627    }
628
629    __dpct_inline__ static float dot(const weights & w, const int8_t * q8_1_quant_ptr,
630                                     const sycl::half2 * q8_1_ds, const int & iqs) {
631        const auto a = load_activations(q8_1_quant_ptr, q8_1_ds, iqs);
632
633        return apply(w, a);
634    }
635
636    __dpct_inline__ float operator()(const void * __restrict__ vbq, const std::pair<int, int> ibx_offset,
637                                     const std::pair<int, int> d_offset, const int8_t * q8_1_quant_ptr,
638                                     const sycl::half2 * q8_1_ds, const int & iqs) {
639        return dot(load(vbq, ibx_offset, d_offset, iqs), q8_1_quant_ptr, q8_1_ds, iqs);
640    }
641};
642
643template <> struct reorder_vec_dot_q_sycl<GGML_TYPE_Q5_K> {
644    static constexpr ggml_type gtype = GGML_TYPE_Q5_K;
645
646    using q5_k_block  = ggml_sycl_reordered::block_q_t<GGML_TYPE_Q5_K>;
647    using q5_k_traits = typename q5_k_block::traits;
648
649    __dpct_inline__ float operator()(const void * __restrict__ vbq, const std::pair<int, int> ibx_offset,
650                                     const std::pair<int, int> d_offset, const int8_t * q8_1_quant_ptr,
651                                     const sycl::half2 * q8_1_ds, const int & iqs) {
652        const uint8_t *    base           = static_cast<const uint8_t *>(vbq);
653        const uint8_t *    qs             = base + ibx_offset.first;   // low 4 bits
654        const uint8_t *    qh_base        = base + ibx_offset.second;  // high bit
655        const uint8_t *    scs            = base + d_offset.first;
656        const ggml_half2 * dms            = reinterpret_cast<const ggml_half2 *>(base + d_offset.second);
657
658        const int        bq8_offset = QR5_K * ((iqs / 2) / (QI8_1 / 2));
659        const int *      ql_ptr     = (const int *) (qs + 16 * bq8_offset + 4 * ((iqs / 2) % 4));
660        const int *      qh_ptr     = (const int *) (qh_base + 4 * ((iqs / 2) % 4));
661        const uint16_t * scales     = (const uint16_t *) scs;
662
663        int   vl[2];
664        int   vh[2];
665        int   u[2 * QR5_K];
666        float d8[QR5_K];
667
668        vl[0] = ql_ptr[0];
669        vl[1] = ql_ptr[4];
670
671        vh[0] = qh_ptr[0] >> bq8_offset;
672        vh[1] = qh_ptr[4] >> bq8_offset;
673
674        uint16_t  aux[2];
675        const int j = (QR5_K * ((iqs / 2) / (QI8_1 / 2))) / 2;
676        if (j < 2) {
677            aux[0] = scales[j + 0] & 0x3f3f;
678            aux[1] = scales[j + 2] & 0x3f3f;
679        } else {
680            aux[0] = ((scales[j + 2] >> 0) & 0x0f0f) | ((scales[j - 2] & 0xc0c0) >> 2);
681            aux[1] = ((scales[j + 2] >> 4) & 0x0f0f) | ((scales[j - 0] & 0xc0c0) >> 2);
682        }
683
684        const uint8_t * sc = (const uint8_t *) aux;
685        const uint8_t * m  = sc + 2;
686
687        for (int i = 0; i < QR5_K; ++i) {
688            const int8_t* quant_base_ptr = q8_1_quant_ptr + (bq8_offset + i) * QK8_1;
689            sycl::half2 ds_values = *(q8_1_ds + bq8_offset + i);
690
691            d8[i]                   = ds_values[0];
692
693            const int * q8 = (const int *) quant_base_ptr + ((iqs / 2) % 4);
694            u[2 * i + 0]   = q8[0];
695            u[2 * i + 1]   = q8[4];
696        }
697
698        return vec_dot_q5_K_q8_1_impl_vmmq(vl, vh, u, sc, m, *dms, d8);
699    }
700};
701
702template <> struct reorder_vec_dot_q_sycl<GGML_TYPE_Q6_K> {
703    static constexpr ggml_type gtype = GGML_TYPE_Q6_K;
704
705    using q6_k_block  = ggml_sycl_reordered::block_q_t<GGML_TYPE_Q6_K>;
706    using q6_k_traits = typename q6_k_block::traits;
707
708    __dpct_inline__ float vec_dot_q6_K_q8_1_impl_mmvq(const int vl, const int vh, const int * __restrict__ u,
709                                                      const int8_t * __restrict__ scales, const float d,
710                                                      const float * __restrict__ d8) {
711        return vec_dot_q6_K_q8_1_impl_mmvq_scalar(
712            vl, vh, u[0], u[1], scales[0], scales[4], d, d8[0], d8[1]);
713    }
714
715    __dpct_inline__ float operator()(const void * __restrict__ vbq, const std::pair<int, int> ibx_offset,
716                     const std::pair<int, int> d_offset, const int8_t * q8_1_quant_ptr, const sycl::half2 * q8_1_ds,
717                     const int iqs) {
718        const uint8_t *   base   = static_cast<const uint8_t *>(vbq);
719        const uint8_t *   ql     = base + ibx_offset.first;
720        const uint8_t *   qh     = base + ibx_offset.second;
721        const int8_t *    scales = reinterpret_cast<const int8_t *>(base + d_offset.first);
722        const ggml_half * d      = (const ggml_half *) (base + d_offset.second);
723
724        const int bq8_offset   = 2 * QR6_K * (iqs / (QI6_K / 2)) + (iqs % (QI6_K / 2)) / (QI6_K / 4);
725        const int scale_offset = (QI6_K / 4) * (iqs / (QI6_K / 2)) + (iqs % (QI6_K / 2)) / (QI6_K / 8);
726        const int vh_shift     = 2 * ((iqs % (QI6_K / 2)) / (QI6_K / 4));
727
728        const int vl = get_int_from_uint8(ql, iqs);
729        const int vh = get_int_from_uint8(qh, (QI6_K / 4) * (iqs / (QI6_K / 2)) + iqs % (QI6_K / 4)) >> vh_shift;
730
731        const int8_t * scs = scales + scale_offset;
732
733        const int u0 = get_int_from_int8_aligned(
734            q8_1_quant_ptr + bq8_offset * QK8_1, iqs % QI8_1);
735        const int u1 = get_int_from_int8_aligned(
736            q8_1_quant_ptr + (bq8_offset + 2) * QK8_1, iqs % QI8_1);
737        const float d80 = (*(q8_1_ds + bq8_offset + 0))[0];
738        const float d81 = (*(q8_1_ds + bq8_offset + 2))[0];
739
740        return vec_dot_q6_K_q8_1_impl_mmvq_scalar(
741            vl, vh, u0, u1, scs[0], scs[4], *d, d80, d81);
742    }
743};
744#define VDR_Q4_0_Q8_1_MMVQ 2
745#define VDR_Q4_0_Q8_1_MMQ  4
746
747#define VDR_Q2_0_Q8_1_MMVQ 1
748
749template <int vdr>
750static __dpct_inline__ float vec_dot_q2_0_q8_1_impl(
751    const int * v,
752    const int * u,
753    const float & d2,
754    const sycl::half2 & ds8) {
755    int sumi = 0;
756
757#pragma unroll
758    for (int i = 0; i < vdr; ++i) {
759#pragma unroll
760        for (int j = 0; j < 4; ++j) {
761            const uint8_t q = (uint8_t) ((uint32_t) v[i] >> (8 * j));
762
763            // unpack 2-bit values to byte lanes (0..3), then apply zero-point
764            // correction with ds8f.y() below, mirroring the q4_0 style.
765            int vi = 0;
766            vi |= (((q >> 0) & 0x3) & 0xFF) << 0;
767            vi |= (((q >> 2) & 0x3) & 0xFF) << 8;
768            vi |= (((q >> 4) & 0x3) & 0xFF) << 16;
769            vi |= (((q >> 6) & 0x3) & 0xFF) << 24;
770
771            sumi = dpct::dp4a(vi, u[4 * i + j], sumi);
772        }
773    }
774
775    const sycl::float2 ds8f = ds8.convert<float, sycl::rounding_mode::automatic>();
776    // q2_0 has zero-point 1. Scale ds8f.y() by processed-lane ratio,
777    // consistent with q4_0's explicit zero-point subtraction style.
778    return d2 * (sumi * ds8f.x() - ((float) vdr / (float) QI2_0) * ds8f.y());
779}
780
781template <int vdr>
782static __dpct_inline__ float vec_dot_q4_0_q8_1_impl(const int * v, const int * u, const float & d4,
783                                                    const sycl::half2 & ds8) {
784    int sumi = 0;
785#pragma unroll
786    for (int i = 0; i < vdr; ++i) {
787        const int vi0 = (v[i] >> 0) & 0x0F0F0F0F;
788        const int vi1 = (v[i] >> 4) & 0x0F0F0F0F;
789
790        // SIMD dot product of quantized values
791        sumi = dpct::dp4a(vi0, u[2 * i + 0], sumi);
792        sumi = dpct::dp4a(vi1, u[2 * i + 1], sumi);
793    }
794
795    const sycl::float2 ds8f = ds8.convert<float, sycl::rounding_mode::automatic>();
796
797    // second part effectively subtracts 8 from each quant value
798    return d4 * (sumi * ds8f.x() - (8 * vdr / QI4_0) * ds8f.y());
799}
800
801#define VDR_Q4_1_Q8_1_MMVQ 2
802#define VDR_Q4_1_Q8_1_MMQ  4
803
804template <int vdr>
805static __dpct_inline__ float vec_dot_q4_1_q8_1_impl(const int *v, const int *u,
806                                                    const sycl::half2 &dm4,
807                                                    const sycl::half2 &ds8) {
808
809    int sumi = 0;
810
811#pragma unroll
812    for (int i = 0; i < vdr; ++i) {
813        const int vi0 = (v[i] >> 0) & 0x0F0F0F0F;
814        const int vi1 = (v[i] >> 4) & 0x0F0F0F0F;
815
816        // SIMD dot product of quantized values
817        sumi = dpct::dp4a(vi0, u[2 * i + 0], sumi);
818        sumi = dpct::dp4a(vi1, u[2 * i + 1], sumi);
819    }
820
821#ifdef GGML_SYCL_F16
822    const sycl::float2 tmp =
823        (dm4 * ds8).convert<float, sycl::rounding_mode::automatic>();
824    const float d4d8 = tmp.x();
825    const float m4s8 = tmp.y();
826#else
827    const sycl::float2 dm4f =
828        dm4.convert<float, sycl::rounding_mode::automatic>();
829    const sycl::float2 ds8f =
830        ds8.convert<float, sycl::rounding_mode::automatic>();
831    const float d4d8 = dm4f.x() * ds8f.x();
832    const float m4s8 = dm4f.y() * ds8f.y();
833#endif // GGML_SYCL_F16
834
835    // scale second part of sum by QI8_1/(vdr * QR4_1) to compensate for multiple threads adding it
836    return sumi * d4d8 + m4s8 / (QI8_1 / (vdr * QR4_1));
837}
838
839#define VDR_Q5_0_Q8_1_MMVQ 2
840#define VDR_Q5_0_Q8_1_MMQ  4
841
842template <int vdr>
843static __dpct_inline__ float
844vec_dot_q5_0_q8_1_impl(const int *vl, const int *vh, const int *u,
845                       const float &d5, const sycl::half2 &ds8) {
846    int sumi = 0;
847
848#pragma unroll
849    for (int i = 0; i < vdr; ++i) {
850        int vi0 = (vl[i] >>  0) & 0x0F0F0F0F; // lower 4 qs bits, still need qh as 5th bits
851        vi0    |= (vh[i] <<  4) & 0x00000010; // 0 ->  4
852        vi0    |= (vh[i] << 11) & 0x00001000; // 1 -> 12
853        vi0    |= (vh[i] << 18) & 0x00100000; // 2 -> 20
854        vi0    |= (vh[i] << 25) & 0x10000000; // 3 -> 28
855        sumi = dpct::dp4a(vi0, u[2 * i + 0],
856                          sumi); // SIMD dot product of quantized values
857
858        int vi1 = (vl[i] >>  4) & 0x0F0F0F0F; // upper 4 qs bits, still need qh as 5th bits
859        vi1    |= (vh[i] >> 12) & 0x00000010; // 16 ->  4
860        vi1    |= (vh[i] >>  5) & 0x00001000; // 17 -> 12
861        vi1    |= (vh[i] <<  2) & 0x00100000; // 18 -> 20
862        vi1    |= (vh[i] <<  9) & 0x10000000; // 19 -> 28
863        sumi = dpct::dp4a(vi1, u[2 * i + 1],
864                          sumi); // SIMD dot product of quantized values
865    }
866
867    const sycl::float2 ds8f =
868        ds8.convert<float, sycl::rounding_mode::automatic>();
869
870    // second part effectively subtracts 16 from each quant value
871    return d5 * (sumi * ds8f.x() - (16 * vdr / QI5_0) * ds8f.y());
872}
873
874#define VDR_Q5_1_Q8_1_MMVQ 2
875#define VDR_Q5_1_Q8_1_MMQ  4
876
877template <int vdr>
878static __dpct_inline__ float
879vec_dot_q5_1_q8_1_impl(const int *vl, const int *vh, const int *u,
880                       const sycl::half2 &dm5, const sycl::half2 &ds8) {
881
882    int sumi = 0;
883
884#pragma unroll
885    for (int i = 0; i < vdr; ++i) {
886        int vi0 = (vl[i] >>  0) & 0x0F0F0F0F; // lower 4 qs bits, still need qh as 5th bits
887        vi0    |= (vh[i] <<  4) & 0x00000010; // 0 ->  4
888        vi0    |= (vh[i] << 11) & 0x00001000; // 1 -> 12
889        vi0    |= (vh[i] << 18) & 0x00100000; // 2 -> 20
890        vi0    |= (vh[i] << 25) & 0x10000000; // 3 -> 28
891        sumi = dpct::dp4a(vi0, u[2 * i + 0],
892                          sumi); // SIMD dot product of quantized values
893
894        int vi1 = (vl[i] >>  4) & 0x0F0F0F0F; // upper 4 qs bits, still need qh as 5th bits
895        vi1    |= (vh[i] >> 12) & 0x00000010; // 16 ->  4
896        vi1    |= (vh[i] >>  5) & 0x00001000; // 17 -> 12
897        vi1    |= (vh[i] <<  2) & 0x00100000; // 18 -> 20
898        vi1    |= (vh[i] <<  9) & 0x10000000; // 19 -> 28
899        sumi = dpct::dp4a(vi1, u[2 * i + 1],
900                          sumi); // SIMD dot product of quantized values
901    }
902
903#ifdef GGML_SYCL_F16
904     const sycl::float2 tmp =
905        (dm5 * ds8).convert<float, sycl::rounding_mode::automatic>();
906    const float d5d8 = tmp.x();
907    const float m5s8 = tmp.y();
908
909
910#else
911    const sycl::float2 dm5f =
912        dm5.convert<float, sycl::rounding_mode::automatic>();
913    const sycl::float2 ds8f =
914        ds8.convert<float, sycl::rounding_mode::automatic>();
915    const float d5d8 = dm5f.x() * ds8f.x();
916    const float m5s8 = dm5f.y() * ds8f.y();
917#endif // GGML_SYCL_F16
918
919    // scale second part of sum by QI5_1 / vdr to compensate for multiple threads adding it
920    return sumi*d5d8 + m5s8 / (QI5_1 / vdr);
921}
922
923#define VDR_Q8_0_Q8_1_MMVQ 2
924#define VDR_Q8_0_Q8_1_MMQ 8
925
926template <int vdr>
927static __dpct_inline__ float vec_dot_q8_0_q8_1_impl(const int *v, const int *u,
928                                                    const float &d8_0,
929                                                    const float &d8_1) {
930
931    int sumi = 0;
932
933#pragma unroll
934    for (int i = 0; i < vdr; ++i) {
935        // SIMD dot product of quantized values
936        sumi = dpct::dp4a(v[i], u[i], sumi);
937    }
938
939    return d8_0*d8_1 * sumi;
940}
941
942template <typename T, int vdr>
943static __dpct_inline__ T vec_dot_q8_0_q8_1_impl(const int * v, const int * u, const T & d8_0, const T & d8_1) {
944    int sumi = 0;
945
946#pragma unroll
947    for (int i = 0; i < vdr; ++i) {
948        // SIMD dot product of quantized values
949        sumi = ggml_sycl_dp4a(v[i], u[i], sumi);
950    }
951
952    return d8_0*d8_1 * ((T) sumi);
953}
954
955template <int vdr>
956static __dpct_inline__ float vec_dot_q8_1_q8_1_impl(const int *v, const int *u,
957                                                    const sycl::half2 &dm8,
958                                                    const sycl::half2 &ds8) {
959
960    int sumi = 0;
961
962#pragma unroll
963    for (int i = 0; i < vdr; ++i) {
964        // SIMD dot product of quantized values
965        sumi = dpct::dp4a(v[i], u[i], sumi);
966    }
967
968#ifdef GGML_SYCL_F16
969    const sycl::float2 tmp =
970        (dm8 * ds8).convert<float, sycl::rounding_mode::automatic>();
971    const float d8d8 = tmp.x();
972    const float m8s8 = tmp.y();
973#else
974    const sycl::float2 dm8f =
975        dm8.convert<float, sycl::rounding_mode::automatic>();
976    const sycl::float2 ds8f =
977        ds8.convert<float, sycl::rounding_mode::automatic>();
978    const float d8d8 = dm8f.x() * ds8f.x();
979    const float m8s8 = dm8f.y() * ds8f.y();
980#endif // GGML_SYCL_F16
981
982    // scale second part of sum by QI8_1/ vdr to compensate for multiple threads adding it
983    return sumi*d8d8 + m8s8 / (QI8_1 / vdr);
984}
985
986static __dpct_inline__ float
987vec_dot_q4_0_q8_1(const void *__restrict__ vbq,
988                  const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
989
990    const block_q4_0 * bq4_0 = (const block_q4_0 *) vbq;
991
992    int v[VDR_Q4_0_Q8_1_MMVQ];
993    int u[2 * VDR_Q4_0_Q8_1_MMVQ];
994
995#pragma unroll
996    for (int i = 0; i < VDR_Q4_0_Q8_1_MMVQ; ++i) {
997        v[i]         = get_int_from_uint8(bq4_0->qs, iqs + i);
998        u[2 * i + 0] = get_int_from_int8_aligned(bq8_1->qs, iqs + i);
999        u[2 * i + 1] = get_int_from_int8_aligned(bq8_1->qs, iqs + i + QI4_0);
1000    }
1001
1002    return vec_dot_q4_0_q8_1_impl<VDR_Q4_0_Q8_1_MMVQ>(v, u, bq4_0->d, bq8_1->ds);
1003}
1004
1005static __dpct_inline__ float
1006vec_dot_q2_0_q8_1(const void *__restrict__ vbq,
1007                  const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1008
1009    const block_q2_0 * bq2_0 = (const block_q2_0 *) vbq;
1010
1011    int v[2 * VDR_Q2_0_Q8_1_MMVQ];
1012    int u[8 * VDR_Q2_0_Q8_1_MMVQ];
1013
1014#pragma unroll
1015    for (int i = 0; i < VDR_Q2_0_Q8_1_MMVQ; ++i) {
1016        const int base = 4 * (iqs + i);
1017
1018        // Q2_0 has QK2_0 = 64 and uses 2 x QK8_1 blocks on the RHS.
1019        v[2 * i + 0] = get_int_from_uint8(bq2_0->qs, iqs + i);
1020        v[2 * i + 1] = get_int_from_uint8(bq2_0->qs, iqs + i + QI2_0);
1021
1022        u[8 * i + 0] = get_int_from_int8_aligned(bq8_1[0].qs, base + 0);
1023        u[8 * i + 1] = get_int_from_int8_aligned(bq8_1[0].qs, base + 1);
1024        u[8 * i + 2] = get_int_from_int8_aligned(bq8_1[0].qs, base + 2);
1025        u[8 * i + 3] = get_int_from_int8_aligned(bq8_1[0].qs, base + 3);
1026
1027        u[8 * i + 4] = get_int_from_int8_aligned(bq8_1[1].qs, base + 0);
1028        u[8 * i + 5] = get_int_from_int8_aligned(bq8_1[1].qs, base + 1);
1029        u[8 * i + 6] = get_int_from_int8_aligned(bq8_1[1].qs, base + 2);
1030        u[8 * i + 7] = get_int_from_int8_aligned(bq8_1[1].qs, base + 3);
1031    }
1032
1033    const float sum0 = vec_dot_q2_0_q8_1_impl<VDR_Q2_0_Q8_1_MMVQ>(
1034        v + 0, u + 0, bq2_0->d, bq8_1[0].ds);
1035    const float sum1 = vec_dot_q2_0_q8_1_impl<VDR_Q2_0_Q8_1_MMVQ>(
1036        v + VDR_Q2_0_Q8_1_MMVQ, u + 4 * VDR_Q2_0_Q8_1_MMVQ, bq2_0->d, bq8_1[1].ds);
1037    return sum0 + sum1;
1038}
1039
1040static __dpct_inline__ float
1041vec_dot_q4_1_q8_1(const void *__restrict__ vbq,
1042                  const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1043
1044    const block_q4_1 * bq4_1 = (const block_q4_1 *) vbq;
1045
1046    int v[VDR_Q4_1_Q8_1_MMVQ];
1047    int u[2*VDR_Q4_1_Q8_1_MMVQ];
1048
1049#pragma unroll
1050    for (int i = 0; i < VDR_Q4_1_Q8_1_MMVQ; ++i) {
1051        v[i]    = get_int_from_uint8_aligned(bq4_1->qs, iqs + i);
1052        u[2*i+0] = get_int_from_int8_aligned(bq8_1->qs, iqs + i);
1053        u[2*i+1] = get_int_from_int8_aligned(bq8_1->qs, iqs + i + QI4_1);
1054    }
1055
1056    return vec_dot_q4_1_q8_1_impl<VDR_Q4_1_Q8_1_MMVQ>(v, u, bq4_1->dm, bq8_1->ds);
1057}
1058
1059#define VDR_MXFP4_Q8_1_MMVQ 2
1060#define VDR_MXFP4_Q8_1_MMQ  4
1061
1062static __dpct_inline__ float vec_dot_mxfp4_q8_1(const void * __restrict__ vbq,
1063                                                const block_q8_1 * __restrict__ bq8_1,
1064                                                const int & iqs) {
1065    const block_mxfp4 * bq4 = (const block_mxfp4 *) vbq;
1066
1067    const int * q8 = (const int *) bq8_1->qs + iqs;
1068
1069    int sumi = 0;
1070#pragma unroll
1071    for (int l = 0; l < VDR_MXFP4_Q8_1_MMVQ; ++l) {
1072        const int aux_q4 = get_int_b1(bq4->qs, iqs + l);
1073        const sycl::int2 v      = get_int_from_table_16(aux_q4, kvalues_mxfp4);
1074        sumi = ggml_sycl_dp4a(v.x(), q8[l + 0], sumi);
1075        sumi = ggml_sycl_dp4a(v.y(), q8[l + 4], sumi);
1076    }
1077
1078    const float d = ggml_sycl_e8m0_to_fp32(bq4->e) * 0.5f * (bq8_1->ds)[0];
1079    return d * sumi;
1080}
1081
1082#define VDR_NVFP4_Q8_1_MMVQ 4
1083#define VDR_NVFP4_Q8_1_MMQ  8
1084
1085static __dpct_inline__ float vec_dot_nvfp4_q8_1(const void * __restrict__ vbq,
1086                                                const block_q8_1 * __restrict__ bq8_1,
1087                                                const int32_t & iqs) {
1088    const block_nvfp4 * bq4 = (const block_nvfp4 *) vbq;
1089    float sum = 0.0f;
1090#pragma unroll
1091    for (int i = 0; i < VDR_NVFP4_Q8_1_MMVQ/2; i++) {
1092        const int32_t iqs0 = iqs + 2*i;
1093        const int32_t iqs1 = iqs0 + 1;
1094        const int32_t is = iqs0 >> 1;
1095        const sycl::int2   v0   = get_int_from_table_16(get_int_b4(bq4->qs, iqs0), kvalues_mxfp4);
1096        const sycl::int2   v1   = get_int_from_table_16(get_int_b4(bq4->qs, iqs1), kvalues_mxfp4);
1097        const block_q8_1 * bq8 = bq8_1 + (is >> 1);
1098        const int32_t i8 = ((is & 1) << 2);
1099
1100        int sumi = ggml_sycl_dp4a(v0.x(), get_int_b4(bq8->qs, i8 + 0), 0);
1101        sumi     = ggml_sycl_dp4a(v0.y(), get_int_b4(bq8->qs, i8 + 2), sumi);
1102        sumi     = ggml_sycl_dp4a(v1.x(), get_int_b4(bq8->qs, i8 + 1), sumi);
1103        sumi     = ggml_sycl_dp4a(v1.y(), get_int_b4(bq8->qs, i8 + 3), sumi);
1104
1105        const float d = ggml_sycl_ue4m3_to_fp32(bq4->d[is]) * (bq8->ds)[0];
1106        sum += d * float(sumi);
1107    }
1108
1109    return sum;
1110}
1111
1112static __dpct_inline__ float
1113vec_dot_q5_0_q8_1(const void *__restrict__ vbq,
1114                  const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1115
1116    const block_q5_0 * bq5_0 = (const block_q5_0 *) vbq;
1117
1118    int vl[VDR_Q5_0_Q8_1_MMVQ];
1119    int vh[VDR_Q5_0_Q8_1_MMVQ];
1120    int  u[2*VDR_Q5_0_Q8_1_MMVQ];
1121
1122#pragma unroll
1123    for (int i = 0; i < VDR_Q5_0_Q8_1_MMVQ; ++i) {
1124        vl[i]    = get_int_from_uint8(bq5_0->qs, iqs + i);
1125        vh[i]    = get_int_from_uint8(bq5_0->qh, 0) >> (4 * (iqs + i));
1126        u[2*i+0] = get_int_from_int8_aligned(bq8_1->qs, iqs + i);
1127        u[2*i+1] = get_int_from_int8_aligned(bq8_1->qs, iqs + i + QI5_0);
1128    }
1129
1130    return vec_dot_q5_0_q8_1_impl<VDR_Q5_0_Q8_1_MMVQ>(vl, vh, u, bq5_0->d, bq8_1->ds);
1131}
1132
1133static __dpct_inline__ float
1134vec_dot_q5_1_q8_1(const void *__restrict__ vbq,
1135                  const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1136
1137    const block_q5_1 * bq5_1 = (const block_q5_1 *) vbq;
1138
1139    int vl[VDR_Q5_1_Q8_1_MMVQ];
1140    int vh[VDR_Q5_1_Q8_1_MMVQ];
1141    int  u[2*VDR_Q5_1_Q8_1_MMVQ];
1142
1143#pragma unroll
1144    for (int i = 0; i < VDR_Q5_1_Q8_1_MMVQ; ++i) {
1145        vl[i]   = get_int_from_uint8_aligned(bq5_1->qs, iqs + i);
1146        vh[i]   = get_int_from_uint8_aligned(bq5_1->qh, 0) >> (4 * (iqs + i));
1147        u[2*i+0] = get_int_from_int8_aligned(bq8_1->qs, iqs + i);
1148        u[2*i+1] = get_int_from_int8_aligned(bq8_1->qs, iqs + i + QI5_1);
1149    }
1150
1151    return vec_dot_q5_1_q8_1_impl<VDR_Q5_1_Q8_1_MMVQ>(vl, vh, u, bq5_1->dm, bq8_1->ds);
1152}
1153
1154static __dpct_inline__ float
1155vec_dot_q8_0_q8_1(const void *__restrict__ vbq,
1156                  const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1157
1158    const block_q8_0 * bq8_0 = (const block_q8_0 *) vbq;
1159
1160    int v[VDR_Q8_0_Q8_1_MMVQ];
1161    int u[VDR_Q8_0_Q8_1_MMVQ];
1162
1163#pragma unroll
1164    for (int i = 0; i < VDR_Q8_0_Q8_1_MMVQ; ++i) {
1165        v[i] = get_int_from_int8(bq8_0->qs, iqs + i);
1166        u[i] = get_int_from_int8_aligned(bq8_1->qs, iqs + i);
1167    }
1168
1169    return vec_dot_q8_0_q8_1_impl<VDR_Q8_0_Q8_1_MMVQ>(v, u, bq8_0->d,
1170                                                      bq8_1->ds[0]);
1171}
1172
1173static __dpct_inline__ float
1174vec_dot_q2_K_q8_1(const void *__restrict__ vbq,
1175                  const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1176
1177    const block_q2_K * bq2_K = (const block_q2_K *) vbq;
1178
1179    const int bq8_offset = QR2_K * (iqs / QI8_1);
1180    const int scale_offset = iqs - iqs % QI8_1 + (iqs % QI8_1) / (QI8_1/2);
1181
1182    const uint8_t * scales = bq2_K->scales + scale_offset;
1183
1184    const int v = get_int_from_uint8_aligned(bq2_K->qs, iqs);
1185    int    u[QR2_K];
1186    float d8[QR2_K];
1187
1188#pragma unroll
1189    for (int i = 0; i < QR2_K; ++ i) {
1190        u[i]  = get_int_from_int8_aligned(bq8_1[bq8_offset + i].qs, iqs % QI8_1);
1191        d8[i] = bq8_1[bq8_offset + i].ds[0];
1192    }
1193
1194    return vec_dot_q2_K_q8_1_impl_mmvq(v, u, scales, bq2_K->dm, d8);
1195}
1196
1197static __dpct_inline__ float
1198vec_dot_q3_K_q8_1(const void *__restrict__ vbq,
1199                  const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1200
1201    const block_q3_K * bq3_K = (const block_q3_K *) vbq;
1202
1203    const int bq8_offset = QR3_K * (iqs / (QI3_K/2));
1204    const int scale_offset = iqs - iqs % QI8_1 + (iqs % QI8_1) / (QI8_1/2);
1205
1206    const float d = bq3_K->d;
1207
1208    const int vl = get_int_from_uint8(bq3_K->qs, iqs);
1209
1210    // invert the mask with ~ so that a 0/1 results in 4/0 being subtracted
1211    const int vh = ~get_int_from_uint8(bq3_K->hmask, iqs % (QI3_K/2)) >> bq8_offset;
1212
1213    int    u[QR3_K];
1214    float d8[QR3_K];
1215
1216#pragma unroll
1217    for (int i = 0; i < QR3_K; ++i) {
1218        u[i]  = get_int_from_int8_aligned(bq8_1[bq8_offset + i].qs, iqs % QI8_1);
1219        d8[i] = bq8_1[bq8_offset + i].ds[0];
1220    }
1221
1222    return vec_dot_q3_K_q8_1_impl_mmvq(vl, vh, u, bq3_K->scales, scale_offset, d, d8);
1223}
1224
1225static __dpct_inline__ float vec_dot_q4_K_q8_1(const void * __restrict__ vbq, const block_q8_1 * __restrict__ bq8_1,
1226                                               const int & iqs) {
1227#ifndef GGML_QKK_64
1228
1229    const block_q4_K * bq4_K = (const block_q4_K *) vbq;
1230
1231    const int        bq8_offset = QR4_K * ((iqs / 2) / (QI8_1 / 2));
1232    const int *      q4         = (const int *) (bq4_K->qs + 16 * bq8_offset + 4 * ((iqs / 2) % 4));
1233    const uint16_t * scales     = (const uint16_t *) bq4_K->scales;
1234
1235    return vec_dot_q4_K_q8_1_common(q4, scales, bq4_K->dm, bq8_1, iqs);
1236
1237#else
1238
1239#if __SYCL_ARCH__ >= VER_4VEC // lowest compute capability for integer intrinsics
1240    const block_q4_K * bq4_K = (const block_q4_K *) vbq;
1241
1242    float sumf_d = 0.0f;
1243    float sumf_m = 0.0f;
1244
1245    uint16_t aux16[2];
1246    const uint8_t * s = (const uint8_t *)aux16;
1247
1248    const uint16_t * a = (const uint16_t *)bq4_K->scales;
1249    aux16[0] = a[0] & 0x0f0f;
1250    aux16[1] = (a[0] >> 4) & 0x0f0f;
1251
1252    const float dall = bq4_K->dm[0];
1253    const float dmin = bq4_K->dm[1];
1254
1255    const float d8_1 = bq8_1[0].ds[0];
1256    const float d8_2 = bq8_1[1].ds[1];
1257
1258    const int ui1 = *((const int *)bq8_1[0].qs + (iqs/2));
1259    const int ui2 = *((const int *)bq8_1[0].qs + (iqs/2) + 4);
1260    const int ui3 = *((const int *)bq8_1[1].qs + (iqs/2));
1261    const int ui4 = *((const int *)bq8_1[1].qs + (iqs/2) + 4);
1262
1263    const int * q4 = (const int *)bq4_K->qs + (iqs/2);
1264    const int v1 = q4[0];
1265    const int v2 = q4[4];
1266
1267    const int dot1 = dpct::dp4a(ui2, v2 & 0x0f0f0f0f, dpct::dp4a(ui1, v1 & 0x0f0f0f0f, 0));
1268    const int dot2 = dpct::dp4a(ui4, (v2 >> 4) & 0x0f0f0f0f, dpct::dp4a(ui3, (v1 >> 4) & 0x0f0f0f0f, 0));
1269    const int dot3 = dpct::dp4a(0x01010101, ui2, dpct::dp4a(0x01010101, ui1, 0));
1270    const int dot4 = dpct::dp4a(0x01010101, ui4, dpct::dp4a(0x01010101, ui3, 0));
1271
1272    sumf_d += d8_1 * (dot1 * s[0]) + d8_2 * (dot2 * s[1]);
1273    sumf_m += d8_1 * (dot3 * s[2]) + d8_2 * (dot4 * s[3]);
1274
1275    return dall * sumf_d - dmin * sumf_m;
1276
1277#else
1278    bad_arch();
1279#endif // __SYCL_ARCH__ >= VER_4VEC
1280
1281#endif
1282}
1283
1284static __dpct_inline__ float
1285vec_dot_q5_K_q8_1(const void *__restrict__ vbq,
1286                  const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1287
1288#ifndef GGML_QKK_64
1289    const block_q5_K * bq5_K = (const block_q5_K *) vbq;
1290
1291    int   vl[2];
1292    int   vh[2];
1293    int    u[2*QR5_K];
1294    float d8[QR5_K];
1295
1296    const int bq8_offset = QR5_K * ((iqs/2) / (QI8_1/2));
1297    const int * ql = (const int *)(bq5_K->qs + 16 * bq8_offset + 4 * ((iqs/2)%4));
1298    const int * qh = (const int *)(bq5_K->qh + 4 * ((iqs/2)%4));
1299
1300    vl[0] = ql[0];
1301    vl[1] = ql[4];
1302
1303    vh[0] = qh[0] >> bq8_offset;
1304    vh[1] = qh[4] >> bq8_offset;
1305
1306    const uint16_t * scales = (const uint16_t *)bq5_K->scales;
1307    uint16_t aux[2];
1308    const int j = bq8_offset/2;
1309    if (j < 2) {
1310        aux[0] = scales[j+0] & 0x3f3f;
1311        aux[1] = scales[j+2] & 0x3f3f;
1312    } else {
1313        aux[0] = ((scales[j+2] >> 0) & 0x0f0f) | ((scales[j-2] & 0xc0c0) >> 2);
1314        aux[1] = ((scales[j+2] >> 4) & 0x0f0f) | ((scales[j-0] & 0xc0c0) >> 2);
1315    }
1316    const uint8_t * sc = (const uint8_t *)aux;
1317    const uint8_t * m  = sc + 2;
1318
1319#pragma unroll
1320    for (int i = 0; i < QR5_K; ++i) {
1321        const block_q8_1 * bq8i = bq8_1 + bq8_offset + i;
1322        d8[i] = bq8i->ds[0];
1323
1324        const int * q8 = (const int *)bq8i->qs + ((iqs/2)%4);
1325        u[2*i+0] = q8[0];
1326        u[2*i+1] = q8[4];
1327    }
1328
1329    return vec_dot_q5_K_q8_1_impl_vmmq(vl, vh, u, sc, m, bq5_K->dm, d8);
1330
1331#else
1332
1333#if __SYCL_ARCH__ >= VER_4VEC // lowest compute capability for integer intrinsics
1334    const block_q5_K * bq5_K = (const block_q5_K *) vbq;
1335
1336    const int8_t * s = bq5_K->scales;
1337
1338    const float d = bq5_K->d;
1339
1340    const float d8_1 = bq8_1[0].ds[0];
1341    const float d8_2 = bq8_1[1].ds[1];
1342
1343    const int ui1 = *((const int *)bq8_1[0].qs + (iqs/2));
1344    const int ui2 = *((const int *)bq8_1[0].qs + (iqs/2) + 4);
1345    const int ui3 = *((const int *)bq8_1[1].qs + (iqs/2));
1346    const int ui4 = *((const int *)bq8_1[1].qs + (iqs/2) + 4);
1347
1348    const int * ql = (const int *)bq5_K->qs + (iqs/2);
1349    const int vl1 = ql[0];
1350    const int vl2 = ql[4];
1351
1352    const int step = 4 * (iqs/2); // 0, 4, 8, 12
1353    const int im = step/8; // = 0 for iqs = 0, 2, = 1 for iqs = 4, 6
1354    const int in = step%8; // 0, 4, 0, 4
1355    const int vh = (*((const int *)(bq5_K->qh + in))) >> im;
1356
1357    const int v1 = (((vh << 4) & 0x10101010) ^ 0x10101010) | ((vl1 >> 0) & 0x0f0f0f0f);
1358    const int v2 = (((vh << 2) & 0x10101010) ^ 0x10101010) | ((vl2 >> 0) & 0x0f0f0f0f);
1359    const int v3 = (((vh >> 0) & 0x10101010) ^ 0x10101010) | ((vl1 >> 4) & 0x0f0f0f0f);
1360    const int v4 = (((vh >> 2) & 0x10101010) ^ 0x10101010) | ((vl2 >> 4) & 0x0f0f0f0f);
1361
1362    const float sumf_d = d8_1 * (dpct::dp4a(ui1, v1, 0) * s[0] + dpct::dp4a(ui2, v2, 0) * s[1])
1363                       + d8_2 * (dpct::dp4a(ui3, v3, 0) * s[2] + dpct::dp4a(ui4, v4, 0) * s[3]);
1364
1365    return d * sumf_d;
1366
1367#else
1368    bad_arch();
1369#endif // __SYCL_ARCH__ >= VER_4VEC
1370
1371#endif
1372}
1373
1374static __dpct_inline__ float
1375vec_dot_q6_K_q8_1(const void *__restrict__ vbq,
1376                  const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1377
1378    const block_q6_K * bq6_K = (const block_q6_K *) vbq;
1379
1380    const int bq8_offset = 2 * QR6_K * (iqs / (QI6_K/2)) + (iqs % (QI6_K/2)) / (QI6_K/4);
1381    const int scale_offset = (QI6_K/4) * (iqs / (QI6_K/2)) + (iqs % (QI6_K/2)) / (QI6_K/8);
1382    const int vh_shift = 2 * ((iqs % (QI6_K/2)) / (QI6_K/4));
1383
1384    const int vl = get_int_from_uint8(bq6_K->ql, iqs);
1385    const int vh = get_int_from_uint8(bq6_K->qh, (QI6_K/4) * (iqs / (QI6_K/2)) + iqs % (QI6_K/4)) >> vh_shift;
1386
1387    const int8_t * scales = bq6_K->scales + scale_offset;
1388
1389    const int u0 = get_int_from_int8_aligned(
1390        bq8_1[bq8_offset + 0].qs, iqs % QI8_1);
1391    const int u1 = get_int_from_int8_aligned(
1392        bq8_1[bq8_offset + 2].qs, iqs % QI8_1);
1393    const float d80 = bq8_1[bq8_offset + 0].ds[0];
1394    const float d81 = bq8_1[bq8_offset + 2].ds[0];
1395
1396    return vec_dot_q6_K_q8_1_impl_mmvq_scalar(
1397        vl, vh, u0, u1, scales[0], scales[4], bq6_K->d, d80, d81);
1398}
1399
1400
1401// NOTE: the VDR_IQ*_Q8_1_MMVQ values deliberately differ from the identically named CUDA constants
1402// (vecdotq.cuh): the SYCL kernels pair them with a halved qi (e.g. QI3_S/2), so the values are not
1403// interchangeable and must not be copied across backends.
1404#define VDR_IQ2_XXS_Q8_1_MMVQ 1
1405
1406static __dpct_inline__ float
1407vec_dot_iq2_xxs_q8_1(const void *__restrict__ vbq,
1408                     const block_q8_1 *__restrict__ bq8_1, const int &iqs,
1409                     const uint64_t *iq2xxs_grid, const uint8_t *ksigns_iq2xs,
1410                     const uint8_t *kmask_iq2xs) {
1411#if QK_K == 256
1412    const block_iq2_xxs * bq2 = (const block_iq2_xxs *) vbq;
1413
1414    const int ib32 = iqs;
1415    const uint16_t * q2 = bq2->qs + 4*ib32;
1416    const uint8_t  * aux8 = (const uint8_t *)q2;
1417    const int8_t   * q8 = bq8_1[ib32].qs;
1418    uint32_t aux32 = q2[2] | (q2[3] << 16);
1419    int sumi = 0;
1420    for (int l = 0; l < 4; ++l) {
1421        const uint8_t * grid = (const uint8_t *)(iq2xxs_grid + aux8[l]);
1422        const uint8_t  signs = ksigns_iq2xs[aux32 & 127];
1423        for (int j = 0; j < 8; ++j) {
1424            sumi += q8[j] * grid[j] * (signs & kmask_iq2xs[j] ? -1 : 1);
1425        }
1426        q8 += 8;
1427        aux32 >>= 7;
1428    }
1429    const float d = (float)bq2->d * (0.5f + aux32) * bq8_1[ib32].ds[0] * 0.25f;
1430    return d * sumi;
1431#else
1432    assert(false);
1433    return 0.f;
1434#endif
1435}
1436
1437#define VDR_IQ2_XS_Q8_1_MMVQ 1
1438
1439static __dpct_inline__ float
1440vec_dot_iq2_xs_q8_1(const void *__restrict__ vbq,
1441                    const block_q8_1 *__restrict__ bq8_1, const int &iqs,
1442                    const uint64_t *iq2xs_grid, const uint64_t *ksigns64) {
1443#if DPCT_COMPATIBILITY_TEMP >=                                                 \
1444    MIN_CC_DP4A // lowest compute capability for integer intrinsics
1445#if QK_K == 256
1446    const block_iq2_xs * bq2 = (const block_iq2_xs *) vbq;
1447
1448    const int ib32 = iqs;
1449    const uint16_t * q2 = bq2->qs + 4*ib32;
1450    const int8_t   * q8 = bq8_1[ib32].qs;
1451    const uint8_t ls1 = bq2->scales[ib32] & 0xf;
1452    const uint8_t ls2 = bq2->scales[ib32] >>  4;
1453    int sumi1 = 0;
1454    for (int l = 0; l < 2; ++l) {
1455        const uint32_t * grid = (const uint32_t *)(iq2xs_grid + (q2[l] & 511));
1456        const uint32_t * signs = (const uint32_t *)(ksigns64 + (q2[l] >> 9));
1457        const int grid_l = dpct::vectorized_binary<sycl::uchar4>(
1458            grid[0] ^ signs[0], signs[0], std::minus<>());
1459        const int grid_h = dpct::vectorized_binary<sycl::uchar4>(
1460            grid[1] ^ signs[1], signs[1], std::minus<>());
1461        sumi1 = dpct::dp4a(grid_l, *((const int *)q8 + 0), sumi1);
1462        sumi1 = dpct::dp4a(grid_h, *((const int *)q8 + 1), sumi1);
1463        q8 += 8;
1464    }
1465    int sumi2 = 0;
1466    for (int l = 2; l < 4; ++l) {
1467        const uint32_t * grid = (const uint32_t *)(iq2xs_grid + (q2[l] & 511));
1468        const uint32_t * signs = (const uint32_t *)(ksigns64 + (q2[l] >> 9));
1469        const int grid_l = dpct::vectorized_binary<sycl::uchar4>(
1470            grid[0] ^ signs[0], signs[0], std::minus<>());
1471        const int grid_h = dpct::vectorized_binary<sycl::uchar4>(
1472            grid[1] ^ signs[1], signs[1], std::minus<>());
1473        sumi2 = dpct::dp4a(grid_l, *((const int *)q8 + 0), sumi2);
1474        sumi2 = dpct::dp4a(grid_h, *((const int *)q8 + 1), sumi2);
1475        q8 += 8;
1476    }
1477    const float d = (float)bq2->d * bq8_1[ib32].ds[0] * 0.25f;
1478    return d * ((0.5f + ls1) * sumi1 + (0.5f + ls2) * sumi2);
1479#else
1480    assert(false);
1481    return 0.f;
1482#endif
1483#else
1484    assert(false);
1485    return 0.f;
1486#endif
1487}
1488
1489#define VDR_IQ2_S_Q8_1_MMVQ 1
1490
1491static __dpct_inline__ float
1492vec_dot_iq2_s_q8_1(const void *__restrict__ vbq,
1493                   const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1494#if QK_K == 256
1495    const block_iq2_s * bq2 = (const block_iq2_s *) vbq;
1496
1497    const int ib32 = iqs;
1498    const int8_t  * q8 = bq8_1[ib32].qs;
1499    const uint8_t * signs = bq2->qs + QK_K/8 + 4*ib32;
1500    const uint8_t ls1 = bq2->scales[ib32] & 0xf;
1501    const uint8_t ls2 = bq2->scales[ib32] >>  4;
1502    int sumi1 = 0;
1503    for (int l = 0; l < 2; ++l) {
1504        const uint32_t * grid = (const uint32_t *)(iq2s_grid + (bq2->qs[4*ib32+l] | ((bq2->qh[ib32] << (8-2*l)) & 0x300)));
1505        const uint32_t signs0 = dpct::vectorized_binary<sycl::uchar4>(
1506            ((signs[l] & 0xf) * 0x01010101) & 0x08040201, 0x08040201,
1507            std::equal_to<>());
1508        const uint32_t signs1 = dpct::vectorized_binary<sycl::uchar4>(
1509            ((signs[l] >> 4) * 0x01010101) & 0x08040201, 0x08040201,
1510            std::equal_to<>());
1511        const int grid_l = dpct::vectorized_binary<sycl::uchar4>(
1512            grid[0] ^ signs0, signs0, std::minus<>());
1513        const int grid_h = dpct::vectorized_binary<sycl::uchar4>(
1514            grid[1] ^ signs1, signs1, std::minus<>());
1515        sumi1 = dpct::dp4a(grid_l, *((const int *)q8 + 0), sumi1);
1516        sumi1 = dpct::dp4a(grid_h, *((const int *)q8 + 1), sumi1);
1517        q8 += 8;
1518    }
1519    int sumi2 = 0;
1520    for (int l = 2; l < 4; ++l) {
1521        const uint32_t * grid = (const uint32_t *)(iq2s_grid + (bq2->qs[4*ib32+l] | ((bq2->qh[ib32] << (8-2*l)) & 0x300)));
1522        const uint32_t signs0 = dpct::vectorized_binary<sycl::uchar4>(
1523            ((signs[l] & 0xf) * 0x01010101) & 0x08040201, 0x08040201,
1524            std::equal_to<>());
1525        const uint32_t signs1 = dpct::vectorized_binary<sycl::uchar4>(
1526            ((signs[l] >> 4) * 0x01010101) & 0x08040201, 0x08040201,
1527            std::equal_to<>());
1528        const int grid_l = dpct::vectorized_binary<sycl::uchar4>(
1529            grid[0] ^ signs0, signs0, std::minus<>());
1530        const int grid_h = dpct::vectorized_binary<sycl::uchar4>(
1531            grid[1] ^ signs1, signs1, std::minus<>());
1532        sumi2 = dpct::dp4a(grid_l, *((const int *)q8 + 0), sumi2);
1533        sumi2 = dpct::dp4a(grid_h, *((const int *)q8 + 1), sumi2);
1534        q8 += 8;
1535    }
1536    const float d = (float)bq2->d * bq8_1[ib32].ds[0] * 0.25f;
1537    return d * ((0.5f + ls1) * sumi1 + (0.5f + ls2) * sumi2);
1538#else
1539    assert(false);
1540#endif
1541}
1542
1543#define VDR_IQ3_XXS_Q8_1_MMVQ 1
1544
1545static __dpct_inline__ float
1546vec_dot_iq3_xxs_q8_1(const void *__restrict__ vbq,
1547                     const block_q8_1 *__restrict__ bq8_1, const int &iqs,
1548                     const uint32_t *iq3xxs_grid, const uint64_t *ksigns64) {
1549#if DPCT_COMPATIBILITY_TEMP >=                                                 \
1550    MIN_CC_DP4A // lowest compute capability for integer intrinsics
1551#if QK_K == 256
1552    const block_iq3_xxs * bq2 = (const block_iq3_xxs *) vbq;
1553
1554    const int ib32 = iqs;
1555    const uint8_t  * q3 = bq2->qs + 8*ib32;
1556    const uint16_t * gas = (const uint16_t *)(bq2->qs + QK_K/4) + 2*ib32;
1557    const int8_t   * q8 = bq8_1[ib32].qs;
1558    uint32_t aux32 = gas[0] | (gas[1] << 16);
1559    int sumi = 0;
1560    for (int l = 0; l < 4; ++l) {
1561        const uint32_t * grid1 = iq3xxs_grid + q3[2*l+0];
1562        const uint32_t * grid2 = iq3xxs_grid + q3[2*l+1];
1563        const uint32_t * signs = (const uint32_t *)(ksigns64 + (aux32 & 127));
1564        const int grid_l = dpct::vectorized_binary<sycl::uchar4>(
1565            grid1[0] ^ signs[0], signs[0], std::minus<>());
1566        const int grid_h = dpct::vectorized_binary<sycl::uchar4>(
1567            grid2[0] ^ signs[1], signs[1], std::minus<>());
1568        sumi = dpct::dp4a(grid_l, *((const int *)q8 + 0), sumi);
1569        sumi = dpct::dp4a(grid_h, *((const int *)q8 + 1), sumi);
1570        q8 += 8;
1571        aux32 >>= 7;
1572    }
1573    const float d = (float)bq2->d * (0.5f + aux32) * bq8_1[ib32].ds[0] * 0.5f;
1574    return d * sumi;
1575#else
1576    assert(false);
1577    return 0.f;
1578#endif
1579#else
1580    assert(false);
1581    return 0.f;
1582#endif
1583}
1584
1585#define VDR_IQ3_S_Q8_1_MMVQ 1
1586
1587static __dpct_inline__ float
1588vec_dot_iq3_s_q8_1(const void *__restrict__ vbq,
1589                   const block_q8_1 *__restrict__ bq8_1, const int &iqs,
1590                   const uint32_t *iq3s_grid) {
1591#if QK_K == 256
1592    const block_iq3_s * bq2 = (const block_iq3_s *) vbq;
1593
1594    const int ib32 = iqs;
1595    const uint8_t  * qs = bq2->qs + 8*ib32;
1596    const int8_t   * q8 = bq8_1[ib32].qs;
1597    int sumi = 0;
1598    for (int l = 0; l < 4; ++l) {
1599        const uint32_t * grid1 = iq3s_grid + (qs[2*l+0] | ((bq2->qh[ib32] << (8 - 2*l)) & 256));
1600        const uint32_t * grid2 = iq3s_grid + (qs[2*l+1] | ((bq2->qh[ib32] << (7 - 2*l)) & 256));
1601        uint32_t signs0 = dpct::vectorized_binary<sycl::uchar4>(
1602            ((bq2->signs[4 * ib32 + l] & 0xf) * 0x01010101) & 0x08040201,
1603            0x08040201, std::equal_to<>());
1604        uint32_t signs1 = dpct::vectorized_binary<sycl::uchar4>(
1605            ((bq2->signs[4 * ib32 + l] >> 4) * 0x01010101) & 0x08040201,
1606            0x08040201, std::equal_to<>());
1607        const int grid_l = dpct::vectorized_binary<sycl::uchar4>(
1608            grid1[0] ^ signs0, signs0, std::minus<>());
1609        const int grid_h = dpct::vectorized_binary<sycl::uchar4>(
1610            grid2[0] ^ signs1, signs1, std::minus<>());
1611        sumi = dpct::dp4a(grid_l, *((const int *)q8 + 0), sumi);
1612        sumi = dpct::dp4a(grid_h, *((const int *)q8 + 1), sumi);
1613        q8 += 8;
1614    }
1615    const float d =
1616        (float)bq2->d *
1617        (1 + 2 * ((bq2->scales[ib32 / 2] >> 4 * (ib32 % 2)) & 0xf)) *
1618        bq8_1[ib32].ds[0];
1619    return d * sumi;
1620#else
1621    assert(false);
1622#endif
1623}
1624
1625#define VDR_IQ1_S_Q8_1_MMVQ 1
1626
1627static __dpct_inline__ float
1628vec_dot_iq1_s_q8_1(const void *__restrict__ vbq,
1629                   const block_q8_1 *__restrict__ bq8_1, const int &iqs,
1630                   const uint32_t *iq1s_grid_gpu) {
1631#if QK_K == 256
1632    const block_iq1_s * bq1 = (const block_iq1_s *) vbq;
1633
1634    const int ib32 = iqs;
1635    int sumi = 0;
1636    const int * q8 = (const int *)bq8_1[ib32].qs;
1637    for (int l = 0; l < 4; ++l) {
1638        const int * grid = (const int *)(iq1s_grid_gpu + (bq1->qs[4*ib32+l] | (((bq1->qh[ib32] >> 3*l) & 7) << 8)));
1639        int grid0 = grid[0] & 0x0f0f0f0f;
1640        int grid1 = (grid[0] >> 4) & 0x0f0f0f0f;
1641        sumi = dpct::dp4a(q8[2 * l + 1], grid1,
1642                          dpct::dp4a(q8[2 * l + 0], grid0, sumi));
1643    }
1644
1645    const float delta = bq1->qh[ib32] & 0x8000 ? -1-IQ1S_DELTA : -1+IQ1S_DELTA;
1646    const float d1q = (float)bq1->d * (2*((bq1->qh[ib32] >> 12) & 7) + 1);
1647    const float d = d1q * bq8_1[ib32].ds[0];
1648    const float m = d1q * bq8_1[ib32].ds[1];
1649    return d * sumi + m * delta;
1650#else
1651    assert(false);
1652#endif
1653}
1654
1655#define VDR_IQ1_M_Q8_1_MMVQ 1
1656
1657static __dpct_inline__ float
1658vec_dot_iq1_m_q8_1(const void *__restrict__ vbq,
1659                   const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1660#if QK_K == 256
1661    const block_iq1_m * bq1 = (const block_iq1_m *) vbq;
1662
1663    const int ib32 = iqs;
1664    int   sumi[2] = {0, 0};
1665    float sumf[2] = {0.f, 0.f};
1666
1667    const int * q8 = (const int *)bq8_1[ib32].qs;
1668    for (int l = 0; l < 4; ++l) {
1669        const int * grid = (const int *)(iq1s_grid_gpu + (bq1->qs[4*ib32+l] | (((bq1->qh[2*ib32+l/2] >> 4*(l%2)) & 7) << 8)));
1670        int grid0 = grid[0] & 0x0f0f0f0f;
1671        int grid1 = (grid[0] >> 4) & 0x0f0f0f0f;
1672        sumi[l / 2] = dpct::dp4a(q8[2 * l + 1], grid1,
1673                                 dpct::dp4a(q8[2 * l + 0], grid0, sumi[l / 2]));
1674        const float delta = (bq1->qh[2*ib32+l/2] >> 4*(l%2)) & 0x08 ? -1-IQ1M_DELTA : -1+IQ1M_DELTA;
1675        const int sumy = dpct::dp4a(q8[2 * l + 1], 0x01010101,
1676                                    dpct::dp4a(q8[2 * l + 0], 0x01010101, 0));
1677        sumf[l/2] += delta*sumy;
1678    }
1679
1680    iq1m_scale_t scale;
1681    const uint16_t * sc = (const uint16_t *)bq1->scales;
1682    scale.u16 = (sc[0] >> 12) | ((sc[1] >> 8) & 0x00f0) | ((sc[2] >> 4) & 0x0f00) | (sc[3] & 0xf000);
1683    const float d = (float)scale.f16 * bq8_1[ib32].ds[0];
1684    return d * ((sumi[0] + sumf[0]) * (2*((sc[ib32/2] >> 6*(ib32%2)) & 0x7) + 1) + (sumi[1] + sumf[1]) * (2*((sc[ib32/2] >> (6*(ib32%2)+3)) & 0x7) + 1));
1685#else
1686    assert(false);
1687#endif
1688}
1689
1690
1691#define VDR_IQ4_NL_Q8_1_MMVQ 2
1692
1693static __dpct_inline__ float
1694vec_dot_iq4_nl_q8_1(const void *__restrict__ vbq,
1695                    const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1696
1697    const block_iq4_nl * bq = (const block_iq4_nl *) vbq;
1698
1699    const uint16_t * q4 = (const uint16_t *)bq->qs + 2*iqs;
1700    const int32_t  * q8 = (const int32_t  *)bq8_1->qs + iqs;
1701
1702    const uint8_t * values = (const uint8_t *)kvalues_iq4nl;
1703
1704    int v1, v2;
1705    int sumi1 = 0, sumi2 = 0;
1706    for (int l = 0; l < VDR_Q4_0_Q8_1_MMVQ; ++l) {
1707        const uint32_t aux = q4[2*l] | (q4[2*l+1] << 16);
1708        get_int_from_table_16(aux, values, v1, v2);
1709        sumi1 = dpct::dp4a(v1, q8[l + 0], sumi1);
1710        sumi2 = dpct::dp4a(v2, q8[l + 4], sumi2);
1711    }
1712
1713    const float d = (float)bq->d * bq8_1->ds[0];
1714    return d * (sumi1 + sumi2);
1715}
1716
1717
1718#define VDR_IQ4_XS_Q8_1_MMVQ 1
1719
1720static __dpct_inline__ float
1721vec_dot_iq4_xs_q8_1(const void *__restrict__ vbq,
1722                    const block_q8_1 *__restrict__ bq8_1, const int &iqs) {
1723
1724#if QK_K == 256
1725    const block_iq4_xs * bq4 = (const block_iq4_xs *) vbq;
1726    const uint8_t * values = (const uint8_t *)kvalues_iq4nl;
1727
1728    // iqs is 0...7
1729    const int ib32 = iqs;
1730    const int32_t  * q8 = (const int *)bq8_1[ib32].qs;
1731    const uint32_t * q4 = (const uint32_t *)bq4->qs + 4*ib32;
1732    const int8_t ls = ((bq4->scales_l[ib32/2] >> 4*(ib32%2)) & 0xf) | (((bq4->scales_h >> 2*ib32) & 3) << 4);
1733    const float d = (float)bq4->d * (ls - 32) * bq8_1[ib32].ds[0];
1734    int v1, v2;
1735    int sumi1 = 0, sumi2 = 0;
1736    for (int j = 0; j < 4; ++j) {
1737        get_int_from_table_16(q4[j], values, v1, v2);
1738        sumi1 = dpct::dp4a(v1, q8[j + 0], sumi1);
1739        sumi2 = dpct::dp4a(v2, q8[j + 4], sumi2);
1740    }
1741    return d * (sumi1 + sumi2);
1742#else
1743    assert(false);
1744#endif
1745}
1746
1747#endif // GGML_SYCL_VECDOTQ_HPP