grin-compiler/grin
1
1
Fork 0
mirror of https://github.com/grin-compiler/grin.git synced 2024-08-16 09:20:23 +03:00
Code Issues Projects Releases Wiki Activity
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
465 Commits 87 Branches 2 Tags 23 MiB
Haskell 72.7%
HTML 16.1%
LLVM 3.7%
Assembly 3.7%
C++ 2%
Other 1.7%
003fdc1f7d
Go to file
Csaba Hruska 003fdc1f7d more images
2018-03-02 10:09:53 +01:00
bugs add parser test 2018-02-18 14:19:26 +01:00
grin add todo 2018-03-01 22:14:07 +01:00
images more images 2018-03-02 10:09:53 +01:00
papers add paper: Trace-based Just-in-time Compilation for Lazy Functional Programming Languages 2017-09-17 14:53:19 +01:00
.gitignore some work on extend HPT to infer LLVM types 2018-01-08 18:25:51 +01:00
.travis.yml Show coverage on travis. 2018-02-25 15:06:17 +01:00
AbstractInterpretation.md optional verbose pretty printer for HPTProgram 2018-02-15 09:44:13 +01:00
bench.sh add llvm jit to benchmarks 2017-09-18 18:31:16 +01:00
debug_tooling add misc notes 2018-03-01 16:15:50 +01:00
Design.md add papers and notes 2017-08-28 15:44:50 +01:00
Documentation.md improve note 2018-03-01 22:54:07 +01:00
GRIN-LLVM-CodeGen.md add todo 2018-02-23 12:26:59 +01:00
GRIN-Type-System.md add type system note 2018-02-15 09:48:46 +01:00
MemoryManagement.md memory management notes 2018-01-15 20:23:47 +01:00
MVP.md Update MVP.md 2018-02-22 23:08:48 +01:00
node_visualization add misc notes 2018-03-01 16:15:50 +01:00
Readings.md Update Readings.md 2018-02-11 21:59:51 +01:00
README.md more images 2018-03-02 10:09:53 +01:00
RUNTIME.md RUNTIME.md 2017-10-02 21:27:49 +01:00
stack.yaml Change test seed. 2018-02-16 20:04:29 +01:00
todo.just-to-practice update progress 2018-03-01 22:02:18 +01:00
TODO.md add todo 2018-02-17 11:57:26 +01:00

README.md

GRIN

Build Status

The name GRIN is short for Graph Reduction Intermediate Notation, and it is an intermediate language for graph reduction. For an overview read The GRIN Project article. To grasp the details take your time and read Urban Boquist's PhD thesis on Code Optimisation Techniques for Lazy Functional Languages .

Simplifying Transformations

Transformation Schema
vectorisation
case simplification
split fetch operation
right hoist fetch operation
register introduction

Optimising Transformations

Transformation Schema
evaluated case elimination
trivial case elimination
sparse case optimisation
update elimination
copy propagation
late inlining
generalised unboxing
arity raising
case copy propagation
case hoisting
whnf update elimination
common sub-expression elimination
constant propagation
dead procedure elimination
dead variable elimination
dead parameter elimination