remir_llvm 1.0.0

The LLVM binding for the Remir library
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

use std::hint::unreachable_unchecked;

use inkwell::intrinsics::Intrinsic;
use remir::{block::BlockInstruction, insts::Instruction, module::Module};

use crate::{LLVMBridge, llvm_to_base, llvm_to_base_returnless, utils::LLVMBasicValue};

pub fn bridge_llvm_hints_instruction(
    instruction: BlockInstruction,
    bridge: &mut LLVMBridge,
    module: &mut Module,
) -> Result<Option<LLVMBasicValue>, ()> {
    let res = match &instruction.instruction {
        Instruction::Unreachable => {
            llvm_to_base_returnless!(bridge.builder.build_unreachable());

            None
        }

        Instruction::BitCast { src, into } => {
            let src = bridge.values[&src.inst_ind].inner.clone();
            let into = bridge.type_storage.convert(into.clone()).inner;

            let res = llvm_to_base!(bridge.builder.build_bit_cast(src, into, ""));

            Some(res)
        }

        Instruction::Crash { message: _ } => {
            let trap_fn = Intrinsic::find("llvm.trap")
                .unwrap()
                .get_declaration(&bridge.modules[&module.name], &[])
                .unwrap();

            llvm_to_base_returnless!(bridge.builder.build_call(trap_fn, &[], ""));
            llvm_to_base_returnless!(bridge.builder.build_unreachable());

            None
        }

        Instruction::Assume { val } => {
            let val = bridge.values[&val.base.inst_ind].into_int_value();

            let assume_fn = Intrinsic::find("llvm.assume")
                .unwrap()
                .get_declaration(&bridge.modules[&module.name], &[])
                .unwrap();

            llvm_to_base_returnless!(bridge.builder.build_call(assume_fn, &[val.into()], ""));

            None
        }

        _ => unsafe { unreachable_unchecked() },
    };

    if res.is_some() {
        return Ok(Some(LLVMBasicValue::new(res.unwrap(), &bridge.ctx)));
    }

    return Ok(None);
}