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

use alloc::vec;

use alloc::string::String;
use cubecl_ir::{
    NamedRewrite, Scope, dialect::memory::IndexOp, prelude::*, settings::ExecutionMode,
    types::RuntimeArrayType,
};

use crate::io::*;

pub type CheckedIoPass = MatchRewritePass<CheckedIo>;

#[derive(new, NamedRewrite)]
pub struct CheckedIo {
    mode: ExecutionMode,
    kernel_name: String,
}

impl MatchRewrite for CheckedIo {
    fn r#match(&mut self, ctx: &Context, op: Ptr<Operation>) -> bool {
        Operation::get_op::<IndexOp>(op, ctx)
            .is_some_and(|it| it.checked(ctx) && is_runtime_array(ctx, it.base(ctx)))
    }

    fn rewrite(
        &mut self,
        ctx: &mut Context,
        rewriter: &mut DialectConversionRewriter,
        op: Ptr<Operation>,
    ) -> Result<()> {
        let index = Operation::get_op::<IndexOp>(op, ctx).unwrap();

        let scope = Scope::from_context_and_inserter(ctx, rewriter);

        let new_value = match self.mode {
            ExecutionMode::Checked => {
                expand_checked_index(&scope, index.base(ctx), index.index(ctx))
            }
            ExecutionMode::Validate => {
                expand_validate_index(&scope, index.base(ctx), index.index(ctx), &self.kernel_name)
            }
            ExecutionMode::Unchecked => index.get_result(ctx),
        };
        rewriter.replace_operation_with_values(ctx, index.get_operation(), vec![new_value]);
        Ok(())
    }
}

fn is_runtime_array(ctx: &Context, value: Value) -> bool {
    let ty = value.get_type(ctx).deref(ctx);
    ty.downcast_ref::<RuntimeArrayType>().is_some()
}