ADR

Compute vector address

Optionally sign or zero-extend the least significant 32-bits of each element from a vector of offsets or indices in the second source vector, scale each index by 2, 4 or 8, add to a vector of base addresses from the first source vector, and place the resulting addresses in the destination vector. This instruction is unpredicated.

This instruction is illegal when executed in Streaming SVE mode, unless FEAT_SME_FA64 is implemented and enabled.

It has encodings from 3 classes: Packed offsets , Unpacked 32-bit signed offsets and Unpacked 32-bit unsigned offsets

Packed offsets

313029282726252423222120191817161514131211109876543210
000001001sz1Zm1010mszZnZd

ADR <Zd>.<T>, [<Zn>.<T>, <Zm>.<T>{, <mod> <amount>}]

if !HaveSVE() then UNDEFINED; constant integer esize = 32 << UInt(sz); integer n = UInt(Zn); integer m = UInt(Zm); integer d = UInt(Zd); constant integer osize = esize; boolean unsigned = TRUE; integer mbytes = 1 << UInt(msz);

Unpacked 32-bit signed offsets

313029282726252423222120191817161514131211109876543210
00000100001Zm1010mszZnZd

ADR <Zd>.D, [<Zn>.D, <Zm>.D, SXTW{ <amount>}]

if !HaveSVE() then UNDEFINED; constant integer esize = 64; integer n = UInt(Zn); integer m = UInt(Zm); integer d = UInt(Zd); constant integer osize = 32; boolean unsigned = FALSE; integer mbytes = 1 << UInt(msz);

Unpacked 32-bit unsigned offsets

313029282726252423222120191817161514131211109876543210
00000100011Zm1010mszZnZd

ADR <Zd>.D, [<Zn>.D, <Zm>.D, UXTW{ <amount>}]

if !HaveSVE() then UNDEFINED; constant integer esize = 64; integer n = UInt(Zn); integer m = UInt(Zm); integer d = UInt(Zd); constant integer osize = 32; boolean unsigned = TRUE; integer mbytes = 1 << UInt(msz);

Assembler Symbols

<Zd>

Is the name of the destination scalable vector register, encoded in the "Zd" field.

<T>

Is the size specifier, encoded in sz:

sz <T>
0 S
1 D
<Zn>

Is the name of the base scalable vector register, encoded in the "Zn" field.

<Zm>

Is the name of the offset scalable vector register, encoded in the "Zm" field.

<mod>

Is the index extend and shift specifier, encoded in msz:

msz <mod>
00 [absent]
x1 LSL
10 LSL
<amount>

Is the index shift amount, encoded in msz:

msz <amount>
00 [absent]
01 #1
10 #2
11 #3

Operation

CheckNonStreamingSVEEnabled(); constant integer VL = CurrentVL; constant integer elements = VL DIV esize; bits(VL) base = Z[n, VL]; bits(VL) offs = Z[m, VL]; bits(VL) result; for e = 0 to elements-1 bits(esize) addr = Elem[base, e, esize]; integer offset = Int(Elem[offs, e, esize]<osize-1:0>, unsigned); Elem[result, e, esize] = addr + (offset * mbytes); Z[d, VL] = result;

Operational information

If FEAT_SVE2 is implemented or FEAT_SME is implemented, then if PSTATE.DIT is 1:


Internal version only: aarchmrs v2023-12_rel, pseudocode v2023-12_rel, sve v2023-12_rel ; Build timestamp: 2023-12-15T16:46

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