cubecl-cpp 0.11.0-pre.1

CPP transpiler for CubeCL
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

use cubecl_core::prelude::Visibility;

use crate::{
    Dialect,
    shared::{Component, Item, KernelArg, PointerClass, Value},
};

use super::BufferAttribute;
use std::fmt::Display;

#[derive(Debug, PartialEq, Eq, Clone, Copy)]
pub enum AddressSpace {
    Constant,
    ConstDevice,
    Device,
    Thread,
    ThreadGroup,
    None,
}

impl AddressSpace {
    pub fn attribute(&self) -> BufferAttribute {
        match self {
            AddressSpace::Constant | AddressSpace::ConstDevice | AddressSpace::Device => {
                BufferAttribute::Buffer
            }
            AddressSpace::ThreadGroup => BufferAttribute::ThreadGroup,
            _ => BufferAttribute::None,
        }
    }
}

impl Display for AddressSpace {
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        match self {
            AddressSpace::Constant => f.write_str("constant"),
            AddressSpace::ConstDevice => f.write_str("const device"),
            AddressSpace::Device => f.write_str("device"),
            AddressSpace::ThreadGroup => f.write_str("threadgroup"),
            AddressSpace::Thread => f.write_str("thread"),
            AddressSpace::None => Ok(()),
        }
    }
}

impl From<AddressSpace> for Visibility {
    fn from(val: AddressSpace) -> Self {
        match val {
            AddressSpace::Constant => Visibility::Read,
            _ => Visibility::ReadWrite,
        }
    }
}

impl<D: Dialect> From<&KernelArg<D>> for AddressSpace {
    fn from(value: &KernelArg<D>) -> Self {
        // No atomic guard needed: this only feeds `.attribute()`, which maps every
        // device space to `BufferAttribute::Buffer`. The atomic mutability constraint
        // is enforced in `From<&Value>` and `compile_item` where it's observable.
        value.vis.into()
    }
}

impl From<Visibility> for AddressSpace {
    fn from(value: Visibility) -> Self {
        match value {
            Visibility::Read => AddressSpace::ConstDevice,
            Visibility::ReadWrite => AddressSpace::Device,
            Visibility::Uniform => AddressSpace::Constant,
        }
    }
}

impl<D: Dialect> From<&Value<D>> for AddressSpace {
    fn from(value: &Value<D>) -> Self {
        if let Item::Pointer(inner, class) = value.item() {
            // Atomics always need mutable (device) access, even on read-only
            // bindings, because MSL forbids `const`-qualified `atomic<T>` pointers.
            if matches!(inner.value_ty(), Item::Atomic(_))
                && let PointerClass::Global(_) = class
            {
                return AddressSpace::Device;
            }
            return match class {
                PointerClass::Global(visibility) => visibility.into(),
                PointerClass::Shared => AddressSpace::ThreadGroup,
                PointerClass::Local => AddressSpace::Thread,
            };
        }
        AddressSpace::Thread
    }
}