Debug Info for Optimized Code LLVM BoF Session Adrian Prantl & - PowerPoint PPT Presentation

Jan 25, 2024 •284 likes •380 views

Debug Info for Optimized Code LLVM BoF Session Adrian Prantl & Vedant Kumar, Apple October 2018 Ten years of LLVM Debug Info Ten years of debug info in LLVM #commits to LLVM 12000 9000 6000 3000 0 2007 2008 2009 2010 2011

Debug Info for Optimized Code LLVM BoF Session Adrian Prantl & Vedant Kumar, Apple October 2018
Ten years of LLVM Debug Info 🎃
Ten years of debug info in LLVM #commits to LLVM 12000 9000 6000 3000 0 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 #commits that modify test/DebugInfo 500 375 250 125 0 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018
llvm-dwarfdump --statistics (2011–now) %variables with location %regions covered 100% bigger = better 75% it’s complicated 50% 25% 0% 2011 (3.0) 2012 (3.2) 2014 (3.5) 2015 (3.6) 2016 (3.8) 2017 (4.0) 2018 (6.0) Input program: Clang 3.4 Configuration: (X86;Arm;AArch64), RelWithDebInfo (-O2)
Debug Info metrics collected in LNT http://lnt.llvm.org/ ⤳ clang-3.4-debuginfo-statistics
Which IR passes drop the most information? Debug Value/Location Loss (sqlite3 Amalgamation, opt -O2) # of missing locations Combine redundant instructions # of missing debug values Simplify the CFG Jump Threading Global Value Numbering Remove redundant instructions Early CSE w/ MemorySSA Value Propagation Bit-Tracking Dead Code Elimination Interprocedural Sparse Conditional Constant Propagation Dead Argument Elimination MemCpy Optimization MergedLoadStoreMotion SLP Vectorizer Reassociate expressions Dead Store Elimination Tail Call Elimination Sparse Conditional Constant Propagation Aggressive Dead Code Elimination 1 100 10000
Discussion flash cards GlobalISel • Automatically preserving C o d e G e n P debug info during combines r e p a r e • M o v i n g Backtrace quality llvm.dbg.value • Tail calls • Merged functions E l i m i n a t i n g C o d e G e n d i f f e r e n c e s • A d d i t i o n a l c o m m u n i t y b o t s • Improving line table fidelity F i n d i n g n e w b u g s • IRBuilder API • Should Constructors take a DebugLoc? • Testing (dexter?) SelectionDAG • Audit all *Combiner rules D e b u g I n t r i n s i c s for debug info handling • E x t e n d i n g llvm.dbg.value • A d o p t i n g llvm.dbg.addr
Resources LNT clang-3.4-debuginfo-statistics http://lnt.llvm.org/db_default/v4/nts/machine/1357 LLVM PR38768 [meta] Umbrella bug for poor debug experiences https://bugs.llvm.org/show_bug.cgi?id=38768 LLVM PR37953 [meta] fix -check-debugify failures https://bugs.llvm.org/show_bug.cgi?id=37953

Recommend

Debug info in optimized code how far can we go? Improving LLVM debug info with function entry

Debug info in optimized code how far can we go? Improving LLVM debug info with function entry values RT-RK LLC Speakers: Djordje Todorovic djordje.todorovic@rt-rk.com Nikola Prica nikola.prica@rt-rk.com 1 CONFIDENTIAL Reproduction

543 views • 30 slides

Generating Optimized Code with GlobalISel Or: GlobalISel going beyond "it works" 1

Generating Optimized Code with GlobalISel Or: GlobalISel going beyond "it works" 1 LLVM Dev Meeting 2019 Volkan Keles, Daniel Sanders Apple Agenda What is GlobalISel? GlobalISel Combiner and Helpers Testing and

1.38k views • 123 slides

Debug Information From Metadata to Modules Adrian Prantl Duncan Exon Smith Apple Apple What is

Debug Information From Metadata to Modules Adrian Prantl Duncan Exon Smith Apple Apple What is Debug Information? provides a mapping from source code binary program on disk: as DWARF, a highly compressed format in LLVM: as

754 views • 74 slides

To use it, you must compile your code with the -g option CXXFLAGS += -g g++ -g debug.cpp -o

