use half::f16;
use rayon::prelude::*;
use super::common::make_qx_quants;
pub const QK4_0: usize = 32;
pub const BLOCK_BYTES: usize = 2 + QK4_0 / 2;
fn quantize_row_ref(src: &[f32], out: &mut Vec<u8>) {
let qk = QK4_0;
debug_assert!(src.len() % qk == 0);
let nb = src.len() / qk;
for i in 0..nb {
let block = &src[i * qk..(i + 1) * qk];
let mut amax: f32 = 0.0;
let mut max: f32 = 0.0;
for j in 0..qk {
let v = block[j];
if amax < v.abs() {
amax = v.abs();
max = v;
}
}
let d = max / -8.0;
let id = if d != 0.0 { 1.0 / d } else { 0.0 };
out.extend_from_slice(&f16::from_f32(d).to_le_bytes());
for j in 0..qk / 2 {
let x0 = block[j] * id;
let x1 = block[qk / 2 + j] * id;
let xi0 = ((x0 + 8.5) as i8).min(15) as u8;
let xi1 = ((x1 + 8.5) as i8).min(15) as u8;
out.push(xi0 | (xi1 << 4));
}
}
}
fn quantize_row_impl(x: &[f32], imatrix: &[f32], out: &mut Vec<u8>) {
let n_per_row = x.len();
debug_assert_eq!(imatrix.len(), n_per_row);
debug_assert!(n_per_row % QK4_0 == 0);
let mut weight = [0.0f32; QK4_0];
let mut l_buf = [0i8; QK4_0];
let mut sum_x2: f32 = 0.0;
for j in 0..n_per_row {
sum_x2 += x[j] * x[j];
}
let sigma2 = sum_x2 / n_per_row as f32;
let nb = n_per_row / QK4_0;
for ib in 0..nb {
let xb = &x[QK4_0 * ib..QK4_0 * (ib + 1)];
let qw = &imatrix[QK4_0 * ib..QK4_0 * (ib + 1)];
for j in 0..QK4_0 {
weight[j] = qw[j] * (sigma2 + xb[j] * xb[j]).sqrt();
}
let d = make_qx_quants(QK4_0, 8, xb, &mut l_buf, 1, &weight);
out.extend_from_slice(&f16::from_f32(d).to_le_bytes());
for j in 0..16 {
let lo = l_buf[j] as u8;
let hi = l_buf[j + 16] as u8;
out.push(lo | (hi << 4));
}
}
}
pub fn quantize(src: &[f32], n_per_row: usize, imatrix: Option<&[f32]>) -> Vec<u8> {
assert!(
n_per_row % QK4_0 == 0,
"n_per_row {} not multiple of QK4_0 {}",
n_per_row,
QK4_0
);
assert!(
src.len() % n_per_row == 0,
"src len {} not multiple of n_per_row {}",
src.len(),
n_per_row
);
if let Some(im) = imatrix {
assert_eq!(
im.len(),
n_per_row,
"imatrix len {} must equal n_per_row {}",
im.len(),
n_per_row
);
}
let nrow = src.len() / n_per_row;
let blocks_per_row = n_per_row / QK4_0;
let row_bytes = blocks_per_row * BLOCK_BYTES;
let mut out = vec![0u8; nrow * row_bytes];
out.par_chunks_exact_mut(row_bytes)
.enumerate()
.for_each(|(row, dst)| {
let row_src = &src[row * n_per_row..(row + 1) * n_per_row];
let mut tmp = Vec::with_capacity(row_bytes);
match imatrix {
None => quantize_row_ref(row_src, &mut tmp),
Some(im) => quantize_row_impl(row_src, im, &mut tmp),
}
debug_assert_eq!(tmp.len(), row_bytes);
dst.copy_from_slice(&tmp);
});
out
}
#[cfg(test)]
mod tests {
use super::*;
use std::fs;
use std::path::PathBuf;
fn fixture_path(name: &str) -> PathBuf {
let manifest =
std::env::var("CARGO_MANIFEST_DIR").expect("CARGO_MANIFEST_DIR not set by cargo test");
PathBuf::from(manifest)
.join("tests/fixtures/ggml_quants")
.join(name)
}
fn read_f32s(name: &str) -> Vec<f32> {
let bytes = fs::read(fixture_path(name)).expect("read fixture");
assert!(
bytes.len() % 4 == 0,
"fixture {} not a multiple of 4 bytes",
name
);
let mut out = Vec::with_capacity(bytes.len() / 4);
for chunk in bytes.chunks_exact(4) {
out.push(f32::from_le_bytes([chunk[0], chunk[1], chunk[2], chunk[3]]));
}
out
}
fn read_bytes(name: &str) -> Vec<u8> {
fs::read(fixture_path(name)).expect("read fixture")
}
fn make_imatrix(n: usize, seed: u32) -> Vec<f32> {
let mut state = seed;
(0..n)
.map(|_| {
state = state.wrapping_add(0x6D2B79F5);
let mut t = state;
t = (t ^ (t >> 15)).wrapping_mul(t | 1);
t ^= t.wrapping_add((t ^ (t >> 7)).wrapping_mul(t | 61));
let u = t ^ (t >> 14);
let v = (u as f32 / u32::MAX as f32) * 2.0 - 1.0;
v.abs() + 1e-3
})
.collect()
}
#[test]
fn byte_cmp_noim() {
let input = read_f32s("q4_0_64_noim_input.bin");
let expected = read_bytes("q4_0_64_noim_expected.bin");
let got = quantize(&input, 64, None);
assert_eq!(got.len(), expected.len(), "Q4_0 noim length mismatch");
assert_eq!(got, expected, "Q4_0 noim byte-cmp failed");
}
#[test]
fn byte_cmp_im() {
let input = read_f32s("q4_0_64_im_input.bin");
let expected = read_bytes("q4_0_64_im_expected.bin");
let imatrix = make_imatrix(64, 2);
let got = quantize(&input, 64, Some(&imatrix));
assert_eq!(got.len(), expected.len(), "Q4_0 im length mismatch");
assert_eq!(got, expected, "Q4_0 im byte-cmp failed");
}
}