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

Writing your own LLVM pass

All LLVM passes are subclasses of the pass class, and they implement functionality by overriding the virtual methods inherited from pass. LLVM applies a chain of analyses and transformations on the target program. A pass is an instance of the Pass LLVM class.

Getting ready

Let's see how to write a pass. Let's name the pass function block counter; once done, it will simply display the name of the function and count the basic blocks in that function when run. First, a Makefile needs to be written for the pass. Follow the given steps to write a Makefile:

  1. Open a Makefile in the llvm lib/Transform folder:

    $ vi Makefile

  2. Specify the path to the LLVM root folder and the library name, and make this pass a loadable module by specifying it in Makefile, as follows:

    LEVEL = ../../..
LIBRARYNAME = FuncBlockCount
LOADABLE_MODULE = 1
include $(LEVEL)/Makefile.common

This Makefile specifies that all the .cpp files in the current directory are to be compiled and linked together in a...

Previous Section
End of Section 4
Next Section