vyre-libs 0.7.0

vyre Category A library ecosystem - pure-IR compositions over vyre-ops hardware primitives
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

//! Structural C11 parser passes.

/// Declaration specifier + declarator extraction.
pub mod declarations;
mod gnu_builtin_catalog;
/// GNU builtin recognition pass.
pub mod gnu_builtins;
/// `asm` / `__asm__` inline-assembly extraction.
pub mod inline_asm;
/// Function / struct / enum structural pass.
pub mod structure;
/// GPU statement-bound extraction used by AST windowing.
pub mod structure_statement;
/// Token stream to packed VAST rows.
pub mod vast;
mod vast_kinds;

pub(crate) fn token_range_expr(token: &vyre::ir::Expr, lo: u32, hi: u32) -> vyre::ir::Expr {
    use vyre::ir::Expr;
    if lo == hi {
        Expr::eq(token.clone(), Expr::u32(lo))
    } else {
        Expr::and(
            Expr::ge(token.clone(), Expr::u32(lo)),
            Expr::le(token.clone(), Expr::u32(hi)),
        )
    }
}

pub(crate) fn merged_token_ranges(values: &[u32]) -> Vec<(u32, u32)> {
    let mut sorted = values.to_vec();
    sorted.sort_unstable();
    sorted.dedup();

    let mut ranges: Vec<(u32, u32)> = Vec::new();
    for value in sorted {
        match ranges.last_mut() {
            Some((_, hi)) if hi.checked_add(1) == Some(value) => *hi = value,
            _ => ranges.push((value, value)),
        }
    }
    ranges
}