From 32e89a98d82c0f4505a3f3d4cd72e7db2eadfbb9 Mon Sep 17 00:00:00 2001 From: Andrew Kelley Date: Sat, 26 Feb 2022 18:01:12 -0700 Subject: Sema: implement union value equality at comptime Still TODO is extern unions. --- src/value.zig | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) (limited to 'src/value.zig') diff --git a/src/value.zig b/src/value.zig index 7c28398b73..9d2d73928b 100644 --- a/src/value.zig +++ b/src/value.zig @@ -1902,6 +1902,25 @@ pub const Value = extern union { } return true; }, + .@"union" => { + const a_union = a.castTag(.@"union").?.data; + const b_union = b.castTag(.@"union").?.data; + switch (ty.containerLayout()) { + .Packed, .Extern => { + // In this case, we must disregard mismatching tags and compare + // based on the in-memory bytes of the payloads. + @panic("TODO implement comparison of extern union values"); + }, + .Auto => { + const tag_ty = ty.unionTagTypeHypothetical(); + if (!a_union.tag.eql(b_union.tag, tag_ty)) { + return false; + } + const active_field_ty = ty.unionFieldType(a_union.tag); + return a_union.val.eql(b_union.val, active_field_ty); + }, + } + }, else => {}, } else if (a_tag == .null_value or b_tag == .null_value) { return false; -- cgit v1.2.3