To use it, you must compile your code with the -g option CXXFLAGS += -g g++ -g debug.cpp -o debug To run, type in gdb ./debug After typing in gdb ./debug you will enter the debugger Type run and it will run

502 views • 6 slides

Debug Info Tutorial Eric Christopher (echristo@gmail.com), David Blaikie (dblaikie@gmail.com)

Debug Info Tutorial Eric Christopher (echristo@gmail.com), David Blaikie (dblaikie@gmail.com) What is debug info? Mapping of source to binary Program structure, lines, columns, variables Debuggers, Profiling, Editors Kaleidoscope Background

653 views • 36 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 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

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 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

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 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

Source Code Analysis for Security through LLVM Lu Zhao HP Fortify lu.zhao@hp.com Static Code

Source Code Analysis for Security through LLVM Lu Zhao HP Fortify lu.zhao@hp.com Static Code Analyzer for Security Static Code Analyzer for Security (HP Fortify SCA) C/C++ Java Vulnerabilities LLVM Language independent Services C/C++ Swift

325 views • 31 slides

Debug Info Status and Directions Eric Christopher echristo@google.com Introduction What works

Debug Info Status and Directions Eric Christopher echristo@google.com Introduction What works today? What doesn't work? Where are we going? Debugging a few years ago? std::cout << "My variable is: " << MyVar <<

792 views • 32 slides

Contracts A Mystery Function 1 The Story Your first task at your new job is to debug this code

Contracts A Mystery Function 1 The Story Your first task at your new job is to debug this code written by your predecessor, who was fired for being a poor programmer. int f(int x, int y) { int r = 1; while (y > 1) { if (y % 2 == 1) { r

1.16k views • 93 slides

Cool Cisco IOS Commands: debug interface debug interface When you are performing debugs you have

Cool Cisco IOS Commands: debug interface debug interface When you are performing debugs you have at least two concerns: 1) making sure the that debug does not clobber the CPU of your device, and 2) filtering the debug output to get to the

460 views • 9 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 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

Debugging of optimized code: Extending the lifetime of local variables and parameters Wolfgang

Debugging of optimized code: Extending the lifetime of local variables and parameters Wolfgang Pieb October 18, 2017 Motivation Local variables and parameters (including the this pointer) are often optimized away soon after the last point

663 views • 9 slides

Building a Modern Database Using LLVM Skye Wanderman-Milne, Cloudera skye@cloudera.com LLVM

Building a Modern Database Using LLVM Skye Wanderman-Milne, Cloudera skye@cloudera.com LLVM Developers Meeting, Nov. 6-7 Overview What is Cloudera Impala? Why code generation? Writing IR vs. cross compilation Results What is

1.01k views • 27 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 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

Op#miza#on of LLVM-Based Code using Mul#-Objec#ve Evolu#onary Algorithms Bernab Dorronsoro

Op#miza#on of LLVM-Based Code using Mul#-Objec#ve Evolu#onary Algorithms Bernab Dorronsoro Sebas3en Varre5e University of Cadiz University of Luxembourg Outline Context and mo3va3on The code op3miza3on problem Introduc3on to

618 views • 43 slides

Software Obfuscation with LLVM (Ab)using the compiler to protect code Bio Carl

Software Obfuscation with LLVM (Ab)using the compiler to protect code Bio Carl Svensson Head of Security, KRY/LIVI CTF: HackingForSoju Twitter: @zetatwo Email: calle.svensson@zeta-two.com Website:

266 views • 13 slides

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

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

LLVM/Clang Mouna Abidi & 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

Adopting LLVM Binary Utilities in Toolchains Jordan Rupprecht rupprecht@google.com Euro LLVM

Euro LLVM 2019 Proprietary + Confidential Adopting LLVM Binary Utilities in Toolchains Jordan Rupprecht rupprecht@google.com Euro LLVM 2019 Why? 1. Toolchains are expensive! a. Already build one for Clang + LLD b. Code, build, test,

324 views • 10 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 Rupprecht (Google) Introduction LLVM binary utilities (aka binutils) include: llvm-readobj/llvm-readelf llvm-objdump llvm-objcopy

352 views • 8 slides