authorgravatar for jacobly@ziglang.orgJacob Young <jacobly@ziglang.org> 2025-09-24 15:56:07-04:00
committergravatar for andrew@ziglang.orgAndrew Kelley <andrew@ziglang.org> 2025-09-24 21:20:27-07:00
log6257f4abb7c65b034b4c0804cff2623e22b9971d
tree1a5bd25f5b9c62123448c96da1edda9ad3991c25
parent99323a4da1617ba8fcf74656004dd5ad8d90dae1

x86_64: improve support for large enums

Closes #25247

2 files changed, 239 insertions(+), 45 deletions(-)

src/arch/x86_64/CodeGen.zig+220-45
......@@ -166723,6 +166723,33 @@ fn genBody(cg: *CodeGen, body: []const Air.Inst.Index) InnerError!void {
166723166723 .{ ._, ._, .call, .tmp0d, ._, ._, ._ },
166724166724 .{ ._, ._, .@"test", .src0p, .src0p, ._, ._ },
166725166725 } },
166726 }, .{
166727 .required_features = .{ .avx, null, null, null },
166728 .src_constraints = .{ .any_int, .any, .any },
166729 .patterns = &.{
166730 .{ .src = .{ .to_mem, .none, .none } },
166731 },
166732 .call_frame = .{ .alignment = .@"32" },
166733 .extra_temps = .{
166734 .{ .type = .usize, .kind = .{ .param_gpr = .{ .cc = .zigcc, .after = 0, .at = 0 } } },
166735 .{ .type = .usize, .kind = .{ .lazy_sym = .{ .kind = .code, .ref = .src0 } } },
166736 .unused,
166737 .unused,
166738 .unused,
166739 .unused,
166740 .unused,
166741 .unused,
166742 .unused,
166743 .unused,
166744 .unused,
166745 },
166746 .dst_temps = .{ .{ .cc = .nz }, .unused },
166747 .clobbers = .{ .eflags = true, .caller_preserved = .zigcc },
166748 .each = .{ .once = &.{
166749 .{ ._, ._, .lea, .tmp0p, .mem(.src0), ._, ._ },
166750 .{ ._, ._, .call, .tmp1d, ._, ._, ._ },
166751 .{ ._, ._, .@"test", .tmp0p, .tmp0p, ._, ._ },
166752 } },
166726166753 }, .{
166727166754 .required_features = .{ .sse, null, null, null },
166728166755 .src_constraints = .{ .{ .int = .gpr }, .any, .any },
......@@ -166749,6 +166776,33 @@ fn genBody(cg: *CodeGen, body: []const Air.Inst.Index) InnerError!void {
166749166776 .{ ._, ._, .call, .tmp0d, ._, ._, ._ },
166750166777 .{ ._, ._, .@"test", .src0p, .src0p, ._, ._ },
166751166778 } },
166779 }, .{
166780 .required_features = .{ .sse, null, null, null },
166781 .src_constraints = .{ .any_int, .any, .any },
166782 .patterns = &.{
166783 .{ .src = .{ .to_mem, .none, .none } },
166784 },
166785 .call_frame = .{ .alignment = .@"16" },
166786 .extra_temps = .{
166787 .{ .type = .usize, .kind = .{ .param_gpr = .{ .cc = .zigcc, .after = 0, .at = 0 } } },
166788 .{ .type = .usize, .kind = .{ .lazy_sym = .{ .kind = .code, .ref = .src0 } } },
166789 .unused,
166790 .unused,
166791 .unused,
166792 .unused,
166793 .unused,
166794 .unused,
166795 .unused,
166796 .unused,
166797 .unused,
166798 },
166799 .dst_temps = .{ .{ .cc = .nz }, .unused },
166800 .clobbers = .{ .eflags = true, .caller_preserved = .zigcc },
166801 .each = .{ .once = &.{
166802 .{ ._, ._, .lea, .tmp0p, .mem(.src0), ._, ._ },
166803 .{ ._, ._, .call, .tmp1d, ._, ._, ._ },
166804 .{ ._, ._, .@"test", .tmp0p, .tmp0p, ._, ._ },
166805 } },
166752166806 }, .{
166753166807 .src_constraints = .{ .{ .int = .gpr }, .any, .any },
166754166808 .patterns = &.{
......@@ -166774,6 +166828,32 @@ fn genBody(cg: *CodeGen, body: []const Air.Inst.Index) InnerError!void {
166774166828 .{ ._, ._, .call, .tmp0d, ._, ._, ._ },
166775166829 .{ ._, ._, .@"test", .src0p, .src0p, ._, ._ },
166776166830 } },
166831 }, .{
166832 .src_constraints = .{ .any_int, .any, .any },
166833 .patterns = &.{
166834 .{ .src = .{ .to_mem, .none, .none } },
166835 },
166836 .call_frame = .{ .alignment = .@"8" },
166837 .extra_temps = .{
166838 .{ .type = .usize, .kind = .{ .param_gpr = .{ .cc = .zigcc, .after = 0, .at = 0 } } },
166839 .{ .type = .usize, .kind = .{ .lazy_sym = .{ .kind = .code, .ref = .src0 } } },
166840 .unused,
166841 .unused,
166842 .unused,
166843 .unused,
166844 .unused,
166845 .unused,
166846 .unused,
166847 .unused,
166848 .unused,
166849 },
166850 .dst_temps = .{ .{ .cc = .nz }, .unused },
166851 .clobbers = .{ .eflags = true, .caller_preserved = .zigcc },
166852 .each = .{ .once = &.{
166853 .{ ._, ._, .lea, .tmp0p, .mem(.src0), ._, ._ },
166854 .{ ._, ._, .call, .tmp1d, ._, ._, ._ },
166855 .{ ._, ._, .@"test", .tmp0p, .tmp0p, ._, ._ },
166856 } },
166777166857 } }) catch |err| switch (err) {
166778166858 error.SelectFailed => return cg.fail("failed to select {s} {f} {f}", .{
166779166859 @tagName(air_tag),
......@@ -166813,6 +166893,32 @@ fn genBody(cg: *CodeGen, body: []const Air.Inst.Index) InnerError!void {
166813166893 .each = .{ .once = &.{
166814166894 .{ ._, ._, .call, .tmp0d, ._, ._, ._ },
166815166895 } },
166896 }, .{
166897 .required_features = .{ .avx, null, null, null },
166898 .src_constraints = .{ .any_int, .any, .any },
166899 .patterns = &.{
166900 .{ .src = .{ .to_mem, .none, .none } },
166901 },
166902 .call_frame = .{ .alignment = .@"32" },
166903 .extra_temps = .{
166904 .{ .type = .usize, .kind = .{ .lazy_sym = .{ .kind = .code, .ref = .src0 } } },
166905 .unused,
166906 .unused,
166907 .unused,
166908 .unused,
166909 .unused,
166910 .unused,
166911 .unused,
166912 .unused,
166913 .unused,
166914 .unused,
166915 },
166916 .dst_temps = .{ .{ .ret_gpr_pair = .{ .cc = .zigcc, .after = 0, .at = 0 } }, .unused },
166917 .clobbers = .{ .eflags = true, .caller_preserved = .zigcc },
166918 .each = .{ .once = &.{
166919 .{ ._, ._, .lea, .dst0p0, .mem(.src0), ._, ._ },
166920 .{ ._, ._, .call, .tmp0d, ._, ._, ._ },
166921 } },
166816166922 }, .{
166817166923 .required_features = .{ .sse, null, null, null },
166818166924 .src_constraints = .{ .{ .int = .gpr }, .any, .any },
......@@ -166838,6 +166944,32 @@ fn genBody(cg: *CodeGen, body: []const Air.Inst.Index) InnerError!void {
166838166944 .each = .{ .once = &.{
166839166945 .{ ._, ._, .call, .tmp0d, ._, ._, ._ },
166840166946 } },
166947 }, .{
166948 .required_features = .{ .sse, null, null, null },
166949 .src_constraints = .{ .any_int, .any, .any },
166950 .patterns = &.{
166951 .{ .src = .{ .to_mem, .none, .none } },
166952 },
166953 .call_frame = .{ .alignment = .@"16" },
166954 .extra_temps = .{
166955 .{ .type = .usize, .kind = .{ .lazy_sym = .{ .kind = .code, .ref = .src0 } } },
166956 .unused,
166957 .unused,
166958 .unused,
166959 .unused,
166960 .unused,
166961 .unused,
166962 .unused,
166963 .unused,
166964 .unused,
166965 .unused,
166966 },
166967 .dst_temps = .{ .{ .ret_gpr_pair = .{ .cc = .zigcc, .after = 0, .at = 0 } }, .unused },
166968 .clobbers = .{ .eflags = true, .caller_preserved = .zigcc },
166969 .each = .{ .once = &.{
166970 .{ ._, ._, .lea, .dst0p0, .mem(.src0), ._, ._ },
166971 .{ ._, ._, .call, .tmp0d, ._, ._, ._ },
166972 } },
166841166973 }, .{
166842166974 .src_constraints = .{ .{ .int = .gpr }, .any, .any },
166843166975 .patterns = &.{
......@@ -166862,6 +166994,32 @@ fn genBody(cg: *CodeGen, body: []const Air.Inst.Index) InnerError!void {
166862166994 .each = .{ .once = &.{
166863166995 .{ ._, ._, .call, .tmp0d, ._, ._, ._ },
166864166996 } },
166997 }, .{
166998 .required_features = .{ .sse, null, null, null },
166999 .src_constraints = .{ .any_int, .any, .any },
167000 .patterns = &.{
167001 .{ .src = .{ .to_mem, .none, .none } },
167002 },
167003 .call_frame = .{ .alignment = .@"8" },
167004 .extra_temps = .{
167005 .{ .type = .usize, .kind = .{ .lazy_sym = .{ .kind = .code, .ref = .src0 } } },
167006 .unused,
167007 .unused,
167008 .unused,
167009 .unused,
167010 .unused,
167011 .unused,
167012 .unused,
167013 .unused,
167014 .unused,
167015 .unused,
167016 },
167017 .dst_temps = .{ .{ .ret_gpr_pair = .{ .cc = .zigcc, .after = 0, .at = 0 } }, .unused },
167018 .clobbers = .{ .eflags = true, .caller_preserved = .zigcc },
167019 .each = .{ .once = &.{
167020 .{ ._, ._, .lea, .dst0p0, .mem(.src0), ._, ._ },
167021 .{ ._, ._, .call, .tmp0d, ._, ._, ._ },
167022 } },
166865167023 } }) catch |err| switch (err) {
166866167024 error.SelectFailed => return cg.fail("failed to select {s} {f} {f}", .{
166867167025 @tagName(air_tag),
......@@ -166870,7 +167028,7 @@ fn genBody(cg: *CodeGen, body: []const Air.Inst.Index) InnerError!void {
166870167028 }),
166871167029 else => |e| return e,
166872167030 };
166873 try ops[0].toPair(&res[0], cg);
167031 if (res[0].tracking(cg).short != .register_pair) try ops[0].toPair(&res[0], cg);
166874167032 try res[0].finish(inst, &.{un_op}, &ops, cg);
166875167033 },
166876167034 .error_name => |air_tag| {
......@@ -169241,32 +169399,43 @@ fn genLazy(cg: *CodeGen, lazy_sym: link.File.LazySymbol) InnerError!void {
169241169399 const enum_ty: Type = .fromInterned(lazy_sym.ty);
169242169400 wip_mir_log.debug("{f}.@tagName:", .{enum_ty.fmt(pt)});
169243169401
169244 const param_regs = abi.getCAbiIntParamRegs(.auto);
169245 const param_locks = cg.register_manager.lockRegsAssumeUnused(2, param_regs[0..2].*);
169246 defer for (param_locks) |lock| cg.register_manager.unlockReg(lock);
169402 const ret_regs = abi.getCAbiIntReturnRegs(.auto)[0..2].*;
169403 const ret_locks = cg.register_manager.lockRegsAssumeUnused(2, ret_regs);
169404 defer for (ret_locks) |lock| cg.register_manager.unlockReg(lock);
169405
169406 const param_reg = abi.getCAbiIntParamRegs(.auto)[0];
169407 const param_lock = cg.register_manager.lockReg(param_reg);
169408 defer if (param_lock) |lock| cg.register_manager.unlockReg(lock);
169247169409
169248 const ret_mcv: MCValue = .{ .register_pair = param_regs[0..2].* };
169249 var enum_temp = try cg.tempInit(enum_ty, .{ .register = param_regs[0] });
169410 const ret_mcv: MCValue = .{ .register_pair = ret_regs };
169250169411
169251169412 const data_reg = try cg.register_manager.allocReg(null, abi.RegisterClass.gp);
169252169413 const data_lock = cg.register_manager.lockRegAssumeUnused(data_reg);
169253169414 defer cg.register_manager.unlockReg(data_lock);
169254 try cg.genLazySymbolRef(.lea, data_reg, .{ .kind = .const_data, .ty = lazy_sym.ty });
169415 try cg.asmRegisterMemory(.{ ._, .lea }, data_reg.to64(), .{
169416 .base = .{ .lazy_sym = .{ .kind = .const_data, .ty = lazy_sym.ty } },
169417 });
169255169418
169256169419 var data_off: i32 = 0;
169257169420 const reset_index = cg.next_temp_index;
169258169421 const tag_names = ip.loadEnumType(lazy_sym.ty).names;
169259169422 for (0..tag_names.len) |tag_index| {
169423 var enum_temp = try cg.tempInit(enum_ty, if (enum_ty.abiSize(zcu) <= @as(u4, switch (cg.target.cpu.arch) {
169424 else => unreachable,
169425 .x86 => 4,
169426 .x86_64 => 8,
169427 })) .{ .register = param_reg } else .{ .indirect = .{ .reg = param_reg } });
169428
169260169429 const tag_name_len = tag_names.get(ip)[tag_index].length(ip);
169261169430 var tag_temp = try cg.tempFromValue(try pt.enumValueFieldIndex(enum_ty, @intCast(tag_index)));
169262169431 const cc_temp = enum_temp.cmpInts(.neq, &tag_temp, cg) catch |err| switch (err) {
169263169432 error.SelectFailed => unreachable,
169264169433 else => |e| return e,
169265169434 };
169435 try enum_temp.die(cg);
169266169436 try tag_temp.die(cg);
169267169437 const skip_reloc = try cg.asmJccReloc(cc_temp.tracking(cg).short.eflags, undefined);
169268169438 try cc_temp.die(cg);
169269 try cg.resetTemps(reset_index);
169270169439
169271169440 try cg.genSetReg(
169272169441 ret_mcv.register_pair[0],
......@@ -169280,8 +169449,9 @@ fn genLazy(cg: *CodeGen, lazy_sym: link.File.LazySymbol) InnerError!void {
169280169449 cg.performReloc(skip_reloc);
169281169450
169282169451 data_off += @intCast(tag_name_len + 1);
169452
169453 try cg.resetTemps(reset_index);
169283169454 }
169284 try enum_temp.die(cg);
169285169455
169286169456 try cg.genSetReg(ret_mcv.register_pair[0], .usize, .{ .immediate = 0 }, .{});
169287169457 try cg.asmOpOnly(.{ ._, .ret });
......@@ -169290,12 +169460,16 @@ fn genLazy(cg: *CodeGen, lazy_sym: link.File.LazySymbol) InnerError!void {
169290169460 const err_ty: Type = .fromInterned(lazy_sym.ty);
169291169461 wip_mir_log.debug("{f}.@errorCast:", .{err_ty.fmt(pt)});
169292169462
169293 const param_regs = abi.getCAbiIntParamRegs(.auto);
169294 const param_locks = cg.register_manager.lockRegsAssumeUnused(2, param_regs[0..2].*);
169295 defer for (param_locks) |lock| cg.register_manager.unlockReg(lock);
169463 const ret_reg = abi.getCAbiIntReturnRegs(.auto)[0];
169464 const ret_lock = cg.register_manager.lockRegAssumeUnused(ret_reg);
169465 defer cg.register_manager.unlockReg(ret_lock);
169466
169467 const param_reg = abi.getCAbiIntParamRegs(.auto)[0];
169468 const param_lock = cg.register_manager.lockReg(param_reg);
169469 defer if (param_lock) |lock| cg.register_manager.unlockReg(lock);
169296169470
169297 const ret_mcv: MCValue = .{ .register = param_regs[0] };
169298 const err_mcv: MCValue = .{ .register = param_regs[0] };
169471 const ret_mcv: MCValue = .{ .register = ret_reg };
169472 const err_mcv: MCValue = .{ .register = param_reg };
169299169473 var err_temp = try cg.tempInit(err_ty, err_mcv);
169300169474
169301169475 const ExpectedContents = [32]Mir.Inst.Index;
......@@ -182010,37 +182184,6 @@ fn genInlineMemset(
182010182184 try self.asmOpOnly(.{ .@"rep _sb", .sto });
182011182185}
182012182186
182013fn genLazySymbolRef(
182014 self: *CodeGen,
182015 comptime tag: Mir.Inst.Tag,
182016 reg: Register,
182017 lazy_sym: link.File.LazySymbol,
182018) InnerError!void {
182019 if (self.mod.pic) {
182020 switch (tag) {
182021 .lea, .call => try self.genSetReg(reg, .usize, .{
182022 .lea_lazy_sym = lazy_sym,
182023 }, .{}),
182024 .mov => try self.genSetReg(reg, .usize, .{
182025 .lea_lazy_sym = lazy_sym,
182026 }, .{}),
182027 else => unreachable,
182028 }
182029 switch (tag) {
182030 .lea, .mov => {},
182031 .call => try self.asmRegister(.{ ._, .call }, reg),
182032 else => unreachable,
182033 }
182034 } else switch (tag) {
182035 .lea, .mov => try self.asmRegisterMemory(.{ ._, tag }, reg.to64(), .{
182036 .base = .{ .lazy_sym = lazy_sym },
182037 .mod = .{ .rm = .{ .size = .qword } },
182038 }),
182039 .call => try self.asmImmediate(.{ ._, .call }, .{ .lazy_sym = lazy_sym }),
182040 else => unreachable,
182041 }
182042}
182043
182044182187fn airBitCast(self: *CodeGen, inst: Air.Inst.Index) !void {
182045182188 const pt = self.pt;
182046182189 const zcu = pt.zcu;
......@@ -193662,9 +193805,11 @@ const Select = struct {
193662193805 const tmp0y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp0y } };
193663193806 const tmp0w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp0w }, .imm = 1 };
193664193807 const tmp0d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp0d }, .imm = 1 };
193808 const tmp0p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp0p }, .imm = 1 };
193665193809 const tmp0q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp0q }, .imm = 1 };
193666193810 const tmp0w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp0w }, .imm = 2 };
193667193811 const tmp0d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp0d }, .imm = 2 };
193812 const tmp0p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp0p }, .imm = 2 };
193668193813 const tmp0q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp0q }, .imm = 2 };
193669193814
193670193815 const tmp1l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp1l } };
......@@ -193680,9 +193825,11 @@ const Select = struct {
193680193825 const tmp1y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp1y } };
193681193826 const tmp1w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp1w }, .imm = 1 };
193682193827 const tmp1d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp1d }, .imm = 1 };
193828 const tmp1p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp1p }, .imm = 1 };
193683193829 const tmp1q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp1q }, .imm = 1 };
193684193830 const tmp1w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp1w }, .imm = 2 };
193685193831 const tmp1d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp1d }, .imm = 2 };
193832 const tmp1p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp1p }, .imm = 2 };
193686193833 const tmp1q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp1q }, .imm = 2 };
193687193834
193688193835 const tmp2l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp2l } };
......@@ -193698,9 +193845,11 @@ const Select = struct {
193698193845 const tmp2y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp2y } };
193699193846 const tmp2w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp2w }, .imm = 1 };
193700193847 const tmp2d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp2d }, .imm = 1 };
193848 const tmp2p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp2p }, .imm = 1 };
193701193849 const tmp2q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp2q }, .imm = 1 };
193702193850 const tmp2w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp2w }, .imm = 2 };
193703193851 const tmp2d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp2d }, .imm = 2 };
193852 const tmp2p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp2p }, .imm = 2 };
193704193853 const tmp2q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp2q }, .imm = 2 };
193705193854
193706193855 const tmp3l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp3l } };
......@@ -193716,9 +193865,11 @@ const Select = struct {
193716193865 const tmp3y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp3y } };
193717193866 const tmp3w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp3w }, .imm = 1 };
193718193867 const tmp3d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp3d }, .imm = 1 };
193868 const tmp3p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp3p }, .imm = 1 };
193719193869 const tmp3q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp3q }, .imm = 1 };
193720193870 const tmp3w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp3w }, .imm = 2 };
193721193871 const tmp3d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp3d }, .imm = 2 };
193872 const tmp3p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp3p }, .imm = 2 };
193722193873 const tmp3q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp3q }, .imm = 2 };
193723193874
193724193875 const tmp4l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp4l } };
......@@ -193734,9 +193885,11 @@ const Select = struct {
193734193885 const tmp4y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp4y } };
193735193886 const tmp4w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp4w }, .imm = 1 };
193736193887 const tmp4d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp4d }, .imm = 1 };
193888 const tmp4p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp4p }, .imm = 1 };
193737193889 const tmp4q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp4q }, .imm = 1 };
193738193890 const tmp4w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp4w }, .imm = 2 };
193739193891 const tmp4d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp4d }, .imm = 2 };
193892 const tmp4p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp4p }, .imm = 2 };
193740193893 const tmp4q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp4q }, .imm = 2 };
193741193894
193742193895 const tmp5l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp5l } };
......@@ -193752,9 +193905,11 @@ const Select = struct {
193752193905 const tmp5y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp5y } };
193753193906 const tmp5w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp5w }, .imm = 1 };
193754193907 const tmp5d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp5d }, .imm = 1 };
193908 const tmp5p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp5p }, .imm = 1 };
193755193909 const tmp5q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp5q }, .imm = 1 };
193756193910 const tmp5w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp5w }, .imm = 2 };
193757193911 const tmp5d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp5d }, .imm = 2 };
193912 const tmp5p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp5p }, .imm = 2 };
193758193913 const tmp5q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp5q }, .imm = 2 };
193759193914
193760193915 const tmp6l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp6l } };
......@@ -193770,9 +193925,11 @@ const Select = struct {
193770193925 const tmp6y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp6y } };
193771193926 const tmp6w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp6w }, .imm = 1 };
193772193927 const tmp6d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp6d }, .imm = 1 };
193928 const tmp6p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp6p }, .imm = 1 };
193773193929 const tmp6q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp6q }, .imm = 1 };
193774193930 const tmp6w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp6w }, .imm = 2 };
193775193931 const tmp6d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp6d }, .imm = 2 };
193932 const tmp6p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp6p }, .imm = 2 };
193776193933 const tmp6q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp6q }, .imm = 2 };
193777193934
193778193935 const tmp7l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp7l } };
......@@ -193788,9 +193945,11 @@ const Select = struct {
193788193945 const tmp7y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp7y } };
193789193946 const tmp7w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp7w }, .imm = 1 };
193790193947 const tmp7d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp7d }, .imm = 1 };
193948 const tmp7p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp7p }, .imm = 1 };
193791193949 const tmp7q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp7q }, .imm = 1 };
193792193950 const tmp7w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp7w }, .imm = 2 };
193793193951 const tmp7d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp7d }, .imm = 2 };
193952 const tmp7p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp7p }, .imm = 2 };
193794193953 const tmp7q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp7q }, .imm = 2 };
193795193954
193796193955 const tmp8l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp8l } };
......@@ -193806,9 +193965,11 @@ const Select = struct {
193806193965 const tmp8y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp8y } };
193807193966 const tmp8w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp8w }, .imm = 1 };
193808193967 const tmp8d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp8d }, .imm = 1 };
193968 const tmp8p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp8p }, .imm = 1 };
193809193969 const tmp8q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp8q }, .imm = 1 };
193810193970 const tmp8w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp8w }, .imm = 2 };
193811193971 const tmp8d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp8d }, .imm = 2 };
193972 const tmp8p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp8p }, .imm = 2 };
193812193973 const tmp8q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp8q }, .imm = 2 };
193813193974
193814193975 const tmp9l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp9l } };
......@@ -193824,9 +193985,11 @@ const Select = struct {
193824193985 const tmp9y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp9y } };
193825193986 const tmp9w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp9w }, .imm = 1 };
193826193987 const tmp9d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp9d }, .imm = 1 };
193988 const tmp9p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp9p }, .imm = 1 };
193827193989 const tmp9q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp9q }, .imm = 1 };
193828193990 const tmp9w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp9w }, .imm = 2 };
193829193991 const tmp9d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp9d }, .imm = 2 };
193992 const tmp9p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp9p }, .imm = 2 };
193830193993 const tmp9q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp9q }, .imm = 2 };
193831193994
193832193995 const tmp10l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp10l } };
......@@ -193842,9 +194005,11 @@ const Select = struct {
193842194005 const tmp10y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp10y } };
193843194006 const tmp10w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp10w }, .imm = 1 };
193844194007 const tmp10d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp10d }, .imm = 1 };
194008 const tmp10p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp10p }, .imm = 1 };
193845194009 const tmp10q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp10q }, .imm = 1 };
193846194010 const tmp10w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp10w }, .imm = 2 };
193847194011 const tmp10d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp10d }, .imm = 2 };
194012 const tmp10p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp10p }, .imm = 2 };
193848194013 const tmp10q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .tmp10q }, .imm = 2 };
193849194014
193850194015 const dst0l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst0l } };
......@@ -193860,9 +194025,11 @@ const Select = struct {
193860194025 const dst0y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst0y } };
193861194026 const dst0w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst0w }, .imm = 1 };
193862194027 const dst0d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst0d }, .imm = 1 };
194028 const dst0p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst0p }, .imm = 1 };
193863194029 const dst0q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst0q }, .imm = 1 };
193864194030 const dst0w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst0w }, .imm = 2 };
193865194031 const dst0d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst0d }, .imm = 2 };
194032 const dst0p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst0p }, .imm = 2 };
193866194033 const dst0q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst0q }, .imm = 2 };
193867194034
193868194035 const dst1l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst1l } };
......@@ -193878,9 +194045,11 @@ const Select = struct {
193878194045 const dst1y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst1y } };
193879194046 const dst1w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst1w }, .imm = 1 };
193880194047 const dst1d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst1d }, .imm = 1 };
194048 const dst1p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst1p }, .imm = 1 };
193881194049 const dst1q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst1q }, .imm = 1 };
193882194050 const dst1w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst1w }, .imm = 2 };
193883194051 const dst1d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst1d }, .imm = 2 };
194052 const dst1p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst1p }, .imm = 2 };
193884194053 const dst1q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .dst1q }, .imm = 2 };
193885194054
193886194055 const src0l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src0l } };
......@@ -193896,9 +194065,11 @@ const Select = struct {
193896194065 const src0y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src0y } };
193897194066 const src0w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src0w }, .imm = 1 };
193898194067 const src0d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src0d }, .imm = 1 };
194068 const src0p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src0p }, .imm = 1 };
193899194069 const src0q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src0q }, .imm = 1 };
193900194070 const src0w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src0w }, .imm = 2 };
193901194071 const src0d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src0d }, .imm = 2 };
194072 const src0p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src0p }, .imm = 2 };
193902194073 const src0q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src0q }, .imm = 2 };
193903194074
193904194075 const src1l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src1l } };
......@@ -193914,9 +194085,11 @@ const Select = struct {
193914194085 const src1y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src1y } };
193915194086 const src1w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src1w }, .imm = 1 };
193916194087 const src1d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src1d }, .imm = 1 };
194088 const src1p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src1p }, .imm = 1 };
193917194089 const src1q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src1q }, .imm = 1 };
193918194090 const src1w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src1w }, .imm = 2 };
193919194091 const src1d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src1d }, .imm = 2 };
194092 const src1p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src1p }, .imm = 2 };
193920194093 const src1q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src1q }, .imm = 2 };
193921194094
193922194095 const src2l: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src2l } };
......@@ -193932,9 +194105,11 @@ const Select = struct {
193932194105 const src2y: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src2y } };
193933194106 const src2w0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src2w }, .imm = 1 };
193934194107 const src2d0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src2d }, .imm = 1 };
194108 const src2p0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src2p }, .imm = 1 };
193935194109 const src2q0: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src2q }, .imm = 1 };
193936194110 const src2w1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src2w }, .imm = 2 };
193937194111 const src2d1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src2d }, .imm = 2 };
194112 const src2p1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src2p }, .imm = 2 };
193938194113 const src2q1: Select.Operand = .{ .flags = .{ .tag = .ref, .base = .src2q }, .imm = 2 };
193939194114
193940194115 fn si(imm: i32) Select.Operand {
test/behavior/enum.zig+19
......@@ -1065,6 +1065,25 @@ test "tag name with signed enum values" {
10651065 try expect(mem.eql(u8, @tagName(b), "bravo"));
10661066}
10671067
1068test "tag name with large enum values" {
1069 if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
1070 if (builtin.zig_backend == .stage2_c) return error.SkipZigTest;
1071
1072 const Kdf = enum(u128) {
1073 aes_kdf = 0xea4f8ac1080d74bf60448a629af3d9c9,
1074 argon2d = 0x0c0ae303a4a9f7914b44298cdf6d63ef,
1075 argon2id = 0xe6a1f0c63efc3db27347db56198b299e,
1076 };
1077 var kdf: Kdf = .aes_kdf;
1078 try expect(mem.eql(u8, @tagName(kdf), "aes_kdf"));
1079 var argon2d_value: u128 = undefined;
1080 argon2d_value = @intFromEnum(Kdf.argon2d);
1081 kdf = @enumFromInt(argon2d_value);
1082 try expect(mem.eql(u8, @tagName(kdf), "argon2d"));
1083 kdf = .argon2id;
1084 try expect(mem.eql(u8, @tagName(kdf), "argon2id"));
1085}
1086
10681087test "@tagName in callconv(.c) function" {
10691088 if (builtin.zig_backend == .stage2_aarch64) return error.SkipZigTest;
10701089 if (builtin.zig_backend == .stage2_arm) return error.SkipZigTest;