GSoC 2022: Implementing custom WASM Backend for LFortran Roadmap

[certik]

Original issue: https://gitlab.com/lfortran/lfortran/-/issues/700

• Initial wasm->wat backend (https://gitlab.com/lfortran/lfortran/-/merge_requests/1757)
• Setting up testing infrastructure (https://gitlab.com/lfortran/lfortran/-/merge_requests/1760)
• Enable LLVM based WASM backend in LFortran (https://gitlab.com/lfortran/lfortran/-/merge_requests/1769 , https://gitlab.com/lfortran/lfortran/-/merge_requests/1768 )
• Compile (LFortran + wasm backend) to wasm
  • compile essential components to wasm (https://gitlab.com/lfortran/lfortran/-/merge_requests/1796)
  • support runtime library (WASM: Runtime Library #555)
• Setup a demo page at lfortran.org that hosts LFortran and compiles Fortran and runs in the browser
  • build a basic frontend (repo)
  • deploy to dev.lfortran.org (https://github.com/lfortran/lcompilers_frontend)
• Implement CI testing
  • https://gitlab.com/lfortran/lfortran/-/issues/711 (https://gitlab.com/lfortran/lfortran/-/merge_requests/1794)
  • https://gitlab.com/lfortran/lfortran/-/issues/712 (https://gitlab.com/lfortran/lfortran/-/merge_requests/1797, https://gitlab.com/lfortran/lfortran/-/merge_requests/1808)
  • install node/emscripten at CI (CI: Building LFortran to WASM #157)
• Add support for 32-bit and 64-bit integer numbers and operations between them:
  • support for constants/literals (https://gitlab.com/lfortran/lfortran/-/merge_requests/1789)
  • unary operators
    • unary minus (https://gitlab.com/lfortran/lfortran/-/merge_requests/1791)
  • arithmetic operators
    • basic (Add, Sub, Mul, Div) (https://gitlab.com/lfortran/lfortran/-/merge_requests/1762)
    • pow operation (for x**2) (WASM: Initial implementation of x**2 #118)
    • modulo operator (https://gitlab.com/lfortran/lfortran/-/merge_requests/1834)
  • relational operators (https://gitlab.com/lfortran/lfortran/-/merge_requests/1823)
  • logical operators (https://gitlab.com/lfortran/lfortran/-/merge_requests/1824)
• Add support for 32-bit and 64-bit floating point numbers and operations between them
  • support for constants/literals (https://gitlab.com/lfortran/lfortran/-/merge_requests/1792)
  • unary operators
    • unary minus (https://gitlab.com/lfortran/lfortran/-/merge_requests/1792)
  • arithmetic operators
    • basic (Add, Sub, Mul, Div) (https://gitlab.com/lfortran/lfortran/-/merge_requests/1792)
    • pow operation (x**2.0) (WASM: Initial implementation of x**2 #118)
  • relational operators (https://gitlab.com/lfortran/lfortran/-/merge_requests/1823)
  • modulo operator (https://gitlab.com/lfortran/lfortran/-/merge_requests/1834)
• Wrap program statements (global statements) into a function (lets say _main or main_) (first commit of https://gitlab.com/lfortran/lfortran/-/merge_requests/1794)
• Add support for if-else blocks in the wasm backend
  • basic support (https://gitlab.com/lfortran/lfortran/-/merge_requests/1809)
  • extended support (https://gitlab.com/lfortran/lfortran/-/merge_requests/1823, https://gitlab.com/lfortran/lfortran/-/merge_requests/1824)
• Add support for loops in the wasm backend
  • basic support (https://gitlab.com/lfortran/lfortran/-/merge_requests/1830)
  • support for cycle (https://gitlab.com/lfortran/lfortran/-/merge_requests/1830)
  • support for break (https://gitlab.com/lfortran/lfortran/-/merge_requests/1830)
• Add support for functions and subroutines
  • basic support and function calls
  • support declaring functions in any order (WASM: Support defining functions in any order #635)
• Miscellaneous
  • support variable initialisation at declaration (https://gitlab.com/lfortran/lfortran/-/merge_requests/1834)
• Add support for casting/type-conversion (https://gitlab.com/lfortran/lfortran/-/merge_requests/1822)
• Add support for strings
  • Basic support (WASM: Support basic string variables #640)
• Add support for arrays
  • Initial Support (WASM: Initial support for Arrays #49 WAT: Arrays Fix #55)
  • real and logical types support (WASM: Support Real and Logical types with Arrays #66)
  • compile-time multi-dimensional arrays (WASM: Supporting Multi-Dimensional Arrays #70, WASM: Supporting array passing with explicit shapes #99, WASM: Using pass_array_by_data() #109)
• Add some demo, say some image processing/mandelbrot, show the result in canvas on the demo page (dev.lfortran.org)

[Shaikh-Ubaid]

Associated: #441, #531, gitlab #706, #555, #586, #594, gitlab #711, gitlab #712, gitlab #763, lfortran/lcompilers_frontend#11, lfortran/lcompilers_frontend#12

[Shaikh-Ubaid]

I noted some concerns at #597.

Please, could someone possibly share if this issue is safe to close?

[certik]

I think this issue is fixed! Go ahead and close it if you agree.

[Shaikh-Ubaid]

I think this issue is fixed!

Got it. Thank you.

I am closing this issue for now as it seems to be fixed.

[Shaikh-Ubaid]

The Web front-end implemented as a part of this GSoC project is at https://github.com/lfortran/lcompilers_frontend. The report is available at https://www.ubaidshaikh.me/blogs/gsoc_13_report.

The final outcome is a live website which hosts the LFortran compiler (compiled to binary wasm). It is deployed at https://dev.lfortran.org/.