feat: added MIR bridge support

Author: Zffu

compiler/astoir_mir/src/builder.rs

@@ -121,6 +121,18 @@ pub fn build_int_div(ctx: &mut MIRContext, left: MIRIntValue, right: MIRIntValue
 	return res.as_int();
 }
 
+pub fn build_int_shift_left(ctx: &mut MIRContext, left: MIRIntValue, shift: MIRIntValue) -> DiagnosticResult<MIRIntValue> {
+	let res = ctx.append_inst(MIRInstruction::ShiftLeft { a: left, shift }).get()?;
+
+	return res.as_int();
+}
+
+pub fn build_int_shift_right(ctx: &mut MIRContext, left: MIRIntValue, shift: MIRIntValue) -> DiagnosticResult<MIRIntValue> {
+	let res = ctx.append_inst(MIRInstruction::ShiftRight { a: left, shift }).get()?;
+
+	return res.as_int();
+}
+
 pub fn build_int_neg(ctx: &mut MIRContext, val: MIRIntValue) -> DiagnosticResult<MIRIntValue> {
 	let res = ctx.append_inst(MIRInstruction::IntegerNeg { val }).get()?;
 

compiler/astoir_mir_lowering/src/math.rs

@@ -1,8 +1,8 @@
 use astoir_hir::nodes::{HIRNode, HIRNodeKind};
-use astoir_mir::{blocks::{refer::MIRBlockReference}, builder::{build_float_add, build_float_div, build_float_mul, build_float_sub, build_int_add, build_int_div, build_int_mul, build_int_sub}, vals::base::BaseMIRValue};
+use astoir_mir::{blocks::refer::MIRBlockReference, builder::{build_float_add, build_float_div, build_float_mul, build_float_sub, build_int_add, build_int_div, build_int_mul, build_int_sub, build_shift_left, build_shift_right}, vals::base::BaseMIRValue};
 use compiler_typing::raw::RawType;
 use compiler_utils::operators::{MathOperator, MathOperatorType};
-use diagnostics::{DiagnosticResult, builders::make_math_operation_req_assign, unsure_panic};
+use diagnostics::{DiagnosticResult, builders::{make_math_operation_req_assign, make_req_type_kind}, unsure_panic};
 
 use crate::{MIRLoweringContext, values::lower_hir_value, vars::lower_hir_variable_reference};
 
@@ -26,7 +26,7 @@ pub fn lower_hir_math_operation(block: MIRBlockReference, node: Box<HIRNode>, ct
 
 		let val = match left_val.vtype.get_generic(&ctx.hir_ctx.type_storage) {
 			RawType::Integer(_, _) | RawType::FixedPoint(_, _, _) => lower_hir_math_operation_int(left_val, right_val, operation.clone(), ctx)?,
-			RawType::Floating(_, _) => lower_hir_math_operation_float(left_val, right_val, operation.clone(), ctx)?,
+			RawType::Floating(_, _) => lower_hir_math_operation_float(left_val, right_val, operation.clone(), ctx, &*node)?,
 
 			_  => unsure_panic!("Cannot use lower_hir_math_operator on this given value kind!")
 		};
@@ -54,12 +54,14 @@ pub fn lower_hir_math_operation_int(left: BaseMIRValue, right: BaseMIRValue, ope
 		MathOperatorType::Subtract => build_int_sub(&mut ctx.mir_ctx, left, right, signed)?,
 		MathOperatorType::Multiply => build_int_mul(&mut ctx.mir_ctx, left, right, signed)?,
 		MathOperatorType::Divide => build_int_div(&mut ctx.mir_ctx, left, right, signed)?,
+		MathOperatorType::ShiftLeft => build_shift_left(&mut ctx.mir_ctx, left, right)?,
+		MathOperatorType::ShiftRight => build_shift_right(&mut ctx.mir_ctx, left, right)?
 	};
 
 	return Ok(res.into());
 }
 
-pub fn lower_hir_math_operation_float(left: BaseMIRValue, right: BaseMIRValue, operator: MathOperator, ctx: &mut MIRLoweringContext) -> DiagnosticResult<BaseMIRValue> {
+pub fn lower_hir_math_operation_float(left: BaseMIRValue, right: BaseMIRValue, operator: MathOperator, ctx: &mut MIRLoweringContext, node: &HIRNode) -> DiagnosticResult<BaseMIRValue> {
 	let left = left.as_float()?;
 	let right = right.as_float()?;
 
@@ -69,7 +71,9 @@ pub fn lower_hir_math_operation_float(left: BaseMIRValue, right: BaseMIRValue, o
 		MathOperatorType::Add => build_float_add(&mut ctx.mir_ctx, left, right, signed)?,
 		MathOperatorType::Subtract => build_float_sub(&mut ctx.mir_ctx, left, right, signed)?,
 		MathOperatorType::Multiply => build_float_mul(&mut ctx.mir_ctx, left, right, signed)?,
-		MathOperatorType::Divide => build_float_div(&mut ctx.mir_ctx, left, right, signed)?
+		MathOperatorType::Divide => build_float_div(&mut ctx.mir_ctx, left, right, signed)?,
+
+		_ => return Err(make_req_type_kind(node, &"integer".to_string()).into())
 	};
 
 	return Ok(res.into());