#if !defined(DATA_A_F32) && !defined(DATA_A_F16) #extension GL_EXT_shader_explicit_arithmetic_types_int8 : require #endif #include "types.comp" #if defined(A_TYPE_PACKED16) layout (binding = 0) readonly buffer A_PACKED16 {A_TYPE_PACKED16 data_a_packed16[];}; #endif #if defined(A_TYPE_PACKED32) layout (binding = 0) readonly buffer A_PACKED32 {A_TYPE_PACKED32 data_a_packed32[];}; #endif #if defined(DATA_A_F32) vec2 dequantize(uint ib, uint iqs, uint a_offset) { return vec2(data_a[a_offset + ib], data_a[a_offset + ib + 1]); } #endif #if defined(DATA_A_F16) vec2 dequantize(uint ib, uint iqs, uint a_offset) { return vec2(data_a[a_offset + ib], data_a[a_offset + ib + 1]); } #endif #if defined(DATA_A_Q4_0) vec2 dequantize(uint ib, uint iqs, uint a_offset) { const uint vui = uint(data_a[a_offset + ib].qs[iqs]); return (vec2(vui & 0xF, vui >> 4) - 8.0f); } vec4 dequantize4(uint ib, uint iqs, uint a_offset) { const uint vui = uint(data_a_packed16[a_offset + ib].qs[iqs/2]); return (vec4(vui & 0xF, (vui >> 4) & 0xF, (vui >> 8) & 0xF, vui >> 12) - 8.0f); } #endif #if defined(DATA_A_Q4_1) vec2 dequantize(uint ib, uint iqs, uint a_offset) { const uint vui = uint(data_a[a_offset + ib].qs[iqs]); return vec2(vui & 0xF, vui >> 4); } vec4 dequantize4(uint ib, uint iqs, uint a_offset) { const uint vui = uint(data_a_packed16[a_offset + ib].qs[iqs/2]); return vec4(vui & 0xF, (vui >> 4) & 0xF, (vui >> 8) & 0xF, vui >> 12); } #endif #if defined(DATA_A_Q5_0) vec2 dequantize(uint ib, uint iqs, uint a_offset) { const uint uint_qh = uint(data_a[a_offset + ib].qh[1]) << 16 | data_a[a_offset + ib].qh[0]; const ivec2 qh = ivec2(((uint_qh >> iqs) << 4) & 0x10, (uint_qh >> (iqs + 12)) & 0x10); const uint vui = uint(data_a[a_offset + ib].qs[iqs]); return (vec2((vui & 0xF) | qh.x, (vui >> 4) | qh.y) - 16.0f); } vec4 dequantize4(uint ib, uint iqs, uint a_offset) { const uint uint_qh = uint(data_a_packed16[a_offset + ib].qh[1]) << 16 | data_a_packed16[a_offset + ib].qh[0]; const ivec2 qh0 = ivec2(((uint_qh >> iqs) << 4) & 0x10, (uint_qh >> (iqs + 12)) & 0x10); const ivec2 qh1 = ivec2(((uint_qh >> (iqs + 1)) << 4) & 0x10, (uint_qh >> (iqs + 13)) & 0x10); const uint vui = uint(data_a_packed16[a_offset + ib].qs[iqs/2]); return (vec4((vui & 0xF) | qh0.x, ((vui >> 4) & 0xF) | qh0.y, ((vui >> 8) & 0xF) | qh1.x, (vui >> 12) | qh1.y) - 16.0f); } #endif #if defined(DATA_A_Q5_1) vec2 dequantize(uint ib, uint iqs, uint a_offset) { const uint uint_qh = data_a[a_offset + ib].qh; const ivec2 qh = ivec2(((uint_qh >> iqs) << 4) & 0x10, (uint_qh >> (iqs + 12)) & 0x10); const uint vui = uint(data_a[a_offset + ib].qs[iqs]); return vec2((vui & 0xF) | qh.x, (vui >> 4) | qh.y); } vec4 dequantize4(uint ib, uint iqs, uint a_offset) { const uint uint_qh = data_a_packed16[a_offset + ib].qh; const ivec2 qh0 = ivec2(((uint_qh >> iqs) << 4) & 0x10, (uint_qh >> (iqs + 12)) & 0x10); const ivec2 qh1 = ivec2(((uint_qh >> (iqs + 1)) << 4) & 0x10, (uint_qh >> (iqs + 13)) & 0x10); const uint vui = uint(data_a_packed16[a_offset + ib].qs[iqs/2]); return vec4((vui & 0xF) | qh0.x, ((vui >> 4) & 0xF) | qh0.y, ((vui >> 8) & 0xF) | qh1.x, (vui >> 12) | qh1.y); } #endif #if defined(DATA_A_Q8_0) vec2 dequantize(uint ib, uint iqs, uint a_offset) { return vec2(int(data_a[a_offset + ib].qs[iqs]), int(data_a[a_offset + ib].qs[iqs + 1])); } vec4 dequantize4(uint ib, uint iqs, uint a_offset) { uint32_t v0 = data_a_packed16[a_offset + ib].qs[iqs/2]; uint32_t v1 = data_a_packed16[a_offset + ib].qs[iqs/2 + 1]; return vec4(int8_t(v0 & 0xFF), int8_t(v0 >> 8), int8_t(v1 & 0xFF), int8_t(v1 >> 8)); } #endif #if defined(DATA_A_IQ2_XXS) vec2 dequantize(uint ib, uint iqs, uint a_offset) { const uint ib32 = iqs / 32; const uint ib8 = (iqs / 8) % 4; const uint qs = data_a[a_offset + ib].qs[8 * ib32 + ib8]; // Scales are stored as packed 7+7+7+7+4 bits (4 sign tuples and 1 int4 scale) const uint signs = pack32(u16vec2(data_a_packed16[a_offset + ib].qs[4 * ib32 + 2], data_a_packed16[a_offset + ib].qs[4 * ib32 + 3])); const float db = 0.25 * (0.5 + (signs >> 28)); const uint sign7 = bitfieldExtract(signs, 7 * int(ib8), 7); // Add parity bit const uint sign8 = sign7 | (bitCount(sign7) << 7); const uint sign = sign8 >> (iqs % 8); const u8vec4 grid = unpack8(iq2xxs_grid[qs][(iqs % 8) / 4] >> (8 * (iqs % 4))); bool sign0 = (sign & 1) != 0; bool sign1 = (sign & 2) != 0; return db * vec2( grid.x * (sign0 ? -1.0 : 1.0), grid.y * (sign1 ? -1.0 : 1.0) ); } vec4 dequantize4(uint ib, uint iqs, uint a_offset) { const uint ib32 = iqs / 32; const uint ib8 = (iqs / 8) % 4; const uint qs = data_a[a_offset + ib].qs[8 * ib32 + ib8]; // Scales are stored as packed 7+7+7+7+4 bits (4 sign tuples and 1 int4 scale) const uint signs = pack32(u16vec2(data_a_packed16[a_offset + ib].qs[4 * ib32 + 2], data_a_packed16[a_offset + ib].qs[4 * ib32 + 3])); const float db = 0.25 * (0.5 + (signs >> 28)); const uint sign7 = bitfieldExtract(signs, 7 * int(ib8), 7); // Add parity bit const uint sign8 = sign7 | (bitCount(sign7) << 7); const uint sign = sign8 >> (iqs % 8); const u8vec4 grid = unpack8(iq2xxs_grid[qs][(iqs % 8) / 4] >> (8 * (iqs % 4))); bool sign0 = (sign & 1) != 0; bool sign1 = (sign & 2) != 0; bool sign2 = (sign & 4) != 0; bool sign3 = (sign & 8) != 0; return db * vec4( grid.x * (sign0 ? -1.0 : 1.0), grid.y * (sign1 ? -1.0 : 1.0), grid.z * (sign2 ? -1.0 : 1.0), grid.w * (sign3 ? -1.0 : 1.0) ); } #endif #if defined(DATA_A_IQ2_XS) vec2 dequantize(uint ib, uint iqs, uint a_offset) { const uint scale = (data_a[a_offset + ib].scales[iqs / 32] >> (4 * ((iqs / 16) & 1))) & 0xf; const uint qs = data_a[a_offset + ib].qs[iqs / 8]; const float db = 0.25 * (0.5 + scale); const uint sign7 = qs >> 9; // Add parity bit const uint sign8 = sign7 | (bitCount(sign7) << 7); const uint sign = sign8 >> (iqs % 8); const u8vec4 grid = unpack8(iq2xs_grid[qs & 511][(iqs % 8) / 4] >> (8 * (iqs % 4))); bool sign0 = (sign & 1) != 0; bool sign1 = (sign & 2) != 0; return db * vec2( grid.x * (sign0 ? -1.0 : 1.0), grid.y * (sign1 ? -1.0 : 1.0) ); } vec4 dequantize4(uint ib, uint iqs, uint a_offset) { const uint scale = (data_a[a_offset + ib].scales[iqs / 32] >> (4 * ((iqs / 16) & 1))) & 0xf; const uint qs = data_a[a_offset + ib].qs[iqs / 8]; const float db = 0.25 * (0.5 + scale); const uint sign7 = qs >> 9; // Add parity bit const uint sign8 = sign7 | (bitCount(sign7) << 7); const uint sign = sign8 >> (iqs % 8); const u8vec4 grid = unpack8(iq2xs_grid[qs & 511][(iqs % 8) / 4] >> (8 * (iqs % 4))); bool sign0 = (sign & 1) != 0; bool sign1 = (sign & 2) != 0; bool sign2 = (sign & 4) != 0; bool sign3 = (sign & 8) != 0; return db * vec4( grid.x * (sign0 ? -1.0 : 1.0), grid.y * (sign1 ? -1.0 : 1.0), grid.z * (sign2 ? -1.0 : 1.0), grid.w * (sign3 ? -1.0 : 1.0) ); } #endif #if defined(DATA_A_IQ2_S) vec2 dequantize(uint ib, uint iqs, uint a_offset) { const uint ib32 = iqs / 32; const uint ib8 = iqs / 8; const uint scale = (data_a[a_offset + ib].scales[ib32] >> (4 * ((iqs / 16) & 1))) & 0xf; const uint qs = data_a[a_offset + ib].qs[ib8]; const uint qh = data_a[a_offset + ib].qh[ib32]; const uint qhshift = 2 * (ib8 % 4); const uint sign = data_a[a_offset + ib].qs[QUANT_K / 8 + ib8] >> (iqs % 8); const float db = 0.25 * (0.5 + scale); const u8vec4 grid = unpack8(iq2s_grid[qs | ((qh << (8 - qhshift)) & 0x300)][(iqs % 8) / 4]); bool sign0 = (sign & 1) != 0; bool sign1 = (sign & 2) != 0; return db * vec2( grid[iqs % 4] * (sign0 ? -1.0 : 1.0), grid[(iqs % 4) + 1] * (sign1 ? -1.0 : 1.0) ); } vec4 dequantize4(uint ib, uint iqs, uint a_offset) { const uint ib32 = iqs / 32; const uint ib8 = iqs / 8; const uint scale = (data_a[a_offset + ib].scales[ib32] >> (4 * ((iqs / 16) & 1))) & 0xf; const uint qs = data_a[a_offset + ib].qs[ib8]; const uint qh = data_a[a_offset + ib].qh[ib32]; const uint qhshift = 2 * (ib8 % 4); const uint sign = data_a[a_offset + ib].qs[QUANT_K / 8 + ib8] >> (iqs % 8); const float db = 0.25 * (0.5 + scale); const u8vec4 grid = unpack8(iq2s_grid[qs | ((qh << (8 - qhshift)) & 0x300)][(iqs % 8) / 4]); bool sign0 = (sign & 1) != 0; bool sign1 = (sign & 2) != 0; bool sign2 = (sign & 4) != 0; bool sign3 = (sign & 8) != 0; return db * vec4( grid.x * (sign0 ? -1.0 : 1.0), grid.y * (sign1 ? -1.0 : 1.0), grid.z * (sign2 ? -1.0 : 1.0), grid.w * (sign3 ? -1.0 : 1.0) ); } #endif #if defined(DATA_A_IQ3_XXS) vec2 dequantize(uint ib, uint iqs, uint a_offset) { const uint ib4 = iqs / 4; const uint ib32 = iqs / 32; const uint is = QUANT_K / 4 + 4 * ib32; const uint qs = data_a[a_offset + ib].qs[ib4]; // Scales are stored as packed 7+7+7+7+4 bits (4 sign tuples and 1 int4 scale) const uint signs = pack32(u16vec2(data_a_packed16[a_offset + ib].qs[is / 2], data_a_packed16[a_offset + ib].qs[is / 2 + 1])); const float db = 0.5 * (0.5 + (signs >> 28)); const uint sign7 = bitfieldExtract(signs, 7 * (int(ib4 / 2) % 4), 7); // Add parity bit const uint sign8 = sign7 | (bitCount(sign7) << 7); const uint sign = sign8 >> (iqs % 8); const u8vec4 grid = unpack8(iq3xxs_grid[qs] >> (8 * (iqs % 4))); bool sign0 = (sign & 1) != 0; bool sign1 = (sign & 2) != 0; return db * vec2( grid.x * (sign0 ? -1.0 : 1.0), grid.y * (sign1 ? -1.0 : 1.0) ); } vec4 dequantize4(uint ib, uint iqs, uint a_offset) { const uint ib4 = iqs / 4; const uint ib32 = iqs / 32; const uint is = QUANT_K / 4 + 4 * ib32; const uint qs = data_a[a_offset + ib].qs[ib4]; const uint signs = pack32(u16vec2(data_a_packed16[a_offset + ib].qs[is / 2], data_a_packed16[a_offset + ib].qs[is / 2 + 1])); const float db = 0.5 * (0.5 + (signs >> 28)); const uint sign7 = bitfieldExtract(signs, 7 * (int(ib4 / 2) % 4), 7); // Add parity bit const uint sign8 = sign7 | (bitCount(sign7) << 7); const uint sign = sign8 >> (iqs % 8); const u8vec4 grid = unpack8(iq3xxs_grid[qs]); bool sign0 = (sign & 1) != 0; bool sign1 = (sign & 2) != 0; bool sign2 = (sign & 4) != 0; bool sign3 = (sign & 8) != 0; return db * vec4( grid.x * (sign0 ? -1.0 : 1.0), grid.y * (sign1 ? -1.0 : 1.0), grid.z * (sign2 ? -1.0 : 1.0), grid.w * (sign3 ? -1.0 : 1.0) ); } #endif #if defined(DATA_A_IQ3_S) vec2 dequantize(uint ib, uint iqs, uint a_offset) { const uint qs = data_a[a_offset + ib].qs[iqs / 4]; const uint qh = data_a[a_offset + ib].qh[iqs / 32]; const uint sign = data_a[a_offset + ib].signs[iqs / 8] >> (iqs % 8); const uint scale = data_a[a_offset + ib].scales[iqs / 64]; bool sign0 = (sign & 1) != 0; bool sign1 = (sign & 2) != 0; const float db = 1 + 2 * ((scale >> (4 * ((iqs / 32) & 1))) & 0xf); const uint32_t grid = iq3s_grid[qs | ((qh << (8 - ((iqs / 4) % 8))) & 256)] >> (8 * (iqs % 4)); return db * vec2( int(grid & 0xFF) * (sign0 ? -1.0 : 1.0), int((grid >> 8) & 0xFF) * (sign1 ? -1.0 : 1.0) ); } vec4 dequantize4(uint ib, uint iqs, uint a_offset) { const uint ib4 = iqs / 4; const uint ib32 = iqs / 32; const uint qs = data_a[a_offset + ib].qs[ib4]; const uint qh = data_a[a_offset + ib].qh[ib32]; const uint sign = data_a[a_offset + ib].signs[iqs / 8] >> (iqs % 8); const uint scale = data_a[a_offset + ib].scales[ib32 / 2]; bool sign0 = (sign & 1) != 0; bool sign1 = (sign & 2) != 0; bool sign2 = (sign & 4) != 0; bool sign3 = (sign & 8) != 0; const float db = 1 + 2 * ((scale >> (4 * (ib32 & 1))) & 0xf); const uint32_t grid = iq3s_grid[qs | ((qh << (8 - ib4 % 8)) & 256)] >> (8 * (iqs % 4)); return db * vec4( int(grid & 0xFF) * (sign0 ? -1.0 : 1.0), int((grid >> 8) & 0xFF) * (sign1 ? -1.0 : 1.0), int((grid >> 16) & 0xFF) * (sign2 ? -1.0 : 1.0), int((grid >> 24) & 0xFF) * (sign3 ? -1.0 : 1.0) ); } #endif #if defined(DATA_A_IQ4_NL) vec2 dequantize(uint ib, uint iqs, uint a_offset) { const uint vui = uint(data_a[a_offset + ib].qs[iqs]); return vec2(kvalues_iq4nl[vui & 0xF], kvalues_iq4nl[vui >> 4]); } vec4 dequantize4(uint ib, uint iqs, uint a_offset) { const uint vui = uint(data_a_packed16[a_offset + ib].qs[iqs/2]); return vec4(kvalues_iq4nl[vui & 0xF], kvalues_iq4nl[(vui >> 4) & 0xF], kvalues_iq4nl[(vui >> 8) & 0xF], kvalues_iq4nl[vui >> 12]); } #endif #if defined(DATA_A_F32) || defined(DATA_A_F16) vec2 get_dm(uint ib, uint a_offset) { return vec2(0, 0); } #endif #if defined(DATA_A_Q4_0) || defined(DATA_A_Q5_0) || defined(DATA_A_Q8_0) || defined(DATA_A_IQ2_XXS) || defined(DATA_A_IQ2_XS) || defined(DATA_A_IQ2_S) || defined(DATA_A_IQ3_XXS) || defined(DATA_A_IQ3_S) || defined(DATA_A_IQ4_NL) vec2 get_dm(uint ib, uint a_offset) { return vec2(float(data_a[a_offset + ib].d), 0); } #endif #if defined(DATA_A_Q4_1) || defined(DATA_A_Q5_1) vec2 get_dm(uint ib, uint a_offset) { return vec2(float(data_a[a_offset + ib].d), float(data_a[a_offset + ib].m)); } #endif