Skip to content

bachelor thesis: SSA IR for strict functional language

Notifications You must be signed in to change notification settings

mattweingarten/lambdapure

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

11 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Github for bachelor thesis

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

About

bachelor thesis: SSA IR for strict functional language

Topics

Resources

Stars

Watchers

Forks