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

Using another pass in a new pass

A pass may require another pass to get some analysis data, heuristics, or any such information to decide on a further course of action. The pass may just require some analysis such as memory dependencies, or it may require the altered IR as well. The new pass that you just saw simply prints the name of the function. Let's see how to enhance it to count the basic blocks in a loop, which also demonstrates how to use other pass results.

Getting ready

The code used in the previous recipe remains the same. Some modifications are required, however, to enhance it—as demonstrated in next section—so that it counts the number of basic blocks in the IR.

How to do it…

The getAnalysis function is used to specify which other pass will be used:

  1. Since the new pass will be counting the number of basic blocks, it requires loop information. This is specified using the getAnalysis loop function:

     LoopInfo *LI = &getAnalysis<LoopInfoWrapperPass>().getLoopInfo();

  2. This will...

Previous Section
End of Section 6
Next Section