vize_l2 0.550.0

L2 - the Davinci semantic IR (codename Disegno): the neutral op family every input dialect lowers into
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

use oxc_parser::{Parser, ProgramObservation};
use oxc_span::SourceType;
use vize_l0::{Allocator, SourceBlock};
use vize_l2::file::FileArtifact;
use vize_l2::lang::js::{FileProducer, ProgramInput, ProgramScope};

mod coverage;
mod custody;
mod geometry;
mod interruption;
mod jsx;
mod profiles;

fn moved<T>(owner: T) -> T {
    owner
}

fn observe<'a>(
    arena: &'a Allocator,
    block: SourceBlock<'a>,
    profile: SourceType,
) -> ProgramObservation<'a> {
    let original = Parser::new(arena, block.source(), profile).parse_observed();
    assert!(
        original.diagnostics().is_empty(),
        "original parser diagnostics"
    );
    original
}

fn lower<'a>(
    arena: &'a Allocator,
    original: &ProgramObservation<'a>,
    block: SourceBlock<'a>,
    index: usize,
) -> FileArtifact<'a> {
    let input = ProgramInput::checked(original.admitted().unwrap(), block, index).unwrap();
    let mut producer = FileProducer::new(arena, block.root_source()).unwrap();
    producer.program(input, ProgramScope::Module).unwrap();
    let file = producer.finish().unwrap();
    assert!(file.is_complete(), "actual original File must complete");
    file
}