for several interprocedural problems; and (c) illustrative examples of the benefits LLVM provides for several challenging compiler problems.

This paper describes ErLLVM, a new backend for the HiPE com-piler, the native code compiler of Erlang/OTP, that targets the LLVM compiler infrastructure. Besides presenting the overall ar-chitecture of ErLLVM and its integration in Erlang/OTP, we de-scribe the changes to LLVM that ErLLVM required

In this paper we take a look on how we could run Scala on the Low Level Virtual Machine (LLVM). We first elaborate the motivation and possible solutions. Then we explore a few key challenges of a complete Scala implementation. Finally we take a look at the interesting feature subsets which could

approaches to interprocedural and profile-driven compilation can provide the application performance needed, but require infeasible amounts of compilation time to build the application. This thesis presents LLVM, a design and implementation of a compiler infrastructure which supports a unique multi

for several interprocedural problems; and (c) illustrative examples of the benefits LLVM provides for several challenging compiler problems. 1.

Machine (LLVM), a new breed of compiler written explicitly for use by other compiler writers, not high-level programmers, that promises to enable outsourcing of low-level and architecture-dependent aspects of code generation. We discuss the conceptual challenges and our backend design. We also provide

FreeBSD 10 shipped with Clang, based on LLVM [5], as the system compiler for x86 and ARMv6+ platforms. This was the first FreeBSD release not to include the GNU compiler since the

Abstract. We updated our Peggy tool, previously presented in [7], to perform translation validation for the LLVM compiler using a technique called Equality Saturation. We present the tool, and illustrate its effectiveness at doing translation validation on SPEC 2006 benchmarks. 1

This document introduces the LLVM compiler infrastructure and instruction set, a simple approach that enables sophisticated code transformations at link time, runtime, and in the field. It is a pragmatic approach to compilation, interfering with programmers and tools as little as possible, while

Software-pipelining is an important technique for increasing the instruction level parallelism of loops during compilation. Currently, the LLVM compiler infrastructure does not offer this optimization although some target specific implemen-tations do exist. We have implemented a high-level method