baraba/bux-lang
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix(qbe): improved if-else label handling, QBE_IsTerminator for hIf

Browse Source
This commit is contained in:
dimgigov
2026-06-02 13:32:41 +03:00
parent 319dcd9280
commit 4c610b8a80
2 changed files with 46 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files
_selfhost/src/qbe_backend.bux
+23 -9
View File
@@ -261,6 +261,10 @@ func QBE_IsTerminator(node: *HirNode) -> bool {
if node.kind == hReturn { return true; } if node.kind == hReturn { return true; }
if node.kind == hBreak { return true; } if node.kind == hBreak { return true; }
if node.kind == hContinue { return true; } if node.kind == hContinue { return true; }
if node.kind == hIf {
// Both branches must terminate for the if to be a terminator
return QBE_IsTerminator(node.child2) && QBE_IsTerminator(node.child3);
}
if node.kind == hBlock { if node.kind == hBlock {
var last: *HirNode = node.child1; var last: *HirNode = node.child1;
if last == null as *HirNode { return false; } if last == null as *HirNode { return false; }
@@ -684,25 +688,35 @@ func QBE_EmitStmt(qbe: *QbeEmitter, node: *HirNode) {
QBE_Emit(qbe, ", "); QBE_Emit(qbe, ", ");
QBE_Emit(qbe, lThen); QBE_Emit(qbe, lThen);
QBE_Emit(qbe, ", "); QBE_Emit(qbe, ", ");
QBE_EmitLine(qbe, lElse); var hasElse: bool = node.child3 != null as *HirNode;
if hasElse {
QBE_EmitLine(qbe, lElse);
} else {
QBE_EmitLine(qbe, lEnd);
}
QBE_EmitLine(qbe, lThen); QBE_EmitLine(qbe, lThen);
QBE_EmitStmt(qbe, node.child2); QBE_EmitStmt(qbe, node.child2);
if !QBE_IsTerminator(node.child2) { let thenTerm: bool = QBE_IsTerminator(node.child2);
if !thenTerm {
QBE_EmitIndent(qbe); QBE_EmitIndent(qbe);
QBE_Emit(qbe, "jmp "); QBE_Emit(qbe, "jmp ");
QBE_EmitLine(qbe, lEnd); QBE_EmitLine(qbe, lEnd);
} }
QBE_EmitLine(qbe, lElse); if hasElse {
QBE_EmitStmt(qbe, node.child3); QBE_EmitLine(qbe, lElse);
if !QBE_IsTerminator(node.child3) { QBE_EmitStmt(qbe, node.child3);
QBE_EmitIndent(qbe); if !QBE_IsTerminator(node.child3) {
QBE_Emit(qbe, "jmp "); QBE_EmitIndent(qbe);
QBE_EmitLine(qbe, lEnd); QBE_Emit(qbe, "jmp ");
QBE_EmitLine(qbe, lEnd);
}
} }
QBE_EmitLine(qbe, lEnd); if (!thenTerm || hasElse) {
QBE_EmitLine(qbe, lEnd);
}
return; return;
} }
src_bux/qbe_backend.bux
+23 -9
View File
@@ -261,6 +261,10 @@ func QBE_IsTerminator(node: *HirNode) -> bool {
if node.kind == hReturn { return true; } if node.kind == hReturn { return true; }
if node.kind == hBreak { return true; } if node.kind == hBreak { return true; }
if node.kind == hContinue { return true; } if node.kind == hContinue { return true; }
if node.kind == hIf {
// Both branches must terminate for the if to be a terminator
return QBE_IsTerminator(node.child2) && QBE_IsTerminator(node.child3);
}
if node.kind == hBlock { if node.kind == hBlock {
var last: *HirNode = node.child1; var last: *HirNode = node.child1;
if last == null as *HirNode { return false; } if last == null as *HirNode { return false; }
@@ -684,25 +688,35 @@ func QBE_EmitStmt(qbe: *QbeEmitter, node: *HirNode) {
QBE_Emit(qbe, ", "); QBE_Emit(qbe, ", ");
QBE_Emit(qbe, lThen); QBE_Emit(qbe, lThen);
QBE_Emit(qbe, ", "); QBE_Emit(qbe, ", ");
QBE_EmitLine(qbe, lElse); var hasElse: bool = node.child3 != null as *HirNode;
if hasElse {
QBE_EmitLine(qbe, lElse);
} else {
QBE_EmitLine(qbe, lEnd);
}
QBE_EmitLine(qbe, lThen); QBE_EmitLine(qbe, lThen);
QBE_EmitStmt(qbe, node.child2); QBE_EmitStmt(qbe, node.child2);
if !QBE_IsTerminator(node.child2) { let thenTerm: bool = QBE_IsTerminator(node.child2);
if !thenTerm {
QBE_EmitIndent(qbe); QBE_EmitIndent(qbe);
QBE_Emit(qbe, "jmp "); QBE_Emit(qbe, "jmp ");
QBE_EmitLine(qbe, lEnd); QBE_EmitLine(qbe, lEnd);
} }
QBE_EmitLine(qbe, lElse); if hasElse {
QBE_EmitStmt(qbe, node.child3); QBE_EmitLine(qbe, lElse);
if !QBE_IsTerminator(node.child3) { QBE_EmitStmt(qbe, node.child3);
QBE_EmitIndent(qbe); if !QBE_IsTerminator(node.child3) {
QBE_Emit(qbe, "jmp "); QBE_EmitIndent(qbe);
QBE_EmitLine(qbe, lEnd); QBE_Emit(qbe, "jmp ");
QBE_EmitLine(qbe, lEnd);
}
} }
QBE_EmitLine(qbe, lEnd); if (!thenTerm || hasElse) {
QBE_EmitLine(qbe, lEnd);
}
return; return;
} }