diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:18:32 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-17 12:18:32 +0000 |
commit | 4547b622d8d29df964fa2914213088b148c498fc (patch) | |
tree | 9fc6b25f3c3add6b745be9a2400a6e96140046e9 /vendor/zerovec-derive/examples | |
parent | Releasing progress-linux version 1.66.0+dfsg1-1~progress7.99u1. (diff) | |
download | rustc-4547b622d8d29df964fa2914213088b148c498fc.tar.xz rustc-4547b622d8d29df964fa2914213088b148c498fc.zip |
Merging upstream version 1.67.1+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'vendor/zerovec-derive/examples')
-rw-r--r-- | vendor/zerovec-derive/examples/derives.rs | 157 | ||||
-rw-r--r-- | vendor/zerovec-derive/examples/make.rs | 107 | ||||
-rw-r--r-- | vendor/zerovec-derive/examples/make_var.rs | 189 |
3 files changed, 453 insertions, 0 deletions
diff --git a/vendor/zerovec-derive/examples/derives.rs b/vendor/zerovec-derive/examples/derives.rs new file mode 100644 index 000000000..40f821023 --- /dev/null +++ b/vendor/zerovec-derive/examples/derives.rs @@ -0,0 +1,157 @@ +// This file is part of ICU4X. For terms of use, please see the file +// called LICENSE at the top level of the ICU4X source tree +// (online at: https://github.com/unicode-org/icu4x/blob/main/LICENSE ). + +use zerovec::ule::AsULE; +use zerovec::ule::EncodeAsVarULE; +use zerovec::*; + +#[repr(packed)] +#[derive(ule::ULE, Copy, Clone)] +pub struct FooULE { + a: u8, + b: <u32 as AsULE>::ULE, + c: <char as AsULE>::ULE, +} + +#[derive(Clone, Copy, Debug, PartialEq, Eq)] +struct Foo { + a: u8, + b: u32, + c: char, +} + +impl AsULE for Foo { + type ULE = FooULE; + fn to_unaligned(self) -> FooULE { + FooULE { + a: self.a, + b: self.b.to_unaligned(), + c: self.c.to_unaligned(), + } + } + + fn from_unaligned(other: FooULE) -> Self { + Self { + a: other.a, + b: AsULE::from_unaligned(other.b), + c: AsULE::from_unaligned(other.c), + } + } +} + +#[repr(packed)] +#[derive(ule::VarULE)] +pub struct RelationULE { + /// This maps to (AndOr, Polarity, Operand), + /// with the first bit mapping to AndOr (1 == And), the second bit + /// to Polarity (1 == Positive), and the remaining bits to Operand + /// encoded via Operand::encode. It is unsound for the Operand bits to + /// not be a valid encoded Operand. + andor_polarity_operand: u8, + modulo: <u32 as AsULE>::ULE, + range_list: ZeroSlice<Foo>, +} + +#[derive(Clone, PartialEq, Debug)] +pub struct Relation<'a> { + andor_polarity_operand: u8, + modulo: u32, + range_list: ZeroVec<'a, Foo>, +} + +unsafe impl EncodeAsVarULE<RelationULE> for Relation<'_> { + fn encode_var_ule_as_slices<R>(&self, cb: impl FnOnce(&[&[u8]]) -> R) -> R { + cb(&[ + &[self.andor_polarity_operand], + ule::ULE::as_byte_slice(&[self.modulo.to_unaligned()]), + self.range_list.as_bytes(), + ]) + } +} + +impl RelationULE { + pub fn as_relation(&self) -> Relation { + Relation { + andor_polarity_operand: self.andor_polarity_operand, + modulo: u32::from_unaligned(self.modulo), + range_list: self.range_list.as_zerovec(), + } + } +} + +const TEST_SLICE: &[Foo] = &[ + Foo { + a: 101, + b: 924, + c: '⸘', + }, + Foo { + a: 217, + b: 4228, + c: 'ə', + }, + Foo { + a: 117, + b: 9090, + c: 'ø', + }, +]; + +const TEST_SLICE2: &[Foo] = &[ + Foo { + a: 92, + b: 4, + c: 'å', + }, + Foo { + a: 9, + b: 49993, + c: '±', + }, +]; +fn test_zerovec() { + let zerovec: ZeroVec<Foo> = TEST_SLICE.iter().copied().collect(); + + assert_eq!(zerovec, TEST_SLICE); + + let bytes = zerovec.as_bytes(); + let reparsed: ZeroVec<Foo> = ZeroVec::parse_byte_slice(bytes).expect("Parsing should succeed"); + + assert_eq!(reparsed, TEST_SLICE); +} + +fn test_varzerovec() { + let relation1 = Relation { + andor_polarity_operand: 1, + modulo: 5004, + range_list: TEST_SLICE.iter().copied().collect(), + }; + let relation2 = Relation { + andor_polarity_operand: 5, + modulo: 909, + range_list: TEST_SLICE2.iter().copied().collect(), + }; + + let relations = &[relation1, relation2]; + + let vzv = VarZeroVec::<_>::from(relations); + + for (ule, stack) in vzv.iter().zip(relations.iter()) { + assert_eq!(*stack, ule.as_relation()); + } + + let bytes = vzv.as_bytes(); + + let recovered: VarZeroVec<RelationULE> = + VarZeroVec::parse_byte_slice(bytes).expect("Parsing should succeed"); + + for (ule, stack) in recovered.iter().zip(relations.iter()) { + assert_eq!(*stack, ule.as_relation()); + } +} + +fn main() { + test_zerovec(); + test_varzerovec(); +} diff --git a/vendor/zerovec-derive/examples/make.rs b/vendor/zerovec-derive/examples/make.rs new file mode 100644 index 000000000..a6fa908e8 --- /dev/null +++ b/vendor/zerovec-derive/examples/make.rs @@ -0,0 +1,107 @@ +// This file is part of ICU4X. For terms of use, please see the file +// called LICENSE at the top level of the ICU4X source tree +// (online at: https://github.com/unicode-org/icu4x/blob/main/LICENSE ). + +use std::fmt::Debug; +use zerovec::*; + +#[make_ule(StructULE)] +#[derive(Clone, Copy, Debug, PartialEq, Eq, PartialOrd, Ord)] +struct Struct { + a: u8, + b: u32, + c: Option<char>, +} + +#[derive(Clone, Copy, Debug, PartialEq, Eq, PartialOrd, Ord)] +#[make_ule(TupleStructULE)] +struct TupleStruct(u8, char); + +#[make_ule(EnumULE)] +#[repr(u8)] +#[derive(Copy, Clone, PartialEq, Eq, Ord, PartialOrd, Debug)] +#[zerovec::derive(Debug)] +enum Enum { + A = 0, + B = 1, + D = 2, + E = 3, + FooBar = 4, + F = 5, +} + +#[make_ule(OutOfOrderEnumULE)] +#[repr(u8)] +#[derive(Copy, Clone, PartialEq, Eq, Ord, PartialOrd, Debug)] +#[allow(unused)] +enum OutOfOrderEnum { + A = 0, + B = 1, + E = 3, + FooBar = 4, + D = 2, + F = 5, +} + +#[derive(Clone, Copy, Debug, PartialEq, Eq, Ord, PartialOrd)] +#[make_ule(NoKVULE)] +#[zerovec::skip_derive(ZeroMapKV)] +struct NoKV(u8, char); + +#[derive(Clone, Copy, Debug, PartialEq, Eq)] +#[make_ule(NoOrdULE)] +#[zerovec::skip_derive(ZeroMapKV, Ord)] +struct NoOrd(u8, char); + +fn test_zerovec<T: ule::AsULE + Debug + PartialEq>(slice: &[T]) { + let zerovec: ZeroVec<T> = slice.iter().copied().collect(); + + assert_eq!(zerovec, slice); + + let bytes = zerovec.as_bytes(); + let name = std::any::type_name::<T>(); + let reparsed: ZeroVec<T> = ZeroVec::parse_byte_slice(bytes) + .unwrap_or_else(|_| panic!("Parsing {} should succeed", name)); + + assert_eq!(reparsed, slice); +} + +fn main() { + test_zerovec(TEST_SLICE_STRUCT); + test_zerovec(TEST_SLICE_TUPLESTRUCT); + test_zerovec(TEST_SLICE_ENUM); +} + +const TEST_SLICE_STRUCT: &[Struct] = &[ + Struct { + a: 101, + b: 924, + c: Some('⸘'), + }, + Struct { + a: 217, + b: 4228, + c: Some('ə'), + }, + Struct { + a: 117, + b: 9090, + c: Some('ø'), + }, +]; + +const TEST_SLICE_TUPLESTRUCT: &[TupleStruct] = &[ + TupleStruct(101, 'ř'), + TupleStruct(76, '°'), + TupleStruct(15, 'a'), +]; + +const TEST_SLICE_ENUM: &[Enum] = &[ + Enum::A, + Enum::FooBar, + Enum::F, + Enum::D, + Enum::B, + Enum::FooBar, + Enum::E, +]; diff --git a/vendor/zerovec-derive/examples/make_var.rs b/vendor/zerovec-derive/examples/make_var.rs new file mode 100644 index 000000000..00dfdbdbf --- /dev/null +++ b/vendor/zerovec-derive/examples/make_var.rs @@ -0,0 +1,189 @@ +// This file is part of ICU4X. For terms of use, please see the file +// called LICENSE at the top level of the ICU4X source tree +// (online at: https://github.com/unicode-org/icu4x/blob/main/LICENSE ). + +use std::borrow::Cow; + +use zerofrom::ZeroFrom; +use zerovec::*; + +#[make_varule(VarStructULE)] +#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)] +#[zerovec::derive(Serialize, Deserialize, Debug)] +struct VarStruct<'a> { + a: u32, + b: char, + #[serde(borrow)] + c: Cow<'a, str>, +} + +#[make_varule(VarStructOutOfOrderULE)] +#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)] +#[zerovec::derive(Serialize, Deserialize, Debug)] +struct VarStructOutOfOrder<'a> { + a: u32, + #[serde(borrow)] + b: Cow<'a, str>, + c: char, + d: u8, +} + +#[make_varule(VarTupleStructULE)] +#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)] +#[zerovec::derive(Serialize, Deserialize, Debug)] +struct VarTupleStruct<'a>(u32, char, #[serde(borrow)] VarZeroVec<'a, str>); + +#[make_varule(NoKVULE)] +#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)] +#[zerovec::skip_derive(ZeroMapKV)] +#[zerovec::derive(Serialize, Deserialize, Debug)] +struct NoKV<'a>(u32, char, #[serde(borrow)] VarZeroVec<'a, str>); + +#[make_varule(NoOrdULE)] +#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)] +#[zerovec::skip_derive(ZeroMapKV, Ord)] +#[zerovec::derive(Serialize, Deserialize, Debug)] +struct NoOrd<'a>(u32, char, #[serde(borrow)] VarZeroVec<'a, str>); + +#[make_varule(MultiFieldStructULE)] +#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)] +#[zerovec::derive(Serialize, Deserialize, Debug)] +struct MultiFieldStruct<'a> { + a: u32, + b: char, + #[serde(borrow)] + c: Cow<'a, str>, + d: u8, + #[serde(borrow)] + e: Cow<'a, str>, + f: char, +} + +#[make_varule(MultiFieldTupleULE)] +#[derive(Clone, PartialEq, Eq, PartialOrd, Ord, Debug, serde::Serialize, serde::Deserialize)] +#[zerovec::derive(Serialize, Deserialize, Debug)] +struct MultiFieldTuple<'a>( + u8, + char, + #[serde(borrow)] VarZeroVec<'a, str>, + #[serde(borrow)] VarZeroVec<'a, [u8]>, + #[serde(borrow)] Cow<'a, str>, +); + +/// The `assert` function should have the body `|(stack, zero)| assert_eq!(stack, &U::zero_from(&zero))` +/// +/// We cannot do this internally because we technically need a different `U` with a shorter lifetime here +/// which would require some gnarly lifetime bounds and perhaps a Yoke dependency. This is just a test, so it's +/// not important to get this 100% perfect +fn assert_zerovec<T, U, F>(slice: &[U], assert: F) +where + T: ule::VarULE + ?Sized + serde::Serialize, + U: ule::EncodeAsVarULE<T> + serde::Serialize, + F: Fn(&U, &T), + for<'a> Box<T>: serde::Deserialize<'a>, +{ + let varzerovec: VarZeroVec<T> = slice.into(); + + assert_eq!(varzerovec.len(), slice.len()); + + for (stack, zero) in slice.iter().zip(varzerovec.iter()) { + assert(stack, zero) + } + + let bytes = varzerovec.as_bytes(); + let name = std::any::type_name::<T>(); + let reparsed: VarZeroVec<T> = VarZeroVec::parse_byte_slice(bytes) + .unwrap_or_else(|_| panic!("Parsing VarZeroVec<{}> should succeed", name)); + + assert_eq!(reparsed.len(), slice.len()); + + for (stack, zero) in slice.iter().zip(reparsed.iter()) { + assert(stack, zero) + } + + let bincode = bincode::serialize(&varzerovec).unwrap(); + let deserialized: VarZeroVec<T> = bincode::deserialize(&bincode).unwrap(); + + for (stack, zero) in slice.iter().zip(deserialized.iter()) { + assert(stack, zero) + } + + let json_slice = serde_json::to_string(&slice).unwrap(); + let json_vzv = serde_json::to_string(&varzerovec).unwrap(); + + assert_eq!(json_slice, json_vzv); + + let deserialized: VarZeroVec<T> = serde_json::from_str(&json_vzv).unwrap(); + + for (stack, zero) in slice.iter().zip(deserialized.iter()) { + assert(stack, zero) + } +} + +fn main() { + assert_zerovec::<VarStructULE, VarStruct, _>(TEST_VARSTRUCTS, |stack, zero| { + assert_eq!(stack, &VarStruct::zero_from(zero)) + }); + + assert_zerovec::<MultiFieldStructULE, MultiFieldStruct, _>(TEST_MULTIFIELD, |stack, zero| { + assert_eq!(stack, &MultiFieldStruct::zero_from(zero)) + }); + + let vartuples = &[ + VarTupleStruct(101, 'ø', TEST_STRINGS1.into()), + VarTupleStruct(9499, '⸘', TEST_STRINGS2.into()), + VarTupleStruct(3478, '月', TEST_STRINGS3.into()), + ]; + assert_zerovec::<VarTupleStructULE, VarTupleStruct, _>(vartuples, |stack, zero| { + assert_eq!(stack, &VarTupleStruct::zero_from(zero)) + }); +} + +const TEST_VARSTRUCTS: &[VarStruct<'static>] = &[ + VarStruct { + a: 101, + b: 'ø', + c: Cow::Borrowed("testīng strīng"), + }, + VarStruct { + a: 9499, + b: '⸘', + c: Cow::Borrowed("a diffərənt ştring"), + }, + VarStruct { + a: 3478, + b: '月', + c: Cow::Borrowed("好多嘅 string"), + }, +]; + +const TEST_STRINGS1: &[&str] = &["foo", "bar", "baz"]; +const TEST_STRINGS2: &[&str] = &["hellø", "wørłd"]; +const TEST_STRINGS3: &[&str] = &["łořem", "ɨpsu₥"]; + +const TEST_MULTIFIELD: &[MultiFieldStruct<'static>] = &[ + MultiFieldStruct { + a: 101, + b: 'ø', + c: Cow::Borrowed("testīng strīng"), + d: 8, + e: Cow::Borrowed("another testīng strīng"), + f: 'å', + }, + MultiFieldStruct { + a: 9499, + b: '⸘', + c: Cow::Borrowed("a diffərənt ştring"), + d: 120, + e: Cow::Borrowed("a diffərənt testing ştring"), + f: 'ł', + }, + MultiFieldStruct { + a: 3478, + b: '月', + c: Cow::Borrowed("好多嘅 string"), + d: 89, + e: Cow::Borrowed("many 好多嘅 string"), + f: 'ə', + }, +]; |