Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Experiments about intermediate representations in compilers
OCaml C Haskell
Branch: master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
experiments/gvn
pprint
src
tests
.gitignore
LICENSE
Makefile
README

README

%Studying the relation between SSA and CPS


#End

We want to see what the SSA based optimisations do on CPS (and maybe later ANF).


#Mean

We use an SSA to CPS translator and feed it LLVM assembly files. Here is what
the program does:


~~~~~~~
                     +>file.opt.ll --> LLVM --> SSA --> CPS
                     |                                   |
                    opt                                  |
                     |                                   |
file.c --clang--> file.ll --> LLVM --> SSA --> CPS       |
                     ^                          |        |
                     |                         pp       pp
file.hs --ghc--------+                          |        |
                                                v        v
                                           file.cps   file.opt.cps
                                                |        |
                                                +--diff--+
                                                    |
                                                    v
                                                   ????
                                                    |
                                                    v
                                                  PROFIT
~~~~~~~

Something went wrong with that request. Please try again.