From 2e15a404e287982b261c14240db44af9175f765a Mon Sep 17 00:00:00 2001 From: Scibuild <30519309+Scibuild@users.noreply.github.com> Date: Thu, 18 Nov 2021 08:26:15 +1100 Subject: C backend: errors and optionals * bitcast treats all pointers as pointers * correctly unwrapping error unions with pointers * equality operators for primitive optional types --- src/codegen/c.zig | 60 +++++++++++++++++++++++++++++++++++++++++++++++-------- 1 file changed, 52 insertions(+), 8 deletions(-) (limited to 'src/codegen/c.zig') diff --git a/src/codegen/c.zig b/src/codegen/c.zig index 3aef5a8f92..6f857abff0 100644 --- a/src/codegen/c.zig +++ b/src/codegen/c.zig @@ -1162,12 +1162,12 @@ fn genBody(f: *Function, body: []const Air.Inst.Index) error{ AnalysisFail, OutO .slice => try airSlice(f, inst), - .cmp_eq => try airBinOp(f, inst, " == "), + .cmp_eq => try airEquality(f, inst, .cmp_eq), .cmp_gt => try airBinOp(f, inst, " > "), .cmp_gte => try airBinOp(f, inst, " >= "), .cmp_lt => try airBinOp(f, inst, " < "), .cmp_lte => try airBinOp(f, inst, " <= "), - .cmp_neq => try airBinOp(f, inst, " != "), + .cmp_neq => try airEquality(f, inst, .cmp_neq), // bool_and and bool_or are non-short-circuit operations .bool_and => try airBinOp(f, inst, " & "), @@ -1257,9 +1257,9 @@ fn genBody(f: *Function, body: []const Air.Inst.Index) error{ AnalysisFail, OutO .slice_elem_ptr => try airSliceElemPtr(f, inst), .array_elem_val => try airArrayElemVal(f, inst), - .unwrap_errunion_payload => try airUnwrapErrUnionPay(f, inst), + .unwrap_errunion_payload => try airUnwrapErrUnionPay(f, inst, ""), .unwrap_errunion_err => try airUnwrapErrUnionErr(f, inst), - .unwrap_errunion_payload_ptr => try airUnwrapErrUnionPay(f, inst), + .unwrap_errunion_payload_ptr => try airUnwrapErrUnionPay(f, inst, "&"), .unwrap_errunion_err_ptr => try airUnwrapErrUnionErr(f, inst), .wrap_errunion_payload => try airWrapErrUnionPay(f, inst), .wrap_errunion_err => try airWrapErrUnionErr(f, inst), @@ -1908,6 +1908,51 @@ fn airBinOp(f: *Function, inst: Air.Inst.Index, operator: [*:0]const u8) !CValue return local; } +fn airEquality(f: *Function, inst: Air.Inst.Index, op: Air.Inst.Tag) !CValue { + if (f.liveness.isUnused(inst)) + return CValue.none; + + const bin_op = f.air.instructions.items(.data)[inst].bin_op; + const lhs = try f.resolveInst(bin_op.lhs); + const rhs = try f.resolveInst(bin_op.rhs); + + const writer = f.object.writer(); + const inst_ty = f.air.typeOfIndex(inst); + const local = try f.allocLocal(inst_ty, .Const); + + try writer.writeAll(" = "); + + const lhs_ty = f.air.typeOf(bin_op.lhs); + if (lhs_ty.tag() == .optional) { + // (A && B) || (C && (A == B)) + // A = lhs.is_null ; B = rhs.is_null ; C = rhs.payload == lhs.payload + + try writer.writeAll(if (op == .cmp_eq) "((" else "!(("); + try f.writeCValue(writer, lhs); + try writer.writeAll(".is_null && "); + try f.writeCValue(writer, rhs); + try writer.writeAll(".is_null) || ("); + try f.writeCValue(writer, lhs); + try writer.writeAll(".payload == "); + try f.writeCValue(writer, rhs); + try writer.writeAll(".payload && "); + try f.writeCValue(writer, lhs); + try writer.writeAll(".is_null == "); + try f.writeCValue(writer, rhs); + try writer.writeAll(".is_null));\n"); + + return local; + } + + const operator = if (op == .cmp_eq) "==" else "!="; + try f.writeCValue(writer, lhs); + try writer.print("{s}", .{operator}); + try f.writeCValue(writer, rhs); + try writer.writeAll(";\n"); + + return local; +} + fn airPtrAddSub(f: *Function, inst: Air.Inst.Index, operator: [*:0]const u8) !CValue { if (f.liveness.isUnused(inst)) return CValue.none; @@ -2104,8 +2149,8 @@ fn airBitcast(f: *Function, inst: Air.Inst.Index) !CValue { const writer = f.object.writer(); const inst_ty = f.air.typeOfIndex(inst); - if (inst_ty.zigTypeTag() == .Pointer and - f.air.typeOf(ty_op.operand).zigTypeTag() == .Pointer) + if (inst_ty.isPtrAtRuntime() and + f.air.typeOf(ty_op.operand).isPtrAtRuntime()) { const local = try f.allocLocal(inst_ty, .Const); try writer.writeAll(" = ("); @@ -2503,7 +2548,7 @@ fn airUnwrapErrUnionErr(f: *Function, inst: Air.Inst.Index) !CValue { return local; } -fn airUnwrapErrUnionPay(f: *Function, inst: Air.Inst.Index) !CValue { +fn airUnwrapErrUnionPay(f: *Function, inst: Air.Inst.Index, maybe_addrof: []const u8) !CValue { if (f.liveness.isUnused(inst)) return CValue.none; @@ -2519,7 +2564,6 @@ fn airUnwrapErrUnionPay(f: *Function, inst: Air.Inst.Index) !CValue { const inst_ty = f.air.typeOfIndex(inst); const maybe_deref = if (operand_ty.zigTypeTag() == .Pointer) "->" else "."; - const maybe_addrof = if (inst_ty.zigTypeTag() == .Pointer) "&" else ""; const local = try f.allocLocal(inst_ty, .Const); try writer.print(" = {s}(", .{maybe_addrof}); -- cgit v1.2.3 From 7ee02b5e70c99159e861cd94adac4707a3315959 Mon Sep 17 00:00:00 2001 From: Andrew Kelley Date: Tue, 23 Nov 2021 13:54:08 -0700 Subject: C backend: avoid branching multiple times on AIR tag for cmp_eq and cmp_neq. --- src/codegen/c.zig | 20 ++++++++++++-------- 1 file changed, 12 insertions(+), 8 deletions(-) (limited to 'src/codegen/c.zig') diff --git a/src/codegen/c.zig b/src/codegen/c.zig index 6f857abff0..5695d22d45 100644 --- a/src/codegen/c.zig +++ b/src/codegen/c.zig @@ -1162,12 +1162,13 @@ fn genBody(f: *Function, body: []const Air.Inst.Index) error{ AnalysisFail, OutO .slice => try airSlice(f, inst), - .cmp_eq => try airEquality(f, inst, .cmp_eq), .cmp_gt => try airBinOp(f, inst, " > "), .cmp_gte => try airBinOp(f, inst, " >= "), .cmp_lt => try airBinOp(f, inst, " < "), .cmp_lte => try airBinOp(f, inst, " <= "), - .cmp_neq => try airEquality(f, inst, .cmp_neq), + + .cmp_eq => try airEquality(f, inst, "((", "=="), + .cmp_neq => try airEquality(f, inst, "!((", "!="), // bool_and and bool_or are non-short-circuit operations .bool_and => try airBinOp(f, inst, " & "), @@ -1908,9 +1909,13 @@ fn airBinOp(f: *Function, inst: Air.Inst.Index, operator: [*:0]const u8) !CValue return local; } -fn airEquality(f: *Function, inst: Air.Inst.Index, op: Air.Inst.Tag) !CValue { - if (f.liveness.isUnused(inst)) - return CValue.none; +fn airEquality( + f: *Function, + inst: Air.Inst.Index, + negate_prefix: []const u8, + eq_op_str: []const u8, +) !CValue { + if (f.liveness.isUnused(inst)) return CValue.none; const bin_op = f.air.instructions.items(.data)[inst].bin_op; const lhs = try f.resolveInst(bin_op.lhs); @@ -1927,7 +1932,7 @@ fn airEquality(f: *Function, inst: Air.Inst.Index, op: Air.Inst.Tag) !CValue { // (A && B) || (C && (A == B)) // A = lhs.is_null ; B = rhs.is_null ; C = rhs.payload == lhs.payload - try writer.writeAll(if (op == .cmp_eq) "((" else "!(("); + try writer.writeAll(negate_prefix); try f.writeCValue(writer, lhs); try writer.writeAll(".is_null && "); try f.writeCValue(writer, rhs); @@ -1944,9 +1949,8 @@ fn airEquality(f: *Function, inst: Air.Inst.Index, op: Air.Inst.Tag) !CValue { return local; } - const operator = if (op == .cmp_eq) "==" else "!="; try f.writeCValue(writer, lhs); - try writer.print("{s}", .{operator}); + try writer.writeAll(eq_op_str); try f.writeCValue(writer, rhs); try writer.writeAll(";\n"); -- cgit v1.2.3