file. This file can then be passed to LLVM tools as usual. libjulia can function as an LLVM pass plugin and can be loaded into LLVM tools, to make julia-specific passes available in this environment. To generate a system image with the new pass manager, one could do: ./usr/tools/opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -o opt.bc unopt.bc ./usr/tools/llc -o sys.o opt.bc ./usr/tools/cc see the LLVM IR yourself and get extra verification run, you can use ./usr/tools/opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -S -verify-each plus.ll (note on MacOS this would be libjulia-codegen

file. This file can then be passed to LLVM tools as usual. libjulia can function as an LLVM pass plugin and can be loaded into LLVM tools, to make julia-specific passes available in this environment. To generate a system image with the new pass manager, one could do: ./usr/tools/opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -o opt.bc unopt.bc ./usr/tools/llc -o sys.o opt.bc ./usr/tools/cc see the LLVM IR yourself and get extra verification run, you can use ./usr/tools/opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -S -verify-each plus.ll (note on MacOS this would be libjulia-codegen

file. This file can then be passed to LLVM tools as usual. libjulia can function as an LLVM pass plugin and can be loaded into LLVM tools, to make julia-specific passes available in this environment. To generate a system image with the new pass manager, one could do: ./usr/tools/opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -o opt.bc unopt.bc ./usr/tools/llc -o sys.o opt.bc ./usr/tools/cc see the LLVM IR yourself and get extra verification run, you can use ./usr/tools/opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -S -verify-each plus.ll (note on MacOS this would be libjulia-codegen

file. This file can then be passed to LLVM tools as usual. libjulia can function as an LLVM pass plugin and can be loaded into LLVM tools, to make julia-specific passes available in this environment. To generate a system image with the new pass manager, one could do: ./usr/tools/opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -o opt.bc unopt.bc ./usr/tools/llc -o sys.o opt.bc ./usr/tools/cc see the LLVM IR yourself and get extra verification run, you can use ./usr/tools/opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -S -verify-each plus.ll (note on MacOS this would be libjulia-codegen

file. This file can then be passed to LLVM tools as usual. libjulia can function as an LLVM pass plugin and can be loaded into LLVMCHAPTER 106. DOCUMENTATION OF JULIA'S INTERNALS 1926 tools, to make julia-specific To generate a system image with the new pass manager, one could do: ./usr/tools/opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -o opt.bc unopt.bc ./usr/tools/llc -o sys.o opt.bc ./usr/tools/cc see the LLVM IR yourself and get extra verification run, you can use ./usr/tools/opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -S -verify-each plus.ll (note on MacOS this would be libjulia-codegen

file. This file can then be passed to LLVM tools as usual. libjulia can function as an LLVM pass plugin and can be loaded into LLVM tools, to make julia-specific passes available in this environment. sys.so sys.o To generate a system image with the new pass manager, one could do: opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -o opt.bc unopt.bc llc -o sys.o opt.bc cc -shared -o sys.so 101.24 Static analyzer annotations for GC correctness in C code Running the analysis The analyzer plugin that drives the analysis ships with julia. Its source code can be found in src/clangsa. Running

file. This file can then be passed to LLVM tools as usual. libjulia can function as an LLVM pass plugin and can be loaded into LLVM tools, to make julia-specific passes available in this environment. sys.so sys.o To generate a system image with the new pass manager, one could do: opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -o opt.bc unopt.bc llc -o sys.o opt.bc cc -shared -o sys.so 101.24 Static analyzer annotations for GC correctness in C code Running the analysis The analyzer plugin that drives the analysis ships with julia. Its source code can be found in src/clangsa. Running

file. This file can then be passed to LLVM tools as usual. libjulia can function as an LLVM pass plugin and can be loaded into LLVM tools, to make julia-specific passes available in this environment. sys.so sys.o To generate a system image with the new pass manager, one could do: opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -o opt.bc unopt.bc llc -o sys.o opt.bc cc -shared -o sys.so 105.26 Static analyzer annotations for GC correctness in C code Running the analysis The analyzer plugin that drives the analysis ships with julia. Its source code can be found in src/clangsa. Running

file. This file can then be passed to LLVM tools as usual. libjulia can function as an LLVM pass plugin and can be loaded into LLVM tools, to make julia-specific passes available in this environment. sys.so sys.o To generate a system image with the new pass manager, one could do: opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -o opt.bc unopt.bc llc -o sys.o opt.bc cc -shared -o sys.so 105.26 Static analyzer annotations for GC correctness in C code Running the analysis The analyzer plugin that drives the analysis ships with julia. Its source code can be found in src/clangsa. Running

file. This file can then be passed to LLVM tools as usual. libjulia can function as an LLVM pass plugin and can be loaded into LLVM tools, to make julia-specific passes available in this environment. sys.so sys.o To generate a system image with the new pass manager, one could do: opt -load-pass-plugin=libjulia-codegen.so --passes='julia' -o opt.bc unopt.bc llc -o sys.o opt.bc cc -shared -o sys.so 105.26 Static analyzer annotations for GC correctness in C code Running the analysis The analyzer plugin that drives the analysis ships with julia. Its source code can be found in src/clangsa. Running