ruchy 4.1.2

A systems scripting language that transpiles to idiomatic Rust with extreme quality engineering
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158

//! WASM Type Definitions
//!
//! Core type definitions for WASM code generation.

/// WASM value types for type inference
#[derive(Debug, Default, Clone, Copy, PartialEq, Eq)]
pub enum WasmType {
    /// 32-bit integer
    #[default]
    I32,
    /// 32-bit float
    F32,
    /// 64-bit integer
    I64,
    /// 64-bit float
    F64,
}

impl WasmType {
    /// Check if this type is a floating point type
    pub fn is_float(&self) -> bool {
        matches!(self, WasmType::F32 | WasmType::F64)
    }

    /// Check if this type is an integer type
    pub fn is_integer(&self) -> bool {
        matches!(self, WasmType::I32 | WasmType::I64)
    }

    /// Check if this type is 64-bit
    pub fn is_64bit(&self) -> bool {
        matches!(self, WasmType::I64 | WasmType::F64)
    }

    /// Check if this type is 32-bit
    pub fn is_32bit(&self) -> bool {
        matches!(self, WasmType::I32 | WasmType::F32)
    }

    /// Get the byte size of this type
    pub fn byte_size(&self) -> usize {
        match self {
            WasmType::I32 | WasmType::F32 => 4,
            WasmType::I64 | WasmType::F64 => 8,
        }
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_wasm_type_is_float() {
        assert!(WasmType::F32.is_float());
        assert!(WasmType::F64.is_float());
        assert!(!WasmType::I32.is_float());
        assert!(!WasmType::I64.is_float());
    }

    #[test]
    fn test_wasm_type_is_integer() {
        assert!(WasmType::I32.is_integer());
        assert!(WasmType::I64.is_integer());
        assert!(!WasmType::F32.is_integer());
        assert!(!WasmType::F64.is_integer());
    }

    #[test]
    fn test_wasm_type_is_64bit() {
        assert!(WasmType::I64.is_64bit());
        assert!(WasmType::F64.is_64bit());
        assert!(!WasmType::I32.is_64bit());
        assert!(!WasmType::F32.is_64bit());
    }

    #[test]
    fn test_wasm_type_is_32bit() {
        assert!(WasmType::I32.is_32bit());
        assert!(WasmType::F32.is_32bit());
        assert!(!WasmType::I64.is_32bit());
        assert!(!WasmType::F64.is_32bit());
    }

    #[test]
    fn test_wasm_type_byte_size() {
        assert_eq!(WasmType::I32.byte_size(), 4);
        assert_eq!(WasmType::F32.byte_size(), 4);
        assert_eq!(WasmType::I64.byte_size(), 8);
        assert_eq!(WasmType::F64.byte_size(), 8);
    }

    #[test]
    fn test_wasm_type_default() {
        assert_eq!(WasmType::default(), WasmType::I32);
    }

    #[test]
    fn test_wasm_type_debug() {
        let debug = format!("{:?}", WasmType::I32);
        assert!(debug.contains("I32"));
    }

    #[test]
    fn test_wasm_type_clone() {
        let ty = WasmType::F64;
        let cloned = ty;
        assert_eq!(ty, cloned);
    }

    #[test]
    fn test_wasm_type_eq() {
        assert_eq!(WasmType::I32, WasmType::I32);
        assert_ne!(WasmType::I32, WasmType::F32);
    }

    // Property tests
    #[cfg(test)]
    mod property_tests {
        use super::*;
        use proptest::prelude::*;

        fn arb_wasm_type() -> impl Strategy<Value = WasmType> {
            prop_oneof![
                Just(WasmType::I32),
                Just(WasmType::F32),
                Just(WasmType::I64),
                Just(WasmType::F64),
            ]
        }

        proptest! {
            #![proptest_config(ProptestConfig::with_cases(100))]

            #[test]
            fn prop_float_xor_integer(ty in arb_wasm_type()) {
                // A type is either float or integer, not both
                prop_assert!(ty.is_float() != ty.is_integer());
            }

            #[test]
            fn prop_32bit_xor_64bit(ty in arb_wasm_type()) {
                // A type is either 32-bit or 64-bit, not both
                prop_assert!(ty.is_32bit() != ty.is_64bit());
            }

            #[test]
            fn prop_byte_size_consistent(ty in arb_wasm_type()) {
                let size = ty.byte_size();
                if ty.is_32bit() {
                    prop_assert_eq!(size, 4);
                } else {
                    prop_assert_eq!(size, 8);
                }
            }
        }
    }
}