use super::iq1s_grid::IQ1S_GRID;
use crate::error::{QuantError, QuantResult};
use crate::traits::QuantKernel;
use crate::types::QuantTensor;
const IQ1S_BLOCK_SIZE: usize = 256;
const IQ1S_BLOCK_BYTES: usize = 50;
const IQ1S_QS_OFFSET: usize = 2;
const IQ1S_QH_OFFSET: usize = 34;
const IQ1S_N_SUBBLOCKS: usize = 8;
const IQ1S_SUB_BLOCK_SIZE: usize = IQ1S_BLOCK_SIZE / IQ1S_N_SUBBLOCKS; const IQ1S_GROUPS_PER_SUB: usize = 4;
const IQ1S_WEIGHTS_PER_GROUP: usize = 8;
const IQ1S_DELTA: f32 = 0.125;
pub struct Iq1SRef;
impl QuantKernel for Iq1SRef {
fn dequant_block(&self, block: &[u8], output: &mut [f32]) -> QuantResult<()> {
if block.len() < IQ1S_BLOCK_BYTES {
return Err(QuantError::BufferTooSmall {
needed: IQ1S_BLOCK_BYTES,
available: block.len(),
});
}
if output.len() < IQ1S_BLOCK_SIZE {
return Err(QuantError::BufferTooSmall {
needed: IQ1S_BLOCK_SIZE,
available: output.len(),
});
}
let d = half::f16::from_le_bytes([block[0], block[1]]).to_f32();
let qs = &block[IQ1S_QS_OFFSET..IQ1S_QH_OFFSET];
let qh_bytes = &block[IQ1S_QH_OFFSET..IQ1S_BLOCK_BYTES];
for ib in 0..IQ1S_N_SUBBLOCKS {
let qh_val = u16::from_le_bytes([qh_bytes[ib * 2], qh_bytes[ib * 2 + 1]]);
let scale_bits = ((qh_val >> 12) & 0x7) as f32;
let dl = d * (2.0 * scale_bits + 1.0);
let delta = if qh_val & 0x8000 != 0 {
-IQ1S_DELTA
} else {
IQ1S_DELTA
};
let qs_base = ib * IQ1S_GROUPS_PER_SUB;
let output_base = ib * IQ1S_SUB_BLOCK_SIZE;
for l in 0..IQ1S_GROUPS_PER_SUB {
let upper_bits = ((qh_val >> (3 * l as u16)) & 0x7) as usize;
let grid_idx = (qs[qs_base + l] as usize) | (upper_bits << 8);
let grid_raw = IQ1S_GRID[grid_idx].to_le_bytes();
let group_base = output_base + l * IQ1S_WEIGHTS_PER_GROUP;
for j in 0..IQ1S_WEIGHTS_PER_GROUP {
let gv = grid_raw[j] as i8 as f32;
output[group_base + j] = dl * (gv + delta);
}
}
}
Ok(())
}
fn gemv(
&self,
quant_matrix: &QuantTensor,
input: &[f32],
output: &mut [f32],
) -> QuantResult<()> {
let n_rows = quant_matrix.shape[0];
let n_cols = if quant_matrix.shape.len() > 1 {
quant_matrix.shape[1]
} else {
quant_matrix.n_elements() / n_rows
};
if input.len() < n_cols {
return Err(QuantError::DimensionMismatch {
expected: n_cols,
got: input.len(),
});
}
if output.len() < n_rows {
return Err(QuantError::DimensionMismatch {
expected: n_rows,
got: output.len(),
});
}
let blocks_per_row = n_cols.div_ceil(IQ1S_BLOCK_SIZE);
let row_bytes = blocks_per_row * IQ1S_BLOCK_BYTES;
for (row, out) in output.iter_mut().enumerate().take(n_rows) {
let row_start = row * row_bytes;
let mut sum = 0.0_f32;
for blk in 0..blocks_per_row {
let block_offset = row_start + blk * IQ1S_BLOCK_BYTES;
let block = &quant_matrix.data[block_offset..block_offset + IQ1S_BLOCK_BYTES];
let d = half::f16::from_le_bytes([block[0], block[1]]).to_f32();
let qs = &block[IQ1S_QS_OFFSET..IQ1S_QH_OFFSET];
let qh_bytes = &block[IQ1S_QH_OFFSET..IQ1S_BLOCK_BYTES];
for ib in 0..IQ1S_N_SUBBLOCKS {
let qh_val = u16::from_le_bytes([qh_bytes[ib * 2], qh_bytes[ib * 2 + 1]]);
let scale_bits = ((qh_val >> 12) & 0x7) as f32;
let dl = d * (2.0 * scale_bits + 1.0);
let delta = if qh_val & 0x8000 != 0 {
-IQ1S_DELTA
} else {
IQ1S_DELTA
};
let qs_base = ib * IQ1S_GROUPS_PER_SUB;
let col_base = blk * IQ1S_BLOCK_SIZE + ib * IQ1S_SUB_BLOCK_SIZE;
for l in 0..IQ1S_GROUPS_PER_SUB {
let upper_bits = ((qh_val >> (3 * l as u16)) & 0x7) as usize;
let grid_idx = (qs[qs_base + l] as usize) | (upper_bits << 8);
let grid_raw = IQ1S_GRID[grid_idx].to_le_bytes();
let col = col_base + l * IQ1S_WEIGHTS_PER_GROUP;
for (j, &raw_byte) in grid_raw.iter().enumerate() {
let idx = col + j;
if idx >= n_cols {
break;
}
let gv = raw_byte as i8 as f32;
sum += dl * (gv + delta) * input[idx];
}
}
}
}
*out = sum;
}
Ok(())
}
fn gemm(
&self,
quant_matrix: &QuantTensor,
input: &[f32],
output: &mut [f32],
m: usize,
n: usize,
k: usize,
) -> QuantResult<()> {
for row in 0..m {
let input_row = &input[row * k..(row + 1) * k];
let output_row = &mut output[row * n..(row + 1) * n];
self.gemv(quant_matrix, input_row, output_row)?;
}
Ok(())
}
fn block_size(&self) -> usize {
IQ1S_BLOCK_SIZE
}
fn block_bytes(&self) -> usize {
IQ1S_BLOCK_BYTES
}
fn name(&self) -> &'static str {
"IQ1_S"
}
}
#[cfg(test)]
mod tests {
use super::*;
use crate::traits::QuantKernel;
fn make_zero_iq1s_block(scale: f32) -> [u8; IQ1S_BLOCK_BYTES] {
let mut block = [0u8; IQ1S_BLOCK_BYTES];
let d_le = half::f16::from_f32(scale).to_le_bytes();
block[0] = d_le[0];
block[1] = d_le[1];
block
}
#[test]
fn test_iq1_s_metadata() {
assert_eq!(Iq1SRef.name(), "IQ1_S");
assert_eq!(Iq1SRef.block_size(), 256);
assert_eq!(Iq1SRef.block_bytes(), 50);
}
#[test]
fn test_dequant_buffer_too_small_block() {
let small = [0u8; 30];
let mut out = [0.0f32; 256];
let result = Iq1SRef.dequant_block(&small, &mut out);
assert!(matches!(result, Err(QuantError::BufferTooSmall { .. })));
}
#[test]
fn test_dequant_buffer_too_small_output() {
let block = make_zero_iq1s_block(1.0);
let mut out = [0.0f32; 100];
let result = Iq1SRef.dequant_block(&block, &mut out);
assert!(matches!(result, Err(QuantError::BufferTooSmall { .. })));
}
#[test]
fn test_dequant_zero_scale() {
let block = make_zero_iq1s_block(0.0);
let mut out = [1.0f32; 256];
Iq1SRef.dequant_block(&block, &mut out).unwrap();
for (i, &v) in out.iter().enumerate() {
assert_eq!(v, 0.0, "output[{i}] should be 0 when d=0, got {v}");
}
}
#[test]
fn test_dequant_grid0_positive_delta() {
let d = 2.0_f32;
let block = make_zero_iq1s_block(d);
let mut out = [0.0f32; 256];
Iq1SRef.dequant_block(&block, &mut out).unwrap();
let expected = d * (-1.0 + IQ1S_DELTA);
for (i, &v) in out.iter().enumerate() {
assert!(
(v - expected).abs() < 1e-4,
"output[{i}] = {v}, expected {expected}"
);
}
}
#[test]
fn test_dequant_scale_bits_set() {
let d = 1.0_f32;
let mut block = make_zero_iq1s_block(d);
block[IQ1S_QH_OFFSET] = 0x00;
block[IQ1S_QH_OFFSET + 1] = 0x30;
let mut out = [0.0f32; 256];
Iq1SRef.dequant_block(&block, &mut out).unwrap();
let expected_sb0 = d * 7.0 * (-1.0 + IQ1S_DELTA);
for (i, &v) in out.iter().enumerate().take(32) {
assert!(
(v - expected_sb0).abs() < 1e-4,
"output[{i}] = {v}, expected {expected_sb0}"
);
}
}
#[test]
fn test_dequant_negative_delta() {
let d = 1.0_f32;
let mut block = make_zero_iq1s_block(d);
block[IQ1S_QH_OFFSET] = 0x00;
block[IQ1S_QH_OFFSET + 1] = 0x80;
let mut out = [0.0f32; 256];
Iq1SRef.dequant_block(&block, &mut out).unwrap();
let expected_sb0 = d * 1.0 * (-1.0 - IQ1S_DELTA);
for (i, &v) in out.iter().enumerate().take(32) {
assert!(
(v - expected_sb0).abs() < 1e-4,
"output[{i}] = {v}, expected {expected_sb0}"
);
}
}
#[test]
fn test_supported_by_dispatcher() {
use crate::dispatch::KernelDispatcher;
let d = KernelDispatcher::new();
assert!(d.is_supported(oxillama_gguf::GgufTensorType::Iq1S));
}
#[test]
fn test_gemv_dot_ones_matches_dequant_sum() {
let d = 1.0_f32;
let block = make_zero_iq1s_block(d);
let mut dequant = [0.0f32; 256];
Iq1SRef.dequant_block(&block, &mut dequant).unwrap();
let expected: f32 = dequant.iter().sum();
let tensor = crate::types::QuantTensor::new(
block.to_vec(),
vec![1, 256],
oxillama_gguf::GgufTensorType::Iq1S,
);
let input = vec![1.0f32; 256];
let mut out = [0.0f32; 1];
Iq1SRef.gemv(&tensor, &input, &mut out).unwrap();
assert!(
(out[0] - expected).abs() < 1e-3,
"gemv={}, expected dequant_sum={}",
out[0],
expected
);
}
}