Merge pull request #45 from weltling/example_func_call

examples: Add native function call example

Makefile

@@ -48,7 +48,7 @@ OBJS_COMMON = $(BUILD_DIR)/ir.o $(BUILD_DIR)/ir_strtab.o $(BUILD_DIR)/ir_cfg.o \
 OBJS_IR = $(BUILD_DIR)/ir_main.o
 OBJS_IR_TEST = $(BUILD_DIR)/ir_test.o
 EXAMPLE_EXES = $(EXAMPLES_BUILD_DIR)/0001-basic $(EXAMPLES_BUILD_DIR)/0001-while $(EXAMPLES_BUILD_DIR)/0005-basic-runner-func \
-	       $(EXAMPLES_BUILD_DIR)/0001-pointer
+	       $(EXAMPLES_BUILD_DIR)/0001-pointer $(EXAMPLES_BUILD_DIR)/0001-func
 
 all: $(BUILD_DIR) $(BUILD_DIR)/ir $(BUILD_DIR)/ir_test
 

examples/0001-func.c

@@ -0,0 +1,61 @@
+/*
+ * IR - Lightweight JIT Compilation Framework
+ * (Exmaples package)
+ * Copyright (C) 2023 by IR project.
+ * Authors: Anatol Belski <anbelski@linux.microsoft.com>
+ */
+
+#include "ir.h"
+#include "ir_builder.h"
+#include <stdlib.h>
+
+#include <stdio.h>
+
+uint8_t hello(void)
+{
+	printf("I'm Hello\n");
+	return 42;
+}
+
+/*
+ * uint8_t myfunc() {
+ * 	return hello();
+ * }
+ */
+typedef uint8_t (*myfunc_t)();
+
+void gen_myfunc(ir_ctx *ctx)
+{
+	/* Function entry start */
+	ir_START();
+
+	/* Load function address. */
+	ir_ref addr = ir_CONST_ADDR(hello);
+	/* Call function. */
+	ir_ref ret = ir_CALL(IR_U8, addr);
+
+	/* Function end, return value */
+	ir_RETURN(ret);
+}
+
+int main(int argc, char **argv)
+{
+	ir_ctx ctx = {0};
+
+	ir_consistency_check();
+
+	ir_init(&ctx, IR_FUNCTION | IR_OPT_FOLDING, IR_CONSTS_LIMIT_MIN, IR_INSNS_LIMIT_MIN);
+
+	gen_myfunc(&ctx);
+
+	size_t size;
+	void *entry = ir_jit_compile(&ctx, 2, &size);
+	if (entry) {
+		uint8_t i = ((myfunc_t)entry)();
+		printf("i=%u\n", i);
+	}
+
+	ir_free(&ctx);
+
+	return 0;
+}

win32/Makefile

@@ -79,7 +79,7 @@ OBJS_COMMON=$(BUILD_DIR)\ir.obj $(BUILD_DIR)\ir_strtab.obj $(BUILD_DIR)\ir_cfg.o
 OBJS_IR = $(BUILD_DIR)\ir_main.obj
 OBJS_IR_TEST = $(BUILD_DIR)\ir_test.obj
 EXAMPLE_EXES = $(EXAMPLES_BUILD_DIR)\0001-basic.exe $(EXAMPLES_BUILD_DIR)\0001-while.exe $(EXAMPLES_BUILD_DIR)\0005-basic-runner-func.exe \
-	       $(EXAMPLES_BUILD_DIR)\0001-pointer.exe
+	       $(EXAMPLES_BUILD_DIR)\0001-pointer.exe $(EXAMPLES_BUILD_DIR)\0001-func.exe
 
 all: $(BUILD_DIR) $(BUILD_DIR)\ir.exe $(BUILD_DIR)\ir_test.exe