feat: added lru MIR lowering

Author: Zffu

compiler/astoir_mir/src/builder.rs

@@ -434,6 +434,7 @@ pub fn build_call(ctx: &mut MIRContext, func: usize, ind: usize, args: Vec<BaseM
 
 	for(arg, t) in args.iter().zip(func.arguments.iter()) {
 		if !arg.vtype.is_truly_eq(t) {
+			println!("{:#?} -> {:#?}", arg.vtype, t);
 			unsure_panic!("invalid function argument types!");
 		}
 	}

compiler/astoir_mir_lowering/src/lib.rs

@@ -16,6 +16,7 @@ pub mod arrays;
 pub mod type_tools;
 pub mod introductions;
 pub mod casts;
+pub mod lru;
 
 pub struct MIRLoweringContext {
 	pub hir_ctx: HIRContext,

compiler/astoir_mir_lowering/src/lru.rs

@@ -0,0 +1,35 @@
+use astoir_hir::{nodes::{HIRNode, HIRNodeKind}, structs::StructLRUStep};
+use astoir_mir::{blocks::refer::MIRBlockReference, builder::build_field_pointer, vals::{base::BaseMIRValue, refer::MIRVariableReference}};
+use diagnostics::DiagnosticResult;
+
+use crate::MIRLoweringContext;
+
+pub fn lower_hir_lru_step(block: MIRBlockReference, step: StructLRUStep, ctx: &mut MIRLoweringContext, curr: Option<BaseMIRValue>) -> DiagnosticResult<BaseMIRValue> {
+	if let StructLRUStep::VariableStep { variable } = step {
+		if curr.is_none() {
+			return Ok(ctx.mir_ctx.blocks[block].get_variable_ref(variable)?.as_pointer_ref()?.into());
+		}
+
+		let ptr = curr.unwrap().as_ptr()?;
+
+		return Ok(build_field_pointer(&mut ctx.mir_ctx, ptr, variable)?.into())
+	}
+
+	panic!("Invalid step!")
+}
+
+pub fn lower_hir_lru(block: MIRBlockReference, node: Box<HIRNode>, ctx: &mut MIRLoweringContext) -> DiagnosticResult<BaseMIRValue> {
+	if let HIRNodeKind::StructLRU { steps, last: _ } = node.kind {
+		let mut curr = lower_hir_lru_step(block, steps[0].clone(), ctx, None)?;
+
+		for i in 1..steps.len() {
+			curr = lower_hir_lru_step(block, steps[i].clone(), ctx, Some(curr))?
+		}
+
+		let val = MIRVariableReference::from(curr.as_ptr()?);
+
+		return Ok(val.read(block, &mut ctx.mir_ctx)?);
+	}
+
+	panic!("Invalid node!")
+}

compiler/astoir_mir_lowering/src/values/mod.rs

@@ -2,7 +2,7 @@ use astoir_hir::nodes::{HIRNode, HIRNodeKind};
 use astoir_mir::{blocks::refer::MIRBlockReference, builder::{build_static_array_const, build_static_array_one_const}, vals::base::BaseMIRValue};
 use diagnostics::{DiagnosticResult, DiagnosticSpanOrigin, move_current_diagnostic_pos, unsure_panic};
 
-use crate::{MIRLoweringContext, arrays::lower_hir_aray_index_access, casts::lower_cast, funcs::lower_hir_function_call, math::lower_hir_math_operation, type_tools::{lower_hir_unwrap_cond, lower_hir_unwrap_value}, values::{booleans::{lower_hir_boolean_operator, lowering_hir_boolean_condition}, consts::lower_hir_literal, structs::lower_hir_struct_init}, vars::{lower_hir_variable_reference, lower_hir_variable_reference_value}};
+use crate::{MIRLoweringContext, arrays::lower_hir_aray_index_access, casts::lower_cast, funcs::lower_hir_function_call, lru::lower_hir_lru, math::lower_hir_math_operation, type_tools::{lower_hir_unwrap_cond, lower_hir_unwrap_value}, values::{booleans::{lower_hir_boolean_operator, lowering_hir_boolean_condition}, consts::lower_hir_literal, structs::lower_hir_struct_init}, vars::{lower_hir_variable_reference, lower_hir_variable_reference_value}};
 
 pub mod consts;
 pub mod booleans;
@@ -24,6 +24,7 @@ pub fn lower_hir_value(block: MIRBlockReference, node: Box<HIRNode>, ctx: &mut M
 		HIRNodeKind::UnwrapValue { .. } => lower_hir_unwrap_value(block, node, ctx),
 		HIRNodeKind::UnwrapCondition { .. } => lower_hir_unwrap_cond(block, node, ctx),
 		HIRNodeKind::CastValue { .. } => lower_cast(block, node, ctx),
+		HIRNodeKind::StructLRU { .. } => lower_hir_lru(block, node, ctx),
 		HIRNodeKind::ArrayVariableInitializerValue { .. } | HIRNodeKind::ArrayVariableInitializerValueSameValue { .. } => lower_array_init(block, node, ctx),
 		HIRNodeKind::FunctionCall { .. } => {
 			let res = lower_hir_function_call(block, node, ctx)?;