grin-compiler/grin
1
1
Fork 0
mirror of https://github.com/grin-compiler/grin.git synced 2024-09-11 15:37:54 +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.
469 Commits 87 Branches 2 Tags 23 MiB
Haskell 72.7%
HTML 16.1%
LLVM 3.7%
Assembly 3.7%
C++ 2%
Other 1.7%
9aced7ec30
Go to file
Csaba Hruska 9aced7ec30 refactor links
2018-03-05 12:41:09 +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
playground/sum add GHC -O3 output for lazy list sum example 2018-03-05 11:35:31 +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-03-02 12:31:57 +01:00
README.md refactor links 2018-03-05 12:41:09 +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 add ideas 2018-03-02 11:30:48 +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 Source Code
vectorisation vectorisation.png
case simplification ![case-simplification.png]
split fetch operation ![split-fetch-operation.png] SplitFetch.hs
right hoist fetch operation ![right-hoist-fetch.png]
register introduction ![register-introduction.png]

{: width="500px"}

Optimising Transformations

Transformation Schema Source Code
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