https://github.com/brandonki/arcvm
Small optimizing compiler backend with an SSA-based IR.
https://github.com/brandonki/arcvm
compiler compiler-backend low-level machine-code native optimization ssa x86-64
Last synced: 6 months ago
JSON representation
Small optimizing compiler backend with an SSA-based IR.
- Host: GitHub
- URL: https://github.com/brandonki/arcvm
- Owner: BrandonKi
- License: mit
- Created: 2021-09-21T15:28:31.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2022-03-26T19:46:11.000Z (about 4 years ago)
- Last Synced: 2025-04-26T00:33:19.877Z (11 months ago)
- Topics: compiler, compiler-backend, low-level, machine-code, native, optimization, ssa, x86-64
- Language: C++
- Homepage:
- Size: 392 KB
- Stars: 14
- Watchers: 2
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# ARCVM
(Not complete, this is a work in progress)
replacement for https://github.com/BrandonKi/ARCVM-old
Compiler backend for https://github.com/BrandonKi/ARCANE
Provides a C++ API for IR generation. The IR is LLVM inspired three-address-code in SSA form. Currently has two main backends one being a simple interpreter and the other being a x86_64 backend which only works on windows so far.
## IR Type System
There are four main IR types: pointer, reference, immediate, and label.
Pointers represent an integer value that points to a block of memory called a provenance. If the pointer leaves it's provenance then the program is invalid. This will be useful for alias analysis and other optimizations. To create a new pointer into an existing provenance it must be derived from an existing pointer.
References are the main type that will be used for the whole IR. Each reference is essentially a virtual register that will get properly renamed/mapped to physical registers or may be elided completely.
Immediates represent a constant value and can be put into any instruction.
Labels have identical functionality to labels in assembly languages. They represent a location that can be jumped/branched to.
## examples
### add two numbers
Uses stack-allocated variables instead of just adding immediates for demonstration purposes.
```
[entrypoint]
define function main() -> i32 {
#main
%0 = alloc i32
%1 = alloc i32
%2 = alloc i32
store %0, 10
store %1, 10
%3 = load %0
%4 = load %1
%5 = add %3, %4
store %2, %5
%6 = load %2
ret %6
}
```