vyre 0.4.0

GPU compute intermediate representation with a standard operation library
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

//! Cast validation table for IR expressions.
//!
//! Not every type pair can be cast safely or meaningfully in GPU shaders.
//! This module defines the closed set of supported casts so that the
//! validator can reject programs that would emit invalid conversion
//! instructions on the backend. The table is intentionally conservative:
//! missing casts can be added later without breaking existing programs.

use crate::ir::DataType;

/// Returns true if `source -> target` is a supported cast per `casts.md`.
///
/// The supported cast matrix is frozen: frontends and backends can rely
/// on it remaining stable across minor version bumps.
#[inline]
pub(crate) fn cast_is_valid(source: DataType, target: DataType) -> bool {
    if source == target {
        return true;
    }
    matches!(
        (source, target),
        (DataType::U32, DataType::I32)
            | (DataType::U32, DataType::Bool)
            | (DataType::U32, DataType::U64)
            | (DataType::U32, DataType::Vec2U32)
            | (DataType::U32, DataType::Vec4U32)
            | (DataType::I32, DataType::U32)
            | (DataType::I32, DataType::Bool)
            | (DataType::I32, DataType::U64)
            | (DataType::I32, DataType::Vec2U32)
            | (DataType::I32, DataType::Vec4U32)
            | (DataType::Bool, DataType::U32)
            | (DataType::Bool, DataType::I32)
            | (DataType::Bool, DataType::U64)
            | (DataType::Bool, DataType::Vec2U32)
            | (DataType::Bool, DataType::Vec4U32)
            | (DataType::U64, DataType::U32)
            | (DataType::U64, DataType::I32)
            | (DataType::U64, DataType::Bool)
            | (DataType::U64, DataType::Vec2U32)
            | (DataType::Vec2U32, DataType::U32)
            | (DataType::Vec2U32, DataType::I32)
            | (DataType::Vec2U32, DataType::U64)
            | (DataType::Vec2U32, DataType::Bool)
            | (DataType::Vec4U32, DataType::U32)
            | (DataType::Vec4U32, DataType::I32)
            | (DataType::Vec4U32, DataType::Vec2U32)
            | (DataType::Vec4U32, DataType::Bool)
            | (DataType::Vec4U32, DataType::U64)
            | (DataType::U32, DataType::F32)
            | (DataType::F32, DataType::U32)
    )
}