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.
Non-comprehensive list of changes in this release¶The llgo frontend has been removed for now, but may be resurrected in the future.
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 on VFDatabase
, instead of TargetLibraryInfo
.
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
and llvm::ScalableVectorType
vector types, both derived from the base class llvm::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 type unsigned
to count the number of lanes of a vector are now using llvm::ElementCount
. In places where uint64_t
was used to denote the size in bits of a IR type we have partially migrated the codebase to using llvm::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 take undef
/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 new noundef
attribute is attached to the functionsâ arguments. The full list is available at llvm::inferLibFuncAttributes
.
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.
LLJIT now supports execution of static inits / deinits via the LLJIT::initialize and LLJIT::deinitialize methods
Static libraries can now be added to a JITDylib using the StaticLibraryDefinitionGenerator class
A C API has been added for OrcV2 (llvm-project/llvm/include/llvm-c/Orc.h)
Several OrcV2 example projects have been added to llvm-project/llvm/examples/OrcV2Examples
Many bug fixes and API improvements
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 the clang
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.
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.
The Machine Outliner is now supported for ARM and Thumb2, it is not turned on by default and can be enabled with the -moutline
clang flag.
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
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.
Added support for the MemorySanitizer and the LeakSanitizer.
Added support for the -fstack-clash-protection
command line option.
Enhanced the assembler parser to allow using %r0 even in an address register context, and to allow specifying registers using plain integer numbers instead of register names everywhere.
Fixed wrong code generation violating the platform ABI when passing a C++ class (not struct) type having only a single member of floating-point type.
Fixed wrong code generation when using the vec_store_len_r or vec_load_len_r intrinsics with an immediate length argument of 16 or larger.
Miscellaneous codegen enhancements, in particular to improve vector code.
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.
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.
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.
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.
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.
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.
--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)
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.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.3