a brief introduction to using llvm
play

A Brief Introduction to Using LLVM Nick Sumner Spring 2013 What - PowerPoint PPT Presentation

Mar 17, 2024 •256 likes •831 views

A Brief Introduction to Using LLVM Nick Sumner Spring 2013 What is LLVM? A compiler? What is LLVM? A compiler? A set of formats, libraries and tools. What is LLVM? A compiler? A set of formats, libraries and tools. A

  1. A Brief Introduction to Using LLVM Nick Sumner Spring 2013

  2. What is LLVM? ● A compiler?

  3. What is LLVM? ● A compiler? ● A set of formats, libraries and tools.

  4. What is LLVM? ● A compiler? ● A set of formats, libraries and tools. – A simple, typed IR ( bitcode ) – Program analysis / optimization libraries – Machine code generation libraries – Tools that compose the libraries to perform task

  5. What is LLVM? ● A compiler? ● A set of formats, libraries and tools. – A simple, typed IR ( bitcode ) – Program analysis / optimization libraries – Machine code generation libraries – Tools that compose the libraries to perform tasks ● Easy to add / remove / change functionality

  6. How will you be using it? ● Compiling programs to bitcode: clang -g -c -emit-llvm <sourcefile> -o <bitcode>.bc

  7. How will you be using it? ● Compiling programs to bitcode: clang -g -c -emit-llvm <sourcefile> -o <bitcode>.bc ● Analyzing the bitcode: opt -load <plugin>.so --<plugin> -analyze <bitcode>.bc

  8. How will you be using it? ● Compiling programs to bitcode: clang -g -c -emit-llvm <sourcefile> -o <bitcode>.bc ● Analyzing the bitcode: opt -load <plugin>.so --<plugin> -analyze <bitcode>.bc ● Reporting properties of the program: [main] : [A], [C], [F] [A] : [B] [C] : [E], [D]

  9. What is LLVM Bitcode? ● A (Relatively) Simple IR @str = private constant [6 x i8] c"Hello\00" #include<stdio.h> define void @foo(i32 %e) { %1 = icmp eq i32 %e, 0 void br i1 %1, label %._crit_edge, label %.lr.ph foo(unsigned e) { for (unsigned i = 0; i < e; ++i) { .lr.ph: ; preds = %.lr.ph, %0 printf("Hello\n"); %i = phi i32 [ %2, %.lr.ph ], [ 0, %0 ] Code } %str1 = getelementptr } [6 x i8]* @str, i64 0, i64 0 %puts = tail call i32 @puts(i8* %str1) IR int %2 = add i32 %i, 1 main(int argc, char **argv) { %cond = icmp eq i32 %2, %e foo(argc); br i1 %cond, label %.exit, label %.lr.ph return 0; } .exit: ; preds = %.lr.ph, %0 ret void } clang -c -emit-llvm define i32 @main(i32 %argc, i8** %argv) { tail call void @foo(i32 %argc) (and llvm-dis) ret i32 0 }

  10. What is LLVM Bitcode? ● A (Relatively) Simple IR @str = private constant [6 x i8] c"Hello\00" #include<stdio.h> define void @foo(i32 %e) { %1 = icmp eq i32 %e, 0 void br i1 %1, label %._crit_edge, label %.lr.ph foo(unsigned e) { for (unsigned i = 0; i < e; ++i) { .lr.ph: ; preds = %.lr.ph, %0 printf("Hello\n"); %i = phi i32 [ %2, %.lr.ph ], [ 0, %0 ] } %str1 = getelementptr } [6 x i8]* @str, i64 0, i64 0 %puts = tail call i32 @puts(i8* %str1) int %2 = add i32 %i, 1 main(int argc, char **argv) { %cond = icmp eq i32 %2, %e foo(argc); br i1 %cond, label %.exit, label %.lr.ph return 0; } .exit: ; preds = %.lr.ph, %0 ret void } clang -c -emit-llvm define i32 @main(i32 %argc, i8** %argv) { tail call void @foo(i32 %argc) (and llvm-dis) ret i32 0 }

  11. What is LLVM Bitcode? ● A (Relatively) Simple IR @str = private constant [6 x i8] c"Hello\00" #include<stdio.h> define void @foo(i32 %e) { %1 = icmp eq i32 %e, 0 void br i1 %1, label %._crit_edge, label %.lr.ph foo(unsigned e) { for (unsigned i = 0; i < e; ++i) { .lr.ph: ; preds = %.lr.ph, %0 printf("Hello\n"); %i = phi i32 [ %2, %.lr.ph ], [ 0, %0 ] } %str1 = getelementptr } [6 x i8]* @str, i64 0, i64 0 %puts = tail call i32 @puts(i8* %str1) int %2 = add i32 %i, 1 main(int argc, char **argv) { %cond = icmp eq i32 %2, %e foo(argc); br i1 %cond, label %.exit, label %.lr.ph return 0; } .exit: ; preds = %.lr.ph, %0 ret void } define i32 @main(i32 %argc, i8** %argv) { Functions tail call void @foo(i32 %argc) ret i32 0 }

  12. What is LLVM Bitcode? ● A (Relatively) Simple IR @str = private constant [6 x i8] c"Hello\00" #include<stdio.h> define void @foo(i32 %e) { %1 = icmp eq i32 %e, 0 void br i1 %1, label %._crit_edge, label %.lr.ph foo(unsigned e) { for (unsigned i = 0; i < e; ++i) { .lr.ph: ; preds = %.lr.ph, %0 printf("Hello\n"); %i = phi i32 [ %2, %.lr.ph ], [ 0, %0 ] } %str1 = getelementptr } [6 x i8]* @str, i64 0, i64 0 %puts = tail call i32 @puts(i8* %str1) int %2 = add i32 %i, 1 main(int argc, char **argv) { %cond = icmp eq i32 %2, %e foo(argc); br i1 %cond, label %.exit, label %.lr.ph return 0; } .exit: ; preds = %.lr.ph, %0 ret void } define i32 @main(i32 %argc, i8** %argv) { Basic Blocks tail call void @foo(i32 %argc) ret i32 0 }

  13. What is LLVM Bitcode? ● A (Relatively) Simple IR @str = private constant [6 x i8] c"Hello\00" #include<stdio.h> define void @foo(i32 %e) { %1 = icmp eq i32 %e, 0 void br i1 %1, label %._crit_edge, label %.lr.ph foo(unsigned e) { for (unsigned i = 0; i < e; ++i) { .lr.ph: ; preds = %.lr.ph, %0 printf("Hello\n"); %i = phi i32 [ %2, %.lr.ph ], [ 0, %0 ] } %str1 = getelementptr } [6 x i8]* @str, i64 0, i64 0 labels & predecessors %puts = tail call i32 @puts(i8* %str1) int %2 = add i32 %i, 1 main(int argc, char **argv) { %cond = icmp eq i32 %2, %e foo(argc); br i1 %cond, label %.exit, label %.lr.ph return 0; } .exit: ; preds = %.lr.ph, %0 ret void } define i32 @main(i32 %argc, i8** %argv) { Basic Blocks tail call void @foo(i32 %argc) ret i32 0 }

  14. What is LLVM Bitcode? ● A (Relatively) Simple IR @str = private constant [6 x i8] c"Hello\00" #include<stdio.h> define void @foo(i32 %e) { %1 = icmp eq i32 %e, 0 void br i1 %1, label %._crit_edge, label %.lr.ph foo(unsigned e) { for (unsigned i = 0; i < e; ++i) { .lr.ph: ; preds = %.lr.ph, %0 printf("Hello\n"); %i = phi i32 [ %2, %.lr.ph ], [ 0, %0 ] } %str1 = getelementptr } [6 x i8]* @str, i64 0, i64 0 branches & successors %puts = tail call i32 @puts(i8* %str1) int %2 = add i32 %i, 1 main(int argc, char **argv) { %cond = icmp eq i32 %2, %e foo(argc); br i1 %cond, label %.exit, label %.lr.ph return 0; } .exit: ; preds = %.lr.ph, %0 ret void } define i32 @main(i32 %argc, i8** %argv) { Basic Blocks tail call void @foo(i32 %argc) ret i32 0 }

  15. What is LLVM Bitcode? ● A (Relatively) Simple IR @str = private constant [6 x i8] c"Hello\00" #include<stdio.h> define void @foo(i32 %e) { %1 = icmp eq i32 %e, 0 void br i1 %1, label %._crit_edge, label %.lr.ph foo(unsigned e) { for (unsigned i = 0; i < e; ++i) { .lr.ph: ; preds = %.lr.ph, %0 printf("Hello\n"); %i = phi i32 [ %2, %.lr.ph ], [ 0, %0 ] } %str1 = getelementptr } [6 x i8]* @str, i64 0, i64 0 %puts = tail call i32 @puts(i8* %str1) int %2 = add i32 %i, 1 main(int argc, char **argv) { %cond = icmp eq i32 %2, %e foo(argc); br i1 %cond, label %.exit, label %.lr.ph return 0; } .exit: ; preds = %.lr.ph, %0 ret void } define i32 @main(i32 %argc, i8** %argv) { Instructions tail call void @foo(i32 %argc) ret i32 0 }

  16. Inspecting Bitcode ● LLVM libraries help examine the bitcode – Easy to examine and/or manipulate

  17. Inspecting Bitcode ● LLVM libraries help examine the bitcode – Easy to examine and/or manipulate Module &module = ...; for (Function &fun : module) { for (BasicBlock &bb : fun) { for (Instruction &i : bb) { Iterate over the: ● Functions in a Module ● BasicBlocks in a Function ● Instructions in a BasicBlock ...

  18. Inspecting Bitcode ● LLVM libraries help examine the bitcode – Easy to examine and/or manipulate – Many helpers (e.g. CallSite, outs(), dyn_cast) Module &module = ...; for (Function &fun : module) { for (BasicBlock &bb : fun) { for (Instruction &i : bb) { CallSite helps you extract CallSite cs(&i); information from Call and if (!cs.getInstruction()) { continue; Invoke instructions. } ...

  19. Inspecting Bitcode ● LLVM libraries help examine the bitcode – Easy to examine and/or manipulate – Many helpers (e.g. CallSite, outs(), dyn_cast) Module &module = ...; for (Function &fun : module) { for (BasicBlock &bb : fun) { for (Instruction &i : bb) { CallSite cs(&i); if (!cs.getInstruction()) { continue; } outs() << "Found a function call: " << i << "\n"; ...

  20. Inspecting Bitcode ● LLVM libraries help examine the bitcode – Easy to examine and/or manipulate – Many helpers (e.g. CallSite, outs(), dyn_cast) Module &module = ...; for (Function &fun : module) { for (BasicBlock &bb : fun) { dyn_cast() efficiently checks for (Instruction &i : bb) { the runtime types of LLVM CallSite cs(&i); IR components. if (!cs.getInstruction()) { continue; } outs() << "Found a function call: " << i << "\n"; Value *called = cs.getCalledValue()->stripPointerCasts(); if (Function *f = dyn_cast<Function>(called)) { outs() << "Direct call to function: " << f->getName() << "\n"; ...

  21. Dealing with SSA ● You may ask where certain values came from – Useful for tracking dependencies – “Where was this variable defined?”

  22. Dealing with SSA ● You may ask where certain values came from ● LLVM IR is in SSA form – How many acronyms can I fit into one line? – What does this mean? – Why does it matter?

Recommend

LLVM IR and the IoT Dvid Juhsz david.juhasz@imsystech.com 4/2/2018 1 FOSDEM 2018 LLVM

LLVM IR and the IoT Dvid Juhsz david.juhasz@imsystech.com 4/2/2018 1 FOSDEM 2018 LLVM

A unique processor architecture meeting LLVM IR and the IoT Dvid Juhsz david.juhasz@imsystech.com 4/2/2018 1 FOSDEM 2018 LLVM devroom Compiling with LLVM High-Level Programming Language LLVM LLVM Front-end LLVM Assembly / IR LLVM

435 views • 22 slides
Introduction to the LLVM Compiler System Chris Lattner llvm.org Architect November 4, 2008

Introduction to the LLVM Compiler System Chris Lattner llvm.org Architect November 4, 2008

Introduction to the LLVM Compiler System Chris Lattner llvm.org Architect November 4, 2008 ACAT08 - Erice, Sicily What is the LLVM Project? Collection of industrial strength compiler technology Optimizer and Code Generator

1.29k views • 55 slides
LLVM Binutils BoF 2019 EuroLLVM Developers' Meeting James Henderson (SN Systems) Jordan

LLVM Binutils BoF 2019 EuroLLVM Developers' Meeting James Henderson (SN Systems) Jordan

LLVM Binutils BoF 2019 EuroLLVM Developers' Meeting James Henderson (SN Systems) Jordan Rupprecht (Google) Introduction LLVM binary utilities (aka binutils) include: llvm-readobj/llvm-readelf llvm-objdump llvm-objcopy

352 views • 8 slides
Porting LLVM to a new OS Kai Nacke 31 January 2016 LLVM devroom @ FOSDEM16 Porting LLVM

Porting LLVM to a new OS Kai Nacke 31 January 2016 LLVM devroom @ FOSDEM16 Porting LLVM

Porting LLVM to a new OS Kai Nacke 31 January 2016 LLVM devroom @ FOSDEM16 Porting LLVM There are two possible goals Run LLVM tools on OS Generate code for OS / CPU architecture Mission is to run LLVM on previously unsupported

603 views • 11 slides
LLVM Simone Campanoni simonec@eecs.northwestern.edu Problems with Canvas? Problems with slides?

LLVM Simone Campanoni simonec@eecs.northwestern.edu Problems with Canvas? Problems with slides?

LLVM Simone Campanoni simonec@eecs.northwestern.edu Problems with Canvas? Problems with slides? Any problems? Outline Introduction to LLVM CAT steps Hacking LLVM LLVM LLVM is a great, hackable compiler for C/C++ languages

1.68k views • 44 slides
Compiling Scala to LLVM Geoff Reedy University of New Mexico Scala Days 2011 Introduction The

Compiling Scala to LLVM Geoff Reedy University of New Mexico Scala Days 2011 Introduction The

Introduction The LLVM Backend Outlook Compiling Scala to LLVM Geoff Reedy University of New Mexico Scala Days 2011 Introduction The LLVM Backend Outlook Motivation Why Scala on LLVM? Compiles to native code Fast startup Efficient

646 views • 46 slides
Compiling with Continuations and LLVM Kavon Farvardin John Reppy University of Chicago

Compiling with Continuations and LLVM Kavon Farvardin John Reppy University of Chicago

Compiling with Continuations and LLVM Kavon Farvardin John Reppy University of Chicago September 22, 2016 Introduction LLVM Introduction to LLVM De facto backend for new language implementations Offers high quality code generation for

568 views • 22 slides
llvm.mix multi-stage compiler-assisted specializer generator built on LLVM Eugene Sharygin 1

llvm.mix multi-stage compiler-assisted specializer generator built on LLVM Eugene Sharygin 1

llvm.mix multi-stage compiler-assisted specializer generator built on LLVM Eugene Sharygin 1 February 3, 2019 1 eush77@gmail.com Introduction llvm.mix Binding-Time Analysis Dynamic Control Examples Summary Interpreters and Compilers

1.33k views • 62 slides
The Many Faces of Instrumentation: Debugging and Better Performance using LLVM in HPC What are

The Many Faces of Instrumentation: Debugging and Better Performance using LLVM in HPC What are

The Many Faces of Instrumentation: Debugging and Better Performance using LLVM in HPC What are LLVM, Clang, and Flang? How is LLVM Being Improved for HPC. What Facilities for Tooling Exist in LLVM? Opportunities for the Future!

572 views • 38 slides
LLVM/Clang Mouna Abidi &amp; Manel Grichi 1 Plan What is LLVM? How will you be using it?

LLVM/Clang Mouna Abidi &amp; Manel Grichi 1 Plan What is LLVM? How will you be using it?

LLVM/Clang Mouna Abidi &amp; Manel Grichi 1 Plan What is LLVM? How will you be using it? LLVM Architecture Compiler Simple case study Conclusion 2 What is LLVM? Low Level Virtual Machine Modern Compiler

1.34k views • 19 slides
Autovectorization with LLVM Hal Finkel April 12, 2012 The LLVM Compiler Infrastructure 2012

Autovectorization with LLVM Hal Finkel April 12, 2012 The LLVM Compiler Infrastructure 2012

Autovectorization with LLVM Hal Finkel April 12, 2012 The LLVM Compiler Infrastructure 2012 European Conference Hal Finkel (Argonne National Laboratory) Autovectorization with LLVM April 12, 2012 1 / 29 1 Introduction 2 Basic-Block

426 views • 29 slides
Building, Testing and Debugging a Simple out-of-tree LLVM Pass October 29, 2015, LLVM

Building, Testing and Debugging a Simple out-of-tree LLVM Pass October 29, 2015, LLVM

Building, Testing and Debugging a Simple out-of-tree LLVM Pass October 29, 2015, LLVM Developers Meeting LLVM 3.7 Resources https://github.com/quarkslab/ llvm-dev-meeting-tutorial-2015 1 Instruction Booklet a = b + c a = b

794 views • 62 slides
Wring an LLVM Pass: 101 LLVM 2019 tutorial Andrzej Warzyski arm October 2019 Andrzejs

Wring an LLVM Pass: 101 LLVM 2019 tutorial Andrzej Warzyski arm October 2019 Andrzejs

Wring an LLVM Pass: 101 LLVM 2019 tutorial Andrzej Warzyski arm October 2019 Andrzejs Background arm DOWNSTREAMlldb SciComp Highlander LLVM Dev Meeng 2019 2 / 39 Overview LLVM pass development crash course Focus on

635 views • 39 slides
LLVM Passes Nick Sumner (see also https://github.com/nsumner/llvm-demo) Matt Dwyer (see also

LLVM Passes Nick Sumner (see also https://github.com/nsumner/llvm-demo) Matt Dwyer (see also

LLVM Passes Nick Sumner (see also https://github.com/nsumner/llvm-demo) Matt Dwyer (see also https://github.com/matthewbdwyer/tipc/) Where Can You Get Info? The online documentation is extensive: LLVM Programmers Manual LLVM

553 views • 37 slides
Using LLVM in a Model Checking Workflow Gyula Sallai 2018 European LLVM Developers Meeting

Using LLVM in a Model Checking Workflow Gyula Sallai 2018 European LLVM Developers Meeting

Using LLVM in a Model Checking Workflow Gyula Sallai 2018 European LLVM Developers Meeting Introduction Motivation Embedded software systems o Usually written in C (Red Green) Confidence in correctness? Formal Formal model

325 views • 16 slides
LLVM Numerics Improvements Michael C. Berg, Apple LLVM Developers Meeting, Brussels,

LLVM Numerics Improvements Michael C. Berg, Apple LLVM Developers Meeting, Brussels,

LLVM Numerics Improvements Michael C. Berg, Apple LLVM Developers Meeting, Brussels, Belgium, April 2019 1 Agenda Handling Numerics via Flags Current LLVM Numerics Models How Unsafe Changes Behavior Mixed Mode

714 views • 43 slides
Use of the LLVM framework for the MSIL code generation Artur PIETREK artur.pietrek@imag.fr

Use of the LLVM framework for the MSIL code generation Artur PIETREK artur.pietrek@imag.fr

Outline PhD thesis MSIL Motivation Introduction to LLVM LLVM MSIL code generator Plans for the future Reference Use of the LLVM framework for the MSIL code generation Artur PIETREK artur.pietrek@imag.fr VERIMAG Kalray (Montbonnot) DCS

350 views • 22 slides
LLVM Coroutines Bringing resumable functions to LLVM LLVM Dev Meeting 2016 Gor Nishanov

LLVM Coroutines Bringing resumable functions to LLVM LLVM Dev Meeting 2016 Gor Nishanov

LLVM Coroutines Bringing resumable functions to LLVM LLVM Dev Meeting 2016 Gor Nishanov (@GorNishanov) 1 Microsoft Visual C++ Team Coroutines Subroutine A Coroutine C Subroutine A Subroutine B C start B start Introduced

1.31k views • 71 slides
Debugging With LLVM A quick introducon to LLDB and LLVM sanizers Graham Hunter, Andrzej

Debugging With LLVM A quick introducon to LLDB and LLVM sanizers Graham Hunter, Andrzej

Debugging With LLVM A quick introducon to LLDB and LLVM sanizers Graham Hunter, Andrzej Warzyski Arm February 2020 Our Background Compiler engineers at Arm Arm Compiler For Linux Downstream and upstream LLVM Based in

913 views • 28 slides
Introduction to LLVM UG3 Compiling Techniques Autumn 2019 Contact Information Instructor:

Introduction to LLVM UG3 Compiling Techniques Autumn 2019 Contact Information Instructor:

Introduction to LLVM UG3 Compiling Techniques Autumn 2019 Contact Information Instructor: Aaron Smith Email: aaron.l.smith@ed.ac.uk Office: IF 1.29 TA for LLVM: Andrej Ivanis (plus Christof and Rodrigo) Email:

589 views • 21 slides
How to cross compile with LLVM based tools Peter Smith, Linaro Introduction and assumptions

How to cross compile with LLVM based tools Peter Smith, Linaro Introduction and assumptions

How to cross compile with LLVM based tools Peter Smith, Linaro Introduction and assumptions What we are covering Today What is cross compilation? How does cross compilation work with Clang and LLVM? The extra bits you need

304 views • 28 slides
LLVM Auto-Vectorization Past Present Future Renato Golin www.linaro.org LLVM

LLVM Auto-Vectorization Past Present Future Renato Golin www.linaro.org LLVM

LLVM Auto-Vectorization Past Present Future Renato Golin www.linaro.org LLVM Auto-Vectorization Plan: What is auto-vectorization? Short-history of the LLVM vectorizer What do we support today, and an overview of how it works

386 views • 22 slides
LLVM for the future of Supercomputing Hal Finkel hfinkel@anl.gov 2017-03-27 2017 European LLVM

LLVM for the future of Supercomputing Hal Finkel hfinkel@anl.gov 2017-03-27 2017 European LLVM

LLVM for the future of Supercomputing Hal Finkel hfinkel@anl.gov 2017-03-27 2017 European LLVM Developers' Meeting What is Supercomputing? Computing for large, tightly-coupled problems. Lots of computational capability paired with High

612 views • 39 slides
LLVM on the Web Using Portable Native Client to run Clang/LLVM in the Browser Brad Nelson

LLVM on the Web Using Portable Native Client to run Clang/LLVM in the Browser Brad Nelson

LLVM on the Web Using Portable Native Client to run Clang/LLVM in the Browser Brad Nelson February 1, 2015 @flagxor Motivation Author Ron Reuter (aka MainByte) I created the photo/file and it is released to the public domain. Motivation

692 views • 44 slides

More recommend