reifydb_codec/encoded/
i128.rs

1// SPDX-License-Identifier: Apache-2.0
2// Copyright (c) 2026 ReifyDB
3
4use std::ptr;
5
6use reifydb_value::{reifydb_assertions, value::value_type::ValueType};
7
8use crate::encoded::{row::EncodedRow, shape::RowShape};
9
10impl RowShape {
11	pub fn set_i128(&self, row: &mut EncodedRow, index: usize, value: impl Into<i128>) {
12		let field = &self.fields()[index];
13		reifydb_assertions! {
14			assert!(
15				row.len() >= self.total_static_size(),
16				"row/shape size mismatch: row.len()={} < total_static_size()={}",
17				row.len(),
18				self.total_static_size()
19			);
20			assert_eq!(*field.constraint.get_type().inner_type(), ValueType::Int16);
21		}
22		row.set_valid(index, true);
23		unsafe {
24			ptr::write_unaligned(
25				row.make_mut().as_mut_ptr().add(field.offset as usize) as *mut i128,
26				value.into(),
27			)
28		}
29	}
30
31	pub fn get_i128(&self, row: &EncodedRow, index: usize) -> i128 {
32		let field = &self.fields()[index];
33		reifydb_assertions! {
34			assert!(
35				row.len() >= self.total_static_size(),
36				"row/shape size mismatch: row.len()={} < total_static_size()={}",
37				row.len(),
38				self.total_static_size()
39			);
40			assert_eq!(*field.constraint.get_type().inner_type(), ValueType::Int16);
41		}
42		unsafe { (row.as_ptr().add(field.offset as usize) as *const i128).read_unaligned() }
43	}
44
45	pub fn try_get_i128(&self, row: &EncodedRow, index: usize) -> Option<i128> {
46		if row.is_defined(index) && self.fields()[index].constraint.get_type() == ValueType::Int16 {
47			Some(self.get_i128(row, index))
48		} else {
49			None
50		}
51	}
52}
53
54#[cfg(test)]
55pub mod tests {
56	use reifydb_value::value::value_type::ValueType;
57
58	use crate::encoded::shape::RowShape;
59
60	#[test]
61	fn test_set_get_i128() {
62		let shape = RowShape::testing(&[ValueType::Int16]);
63		let mut row = shape.allocate();
64		shape.set_i128(&mut row, 0, 123456789012345678901234567890i128);
65		assert_eq!(shape.get_i128(&row, 0), 123456789012345678901234567890i128);
66	}
67
68	#[test]
69	fn test_try_get_i128() {
70		let shape = RowShape::testing(&[ValueType::Int16]);
71		let mut row = shape.allocate();
72
73		assert_eq!(shape.try_get_i128(&row, 0), None);
74
75		shape.set_i128(&mut row, 0, 123456789012345678901234567890i128);
76		assert_eq!(shape.try_get_i128(&row, 0), Some(123456789012345678901234567890i128));
77	}
78
79	#[test]
80	fn test_extremes() {
81		let shape = RowShape::testing(&[ValueType::Int16]);
82		let mut row = shape.allocate();
83
84		shape.set_i128(&mut row, 0, i128::MAX);
85		assert_eq!(shape.get_i128(&row, 0), i128::MAX);
86
87		let mut row2 = shape.allocate();
88		shape.set_i128(&mut row2, 0, i128::MIN);
89		assert_eq!(shape.get_i128(&row2, 0), i128::MIN);
90
91		let mut row3 = shape.allocate();
92		shape.set_i128(&mut row3, 0, 0i128);
93		assert_eq!(shape.get_i128(&row3, 0), 0i128);
94	}
95
96	#[test]
97	fn test_very_large_values() {
98		let shape = RowShape::testing(&[ValueType::Int16]);
99
100		let test_values = [
101			-170141183460469231731687303715884105728i128, // i128::MIN
102			-99999999999999999999999999999999999999i128,
103			-1i128,
104			0i128,
105			1i128,
106			99999999999999999999999999999999999999i128,
107			170141183460469231731687303715884105727i128, // i128::MAX
108		];
109
110		for value in test_values {
111			let mut row = shape.allocate();
112			shape.set_i128(&mut row, 0, value);
113			assert_eq!(shape.get_i128(&row, 0), value);
114		}
115	}
116
117	#[test]
118	fn test_powers_of_ten() {
119		let shape = RowShape::testing(&[ValueType::Int16]);
120
121		let powers = [
122			1i128,
123			10i128,
124			100i128,
125			1_000i128,
126			10_000i128,
127			100_000i128,
128			1_000_000i128,
129			10_000_000i128,
130			100_000_000i128,
131			1_000_000_000i128,
132			10_000_000_000i128,
133			100_000_000_000i128,
134		];
135
136		for power in powers {
137			let mut row = shape.allocate();
138			shape.set_i128(&mut row, 0, power);
139			assert_eq!(shape.get_i128(&row, 0), power);
140
141			let mut row2 = shape.allocate();
142			shape.set_i128(&mut row2, 0, -power);
143			assert_eq!(shape.get_i128(&row2, 0), -power);
144		}
145	}
146
147	#[test]
148	fn test_mixed_with_other_types() {
149		let shape = RowShape::testing(&[ValueType::Int16, ValueType::Boolean, ValueType::Int16]);
150		let mut row = shape.allocate();
151
152		let large_negative = -12345678901234567890123456789012345i128;
153		let large_positive = 98765432109876543210987654321098765i128;
154
155		shape.set_i128(&mut row, 0, large_negative);
156		shape.set_bool(&mut row, 1, true);
157		shape.set_i128(&mut row, 2, large_positive);
158
159		assert_eq!(shape.get_i128(&row, 0), large_negative);
160		assert_eq!(shape.get_bool(&row, 1), true);
161		assert_eq!(shape.get_i128(&row, 2), large_positive);
162	}
163
164	#[test]
165	fn test_undefined_handling() {
166		let shape = RowShape::testing(&[ValueType::Int16, ValueType::Int16]);
167		let mut row = shape.allocate();
168
169		let value = 170141183460469231731687303715884105727i128; // Max i128
170		shape.set_i128(&mut row, 0, value);
171
172		assert_eq!(shape.try_get_i128(&row, 0), Some(value));
173		assert_eq!(shape.try_get_i128(&row, 1), None);
174
175		shape.set_none(&mut row, 0);
176		assert_eq!(shape.try_get_i128(&row, 0), None);
177	}
178
179	#[test]
180	fn test_try_get_i128_wrong_type() {
181		let shape = RowShape::testing(&[ValueType::Boolean]);
182		let mut row = shape.allocate();
183
184		shape.set_bool(&mut row, 0, true);
185
186		assert_eq!(shape.try_get_i128(&row, 0), None);
187	}
188}
reifydb_codec/encoded/i128.rs

reifydb_codec/encoded/
i128.rs
