This is a collection of Intel®’ IA32® Software Developer's Manuals (URL of the day) and AMD' AMD64 Architecture Programmer's Manual together with the related specifications, application notes, white papers, and change logs. The collection aims to keep all available revisions. It was originally created by Michal Necasek, see OS/2 Museum.

If you have a public document, related to the IA32® specifications and missing from the collection, please mail it to me. The content of this URL and all sub-ULRs is available for convenient bulk download by rsync x86docs password "" (empty).

LDFMAX, LDFMAXA, LDFMAXAL, LDFMAXL -- A64

LDFMAX, LDFMAXA, LDFMAXAL, LDFMAXL

Atomic floating-point maximum

This instruction atomically loads a 16-bit, 32-bit, or 64-bit value from memory, calculates the floating-point maximum with the value held in a register, and stores the result back to memory. The value initially loaded from memory is returned in the destination register.

This instruction:

For more information about memory ordering semantics, see Load-Acquire, Store-Release.

For information about addressing modes, see Load/Store addressing modes.

Floating-point
(FEAT_LSFE)

313029282726252423222120191817161514131211109876543210
size111100AR1Rs010000RnRt
VRo3opc

Encoding for the Half-precision no memory ordering variant

Applies when (size == 01 && A == 0 && R == 0)

LDFMAX <Hs>, <Ht>, [<Xn|SP>]

Encoding for the Half-precision acquire variant

Applies when (size == 01 && A == 1 && R == 0)

LDFMAXA <Hs>, <Ht>, [<Xn|SP>]

Encoding for the Half-precision acquire-release variant

Applies when (size == 01 && A == 1 && R == 1)

LDFMAXAL <Hs>, <Ht>, [<Xn|SP>]

Encoding for the Half-precision release variant

Applies when (size == 01 && A == 0 && R == 1)

LDFMAXL <Hs>, <Ht>, [<Xn|SP>]

Encoding for the Single-precision no memory ordering variant

Applies when (size == 10 && A == 0 && R == 0)

LDFMAX <Ss>, <St>, [<Xn|SP>]

Encoding for the Single-precision acquire variant

Applies when (size == 10 && A == 1 && R == 0)

LDFMAXA <Ss>, <St>, [<Xn|SP>]

Encoding for the Single-precision acquire-release variant

Applies when (size == 10 && A == 1 && R == 1)

LDFMAXAL <Ss>, <St>, [<Xn|SP>]

Encoding for the Single-precision release variant

Applies when (size == 10 && A == 0 && R == 1)

LDFMAXL <Ss>, <St>, [<Xn|SP>]

Encoding for the Double-precision no memory ordering variant

Applies when (size == 11 && A == 0 && R == 0)

LDFMAX <Ds>, <Dt>, [<Xn|SP>]

Encoding for the Double-precision acquire variant

Applies when (size == 11 && A == 1 && R == 0)

LDFMAXA <Ds>, <Dt>, [<Xn|SP>]

Encoding for the Double-precision acquire-release variant

Applies when (size == 11 && A == 1 && R == 1)

LDFMAXAL <Ds>, <Dt>, [<Xn|SP>]

Encoding for the Double-precision release variant

Applies when (size == 11 && A == 0 && R == 1)

LDFMAXL <Ds>, <Dt>, [<Xn|SP>]

Decode for all variants of this encoding

if !IsFeatureImplemented(FEAT_LSFE) then EndOfDecode(Decode_UNDEF); end; let t : integer = UInt(Rt); let n : integer = UInt(Rn); let s : integer = UInt(Rs); let datasize : integer{} = 8 << UInt(size); let acquire : boolean = A == '1'; let release : boolean = R == '1'; let tagchecked : boolean = n != 31;

Assembler Symbols

<Hs>

Is the 16-bit name of the SIMD&FP register holding the data value to be operated on with the contents of the memory location, encoded in the "Rs" field.

<Ht>

Is the 16-bit name of the SIMD&FP register to be loaded, encoded in the "Rt" field.

<Xn|SP>

Is the 64-bit name of the general-purpose base register or stack pointer, encoded in the "Rn" field.

<Ss>

Is the 32-bit name of the SIMD&FP register holding the data value to be operated on with the contents of the memory location, encoded in the "Rs" field.

<St>

Is the 32-bit name of the SIMD&FP register to be loaded, encoded in the "Rt" field.

<Ds>

Is the 64-bit name of the SIMD&FP register holding the data value to be operated on with the contents of the memory location, encoded in the "Rs" field.

<Dt>

Is the 64-bit name of the SIMD&FP register to be loaded, encoded in the "Rt" field.

Operation

AArch64_CheckFPEnabled(); var address : bits(64); var value : bits(datasize); var data : bits(datasize); let accdesc : AccessDescriptor = CreateAccDescFPAtomicOp(MemAtomicOp_FPMAX, acquire, release, tagchecked); value = V{datasize}(s); if n == 31 then CheckSPAlignment(); address = SP{64}(); else address = X{64}(n); end; let comparevalue : bits(datasize) = ARBITRARY : bits(datasize); // Irrelevant when not executing CAS data = MemAtomic{datasize}(address, comparevalue, value, accdesc); V{datasize}(t) = data;


2026-03_rel 2026-03-26 20:48:11

Copyright © 2010-2026 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.