Fun 0.41.5
The programming language that makes you have fun!
Loading...
Searching...
No Matches
push.c
Go to the documentation of this file.
1/*
2 * This file is part of the Fun programming language.
3 * https://fun-lang.xyz/
4 *
5 * Copyright 2025 Johannes Findeisen <you@hanez.org>
6 * Licensed under the terms of the Apache-2.0 license.
7 * https://opensource.org/license/apache-2-0
8 */
9
10/**
11 * @file push.c
12 * @brief Implements the OP_PUSH opcode for appending elements to arrays in the VM.
13 *
14 * Handles the OP_PUSH instruction, which appends a value to the end of an array.
15 * The array and value are popped from the stack; the opcode pushes the new array
16 * length (integer) as a result.
17 *
18 * Behavior:
19 * - Pops the value and array from the stack.
20 * - Appends the value to the end of the array.
21 * - Pushes the new length of the array onto the stack.
22 *
23 * Error Handling:
24 * - Exits with a runtime error if the first operand is not an array.
25 * - Exits with a runtime error if memory allocation fails.
26 *
27 * Example:
28 * - Bytecode: OP_PUSH
29 * - Stack before: [42, [10, 20, 30]]
30 * - Stack after: [4]
31 */
32
33case OP_PUSH: {
34 Value v = pop_value(vm);
36 if (arr.type != VAL_ARRAY) {
37 fprintf(stderr, "Runtime type error: ARR_PUSH expects array\n");
38 exit(1);
39 }
40 int n = array_push(&arr, v);
41 if (n < 0) {
42 fprintf(stderr, "Runtime error: push failed (OOM?)\n");
43 exit(1);
44 }
47 break;
48}
@ OP_PUSH
Definition bytecode.h:85
Value v
Definition cast.c:22
array_clear & arr
Definition clear.c:38
int n
Definition insert.c:41
free_value(arr)
push_value(vm, make_int(n))
Tagged union representing a Fun value.
Definition value.h:68
int array_push(Value *v, Value newElem)
Append a Value to an array.
Definition value.c:257
Value make_int(int64_t v)
Construct a Value representing a 64-bit integer.
Definition value.c:51
@ VAL_ARRAY
Definition value.h:55
static Value pop_value(VM *vm)
Pop a Value from the VM operand stack.
Definition vm.c:580
#define fprintf
Definition vm.c:200
#define exit(code)
Definition vm.c:230