wazabin-qcode 0.4.0

Typed SSA-style p-code IR for binary analysis, modelled after Ghidra's p-code
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

//! The `concat` sequence intrinsic: `Seq<T>, Seq<T> -> Seq<T>`.
//!
//! `concat(a, b)` appends two homogeneous sequences. For fixed arrays it produces
//! a fixed array with summed length; if either side is a list, the result is a
//! list with the summed bound when both bounds are known, or an unbounded list
//! otherwise.

use crate::register_intrinsic;
use crate::types::{TypeId, TypeManager};
use crate::value::insn::Intrinsic;

struct Concat;

fn seq_or_list(types: &TypeManager, id: TypeId) -> Option<(TypeId, Option<usize>, bool)> {
    if let Some((elem, n)) = types.array_of(id) {
        return Some((elem, Some(n), false));
    }
    types.list_of(id).map(|(elem, bound)| (elem, bound, true))
}

impl Intrinsic for Concat {
    fn name(&self) -> &'static str {
        "concat"
    }

    fn arity(&self) -> usize {
        2
    }

    fn result_type(&self, types: &TypeManager, args: &[TypeId]) -> TypeId {
        let (a_elem, a_len, a_list) =
            seq_or_list(types, args[0]).expect("concat lhs must be a sequence");
        let (b_elem, b_len, b_list) =
            seq_or_list(types, args[1]).expect("concat rhs must be a sequence");
        assert_eq!(
            a_elem, b_elem,
            "concat operands must have the same element type"
        );

        match (a_len, b_len, a_list || b_list) {
            (Some(a), Some(b), false) => types
                .get_array(a_elem, a + b)
                .expect("concat result array type must be published"),
            (Some(a), Some(b), true) => types
                .get_list(a_elem, Some(a + b))
                .expect("concat result list type must be published"),
            _ => types
                .get_list(a_elem, None)
                .expect("concat result unbounded-list type must be published"),
        }
    }

    fn eval(&self, _args: &[(u128, usize)], _out_size: usize) -> Option<u128> {
        None
    }
}

register_intrinsic!(Concat);

#[cfg(test)]
mod tests {
    use crate::types::{TypeManager, TypeRequest};
    use crate::value::insn::IntrinsicId;

    #[test]
    fn concat_registered_and_resolves() {
        let id = IntrinsicId::from_name("concat").expect("concat registered");
        assert_eq!(id.name(), "concat");
        assert_eq!(id.desc().arity(), 2);
    }

    #[test]
    fn concat_arrays_yields_larger_array() {
        let mut types = TypeManager::default();
        let i32 = types.get_or_make_int(4);
        let a = types.get_or_make_array(i32, 3);
        let b = types.get_or_make_array(i32, 5);
        types.create_requested_types(&[TypeRequest::array(i32, 8)]);

        let id = IntrinsicId::from_name("concat").unwrap();
        let result = id.desc().result_type(&types, &[a, b]);

        assert_eq!(types.array_of(result), Some((i32, 8)));
        assert_eq!(types.size_of(result), 32);
    }

    #[test]
    fn concat_with_list_yields_list() {
        let mut types = TypeManager::default();
        let i8 = types.get_or_make_int(1);
        let a = types.get_or_make_array(i8, 3);
        let b = types.get_or_make_list(i8, 5);
        types.create_requested_types(&[TypeRequest::list(i8, Some(8))]);

        let id = IntrinsicId::from_name("concat").unwrap();
        let result = id.desc().result_type(&types, &[a, b]);

        assert_eq!(types.list_of(result), Some((i8, Some(8))));
        assert_eq!(types.array_of(result), None);
    }

    #[test]
    fn concat_unbounded_list_yields_unbounded_list() {
        let types = TypeManager::default();
        let i8 = types.get_or_make_int(1);
        let a = types.get_or_make_unbounded_list(i8);
        let b = types.get_or_make_array(i8, 5);

        let id = IntrinsicId::from_name("concat").unwrap();
        let result = id.desc().result_type(&types, &[a, b]);

        assert_eq!(types.list_of(result), Some((i8, None)));
    }
}