edlc_codegen_cranelift 0.2.13

Cranelift codegen backend for the EDL compiler
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

/*
 *     EDLc, a compiler for the EDL programming language.
 *     Copyright (C) 2026  Adrian Paskert
 *
 *     This program is free software: you can redistribute it and/or modify
 *     it under the terms of the GNU Affero General Public License as published by
 *     the Free Software Foundation, either version 3 of the License, or
 *     (at your option) any later version.
 *
 *     This program is distributed in the hope that it will be useful,
 *     but WITHOUT ANY WARRANTY; without even the implied warranty of
 *     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *     GNU Affero General Public License for more details.
 *
 *     You should have received a copy of the GNU Affero General Public License
 *     along with this program.  If not, see <http://www.gnu.org/licenses/>.
 */

use crate::codegen::{Compilable, FunctionTranslator};
use crate::compiler::JIT;
use crate::layout::SSARepr;
use cranelift_codegen::ir::{types, InstBuilder};
use cranelift_module::Module;
use edlc_core::prelude::edl_value::EdlLiteralValue;
use edlc_core::prelude::mir_expr::mir_constant::MirConstant;
use edlc_core::prelude::mir_expr::{MirExprId, MirFlowGraph, MirValue};
use edlc_core::prelude::{MirError, MirPhase};

impl<Runtime> Compilable<Runtime> for MirConstant {
    fn compile(
        &self,
        backend: &mut FunctionTranslator<Runtime>,
        phase: &mut MirPhase,
        _cfg: &MirFlowGraph,
        target: &MirValue,
        _expr_id: &MirExprId,
    ) -> Result<(), MirError<JIT<Runtime>>> {
        let output_type = SSARepr::pod(&self.ty, &phase.types).unwrap();
        let val = match &self.value {
            EdlLiteralValue::Usize(val) => {
                backend.builder.ins().iconst(output_type, *val as i64)
            }
            EdlLiteralValue::Isize(val) => {
                backend.builder.ins().iconst(output_type, *val as i64)
            }
            EdlLiteralValue::Bool(val) => {
                backend.builder.ins().iconst(output_type, *val as i64)
            }
            EdlLiteralValue::U8(val) => {
                backend.builder.ins().iconst(output_type, *val as u64 as i64)
            }
            EdlLiteralValue::U16(val) => {
                backend.builder.ins().iconst(output_type, *val as u64 as i64)
            }
            EdlLiteralValue::U32(val) => {
                backend.builder.ins().iconst(output_type, *val as u64 as i64)
            }
            EdlLiteralValue::U64(val) => {
                backend.builder.ins().iconst(output_type, *val as i64)
            }
            EdlLiteralValue::U128(val) => {
                let higher = backend.builder.ins().iconst(types::I64, (*val >> 64) as i64);
                let lower = backend.builder.ins().iconst(types::I64, *val as i64);
                backend.builder.ins().iconcat(lower, higher)
            }
            EdlLiteralValue::I8(val) => {
                backend.builder.ins().iconst(output_type, *val as i64)
            }
            EdlLiteralValue::I16(val) => {
                backend.builder.ins().iconst(output_type, *val as i64)
            }
            EdlLiteralValue::I32(val) => {
                backend.builder.ins().iconst(output_type, *val as i64)
            }
            EdlLiteralValue::I64(val) => {
                backend.builder.ins().iconst(output_type, *val)
            }
            EdlLiteralValue::I128(val) => {
                let higher = backend.builder.ins().iconst(types::I64, (*val >> 64) as i64);
                let lower = backend.builder.ins().iconst(types::I64, *val as i64);
                backend.builder.ins().iconcat(lower, higher)
            }
            EdlLiteralValue::Str(val) => {
                let bytes = val.clone().into_bytes();
                let len = bytes.len();
                backend.data_description.define(bytes.into_boxed_slice());
                let id = backend
                    .module.declare_anonymous_data(false, false)
                    .unwrap();
                backend
                    .module.define_data(id, backend.data_description)
                    .unwrap();
                backend.data_description.clear();

                let local_id = backend.module
                    .declare_data_in_func(id, backend.builder.func);
                let ptr_ty = backend.module.target_config().pointer_type();
                let ptr = backend.builder.ins().symbol_value(ptr_ty, local_id);

                // assemble a FatPtr from the slice ptr and the size of the pointer
                let len = backend.builder.ins().iconst(types::I64, len as i64);
                backend.layout.format_fat_ptr(
                    ptr, len, self.ty, &mut backend.builder, &phase.types, &backend.abi)
            }
            EdlLiteralValue::Char(val) => {
                backend.builder.ins().iconst(types::I32, *val as u64 as i64)
            }
            EdlLiteralValue::Empty() => {
                return Ok(());
            }
        };

        backend.layout
            .store_pod(val, target, &mut backend.ir_values, &mut backend.builder, &phase.types);
        Ok(())
    }
}