LLVM 11.0.0 Release Notes¶
Introduction¶
This document contains the release notes for the LLVM Compiler Infrastructure, release 11.0.0. Here we describe the status of LLVM, including major improvements from the previous release, improvements in various subprojects of LLVM, and some of the current users of the code. All LLVM releases may be downloaded from the LLVM releases web site.
For more information about LLVM, including information about the latest release, please check out the main LLVM web site. If you have questions or comments, the LLVM Developer’s Mailing List is a good place to send them.
Deprecated and Removed Features/APIs¶
BG/Q support, including QPX, will be removed in the 12.0.0 release.
Non-comprehensive list of changes in this release¶
The llgo frontend has been removed for now, but may be resurrected in the future.
Changes to the LLVM IR¶
The callsite attribute vector-function-abi-variant has been added to describe the mapping between scalar functions and vector functions, to enable vectorization of call sites. The information provided by the attribute is interfaced via the API provided by the
VFDatabase
class. When scanning through the set of vector functions associated with a scalar call, the loop vectorizer now relies onVFDatabase
, instead ofTargetLibraryInfo
.dereferenceable attributes and metadata on pointers no longer imply anything about the alignment of the pointer in question. Previously, some optimizations would make assumptions based on the type of the pointer. This behavior was undocumented. To preserve optimizations, frontends may need to be updated to generate appropriate align attributes and metadata.
The DIModule metadata is extended to contain file and line number information. This information is used to represent Fortran modules debug info at IR level.
LLVM IR now supports two distinct
llvm::FixedVectorType
andllvm::ScalableVectorType
vector types, both derived from the base classllvm::VectorType
. A number of algorithms dealing with IR vector types have been updated to make sure they work for both scalable and fixed vector types. Where possible, the code has been made generic to cover both cases using the base class. Specifically, places that were using the typeunsigned
to count the number of lanes of a vector are now usingllvm::ElementCount
. In places whereuint64_t
was used to denote the size in bits of a IR type we have partially migrated the codebase to usingllvm::TypeSize
.Branching on
undef
/poison
is undefined behavior. It is needed for correctly analyzing value ranges based on branch conditions. This is consistent with MSan’s behavior as well.memset
/memcpy
/memmove
can takeundef
/poison
pointer(s) if the size to fill is zero.Passing
undef
/poison
to a standard I/O library function call (printf/fputc/…) is undefined behavior. The newnoundef
attribute is attached to the functions’ arguments. The full list is available atllvm::inferLibFuncAttributes
.
Changes to building LLVM¶
The LLVM project has started the migration towards Python 3, and the build system now prefers Python 3 whenever available. If the Python 3 interpreter (or libraries) are not found, the build system will, for the time being, fall back to Python 2. It is recommended that downstream projects migrate to Python 3 as Python 2 has been end-of-life’d by the Python Software Foundation.
Changes to the AArch64 Backend¶
Back up and restore x18 in functions with windows calling convention on non-windows OSes.
Clearly error out on unsupported relocations when targeting COFF, instead of silently accepting some (without being able to do what was requested).
Implemented codegen support for the SVE C-language intrinsics documented in Arm C Language Extensions (ACLE) for SVE (version
00bet5
). For more information, see theclang
11 release notes.Added support for Armv8.6-A:
Assembly support for the following extensions:
Enhanced Counter Virtualization (ARMv8.6-ECV).
Fine Grained Traps (ARMv8.6-FGT).
Activity Monitors virtualization (ARMv8.6-AMU).
Data gathering hint (ARMv8.0-DGH).
Assembly and intrinsics support for the Armv8.6-A Matrix Multiply extension for Neon and SVE vectors.
Support for the ARMv8.2-BF16 BFloat16 extension. This includes a new C-level storage-only __bf16 type, a BFloat IR type, a bf16 MVT, and assembly and intrinsics support.
Added support for Cortex-A34, Cortex-A77, Cortex-A78 and Cortex-X1 cores.
Changes to the ARM Backend¶
Implemented C-language intrinsics for the full Arm v8.1-M MVE instruction set.
<arm_mve.h>
now supports the complete API defined in the Arm C Language Extensions.Added support for assembly for the optional Custom Datapath Extension (CDE) for Arm M-profile targets.
Implemented C-language intrinsics
<arm_cde.h>
for the CDE instruction set.Clang now defaults to
-fomit-frame-pointer
when targeting non-Android Linux for arm and thumb when optimizations are enabled. Users that were previously not specifying a value and relying on the implicit compiler default may wish to specify-fno-omit-frame-pointer
to get the old behavior. This improves compatibility with GCC.Added support for Armv8.6-A:
Assembly and intrinsics support for the Armv8.6-A Matrix Multiply extension for Neon vectors.
Support for the ARMv8.2-AA32BF16 BFloat16 extension. This includes a new C-level storage-only __bf16 type, a BFloat IR type, a bf16 MVT, and assembly and intrinsics support.
Added support for CMSE.
Added support for Cortex-M55, Cortex-A77, Cortex-A78 and Cortex-X1 cores.
Changes to the PowerPC Target¶
Optimization:
Improved Loop Unroll-and-Jam legality checks, allowing it to handle more than two level loop nests
Improved Loop Unroll to be able to unroll more loops
Implemented an option to allow loop fusion to work on loops with different constant trip counts
Codegen:
POWER10 support
Added PC Relative addressing
Added __int128 vector bool support
Security enhancement via probe-stack attribute support to protect against stack clash
Floating point support enhancements
Improved half precision and quad precision support, including GLIBC
constrained FP operation support for arithmetic/rounding/max/min
cleaning up fast math flags checks in DAGCombine, Legalizer, and Lowering
Performance improvements from instruction exploitation, especially for vector permute on LE
Scheduling enhancements
Added MacroFusion for POWER8
Added post-ra heuristics for POWER9
Target dependent passes tuning
Updated LoopStrengthReduce to use instruction number as first priority
Enhanced MachineCombiner to expose more ILP
Code quality and maintenance enhancements
Enabled more machine verification passes
Added ability to parse and emit additional extended mnemonics
Numerous bug fixes
AIX Support Improvements:
Enabled compile and link such that a simple <stdio.h> “Hello World” program works with standard headers
Added support for the C calling convention for non-vector code
Implemented correct stack frame layout for functions
In llvm-objdump, added support for relocations, improved selection of symbol labels, and added the –symbol-description option
Changes to the RISC-V Target¶
New features:
After consultation through an RFC, the RISC-V backend now accepts patches for proposed instruction set extensions that have not yet been ratified. For these experimental extensions, there is no expectation of ongoing support - the compiler support will continue to change until the specification is finalised. In line with this policy, MC layer and code generation support was added for version 0.92 of the proposed Bit Manipulation Extension and MC layer support was added for version 0.8 of the proposed RISC-V Vector instruction set extension. As these extensions are not yet ratified, compiler support will continue to change to match the specifications until they are finalised.
ELF attribute sections are now created, encoding information such as the ISA string.
Support for saving/restoring callee-saved registers via libcalls (a code size optimisation).
llvm-objdump will now print branch targets as part of disassembly.
Improvements:
If an immediate can be generated using a pair of addi instructions, that pair will be selected rather than materialising the immediate into a separate register with an lui and addi pair.
Multiplication by a constant was optimised.
addi instructions are now folded into the offset of a load/store instruction even if the load/store itself has a non-zero offset, when it is safe to do so.
Additional target hooks were implemented to minimise generation of unnecessary control flow instruction.
The RISC-V backend’s load/store peephole optimisation pass now supports constant pools, improving code generation for floating point constants.
Debug scratch register names dscratch0 and dscratch1 are now recognised in addition to the legacy dscratch register name.
Codegen for checking isnan was improved, removing a redundant and.
The dret instruction is now supported by the MC layer.
.option pic and .option nopic are now supported in assembly and .reloc was extended to support arbitrary relocation types.
Scheduling info metadata was improved.
The jump pseudo instruction is now supported.
Bug fixes:
A failure to insert indirect branches in position independent code was fixed.
The calculated expanded size of atomic pseudo operations was fixed, avoiding “fixup value out of range” errors during branch relaxation for some inputs.
The mcountinhibit CSR is now recognised.
The correct libcall is now emitted for converting a float/double to a 32-bit signed or unsigned integer on RV64 targets lacking the F or D extensions.
Changes to the X86 Target¶
Functions with the probe-stack attribute set to “inline-asm” are now protected against stack clash without the need of a third-party probing function and with limited impact on performance.
-x86-enable-old-knl-abi command line switch has been removed. v32i16/v64i8 vectors are always passed in ZMM register when avx512f is enabled and avx512bw is disabled.
Vectors larger than 512 bits with i16 or i8 elements will be passed in multiple ZMM registers when avx512f is enabled. Previously this required avx512bw otherwise they would split into multiple YMM registers. This means vXi16/vXi8 vectors are consistently treated the same as vXi32/vXi64/vXf64/vXf32 vectors of the same total width.
Support was added for Intel AMX instructions.
Support was added for TSXLDTRK instructions.
A pass was added for mitigating the Load Value Injection vulnerability.
The Speculative Execution Side Effect Suppression pass was added which can be used to as a last resort mitigation for speculative execution related CPU vulnerabilities.
Improved recognition of boolean vector reductions with better MOVMSKB/PTEST handling
Exteded recognition of rotation patterns to handle funnel shift as well, allowing us to remove the existing x86-specific SHLD/SHRD combine.
Changes to the AMDGPU Target¶
The backend default denormal handling mode has been switched to on for all targets for all compute function types. Frontends wishing to retain the old behavior should explicitly request f32 denormal flushing.
Changes to the AVR Target¶
Moved from an experimental backend to an official backend. AVR support is now included by default in all LLVM builds and releases and is available under the “avr-unknown-unknown” target triple.
Changes to the WebAssembly Target¶
Programs which don’t have a “main” function, called “reactors” are now properly supported, with a new -mexec-model=reactor flag. Programs which previously used -Wl,–no-entry to avoid having a main function should switch to this new flag, so that static initialization is properly performed.
__attribute__((visibility(“protected”))) now evokes a warning, as WebAssembly does not support “protected” visibility.
Changes to the Windows Target¶
Produce COFF weak external symbols for IR level weak symbols without a comdat (e.g. for __attribute__((weak)) in C)
Changes to the DAG infrastructure¶
A SelDag-level freeze instruction has landed. It is simply lowered as a copy operation to MachineIR, but to make it fully correct either IMPLICIT_DEF should be fixed or the equivalent FREEZE operation should be added to MachineIR.
Changes to the Debug Info¶
LLVM now supports the debug entry values (DW_OP_entry_value) production for the x86, ARM, and AArch64 targets by default. Other targets can use the utility by using the experimental option (“-debug-entry-values”). This is a debug info feature that allows debuggers to recover the value of optimized-out parameters by going up a stack frame and interpreting the values passed to the callee. The feature improves the debugging user experience when debugging optimized code.
Changes to the Gold Plugin¶
--plugin-opt=whole-program-visibility
is added to specify that classes have hidden LTO visibility in LTO and ThinLTO links of source files compiled with-fwhole-program-vtables
. See LTOVisibility for details. (D71913)
Changes to the LLVM tools¶
Added an option (–show-section-sizes) to llvm-dwarfdump to show the sizes of all debug sections within a file.
llvm-nm now implements the flag
--special-syms
and will filter out special symbols, i.e. mapping symbols on ARM and AArch64, by default. This matches the GNU nm behavior.llvm-rc now tolerates -1 as menu item ID, supports the language id option and allows string table values to be split into multiple string literals
llvm-lib supports adding import library objects in addition to regular object files
External Open Source Projects Using LLVM 11¶
Zig Programming Language¶
Zig is a general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software. In addition to supporting LLVM as an optional backend, Zig links Clang and LLD to provide an out-of-the-box cross compilation experience, not only for Zig code but for C and C++ code as well. Using a sophisticated caching system, Zig lazily builds from source compiler-rt, mingw-w64, musl, glibc, libcxx, libcxxabi, and libunwind for the selected target - a “batteries included” drop-in for GCC/Clang that works the same on every platform.
Additional Information¶
A wide variety of additional information is available on the LLVM web page, in particular in the documentation section. The web page also contains versions of the
API documentation which is up-to-date with the Git version of the source
code. You can access versions of these documents specific to this release by
going into the llvm/docs/
directory in the LLVM tree.
If you have any questions or comments about LLVM, please feel free to contact us via the mailing lists.