## +24 ## LLVM's Realtime Safety Revolution: Tools for Modern Mission Critical Systems DAVID TREVELYAN & CHRISTOPHER APPLE ## Chris Apple ## David Trevelyan • 10-year veteran of the audio industry safety build:mac unit:mac rtsan build:win unit:mac:arm build:linux unit:win unit:linux ## LLVM 20  WE'RE HERE (is_in_realtime_context(): print_stack_and_die("malloc"); return REAL(malloc)(size); } LLVM Intermediate Representation (IR) ## Real-time context signaling compilation step int dispatch()

JULIA_GC_WAIT_FOR_DEBUGGER ..... 333 ENABLE_JITPROFILING ..... 334 ENABLE_GDBLISTENER ..... 334 JULIA_LLVM_ARGS ..... 334 30 Embedding Julia ..... 335 30.1 High-Level Embedding ..... 335 Using Julia-config 864 54.4 Alternate orderings 865 55 Iteration utilities 867 56 C Interface 877 57 LLVM Interface 889 58 C Standard Library 891 59 StackTraces 895 60 SIMD Support 897 Working with LLVM ..... 1300 Overview of Julia to LLVM Interface ..... 1300 Building Julia with a different version of LLVM ..... 1301 Passing options to LLVM ..... 1301 Debugging LLVM transformations

代码翻译 Source Code Python code 栈式虚拟机 Source Code AST Bit code VM Rust 编译器 Source Code AST LLVM IR Native/WASM ## R ## 我们遇到了哪些问题？ ## G |VM(Rust)|VM(Python)|LLVM Native Code| |---|---|---|---|---|---|---|---| |简单Case a = 1|0.05s|0.125s|0.012s|0.01s|0.008s|0.6s|0 Rust源码解读 ## Compiler Base: 更通用的编译器组件 KCL Smart Contract Source Code Source Code AST AST LLVM IR LLVM IR Native/WASM ABI • Error • Span & SourceMap • Session • Paraller IDE 友好的编译器架构 1.

WEBASSEMBLY ## HOW TINYGO WORKS ## GO → TINYGO → LLM ## GO COMPILER TOOLCHAIN IS WRITTEN IN GO ## LLVM - A SET OF TOOLS FOR BUILDING COMPILERS ![Image](/uploads/documents/3/2/2/0/3220b7f311e789f4ca076d973f7b1570/p44_1

to try dynamic/runtime analysis. After years of improvements and successes for Clang and GCC users, LLVM AddressSanitizer (ASan) is finally available on Windows, in the latest Visual Studio 2019 versions [Image](/uploads/documents/1/0/8/f/108f90d702d7ed2c2f8717cd7bf81ffc/p18_1.jpg) ## clang-tidy ~ 300 checks clang.llvm.org/extra/clang-tidy/checks/list.html ## clang-tidy modernize-use-nullptr modernize-loop-convert that should be treated as handles. By default only std::string_view is considered. https://clang.llvm.org/extra/clang-tidy/checks/bugprone-dangling-handle.html ### Lifetime profile v1.0 ## Lifetime safety:

1298 58.7 Intermediate and compiled representations ..... 1299 59 C Interface ..... 1300 60 LLVM Interface ..... 1317 61 C Standard Library ..... 1318 62 StackTraces ..... 1324 63 SIMD Support 106.13 System Image Building 1910 106.14 Package Images 1913 106.15 Custom LLVM Passes 1915 106.16 Working with LLVM 1920 106.17 printf() and stdio in the Julia runtime 1928 106.18 Bounds checking inference and just-in-time (JIT) compilation (and optional ahead-of-time compilation), implemented using LLVM. It is multi-paradigm, combining features of imperative, functional, and object-oriented programming

orderings ..... 920 55 Iteration utilities ..... 922 CONTENTS xi 56 C Interface 932 57 LLVM Interface 943 58 C Standard Library 944 59 StackTraces 947 60 SIMD Support 949 bits Union Optimizations ..... 1368 102.13 System Image Building ..... 1369 102.14 Working with LLVM ..... 1371 102.15 printf() and stdio in the Julia runtime ..... 1377 102.16 8ounds checking . good performance, achieved using type inference and just-in-time (JIT) compilation, implemented using LLVM. It is multi-paradigm, combining features of imperative, functional, and object-oriented programming

负责将预训练好的 caffe 或者 tensorflow 的模型，转换到 LLVM IR，最后生成可以在无剑 SoC 平台上 执行的二进制。 平头哥集成开发环境 统一应用开发框架 一键 应用部署 Caffe TensorFlow TVM 图形化 算力分析 T-Head NN 无剑SoC平台 LLVM 自定义 AI加速器 异构 联合调试 ## 为何添加 caffe 前端？