DOOML: add compiler doing everything for A (well, we hope to add everything)

DOOML/.gitignore

@@ -0,0 +1,3 @@
+/_build
+/_coverage
+

DOOML/.ocamlformat

@@ -0,0 +1,3 @@
+version=0.28.1
+profile=janestreet
+

DOOML/DOOML.opam

@@ -0,0 +1,43 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "A short LLVM demo"
+maintainer: ["Georgiy Belyanin" "Ignatiy Sergeev"]
+authors: ["Georgiy Belyanin" "Ignatiy Sergeev"]
+license: "LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception"
+homepage: "https://github.com/Kakadu/comp24"
+bug-reports: "https://github.com/Kakadu/comp24/issues"
+depends: [
+  "ocaml"
+  "dune" {>= "3.8" & = "3.19.1"}
+  "angstrom" {= "0.16.0"}
+  "qcheck"
+  "bisect_ppx"
+  "llvm" {= "18-shared"}
+  "qcheck" {with-tests}
+  "ppx_expect"
+  "ppx_inline_test"
+  "ppx_variants_conv"
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/Kakadu/comp24.git"
+depexts: [
+  [ "llvm-18-dev" "clang-18" "gcc-riscv64-linux-gnu" "g++-riscv64-linux-gnu" "qemu-user"] {os-distribution = "ubuntu"}
+]
+pin-depends: [
+  ["ppx_deriving_qcheck.0.6" "git+https://github.com/c-cube/qcheck.git#42429bf06ba12373cad02b1404f50d0ad6238af5"]
+]
+# Don't edit '*.opam' file manually. Use 'dune b @install'

DOOML/DOOML.opam.template

@@ -0,0 +1,7 @@
+depexts: [
+  [ "llvm-18-dev" "clang-18" "gcc-riscv64-linux-gnu" "g++-riscv64-linux-gnu" "qemu-user"] {os-distribution = "ubuntu"}
+]
+pin-depends: [
+  ["ppx_deriving_qcheck.0.6" "git+https://github.com/c-cube/qcheck.git#42429bf06ba12373cad02b1404f50d0ad6238af5"]
+]
+# Don't edit '*.opam' file manually. Use 'dune b @install'

DOOML/Makefile

@@ -0,0 +1,20 @@
+.PHONY: all test
+all:
+	dune build
+
+test:
+	dune test
+
+TEST_COV_D = /tmp/cov
+COVERAGE_OPTS = --coverage-path $(TEST_COV_D) --expect bin/
+
+.PHONY: test_coverage coverage
+test_coverage: coverage
+coverage:
+	$(RM) -r $(TEST_COV_D)
+	mkdir -p $(TEST_COV_D)
+	BISECT_FILE=$(TEST_COV_D)/language dune runtest --no-print-directory \
+		--instrument-with bisect_ppx --force
+	bisect-ppx-report html $(COVERAGE_OPTS)
+	bisect-ppx-report summary $(COVERAGE_OPTS)
+	@echo "Use 'xdg-open _coverage/index.html' to see coverage report"

DOOML/bin/dune

@@ -0,0 +1,18 @@
+(executable
+ (public_name Dooml-Llvm)
+ (name llvm)
+ (modules llvm)
+ (libraries DOOML)
+ (instrumentation
+  (backend bisect_ppx)))
+
+(executable
+ (public_name Dooml-Riscv)
+ (name riscv)
+ (modules riscv)
+ (libraries DOOML)
+ (instrumentation
+  (backend bisect_ppx)))
+
+(cram
+ (deps ./main.exe runtime.c))

DOOML/bin/llvm.ml

@@ -0,0 +1,34 @@
+[@@@ocaml.text "/*"]
+
+(** Copyright 2023-2025, Kakadu and contributors *)
+
+(** SPDX-License-Identifier: LGPL-3.0-or-later *)
+
+[@@@ocaml.text "/*"]
+
+open DOOML
+module Map = Base.Map.Poly
+
+let failf fmt = Format.kasprintf failwith fmt
+
+let parse input =
+  let code = In_channel.with_open_text input In_channel.input_all in
+  match Fe.parse code with
+  | Error msg -> Error msg
+  | Ok ast_list -> Ok (ast_list |> Cc.cc |> Ll.ll |> Anf.anf)
+;;
+
+let () =
+  match Array.to_list Sys.argv with
+  | [ _exe; input; output ] ->
+    let riscv_triple = "riscv64-unknown-linux-gnu" in
+    let riscv_features = "+d" in
+    let module_ =
+      match parse input with
+      | Error msg -> failf "%s" msg
+      | Ok anf_list -> Codegen.emit_ir ~triple:riscv_triple anf_list
+    in
+    Codegen.optimize_ir ~triple:riscv_triple module_;
+    Codegen.emit_binary ~triple:riscv_triple ~features:riscv_features module_ output
+  | _ -> exit 1
+;;

DOOML/bin/riscv.ml

@@ -0,0 +1,51 @@
+[@@@ocaml.text "/*"]
+
+(** Copyright 2023-2025, Kakadu and contributors *)
+
+(** SPDX-License-Identifier: LGPL-3.0-or-later *)
+
+[@@@ocaml.text "/*"]
+
+open DOOML
+module Map = Base.Map.Poly
+
+let failf fmt = Format.kasprintf failwith fmt
+
+let parse input =
+  let code = In_channel.with_open_text input In_channel.input_all in
+  match Fe.parse code with
+  | Error msg -> Error msg
+  | Ok ast_list ->
+    Ok
+      (ast_list
+       |> Cc.cc
+       (*|> fun asts ->
+   Format.printf
+     "CC: %a\n\n"
+     (Format.pp_print_list ~pp_sep:Format.pp_print_newline Ast.pp_top_level)
+     asts;
+   asts*)
+       |> Ll.ll
+       (*|> fun asts ->
+   Format.printf
+     "LL: %a\n\n"
+     (Format.pp_print_list ~pp_sep:Format.pp_print_newline Ast.pp_top_level)
+     asts;
+   asts*)
+       (*Cc.cc |> Ll.ll *)
+       |> Anf.anf
+          (*|> fun asts ->
+   Format.printf
+     "ANF %a\n\n"
+     (Format.pp_print_list ~pp_sep:Format.pp_print_newline Anf.pp_decl)
+     asts;
+   asts
+  *)
+      )
+;;
+
+let () =
+  match parse Sys.argv.(1) with
+  | Error msg -> failf "%s" msg
+  | Ok anf_list -> Format.printf "%a\n" Riscv.pp_code (Riscv.riscv anf_list)
+;;

DOOML/bin/run.t

@@ -0,0 +1,20 @@
+  $ clang-18 -c runtime.c -o runtime.o
+  $ ./main.exe
+  $ ls
+  main.exe
+  out.ll
+  runtime.c
+  runtime.o
+  $ cat out.ll | grep -E 'source_filename|target datalayout|ModuleID' --invert-match
+  target triple = "x86_64-pc-linux-gnu"
+
+  declare void @print_int(i64)
+
+  define i64 @main() {
+  entry:
+    call void @print_int(i64 70)
+    ret i64 0
+  }
+  $ clang-18 out.ll runtime.o -o demo1.exe
+  $ echo "Press $(./demo1.exe) to pay respect"
+  Press F to pay respect

DOOML/bin/runtime.c

@@ -0,0 +1,10 @@
+/* Copyright 2023-2024, Kakadu and contributors */
+/* SPDX-License-Identifier: LGPL-3.0-or-later */
+
+#include <stdint.h>
+#include <stdio.h>
+
+void print_int(int64_t n) {
+    putchar(n);
+    fflush(stdout);
+}

DOOML/dune-project

@@ -0,0 +1,34 @@
+(lang dune 3.8)
+
+(name DOOML)
+
+(generate_opam_files true)
+
+(source
+ (github Kakadu/comp24))
+
+(authors "Georgiy Belyanin" "Ignatiy Sergeev")
+
+(maintainers "Georgiy Belyanin" "Ignatiy Sergeev")
+
+(license "LGPL-3.0-or-later WITH OCaml-LGPL-linking-exception")
+
+(package
+ (name DOOML)
+ (synopsis "A short LLVM demo")
+ (depends
+  ocaml
+  (dune
+   (= "3.19.1"))
+  (angstrom
+   (= "0.16.0"))
+  qcheck
+  bisect_ppx
+  (llvm
+   (= "18-shared"))
+  (qcheck :with-tests)
+  ppx_expect
+  ppx_inline_test
+  ppx_variants_conv))
+
+; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project