```{warning} These are in-progress notes for the upcoming LLVM {{env.config.release}} release. Release notes for previous releases can be found on [the Download Page](https://releases.llvm.org/download.html). ```
This document contains the release notes for the LLVM Compiler Infrastructure, release {{env.config.release}}. 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 Discourse forums is a good place to ask them.
Note that if you are reading this file from a Git checkout or the main LLVM web page, this document applies to the next release, not the current one. To see the release notes for a specific release, please see the releases page.
Added a new IRNormalizer pass which aims to transform LLVM modules into a normal form by reordering and renaming instructions while preserving the same semantics. The normalizer makes it easier to spot semantic differences when diffing two modules which have undergone different passes.
...
Types are no longer allowed to be recursive.
The x86_mmx IR type has been removed. It will be translated to the standard vector type <1 x i64> in bitcode upgrade.
Renamed llvm.experimental.stepvector intrinsic to llvm.stepvector.
Added usub_cond and usub_sat operations to atomicrmw.
Introduced noalias.addrspace metadata.
Remove the following intrinsics which can be replaced with a bitcast:
llvm.nvvm.bitcast.f2illvm.nvvm.bitcast.i2fllvm.nvvm.bitcast.d2llllvm.nvvm.bitcast.ll2dRemove the following intrinsics which can be replaced with a funnel-shift:
llvm.nvvm.rotate.b32llvm.nvvm.rotate.right.b64llvm.nvvm.rotate.b64Remove the following intrinsics which can be replaced with an addrspacecast:
llvm.nvvm.ptr.gen.to.globalllvm.nvvm.ptr.gen.to.sharedllvm.nvvm.ptr.gen.to.constantllvm.nvvm.ptr.gen.to.localllvm.nvvm.ptr.global.to.genllvm.nvvm.ptr.shared.to.genllvm.nvvm.ptr.constant.to.genllvm.nvvm.ptr.local.to.genRemove the following intrinsics which can be relaced with a load from addrspace(1) with an !invariant.load metadata
llvm.nvvm.ldg.global.illvm.nvvm.ldg.global.fllvm.nvvm.ldg.global.pOperand bundle values can now be metadata strings.
Fast math flags are now permitted on fptrunc and fpext.
.balign N, 0, .p2align N, 0, .align N, 0 in code sections will now fill the required alignment space with a sequence of 0x0 bytes (the requested fill value) rather than NOPs.
Assembler/disassembler support has been added for Armv9.6-A (2024) architecture extensions.
Added support for the FUJITSU-MONAKA CPU.
llvm.amdgcn.flat.atomic.fadd and llvm.amdgcn.global.atomic.fadd intrinsics. Users should use the {ref}atomicrmw <i_atomicrmw> instruction with fadd and addrspace(0) or addrspace(1) instead..balign N, 0, .p2align N, 0, .align N, 0 in code sections will now fill the required alignment space with a sequence of 0x0 bytes (the requested fill value) rather than NOPs.
The default behavior for frame pointers in leaf functions has been updated. When the -fno-omit-frame-pointer option is specified, FPKeepKindStr is set to -mframe-pointer=all, meaning the frame pointer (FP) is now retained in leaf functions by default. To eliminate the frame pointer in leaf functions, you must explicitly use the -momit-leaf-frame-pointer option.
When using the MOVT or MOVW instructions, the Assembler will now check to ensure that any addend that is used is within a 16-bit signed value range. If the addend falls outside of this range, the LLVM backend will emit an error like so Relocation Not In Range.
ppc64 LLC default cpu is updated from ppc to ppc64.generic to pwr7..balign N, 0, .p2align N, 0, .align N, 0 in code sections will now fill the required alignment space with a sequence of 0x0 bytes (the requested fill value) rather than NOPs.-mcpu=syntacore-scr4/5-rv32/64-mcpu=sifive-p470 was added.-mcpu=rp2350-hazard3 (32-bit only).Zvbc32e and Zvkgs extensions are now supported experimentally.Smctr, Ssctr and Svvptc extensions.-mcpu=syntacore-scr7 was added.-mcpu=tt-ascalon-d8 was added.-mcpu=mips-p8700 was added.Zacas extension is no longer marked as experimental.Smmpm, Smnpm, Ssnpm, Supm, and Sspm pointer masking extensions are no longer marked as experimental.Sha extension is now supported..insn <length>, <raw encoding> can be used to assemble 48- and 64-bit instructions from raw integer values..insn [<length>,] <raw encoding> now accepts absolute expressions for both expressions, so that they can be computed from constants and absolute symbols.cr constraint meaning an RVC-encoding compatible GPR (x8-x15)cf constraint meaning an RVC-encoding compatible FPR (f8-f15)R constraint meaning an even-odd GPR pair (prints as the even register, but both registers in the pair are considered live).N modifer meaning print the register encoding (0-31) rather than the name.f and cf inline assembly constraints, when using F-/D-/H-in-X extensions, will use the relevant GPR rather than FPR. This makes inline assembly portable between e.g. F and Zfinx code.Sdext and Sdtrig extensions.The default target CPU, “generic”, now enables the -mnontrapping-fptoint and -mbulk-memory flags, which correspond to the Bulk Memory Operations and Non-trapping float-to-int Conversions language features, which are widely implemented in engines.
A new Lime1 target CPU is added, -mcpu=lime1. This CPU follows the definition of the Lime1 CPU here, and enables -mmultivalue, -mmutable-globals, -mcall-indirect-overlong, -msign-ext, -mbulk-memory-opt, -mnontrapping-fptoint, and -mextended-const.
.balign N, 0x90, .p2align N, 0x90, and .align N, 0x90 in code sections now fill the required alignment space with repeating 0x90 bytes, rather than using optimised NOP filling. Optimised NOP filling fills the space with NOP instructions of various widths, not just those that use the 0x90 byte encoding. To use optimised NOP filling in a code section, leave off the “fillval” argument, i.e. .balign N, .p2align N or .align N respectively.
Due to the removal of the x86_mmx IR type, functions with x86_mmx arguments or return values will use a different, incompatible, calling convention ABI. Such functions are not generally seen in the wild (Clang never generates them!), so this is not expected to result in real-world compatibility problems.
Support ISA of AVX10.2-256 and AVX10.2-512.
Supported instructions of MOVRS AND AVX10.2
Supported ISA of SM4(EVEX).
Supported ISA of MSR_IMM.
Supported -mcpu=diamondrapids
Supported emitting relocation types for x86-64 target:
R_X86_64_CODE_4_GOTPCRELXR_X86_64_CODE_4_GOTTPOFFR_X86_64_CODE_4_GOTPC32_TLSDESCR_X86_64_CODE_6_GOTTPOFFThe following symbols are deleted due to the removal of the x86_mmx IR type:
LLVMX86_MMXTypeKindLLVMX86MMXTypeInContextLLVMX86MMXTypeThe following functions are added to further support non-null-terminated strings:
LLVMGetNamedFunctionWithLength
LLVMGetNamedGlobalWithLength
The following functions are added to access the LLVMContextRef associated with LLVMValueRef and LLVMBuilderRef objects:
LLVMGetValueContextLLVMGetBuilderContextThe new pass manager can now be invoked with a custom alias analysis pipeline, using the LLVMPassBuilderOptionsSetAAPipeline function.
It is now also possible to run the new pass manager on a single function, by calling LLVMRunPassesOnFunction instead of LLVMRunPasses.
Support for creating instructions with custom synchronization scopes has been added:
LLVMGetSyncScopeID to map a synchronization scope name to an ID.LLVMBuildFenceSyncScope, LLVMBuildAtomicRMWSyncScope and LLVMBuildAtomicCmpXchgSyncScope versions of the existing builder functions with an additional synchronization scope ID parameter.LLVMGetAtomicSyncScopeID and LLVMSetAtomicSyncScopeID to get and set the synchronization scope of any atomic instruction.LLVMIsAtomic to check if an instruction is atomic, for use with the above functions. Because of backwards compatibility, LLVMIsAtomicSingleThread and LLVMSetAtomicSingleThread continue to work with any instruction type.The LLVMSetPersonalityFn and LLVMSetInitializer APIs now support clearing the personality function and initializer respectively by passing a null pointer.
The following functions are added to allow iterating over debug records attached to instructions:
LLVMGetFirstDbgRecordLLVMGetLastDbgRecordLLVMGetNextDbgRecordLLVMGetPreviousDbgRecordAdded LLVMAtomicRMWBinOpUSubCond and LLVMAtomicRMWBinOpUSubSat to LLVMAtomicRMWBinOp enum for AtomicRMW instructions.
--globalize-symbol, --globalize-symbols, --keep-global-symbol, --keep-global-symbols, --localize-symbol, --localize-symbols, --skip-symbol, --skip-symbols.LLDB now supports inline diagnostics for the expression evaluator and command line parser.
Old:
(lldb) p a+b
error: <user expression 0>:1:1: use of undeclared identifier 'a'
1 | a+b
| ^
error: <user expression 0>:1:3: use of undeclared identifier 'b'
1 | a+b
| ^
New:
(lldb) p a+b
˄ ˄
│ ╰─ error: use of undeclared identifier 'b'
╰─ error: use of undeclared identifier 'a'
LLDB can now read the fpmr register from AArch64 Linux processes and core files.
Program stdout/stderr redirection will now open the file with O_TRUNC flag, make sure to truncate the file if path already exists.
settings set target.output-path/target.error-path <path/to/file>A new setting target.launch-working-dir can be used to set a persistent cwd that is used by default by process launch and run.
LLDB now parses shared libraries in parallel, resulting in an average 2x speedup when attaching (only available on Darwin platforms) and launching (available on all platforms).
On the command line, LLDB now limits tab completions to your terminal width to avoid wrapping.
Old:
Available completions:
_regexp-attach -- Attach to process by ID or name.
_regexp-break -- Set a breakpoint using one of several shorthand
formats.
_regexp-bt -- Show backtrace of the current thread's call sta
ck. Any numeric argument displays at most that many frames. The argument 'al
l' displays all threads. Use 'settings set frame-format' to customize the pr
inting of individual frames and 'settings set thread-format' to customize th
e thread header. Frame recognizers may filter thelist. Use 'thread backtrace
-u (--unfiltered)' to see them all.
_regexp-display -- Evaluate an expression at every stop (see 'help
target stop-hook'.)
New:
Available completions:
_regexp-attach -- Attach to process by ID or name.
_regexp-break -- Set a breakpoint using one of several shorth...
_regexp-bt -- Show backtrace of the current thread's call ...
_regexp-display -- Evaluate an expression at every stop (see 'h...
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 Discourse forums.