Skip to content

Compiler for the stack-based Whitespace language with LLVM back end.

License

Notifications You must be signed in to change notification settings

thaliaarchi/nebula

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Nebula

Nebula is an optimizing compiler for stack-oriented programming languages that targets LLVM IR.

Requirements

  • Go 1.13 or later
  • LLVM source
  • Graphviz to render graphs

Project Goals

Compilation

  • Nebula IR
    • Operations
      • Arithmetic - add, sub, mul, div, mod
      • Stack - push registers, pop length
      • Heap - load, store
      • I/O - read, print
      • Control flow - jmp, conditional jmp, call, ret
      • Assertions - zero divisor, stack underflow, ret underflow
    • Memory
      • Stack
      • Heap - partitioned
      • Call stack
    • Static single assignment form
      • Stack access converted to indexed variables
      • Connected graph of basic blocks
      • Minimize stack pointer updates to once per block
    • Interprocedural analysis
      • Constant stack folding and propagation
      • String concatenation
      • Dead code elimination
      • Call stack underflow detection
      • Trap eliding
      • Register allocation
      • Reduction of arbitrary precision integers to fixed width
      • Tail call optimization
      • Heap access analysis
        • Lifetime analysis
        • Constant folding and propagation
      • Contract assertions
        • Using an SMT solver
        • Abstract interpretation
    • Targets
      • LLVM IR
      • WebAssembly via Emscripten

Languages

  • High level language
    • Abstracted away from the WS stack and heap
    • Compiles to WS instruction set
    • Memory safe
  • Assembly syntax language
    • Very close to WS instruction set
    • Assembly-like syntax
    • Allows additional metadata for compiler
    • Special compiler treatment of standard library functions
  • Whitespace language
    • Direct representation of WS instruction set
    • Follows WS language spec syntax

License

The Nebula project is licensed under the MIT License. Subdirectories with code under differing licenses are marked with separate license files.

Naming

Nebula's name is derived from the stellar gas clouds, nebulae. Nebulae are incredibly diffuse, yet form some of the most beautiful astronomical landscapes. Similarly, of all programming languages, Whitespace is the least dense in visible characters and despite its simplicity, is Turing complete. The name is also a call-out to the star-forming region IC 1396 that contains many nebulae including the famous Elephant's Trunk Nebula.

About

Compiler for the stack-based Whitespace language with LLVM back end.

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages