// Q4_K dequant + matmul with workgroup_size=256.
//
// On AMD GCN, WG=256 packs 4 waves per WG (= 1 wave per SIMD16 in a CU). The
// HW scheduler can interleave instructions across the 4 waves to hide weight-
// read latency, which is the dominant cost for single-token decode. The
// non-tiled (1 thread/output) kernel ran at 937 ms/tok on Pro 555; this is
// the same algorithm with a bigger WG so the per-CU latency-hiding window
// covers more outputs at once.
//
// No LDS: each thread reads its own x stream from global. The non-tiled
// (q4_k_dequant_matmul.wgsl) was empirically faster than the LDS-tiled
// variant on AMD/Apple — single-token decode is bandwidth-bound, not
// LDS-bound — so we keep that structure and just widen the WG.
struct Params {
k: u32,
n: u32,
}
@group(0) @binding(0) var<uniform> params: Params;
@group(0) @binding(1) var<storage, read> weight: array<u32>;
@group(0) @binding(2) var<storage, read> x: array<f32>;
@group(0) @binding(3) var<storage, read_write> y: array<f32>;
const BLOCK_ELEMS: u32 = 256u;
const BLOCK_BYTES: u32 = 144u;
fn read_byte(byte_off: u32) -> u32 {
let u32_idx = byte_off >> 2u;
let shift = (byte_off & 3u) << 3u;
return (weight[u32_idx] >> shift) & 0xFFu;
}
fn read_f16_as_f32(byte_off: u32) -> f32 {
let lo = read_byte(byte_off);
let hi = read_byte(byte_off + 1u);
let packed: u32 = lo | (hi << 8u);
return unpack2x16float(packed).x;
}
@compute @workgroup_size(256)
fn main(@builtin(global_invocation_id) gid: vec3<u32>) {
let j: u32 = gid.x;
if (j >= params.n) { return; }
let n_blocks: u32 = params.k / BLOCK_ELEMS;
let row_bytes: u32 = n_blocks * BLOCK_BYTES;
let row_byte_off: u32 = j * row_bytes;
var acc: f32 = 0.0;
for (var b: u32 = 0u; b < n_blocks; b = b + 1u) {
let block_off: u32 = row_byte_off + b * BLOCK_BYTES;
let x_base: u32 = b * BLOCK_ELEMS;
let d: f32 = read_f16_as_f32(block_off + 0u);
let dmin: f32 = read_f16_as_f32(block_off + 2u);
var sb: array<u32, 12>;
for (var s: u32 = 0u; s < 12u; s = s + 1u) {
sb[s] = read_byte(block_off + 4u + s);
}
var scales: array<f32, 8>;
var mins: array<f32, 8>;
for (var jj: u32 = 0u; jj < 8u; jj = jj + 1u) {
var sc: u32;
var mn: u32;
if (jj < 4u) {
sc = sb[jj] & 63u;
mn = sb[jj + 4u] & 63u;
} else {
sc = (sb[jj + 4u] & 0xFu) | (((sb[jj - 4u] >> 6u) & 3u) << 4u);
mn = ((sb[jj + 4u] >> 4u) & 0xFu) | (((sb[jj] >> 6u) & 3u) << 4u);
}
scales[jj] = f32(sc);
mins[jj] = f32(mn);
}
let qs_off: u32 = block_off + 16u;
for (var c: u32 = 0u; c < 4u; c = c + 1u) {
let is_lo: u32 = 2u * c;
let is_hi: u32 = is_lo + 1u;
let chunk_qs_off: u32 = qs_off + c * 32u;
let s_lo = scales[is_lo];
let m_lo = mins[is_lo];
let s_hi = scales[is_hi];
let m_hi = mins[is_hi];
let elem_base: u32 = x_base + c * 64u;
for (var l: u32 = 0u; l < 32u; l = l + 1u) {
let q = read_byte(chunk_qs_off + l);
let q_lo: f32 = f32(q & 0xFu);
let q_hi: f32 = f32(q >> 4u);
let v_lo: f32 = d * s_lo * q_lo - dmin * m_lo;
let v_hi: f32 = d * s_hi * q_hi - dmin * m_hi;
acc = acc + x[elem_base + l ] * v_lo;
acc = acc + x[elem_base + l + 32u ] * v_hi;
}
}
}
y[j] = acc;
}