Commit 3ec5c9a3bcae09c01cbe4f0505e6ab03834bbb98 | zig

author	Veikka Tuominen <git@vexu.eu> 2021-01-27 12:22:38+02:00
committer	Veikka Tuominen <git@vexu.eu> 2021-02-01 08:48:24+02:00
log	3ec5c9a3bcae09c01cbe4f0505e6ab03834bbb98
tree	2558bfafc885f48c78b8035b3b0431a4cb7545d7
parent	106520329e5adc6cf5ef83595da6c9d5dd3c4b35
signature	Commit is signed but in an unrecognized format.

stage2 cbe: implement not and some bitwise ops

2 files changed, 29 insertions(+), 2 deletions(-)

src
- codegen
  - c.zig
test
- stage2
  - cbe.zig

src/codegen/c.zig+22-2

 @@ -293,6 +293,7 @@ pub const DeclGen = struct {
                 try dg.renderType(w, t.elemType());
                 try w.writeAll(" *");
             },
+            .Null, .Undefined => unreachable, // must be const or comptime
             else => |e| return dg.fail(dg.decl.src(), "TODO: C backend: implement type {s}", .{
                 @tagName(e),
             }),
 @@ -387,6 +388,7 @@ pub fn genBody(o: *Object, body: ir.Body) error{ AnalysisFail, OutOfMemory }!voi
     for (body.instructions) |inst| {
         const result_value = switch (inst.tag) {
+            .constant => unreachable, // excluded from function bodies
             .add => try genBinOp(o, inst.castTag(.add).?, " + "),
             .alloc => try genAlloc(o, inst.castTag(.alloc).?),
             .arg => genArg(o),
 @@ -415,8 +417,10 @@ pub fn genBody(o: *Object, body: ir.Body) error{ AnalysisFail, OutOfMemory }!voi
             .brvoid => try genBrVoid(o, inst.castTag(.brvoid).?.block),
             .switchbr => try genSwitchBr(o, inst.castTag(.switchbr).?),
             // booland and boolor are non-short-circuit operations
-            .booland => try genBinOp(o, inst.castTag(.booland).?, " & "),
+            .booland, .bitand => try genBinOp(o, inst.castTag(.booland).?, " & "),
-            .boolor => try genBinOp(o, inst.castTag(.boolor).?, " | "),
+            .boolor, .bitor => try genBinOp(o, inst.castTag(.boolor).?, " | "),
+            .xor => try genBinOp(o, inst.castTag(.xor).?, " ^ "),
+            .not => try genUnOp(o, inst.castTag(.not).?, "!"),
             else => |e| return o.dg.fail(o.dg.decl.src(), "TODO: C backend: implement codegen for {}", .{e}),
         };
         switch (result_value) {
 @@ -541,6 +545,22 @@ fn genBinOp(o: *Object, inst: *Inst.BinOp, operator: []const u8) !CValue {
     return local;
 }
+fn genUnOp(o: *Object, inst: *Inst.UnOp, operator: []const u8) !CValue {
+    if (inst.base.isUnused())
+        return CValue.none;
+    const operand = try o.resolveInst(inst.operand);
+    const writer = o.writer();
+    const local = try o.allocLocal(inst.base.ty, .Const);
+    try writer.print(" = {s}", .{operator});
+    try o.writeCValue(writer, operand);
+    try writer.writeAll(";\n");
+    return local;
+}
 fn genCall(o: *Object, inst: *Inst.Call) !CValue {
     if (inst.func.castTag(.constant)) |func_inst| {
         const fn_decl = if (func_inst.val.castTag(.extern_fn)) |extern_fn|

test/stage2/cbe.zig+7

...	@@ -196,6 +196,13 @@ pub fn addCases(ctx: *TestContext) !void {	...	@@ -196,6 +196,13 @@ pub fn addCases(ctx: *TestContext) !void {
196	\\ return a - 5;	196	\\ return a - 5;
197	\\}	197	\\}
198	, "");	198	, "");
		199	case.addCompareOutput(
		200	\\export fn main() c_int {
		201	\\ var a = true;
		202	\\ while (!a) {}
		203	\\ return 0;
		204	\\}
		205	, "");
199		206
200	// If expression	207	// If expression
201	case.addCompareOutput(	208	case.addCompareOutput(