grin-compiler/grin
1
1
Fork 0
mirror of https://github.com/grin-compiler/grin.git synced 2024-09-11 07:25:28 +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.
461 Commits 87 Branches 2 Tags 23 MiB
Haskell 72.7%
HTML 16.1%
LLVM 3.7%
Assembly 3.7%
C++ 2%
Other 1.7%
c64bd2a503
Go to file
Csaba Hruska c64bd2a503 improve note
2018-03-01 22:54:07 +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 add algebras diagram 2017-09-10 15:48:17 +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 update progress 2018-03-01 22:02:18 +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