ed/raddebugger
1
0
Fork 0
mirror of https://github.com/Ed94/raddebugger.git synced 2026-06-17 01:22:24 -07:00
Code Issues Packages Projects Releases Wiki Activity

fix pointer/array comparison paths not being enabled for not-equal; fix value arithmetic paths applying in type comparisons

Browse Source
This commit is contained in:
Ryan Fleury
2025-08-15 11:31:50 -07:00
parent 83650a5fe0
commit f754b4c2db
2 changed files with 16 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/eval/eval_ir.c
+14 -1
View File
@@ -1184,6 +1184,7 @@ e_push_irtree_and_type_from_expr(Arena *arena, E_IRTreeAndType *root_parent, E_I
#define E_ArithPath_PtrAdd 1
#define E_ArithPath_PtrSub 2
#define E_ArithPath_PtrArrayCompare 3
#define E_ArithPath_TypeCompare 4
B32 ptr_arithmetic_mul_rptr = 0;
U32 arith_path = E_ArithPath_Normal;
if(kind == E_ExprKind_Add)
@@ -1216,7 +1217,7 @@ e_push_irtree_and_type_from_expr(Arena *arena, E_IRTreeAndType *root_parent, E_I
}
}
}
else if(kind == E_ExprKind_EqEq)
else if(kind == E_ExprKind_EqEq || kind == E_ExprKind_NtEq)
{
if(l_type_kind == E_TypeKind_Array && (r_type_kind == E_TypeKind_Ptr || r_is_decay))
{
@@ -1226,6 +1227,10 @@ e_push_irtree_and_type_from_expr(Arena *arena, E_IRTreeAndType *root_parent, E_I
{
arith_path = E_ArithPath_PtrArrayCompare;
}
if(l_tree.mode == E_Mode_Null && r_tree.mode == E_Mode_Null)
{
arith_path = E_ArithPath_TypeCompare;
}
}
// rjf: generate according to arithmetic path
@@ -1360,6 +1365,14 @@ e_push_irtree_and_type_from_expr(Arena *arena, E_IRTreeAndType *root_parent, E_I
result.type_key = e_type_key_basic(E_TypeKind_Bool);
result.mode = E_Mode_Value;
}break;
//- rjf: type comparison
case E_ArithPath_TypeCompare:
{
result.root = e_irtree_const_u(arena, !!e_type_match(l_type, r_type));
result.type_key = e_type_key_basic(E_TypeKind_Bool);
result.mode = E_Mode_Value;
}break;
}
}break;