zig

commit 96ed1a2b46cd13adda1ceba3a03c55a4cae528cd (tree)
parent fa9b0fa6d37f5ce61e7b36acd48cccb0d4fe71cc
Author: Jacob Young <jacobly0@users.noreply.github.com>
Date:   Tue,  4 Feb 2025 14:49:59 -0500

x86_64: remove cases that are impossible to lower

Diffstat:
M
src/arch/x86_64/CodeGen.zig
 | 
71
+----------------------------------------------------------------------

1 file changed, 1 insertion(+), 70 deletions(-)
diff --git a/src/arch/x86_64/CodeGen.zig b/src/arch/x86_64/CodeGen.zig
@@ -6887,7 +6887,7 @@ fn genBody(cg: *CodeGen, body: []const Air.Inst.Index) InnerError!void {
                             .any,
                         },
                         .patterns = &.{
-                            .{ .src = .{ .mem, .mem, .none } },
+                            .{ .src = .{ .to_mem, .to_mem, .none } },
                         },
                         .call_frame = .{ .size = 16, .alignment = .@"16" },
                         .extra_temps = .{
@@ -6917,75 +6917,6 @@ fn genBody(cg: *CodeGen, body: []const Air.Inst.Index) InnerError!void {
                     }, .{
                         .required_features = .{ .x87, null, null, null },
                         .src_constraints = .{
-                            .{ .scalar_float = .{ .of = .xword, .is = .tbyte } },
-                            .{ .scalar_float = .{ .of = .xword, .is = .tbyte } },
-                            .any,
-                        },
-                        .patterns = &.{
-                            .{ .src = .{ .to_x87, .mem, .none } },
-                        },
-                        .call_frame = .{ .size = 16, .alignment = .@"16" },
-                        .extra_temps = .{
-                            .{ .type = .f80, .kind = .{ .reg = .st7 } },
-                            .{ .type = .f80, .kind = .{ .frame = .call_frame } },
-                            .{ .type = .usize, .kind = .{ .symbol = &.{ .name = switch (direction) {
-                                else => unreachable,
-                                .zero => "__truncx",
-                                .down => "__floorx",
-                            } } } },
-                            .unused,
-                            .unused,
-                            .unused,
-                            .unused,
-                            .unused,
-                            .unused,
-                        },
-                        .dst_temps = .{.{ .reg = .st0 }},
-                        .clobbers = .{ .eflags = true, .caller_preserved = .ccc },
-                        .each = .{ .once = &.{
-                            .{ ._, .f_, .ld, .src0t, ._, ._, ._ },
-                            .{ ._, .f_, .divr, .tmp0t, .src1t, ._, ._ },
-                            .{ ._, .f_p, .st, .mem(.tmp1t), ._, ._, ._ },
-                            .{ ._, ._, .call, .tmp2d, ._, ._, ._ },
-                        } },
-                    }, .{
-                        .required_features = .{ .x87, null, null, null },
-                        .src_constraints = .{
-                            .{ .scalar_float = .{ .of = .xword, .is = .tbyte } },
-                            .{ .scalar_float = .{ .of = .xword, .is = .tbyte } },
-                            .any,
-                        },
-                        .patterns = &.{
-                            .{ .src = .{ .mem, .to_x87, .none } },
-                            .{ .src = .{ .to_x87, .to_x87, .none } },
-                        },
-                        .call_frame = .{ .size = 16, .alignment = .@"16" },
-                        .extra_temps = .{
-                            .{ .type = .f80, .kind = .{ .reg = .st7 } },
-                            .{ .type = .f80, .kind = .{ .frame = .call_frame } },
-                            .{ .type = .usize, .kind = .{ .symbol = &.{ .name = switch (direction) {
-                                else => unreachable,
-                                .zero => "__truncx",
-                                .down => "__floorx",
-                            } } } },
-                            .unused,
-                            .unused,
-                            .unused,
-                            .unused,
-                            .unused,
-                            .unused,
-                        },
-                        .dst_temps = .{.{ .reg = .st0 }},
-                        .clobbers = .{ .eflags = true, .caller_preserved = .ccc },
-                        .each = .{ .once = &.{
-                            .{ ._, .f_, .ld, .src0t, ._, ._, ._ },
-                            .{ ._, .f_, .div, .tmp0t, .src1t, ._, ._ },
-                            .{ ._, .f_p, .st, .mem(.tmp1t), ._, ._, ._ },
-                            .{ ._, ._, .call, .tmp2d, ._, ._, ._ },
-                        } },
-                    }, .{
-                        .required_features = .{ .x87, null, null, null },
-                        .src_constraints = .{
                             .{ .multiple_scalar_float = .{ .of = .xword, .is = .tbyte } },
                             .{ .multiple_scalar_float = .{ .of = .xword, .is = .tbyte } },
                             .any,