vyre-libs 0.6.1

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
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

//! Stringification branch builder for macro replacement.

use crate::parsing::c::preprocess::materialization::*;
use vyre::ir::{Expr, Node};

use super::helpers::*;
use super::*;

pub(super) fn emit_materialized_stringification_branch(
    macro_replacement_params: &str,
    macro_replacement_starts: &str,
    macro_replacement_lens: &str,
    macro_replacement_words: &str,
    macro_replacement_source_len: Expr,
    macro_arg_starts: &str,
    macro_arg_ends: &str,
    in_tok_starts: &str,
    in_tok_lens: &str,
    source_words: &str,
    source_len: Expr,
    out_tok_types: &str,
    out_tok_starts: &str,
    out_tok_lens: &str,
    out_source_words: &str,
    max_out_tokens: u32,
    max_out_source_bytes: u32,
    num_tokens: Expr,
) -> Vec<Node> {
    let mut stringify = vec![
        Node::let_bind(
            "macro_stringify_next_offset",
            Expr::add(
                Expr::var("named_macro_idx"),
                Expr::add(Expr::var("named_repl_i"), Expr::u32(1)),
            ),
        ),
        Node::let_bind(
            "macro_stringify_next_param",
            Expr::load(
                macro_replacement_params,
                Expr::var("macro_stringify_next_offset"),
            ),
        ),
    ];
    stringify.push(Node::if_then_else(
        Expr::eq(
            Expr::var("macro_stringify_next_param"),
            Expr::u32(C_MACRO_REPLACEMENT_LITERAL),
        ),
        emit_materialized_output_token(
            "function_hash_literal",
            Expr::var("named_repl_tok"),
            macro_replacement_words,
            Expr::load(macro_replacement_starts, Expr::var("named_repl_offset")),
            Expr::load(macro_replacement_lens, Expr::var("named_repl_offset")),
            macro_replacement_source_len,
            out_tok_types,
            out_tok_starts,
            out_tok_lens,
            out_source_words,
            max_out_tokens,
            max_out_source_bytes,
            "function-like-stringification-literal-hash-has-no-source-table",
        ),
        {
            let mut branch = vec![Node::if_then(
                Expr::ge(
                    Expr::var("macro_stringify_next_param"),
                    Expr::var("named_param_count"),
                ),
                vec![Node::trap(
                    Expr::var("macro_stringify_next_param"),
                    "function-like-stringification-parameter-out-of-range",
                )],
            )];
            branch.extend(emit_stringified_argument_token(
                "function_stringify",
                selected_arg_bound(macro_arg_starts, Expr::var("macro_stringify_next_param")),
                selected_arg_bound(macro_arg_ends, Expr::var("macro_stringify_next_param")),
                in_tok_starts,
                in_tok_lens,
                source_words,
                source_len,
                out_tok_types,
                out_tok_starts,
                out_tok_lens,
                out_source_words,
                max_out_tokens,
                max_out_source_bytes,
                num_tokens,
            ));
            branch.push(Node::assign("named_skip_repl", Expr::u32(1)));
            branch
        },
    ));
    stringify
}