enum Type;
typedef enum Type Type;
enum Type {
+ BOOLEAN,
BUILTIN,
INTEGER,
STRING
typedef union Value Value;
union Value {
Builtin builtin;
+ bool boolean;
char* string;
int32_t integer;
};
Object arg = Stack_pop(&(thread->stack));
switch(arg.type) {
+ case BOOLEAN:
+ if(arg.value.boolean) printf("true");
+ else printf("false");
+ break;
+
case INTEGER:
printf("%i", arg.value.integer);
break;
void end(struct Thread* thread, Argument argument) {
}
+{% with name='eq', operation='==' %}
+ {% include "comparison_instruction.c" %}
+{% endwith %}
+
+{% with name='gt', operation='>' %}
+ {% include "comparison_instruction.c" %}
+{% endwith %}
+
+{% with name='gte', operation='>=' %}
+ {% include "comparison_instruction.c" %}
+{% endwith %}
+
{% with name='idiv', operation='/' %}
{% include "arithmetic_instruction.c" %}
{% endwith %}
+void jump(Thread* thread, Argument argument) {
+ thread->program_counter = argument.label - 1; // We will increment before running
+}
+
+void jump_if_false(Thread* thread, Argument argument) {
+ assert(!Stack_isEmpty(&(thread->stack)));
+ Object result = Stack_pop(&(thread->stack));
+ assert(result.type == BOOLEAN);
+
+ if(!(result.value.boolean)) {
+ jump(thread, argument);
+ }
+}
+
+{% with name='lt', operation='<' %}
+ {% include "comparison_instruction.c" %}
+{% endwith %}
+
+{% with name='lte', operation='<=' %}
+ {% include "comparison_instruction.c" %}
+{% endwith %}
+
{% with name='mod', operation='%' %}
{% include "arithmetic_instruction.c" %}
{% endwith %}
{% include "arithmetic_instruction.c" %}
{% endwith %}
-void neg(struct Thread* thread, Argument argument) {
+{% with name='neq', operation='!=' %}
+ {% include "comparison_instruction.c" %}
+{% endwith %}
+
+void neg(Thread* thread, Argument argument) {
assert(!Stack_isEmpty(&(thread->stack)));
Object result = Stack_pop(&(thread->stack));
assert(result.type == INTEGER);
void push(struct Thread* thread, Argument argument) {
char* argumentString = argument.string;
- if(strcmp(argumentString, "print") == 0) {
+ if(strcmp(argumentString, "false") == 0) {
+ Stack_push(&(thread->stack), (Object){ BOOLEAN, false });
+ }else if(strcmp(argumentString, "pow") == 0) {
Object result;
result.type = BUILTIN;
- result.value.builtin = PRINT;
+ result.value.builtin = POW;
Stack_push(&(thread->stack), result);
- } else if(strcmp(argumentString, "pow") == 0) {
+ } else if(strcmp(argumentString, "print") == 0) {
Object result;
result.type = BUILTIN;
- result.value.builtin = POW;
+ result.value.builtin = PRINT;
Stack_push(&(thread->stack), result);
+ } else if(strcmp(argumentString, "true") == 0) {
+ Stack_push(&(thread->stack), (Object){ BOOLEAN, true });
} else {
Environment_get_Result result = Environment_get(thread->environment, argumentString);
if(!result.found) {
int main() {
Thread thread;
- Thread_initialize(&thread, 0);
+ Thread_initialize(&thread, LABEL___main__);
for(; program[thread.program_counter].instruction != end; thread.program_counter++) {
program[thread.program_counter].instruction(