STRH (register)

Store Register Halfword (register) calculates an address from a base register value and an offset register value, and stores a halfword from a register to memory. The offset register value can be shifted left by 0, 1, 2, or 3 bits. For information about memory accesses see Memory accesses.

It has encodings from the following instruction sets: A32 ( A1 ) and T32 ( T1 and T2 ) .

A1

313029282726252423222120191817161514131211109876543210
!= 1111000PU0W0RnRt(0)(0)(0)(0)1011Rm
cond

Offset (P == 1 && W == 0)

STRH{<c>}{<q>} <Rt>, [<Rn>, {+/-}<Rm>]

Post-indexed (P == 0 && W == 0)

STRH{<c>}{<q>} <Rt>, [<Rn>], {+/-}<Rm>

Pre-indexed (P == 1 && W == 1)

STRH{<c>}{<q>} <Rt>, [<Rn>, {+/-}<Rm>]!

if P == '0' && W == '1' then SEE "STRHT"; constant t = UInt(Rt); constant n = UInt(Rn); constant m = UInt(Rm); constant index = (P == '1'); constant add = (U == '1'); constant wback = (P == '0') || (W == '1'); constant (shift_t, shift_n) = (SRType_LSL, 0); if t == 15 || m == 15 then UNPREDICTABLE; if wback && (n == 15 || n == t) then UNPREDICTABLE;

CONSTRAINED UNPREDICTABLE behavior

If t == 15, then one of the following behaviors must occur:

If wback && n == t, then one of the following behaviors must occur:

If wback && n == 15, then one of the following behaviors must occur:

T1

1514131211109876543210
0101001RmRnRt

T1

STRH{<c>}{<q>} <Rt>, [<Rn>, {+}<Rm>]

constant t = UInt(Rt); constant n = UInt(Rn); constant m = UInt(Rm); constant index = TRUE; constant add = TRUE; constant wback = FALSE; constant (shift_t, shift_n) = (SRType_LSL, 0);

T2

15141312111098765432101514131211109876543210
111110000010!= 1111Rt000000imm2Rm
Rn

T2

STRH{<c>}.W <Rt>, [<Rn>, {+}<Rm>] // (<Rt>, <Rn>, <Rm> can be represented in T1)

STRH{<c>}{<q>} <Rt>, [<Rn>, {+}<Rm>{, LSL #<imm>}]

if Rn == '1111' then UNDEFINED; constant t = UInt(Rt); constant n = UInt(Rn); constant m = UInt(Rm); constant index = TRUE; constant add = TRUE; constant wback = FALSE; constant (shift_t, shift_n) = (SRType_LSL, UInt(imm2)); // Armv8-A removes UNPREDICTABLE for R13 if t == 15 || m == 15 then UNPREDICTABLE;

CONSTRAINED UNPREDICTABLE behavior

If t == 15, then one of the following behaviors must occur:

For more information about the constrained unpredictable behavior of this instruction, see Architectural Constraints on UNPREDICTABLE behaviors.

Assembler Symbols

<c>

See Standard assembler syntax fields.

<q>

See Standard assembler syntax fields.

<Rt>

Is the general-purpose register to be transferred, encoded in the "Rt" field.

<Rn>

For encoding A1: is the general-purpose base register, encoded in the "Rn" field. The PC can be used in the offset variant, but this is deprecated.

For encoding T1 and T2: is the general-purpose base register, encoded in the "Rn" field.

+/-

Specifies the index register is added to or subtracted from the base register, defaulting to + if omitted and encoded in U:

U +/-
0 -
1 +
+

Specifies the index register is added to the base register.

<Rm>

Is the general-purpose index register, encoded in the "Rm" field.

<imm>

If present, the size of the left shift to apply to the value from <Rm>, in the range 1-3. <imm> is encoded in imm2. If absent, no shift is specified and imm2 is encoded as 0b00.

Operation

if ConditionPassed() then EncodingSpecificOperations(); constant offset = Shift(R[m], shift_t, shift_n, PSTATE.C); constant offset_addr = if add then (R[n] + offset) else (R[n] - offset); constant address = if index then offset_addr else R[n]; MemU[address,2] = R[t]<15:0>; if wback then R[n] = offset_addr;

Operational information

If CPSR.DIT is 1, the timing of this instruction is insensitive to the value of the data being loaded or stored.


Internal version only: isa v01_31, pseudocode v2024-03_rel ; Build timestamp: 2024-03-25T10:05

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