mirrors/Odin
1
0
Fork 0
mirror of https://github.com/odin-lang/Odin.git synced 2026-04-20 21:35:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Do naive compound literal comparison for $ parameters to parapoly procedures

Browse Source
This commit is contained in:
gingerBill
2025-12-15 10:41:50 +00:00
parent aed11c4619
commit c5a54a0e52
2 changed files with 37 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
src/check_expr.cpp
View File

@@ -12103,6 +12103,25 @@ gb_internal bool is_exact_value_zero(ExactValue const &v) {
gb_internal bool compare_exact_values_compound_lit(TokenKind op, ExactValue x, ExactValue y, bool *do_break_) {
ast_node(x_cl, CompoundLit, x.value_compound);
ast_node(y_cl, CompoundLit, y.value_compound);
if (x_cl->elems.count != y_cl->elems.count) {
if (do_break_) *do_break_ = true;
}
bool test = op == Token_CmpEq;
for (isize i = 0; i < x_cl->elems.count; i++) {
Ast *lhs = x_cl->elems[i];
Ast *rhs = y_cl->elems[i];
if (compare_exact_values(op, lhs->tav.value, rhs->tav.value) != test) {
return !test;
}
}
return test;
}

19
src/exact_value.cpp
View File

@@ -947,6 +947,8 @@ gb_internal gb_inline i32 cmp_f64(f64 a, f64 b) {
return (a > b) - (a < b);
}
gb_internal bool compare_exact_values_compound_lit(TokenKind op, ExactValue x, ExactValue y, bool *do_break_);
gb_internal bool compare_exact_values(TokenKind op, ExactValue x, ExactValue y) {
match_exact_values(&x, &y);
@@ -1055,9 +1057,24 @@ gb_internal bool compare_exact_values(TokenKind op, ExactValue x, ExactValue y)
case Token_NotEq: return x.value_typeid != y.value_typeid;
}
break;
case ExactValue_Compound:
if (op != Token_CmpEq && op != Token_NotEq) {
break;
}
if (x.kind != y.kind) {
break;
}
bool do_break = false;
bool res = compare_exact_values_compound_lit(op, x, y, &do_break);
if (do_break) {
break;
}
return res;
}
GB_PANIC("Invalid comparison");
GB_PANIC("Invalid comparison: %d", x.kind);
return false;
}