wasm2spirv 0.1.0

Compile your WebAssembly programs into SPIR-V shaders
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

use self::{
    function::Storeable,
    values::{bool::Bool, pointer::Pointer, Value},
};
use crate::r#type::Type;
use std::{cell::Cell, rc::Rc};

pub mod block;
pub mod function;
pub mod import;
pub mod module;
pub mod values;

#[derive(Debug, Clone, PartialEq)]
pub enum ControlFlow {
    LoopMerge {
        merge_block: Rc<Label>,
        continue_target: Rc<Label>,
    },
    SelectionMerge(Rc<Label>),
}

#[derive(Debug, PartialEq, Default)]
pub struct Label(pub(crate) Cell<Option<rspirv::spirv::Word>>);

#[derive(Debug, Clone, PartialEq)]
pub enum End {
    Return(Option<Type>),
    Unreachable,
}

#[derive(Debug, Clone, PartialEq)]
pub enum Operation {
    Value(Value),
    Label(Rc<Label>),
    Branch {
        label: Rc<Label>,
        control_flow: Option<ControlFlow>,
    },
    BranchConditional {
        condition: Rc<Bool>,
        true_label: Rc<Label>,
        false_label: Rc<Label>,
        control_flow: Option<ControlFlow>,
    },
    Store {
        target: Storeable,
        value: Value,
        log2_alignment: Option<u32>,
    },
    Copy {
        src: Rc<Pointer>,
        src_log2_alignment: Option<u32>,
        dst: Rc<Pointer>,
        dst_log2_alignment: Option<u32>,
    },
    FunctionCall {
        function_id: Rc<Cell<Option<rspirv::spirv::Word>>>,
        args: Box<[Value]>,
    },
    Nop,
    Unreachable,
    End {
        kind: End,
        value: Option<Value>,
    },
}

impl<T: Into<Value>> From<T> for Operation {
    fn from(value: T) -> Self {
        Operation::Value(value.into())
    }
}