GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Go to file
Peter Podlovics 42f9db1b24 Remove TODO
It only referred to a code duplicate refactor. It is not needed.
2020-08-17 23:19:04 +02:00
.github Create FUNDING.yml 2019-06-09 22:20:29 +02:00
bugs Add CSE bug 2019-02-05 01:49:09 +01:00
docs fix project urls 2019-05-28 20:28:48 +02:00
grin Remove TODO 2020-08-17 23:19:04 +02:00
images revert 2018-09-25 00:08:54 +02:00
nix add support for nix 2018-06-08 17:58:15 +02:00
notes Minor fixes in effects docs 2019-06-23 13:59:35 +01:00
papers Removed Haskell Exchange 2019 presentation notes 2019-06-26 21:36:39 +01:00
playground revert: faster serialization 2019-04-13 08:31:26 +02:00
sample add sample 2019-04-23 23:13:17 +02:00
.gitattributes more accurate statistics 2018-03-22 18:46:42 +01:00
.gitignore Updated gitignote 2019-06-23 13:59:35 +01:00
.travis.yml bump LLVM minor version 2019-04-09 12:32:41 +02:00
BACKERS.md update backers [skip ci] 2019-06-21 17:21:29 +02:00
bench.sh add llvm jit to benchmarks 2017-09-18 18:31:16 +01:00
README.md Fix typo in README 2019-06-14 14:06:52 +02:00
shell.nix add support for nix 2018-06-08 17:58:15 +02:00
stack.yaml update to stack 2 2019-06-17 21:09:31 +02:00

GRIN

Build Status Coverage Status Gitter chat

The name GRIN is short for Graph Reduction Intermediate Notation, and it is an intermediate language for graph reduction. GRIN is the optimizer and code generator component of the GRIN Compiler project which includes language frontends for Haskell, Idris and Agda. To get the big picture of the project check the project website.
For an overview of the optimizer read The GRIN Project paper. To grasp the details take your time and read Urban Boquist's PhD thesis on Code Optimisation Techniques for Lazy Functional Languages .

We presented the core ideas of GRIN at Haskell Exchange 2018. slides video

Read our paper A modern look at GRIN, an optimizing functional language back end (2019) to get an overview of GRIN related projects and other whole program compilers i.e. Boquist GRIN, UHC, JHC, LHC, HRC, MLton

Also check the GRIN transformation example from Boquist PhD and an example from our implementation.

Support

The project is supported by these awesome backers.
If you'd like to join them, please consider become a backer or sponsor on Patreon.

GRIN IR

Showcase

Setup

Installing LLVM

Homebrew

Example using Homebrew on macOS:

$ brew install llvm-hs/llvm/llvm-7.0

Debian/Ubuntu

For Debian/Ubuntu based Linux distributions, the LLVM.org website provides binary distribution packages. Check apt.llvm.org for instructions for adding the correct package database for your OS version, and then:

$ apt-get install llvm-7-dev

Nix

To get a nix shell with all the required dependencies do the following in the top level folder.

nix-shell

To run the example do the following from the top level folder.

(cd grin; cabal run grin -- grin/opt-stages-high-level/stage-00.grin)

To run a local Hoogle server with Haskell documentation do the following.

hoogle server --port 8087 1>/dev/null 2>/dev/null&

Build GRIN

stack setup
stack build

Usage

stack exec -- grin grin/grin/opt-stages-high-level/stage-00.grin

How to Contribute

See: Issues / Tasks for new contributors
Keep it simple: We follow the fundamentals laid down in HaskellerZ - Feb 2018 - Getting things done in Haskell

Example Front-End

Read about how to generate GRIN code from a frontend language.

Also check the corresponding source code.

i.e.

Simplifying Transformations

Transformation Schema
vectorisation

source code:
Vectorisation2.hs
case simplification

source code:
CaseSimplification.hs
split fetch operation

source code:
SplitFetch.hs
right hoist fetch operation

source code:
RightHoistFetch2.hs
register introduction

source code:
RegisterIntroduction.hs

Optimising Transformations

Transformation Schema
evaluated case elimination

source code:
EvaluatedCaseElimination.hs

test:
EvaluatedCaseEliminationSpec.hs
trivial case elimination

source code:
TrivialCaseElimination.hs

test:
TrivialCaseEliminationSpec.hs
sparse case optimisation

source code:
SparseCaseOptimisation.hs

test:
SparseCaseOptimisationSpec.hs
update elimination

source code:
UpdateElimination.hs

test:
UpdateEliminationSpec.hs
copy propagation

source code:
CopyPropagation.hs

test:
CopyPropagationSpec.hs
late inlining

source code:
Inlining.hs

test:
InliningSpec.hs
generalised unboxing

source code:
GeneralizedUnboxing.hs

test:
GeneralizedUnboxingSpec.hs
arity raising

source code:
ArityRaising.hs

test:
ArityRaisingSpec.hs
case copy propagation

source code:
CaseCopyPropagation.hs

test:
CaseCopyPropagationSpec.hs
case hoisting

source code:
CaseHoisting.hs

test:
CaseHoistingSpec.hs
whnf update elimination

source code:
TODO

test:
TODO
common sub-expression elimination

source code:
CSE.hs

test:
CSESpec.hs
constant propagation

source code:
ConstantPropagation.hs

test:
ConstantPropagationSpec.hs
dead function elimination

source code:
SimpleDeadFunctionElimination.hs

test:
SimpleDeadFunctionEliminationSpec.hs
dead variable elimination

source code:
SimpleDeadVariableElimination.hs

test:
SimpleDeadVariableEliminationSpec.hs
dead parameter elimination

source code:
SimpleDeadParameterElimination.hs

test:
SimpleDeadParameterEliminationSpec.hs