http://cotocoto.jp/event/39693

1. GHC LLVMBackend
Workshop
May 8, 2010
Osaka, Japan
Tatsuhiro Ujihisa
http://ujihisa.blogspot.com/

2. GHC?
•The most common Haskell
compiler
•More features than Haskell98
specification

3. LLVM?
•Low LevelVirtual Machine
•A virtual machine for
arbitrary environments
•(like JVM for C)

4. GHC × LLVM

5. Demo

6. ☜ What I did?
• "fib" app on normal GHC
• "fib" app on LLVM GHC
• benchmarks of them

7. Differences
•What do they change from and to?
•GHC:
•Haskell -> Executable
•LLVM GHC:
•Haskell -> LLVM Assembly Language

8. LLVM Assemby Language
(1/2)
•Platform-independent
Assembly Language
•Infinite number of (virtual)
registers
•All registers are referential
transparent

9. LLVM Assemby Language
(2/2)
•Can call all C functions
•other features are almost
same as other common
assembly languages such as
IA-32

10. Advantage?
☞ Optimizer!

11. (to be continued...)