nanvm-lib 0.1.1

NaNVM library
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77

use crate::common::bit_subset64::BitSubset64;

use super::null::Null;

// EXTENSION: 1111_1111_1111_1.X.X

pub const EXTENSION: BitSubset64 = BitSubset64::from_tag(0xFFF8_0000_0000_0000);

const EXTENSION_SPLIT: (BitSubset64, BitSubset64) = EXTENSION.split(0x0004_0000_0000_0000);

pub const SIMPLE: BitSubset64 = EXTENSION_SPLIT.0;
pub const REF: BitSubset64 = EXTENSION_SPLIT.1;

// SIMPLE: 1111_1111_1111_1.0.X

pub const SIMPLE_SPLIT: (BitSubset64, BitSubset64) = SIMPLE.split(0x0002_0000_0000_0000);

// BOOL: 1111_1111_1111_1.0.0

pub const BOOL: BitSubset64<bool> = SIMPLE_SPLIT.0.cast();

pub const FALSE: u64 = BOOL.raw_value_to_subset_value(false as _);
pub const TRUE: u64 = BOOL.raw_value_to_subset_value(true as _);

// NULL: 1111_1111_1111_1.0.1

pub const NULL: BitSubset64<Null> = SIMPLE_SPLIT.1.cast();

// REF: 1111_1111_1111_1.1.X.X

// 48 bits for now
pub const REF_SUBSET_SUPERPOSITION: u64 = 0xFFFF_FFFF_FFFF;

const REF_SPLIT: (BitSubset64, BitSubset64) = REF.split(0x0002_0000_0000_0000);

const STRING_OBJECT: (BitSubset64, BitSubset64) = REF_SPLIT.0.split(0x0001_0000_0000_0000);

const ARRAY_BIGINT: (BitSubset64, BitSubset64) = REF_SPLIT.1.split(0x0001_0000_0000_0000);

// STRING: 1111_1111_1111_1.1.0.0

pub const STRING: BitSubset64 = STRING_OBJECT.0;

// OBJECT: 1111_1111_1111_1.1.0.1

pub const OBJECT: BitSubset64 = STRING_OBJECT.1;

// ARRAY : 1111_1111_1111_1.1.1.0

pub const ARRAY: BitSubset64 = ARRAY_BIGINT.0;

// BIG_INT : 1111_1111_1111_1.1.1.1

pub const BIGINT: BitSubset64 = ARRAY_BIGINT.1;

pub const REF_TYPE_STRING: u8 = 0b00;
pub const REF_TYPE_OBJECT: u8 = 0b01;
pub const REF_TYPE_ARRAY: u8 = 0b10;
pub const REF_TYPE_BIGINT: u8 = 0b11;

pub const fn ref_type(v: u64) -> u8 {
    ((v >> 48) & 0b11) as u8
}

#[cfg(test)]
mod test {
    use crate::js::{
        bitset::{BOOL, EXTENSION, FALSE, TRUE},
        number::test::NAN,
    };

    const _: () = assert!(BOOL.has(FALSE));
    const _: () = assert!(BOOL.has(TRUE));
    const _: () = assert!(!BOOL.has(0));
    const _: () = assert!(!BOOL.has(NAN));
    const _: () = assert!(BOOL.has(EXTENSION.mask));
}