Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sat 9 Sep 2017 10:30 - 10:55 at L1 - Compiling to LLVM Chair(s): Jan Stolarek

During compilation, an explicit model of the control stack can uniformly express a host of language features, such as concurrency and exception handling. For GHC and other compilers using such a model, LLVM is an awkward compilation target. Because of limitations in the LLVM IR, every point at which a function call returns must be split into its own function. This splitting transformation (a.k.a. “proc-point splitting” in GHC) destroys much of the function-local control-flow in the original program, rendering most of LLVM’s optimizations useless.

In this talk, I will discuss my work to extend LLVM with a new feature that supports explicit stack management, eliminating the need for the splitting transformation. Using GHC as a testbed, I will also compare the new feature against the prior splitting workaround.

Sat 9 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

10:30 - 11:30: HIW 2017 - Compiling to LLVM at L1
Chair(s): Jan StolarekUniversity of Edinburgh, UK
hiw-201710:30 - 10:55
Kavon FarvardinUniversity of Chicago, Simon Peyton JonesMicrosoft Research, Cambridge
hiw-201710:55 - 11:20
Siddharth BhatIIT Hyderabad
hiw-201711:20 - 11:30