Book Image

LLVM Cookbook

Book Image

LLVM Cookbook

Overview of this book

Related Content you might be interested in

Current Title:

Small book image
LLVM Cookbook
May, 2015 | 296 pages
No titles found
Table of Contents (16 chapters)
LLVM Cookbook
LLVM Cookbook
Credits
Credits
About the Authors
About the Authors
About the Reviewers
About the Reviewers
www.PacktPub.com
www.PacktPub.com
Preface
Preface
Free Chapter
1
LLVM Design and Use
LLVM Design and Use
Introduction
Understanding modular design
Cross-compiling Clang/LLVM
Converting a C source code to LLVM assembly
Converting IR to LLVM bitcode
Converting LLVM bitcode to target machine assembly
Converting LLVM bitcode back to LLVM assembly
Transforming LLVM IR
Linking LLVM bitcode
Executing LLVM bitcode
Using the C frontend Clang
Using the GO frontend
Using DragonEgg
2
Steps in Writing a Frontend
Steps in Writing a Frontend
Introduction
Defining a TOY language
Implementing a lexer
Defining Abstract Syntax Tree
Implementing a parser
Parsing simple expressions
Parsing binary expressions
Invoking a driver for parsing
Running lexer and parser on our TOY language
Defining IR code generation methods for each AST class
Generating IR code for expressions
Generating IR code for functions
Adding IR optimization support
3
Extending the Frontend and Adding JIT Support
Extending the Frontend and Adding JIT Support
Introduction
Handling decision making paradigms – if/then/else constructs
Generating code for loops
Handling user-defined operators – binary operators
Handling user-defined operators – unary operators
Adding JIT support
4
Preparing Optimizations
Preparing Optimizations
Introduction
Various levels of optimization
Writing your own LLVM pass
Running your own pass with the opt tool
Using another pass in a new pass
Registering a pass with pass manager
Writing an analysis pass
Writing an alias analysis pass
Using other analysis passes
5
Implementing Optimizations
Implementing Optimizations
Introduction
Writing a dead code elimination pass
Writing an inlining transformation pass
Writing a pass for memory optimization
Combining LLVM IR
Transforming and optimizing loops
Reassociating expressions
Vectorizing IR
Other optimization passes
6
Target-independent Code Generator
Target-independent Code Generator
Introduction
The life of an LLVM IR instruction
Visualizing LLVM IR CFG using GraphViz
Describing targets using TableGen
Defining an instruction set
Adding a machine code descriptor
Implementing the MachineInstrBuilder class
Implementing the MachineBasicBlock class
Implementing the MachineFunction class
Writing an instruction selector
Legalizing SelectionDAG
Optimizing SelectionDAG
Selecting instruction from the DAG
Scheduling instructions in SelectionDAG
7
Optimizing the Machine Code
Optimizing the Machine Code
Introduction
Eliminating common subexpression from machine code
Analyzing live intervals
Allocating registers
Inserting the prologue-epilogue code
Code emission
Tail call optimization
Sibling call optimisation
8
Writing an LLVM Backend
Writing an LLVM Backend
Introduction
Defining registers and registers sets
Defining the calling convention
Defining the instruction set
Implementing frame lowering
Printing an instruction
Selecting an instruction
Adding instruction encoding
Supporting a subtarget
Lowering to multiple instructions
Registering a target
9
Using LLVM for Various Useful Projects
Using LLVM for Various Useful Projects
Introduction
Exception handling in LLVM
Using sanitizers
Writing the garbage collector with LLVM
Converting LLVM IR to JavaScript
Using the Clang Static Analyzer
Using bugpoint
Using LLDB
Using LLVM utility passes
Index
Index

Transforming and optimizing loops

In this recipe, we will see how we can transform and optimize loops to get shorter execution times. We will mainly be looking into the Loop-Invariant Code Motion (LICM) optimization technique, and see how it works and how it transforms the code. We will also look at a relatively simpler technique called loop deletion, where we eliminate loops with non-infinite, computable trip counts that have no side effects on a function's return value.

Getting ready

You must have the opt tool built for this recipe.

How to do it…

  1. Write the test cases for the LICM pass:

    $ cat testlicm.ll
define void @testfunc(i32 %i) {
; <label>:0
  br label %Loop
Loop:        ; preds = %Loop, %0
  %j = phi i32 [ 0, %0 ], [ %Next, %Loop ]        ; <i32> [#uses=1]
  %i2 = mul i32 %i, 17        ; <i32> [#uses=1]
  %Next = add i32 %j, %i2        ; <i32> [#uses=2]
  %cond = icmp eq i32 %Next, 0        ; <i1> [#uses=1]
  br i1 %cond, label %Out, label %Loop
Out:  ...
Previous Section
End of Section 7
Next Section