cubecl-core 0.11.0-pre.3

CubeCL core create
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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131

use cubecl_ir::{ConstantValue, ElemType};
use pliron::{
    builtin::types::{IntegerType, Signedness},
    r#type::TypeHandle,
};

use crate::frontend::{CubeType, Numeric};
use crate::ir::{IntKind, Scope};
use crate::prelude::*;

use super::{__expand_new, CubePrimitive, IntoMut, IntoRuntime, NativeAssign, NativeExpand};

/// Signed or unsigned integer. Used as input in int kernels
pub trait Int:
    Numeric
    + CubeNot
    + CountOnes
    + ScalarReverseBits
    + LeadingZeros
    + TrailingZeros
    + FindFirstSet
    + ScalarSaturatingAdd
    + ScalarSaturatingSub
    + ScalarBitOr
    + ScalarBitAnd
    + ScalarBitXor
    + ScalarShl
    + ScalarShr
    + CubeBitOrAssign
    + CubeBitAndAssign
    + CubeBitXorAssign
    + CubeShlAssign
    + CubeShrAssign
    + ScalarOrd
    + core::ops::ShlAssign<u32>
    + core::ops::ShrAssign<u32>
    + core::hash::Hash
    + core::cmp::PartialOrd
    + core::cmp::Ord
    + core::cmp::PartialEq
    + core::cmp::Eq
{
    const BITS: u32;

    fn new(val: i64) -> Self;
    fn __expand_new(scope: &Scope, val: i64) -> <Self as CubeType>::ExpandType {
        __expand_new(scope, val)
    }

    fn is_signed(scope: &Scope) -> bool {
        Self::elem_type(scope).is_signed_int()
    }
}

macro_rules! impl_int {
    ($type: ident, $kind: ident) => {
        impl CubeType for $type {
            type ExpandType = NativeExpand<Self>;
        }

        impl CubeDebug for $type {}
        impl Scalar for $type {
            fn elem_type_native() -> ElemType {
                IntKind::$kind.into()
            }
        }
        impl CubePrimitive for $type {
            type Scalar = Self;
            type Size = Const<1>;
            type WithScalar<S: Scalar> = S;

            fn __expand_as_type(scope: &Scope) -> TypeHandle {
                let width = IntKind::$kind.size_bits() as u32;
                IntegerType::get(scope.ctx(), width, Signedness::Signed).into()
            }

            fn from_const_value(value: ConstantValue) -> Self {
                let ConstantValue::Int(value) = value else {
                    unreachable!()
                };
                value as $type
            }
        }

        impl IntoRuntime for $type {
            fn __expand_runtime_method(self, _scope: &Scope) -> NativeExpand<Self> {
                self.into()
            }
        }

        impl IntoExpand for $type {
            type Expand = NativeExpand<$type>;

            fn into_expand(self, _: &Scope) -> Self::Expand {
                self.into()
            }
        }

        impl IntoMut for $type {
            fn into_mut(self, _scope: &Scope) -> Self {
                self
            }
        }

        impl Numeric for $type {
            fn min_value() -> Self {
                $type::MIN
            }
            fn max_value() -> Self {
                $type::MAX
            }
        }

        impl NativeAssign for $type {}

        impl Int for $type {
            const BITS: u32 = $type::BITS;

            fn new(val: i64) -> Self {
                val as $type
            }
        }

        impl_scalar_launch!($type);
    };
}

impl_int!(i8, I8);
impl_int!(i16, I16);
impl_int!(i32, I32);
impl_int!(i64, I64);