https://github.com/mattweingarten/lambdapure
bachelor thesis: SSA IR for strict functional language
https://github.com/mattweingarten/lambdapure
compiler llvm
Last synced: 2 months ago
JSON representation
bachelor thesis: SSA IR for strict functional language
- Host: GitHub
- URL: https://github.com/mattweingarten/lambdapure
- Owner: mattweingarten
- Created: 2020-11-07T10:09:33.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2021-04-14T17:09:40.000Z (about 5 years ago)
- Last Synced: 2025-06-19T15:50:52.724Z (about 1 year ago)
- Topics: compiler, llvm
- Language: C++
- Homepage:
- Size: 19.2 MB
- Stars: 2
- Watchers: 1
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: Readme.md
Awesome Lists containing this project
README
# Github for bachelor thesis
## [A static-single-assignment intermediate representation for a pure functional language](./Thesis.pdf)
## Build / Commands
### build
```
export BUILD_DIR=/mnt/c/Users/path-to-llvm
cmake .. -DMLIR_DIR=$BUILD_DIR/lib/cmake/mlir \
-DLLVM_EXTERNAL_LIT=$BUILD_DIR/bin/llvm-lit \
cmake --build .
```
### to view tblgen (from build)
```
$BUILD_DIR/bin/mlir-tblgen -gen-op-defs ../include/lambdapure/Ops.td -I $BUILD_DIR/../mlir/include/
```
### lambdapure generation
```
set_option trace.compiler.lambda_pure true
set_option trace.compiler.ir.init true
```