aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorCurtis Wilkinson <curtistatewilkinson@gmail.com>2022-03-02 17:51:46 +1000
committerAndrew Kelley <andrew@ziglang.org>2022-03-02 14:46:09 -0500
commit7fc8dd66427dd0abed5ca9195e6afdbb687bd5f5 (patch)
treee025b298b28a20c70c4e4ab766b11a1c8c881b95 /src
parent5c8a507e7a8e2e58a0ca855689bcd2edd2ab6ab8 (diff)
downloadzig-7fc8dd66427dd0abed5ca9195e6afdbb687bd5f5.tar.gz
zig-7fc8dd66427dd0abed5ca9195e6afdbb687bd5f5.zip
Zir: rename the 'ret_coerce' tag to 'ret_tok' as per TODO
Diffstat (limited to 'src')
-rw-r--r--src/AstGen.zig10
-rw-r--r--src/Sema.zig4
-rw-r--r--src/Zir.zig8
-rw-r--r--src/print_zir.zig2
4 files changed, 11 insertions, 13 deletions
diff --git a/src/AstGen.zig b/src/AstGen.zig
index e7e7af3354..2fee02751c 100644
--- a/src/AstGen.zig
+++ b/src/AstGen.zig
@@ -2303,7 +2303,7 @@ fn unusedResultExpr(gz: *GenZir, scope: *Scope, statement: Ast.Node.Index) Inner
.compile_error,
.ret_node,
.ret_load,
- .ret_coerce,
+ .ret_tok,
.ret_err_value,
.@"unreachable",
.repeat,
@@ -3420,8 +3420,8 @@ fn fnDecl(
if (!fn_gz.endsWithNoReturn()) {
// Since we are adding the return instruction here, we must handle the coercion.
- // We do this by using the `ret_coerce` instruction.
- _ = try fn_gz.addUnTok(.ret_coerce, .void_value, tree.lastToken(body_node));
+ // We do this by using the `ret_tok` instruction.
+ _ = try fn_gz.addUnTok(.ret_tok, .void_value, tree.lastToken(body_node));
}
break :func try decl_gz.addFunc(.{
@@ -3850,8 +3850,8 @@ fn testDecl(
const block_result = try expr(&fn_block, &fn_block.base, .none, body_node);
if (fn_block.isEmpty() or !fn_block.refIsNoReturn(block_result)) {
// Since we are adding the return instruction here, we must handle the coercion.
- // We do this by using the `ret_coerce` instruction.
- _ = try fn_block.addUnTok(.ret_coerce, .void_value, tree.lastToken(body_node));
+ // We do this by using the `ret_tok` instruction.
+ _ = try fn_block.addUnTok(.ret_tok, .void_value, tree.lastToken(body_node));
}
const func_inst = try decl_block.addFunc(.{
diff --git a/src/Sema.zig b/src/Sema.zig
index 93dd3c4557..40e18cdfb0 100644
--- a/src/Sema.zig
+++ b/src/Sema.zig
@@ -812,7 +812,7 @@ fn analyzeBodyInner(
// These functions match the return type of analyzeBody so that we can
// tail call them here.
.compile_error => break sema.zirCompileError(block, inst),
- .ret_coerce => break sema.zirRetCoerce(block, inst),
+ .ret_tok => break sema.zirRetTok(block, inst),
.ret_node => break sema.zirRetNode(block, inst),
.ret_load => break sema.zirRetLoad(block, inst),
.ret_err_value => break sema.zirRetErrValue(block, inst),
@@ -11189,7 +11189,7 @@ fn zirRetErrValue(
return sema.analyzeRet(block, result_inst, src);
}
-fn zirRetCoerce(
+fn zirRetTok(
sema: *Sema,
block: *Block,
inst: Zir.Inst.Index,
diff --git a/src/Zir.zig b/src/Zir.zig
index c528380b1d..caf2002f0f 100644
--- a/src/Zir.zig
+++ b/src/Zir.zig
@@ -477,9 +477,7 @@ pub const Inst = struct {
/// Includes an operand as the return value.
/// Includes a token source location.
/// Uses the `un_tok` union field.
- /// The operand needs to get coerced to the function's return type.
- /// TODO rename this to `ret_tok` because coercion is now done unconditionally in Sema.
- ret_coerce,
+ ret_tok,
/// Sends control flow back to the function's callee.
/// The return operand is `error.foo` where `foo` is given by the string.
/// If the current function has an inferred error set, the error given by the
@@ -1217,7 +1215,7 @@ pub const Inst = struct {
.compile_error,
.ret_node,
.ret_load,
- .ret_coerce,
+ .ret_tok,
.ret_err_value,
.@"unreachable",
.repeat,
@@ -1323,7 +1321,7 @@ pub const Inst = struct {
.ref = .un_tok,
.ret_node = .un_node,
.ret_load = .un_node,
- .ret_coerce = .un_tok,
+ .ret_tok = .un_tok,
.ret_err_value = .str_tok,
.ret_err_value_code = .str_tok,
.ptr_type_simple = .ptr_type_simple,
diff --git a/src/print_zir.zig b/src/print_zir.zig
index f5e6f22e45..36b821f386 100644
--- a/src/print_zir.zig
+++ b/src/print_zir.zig
@@ -241,7 +241,7 @@ const Writer = struct {
=> try self.writeUnNode(stream, inst),
.ref,
- .ret_coerce,
+ .ret_tok,
.ensure_err_payload_void,
.closure_capture,
=> try self.writeUnTok(stream, inst),