Sylpheed/tools/ppc-manual/memory/stvx.md

stvx — Store Vector Indexed

Category: Memory · Form: X · Opcode: 0x7c0001ce

Assembler Mnemonics

Mnemonic	XML entry	Flags	Description
stvx	stvx	—	Store Vector Indexed
stvx128	stvx128	—	Store Vector Indexed 128

Syntax

stvx [VS], [RA0], [RB]
stvx128 [VS], [RA0], [RB]

Encoding

stvx — form X

• Opcode word: 0x7c0001ce
• Primary opcode (bits 0–5): 31
• Extended opcode: 231
• Synchronising: no

Bits	Field	Meaning
0–5	OPCD	primary opcode
6–10	RT/FRT/VRT	destination
11–15	RA/FRA/VRA	source A
16–20	RB/FRB/VRB	source B
21–30	XO	extended opcode (10 bits)
31	Rc	record-form flag

stvx128 — form VX128_1

• Opcode word: 0x100001c3
• Primary opcode (bits 0–5): 4
• Extended opcode: 451
• Synchronising: no

Bits	Field	Meaning
0–5	OPCD	primary opcode (4)
6–10	VD128l	destination low 5 bits
11–15	RA	address register
16–20	RB	offset register
21–27	XO	extended opcode
28–29	VD128h	destination high 2 bits
30–31	—	reserved

Operands

Field	Role	Description
VS	stvx: read; stvx128: read	Source vector register (alias for VD on stores).
RA0	stvx: read; stvx128: read	Source GPR; when the encoded register number is 0 the operand is the literal 64-bit zero, not r0.
RB	stvx: read; stvx128: read	Source GPR.

Register Effects

stvx

• Reads (always): VS, RA0, RB
• Reads (conditional): none
• Writes (always): none
• Writes (conditional): none

stvx128

• Reads (always): VS, RA0, RB
• Reads (conditional): none
• Writes (always): none
• Writes (conditional): none

Status-Register Effects

No condition-register or status-register effects.

Operation (pseudocode)

EA <- ((RA|0) + (RB)) & ~0xF           ; align to 16
MEM(EA, 16) <- byteswap(VS)

C Translation Example

/* stvx VS, RA, RB — 16-byte aligned store of a vector register    */
uint64_t base = (insn.RA == 0) ? 0 : r[insn.RA];
uint32_t ea   = (uint32_t)((base + r[insn.RB]) & ~(uint64_t)0xF);
mem_write_vec128_be(ea, v[insn.VS]);

Implementation References

stvx

• Canary XML: tools/ppc-instructions.xml — search for mnem="stvx"
• Canary emitter: src/xenia/cpu/ppc/ppc_emit_altivec.cc:193
• Sylpheed opcode: crates/sylpheed-ppc/src/opcode.rs:269
• Sylpheed decoder: crates/sylpheed-ppc/src/decoder.rs:906

Canary emitter (frozen snapshot @ f21ebd49e9)

int InstrEmit_stvx(PPCHIRBuilder& f, const InstrData& i) {
  return InstrEmit_stvx_(f, i, i.X.RT, i.X.RA, i.X.RB);
}

// ── delegates to (src/xenia/cpu/ppc/ppc_emit_altivec.cc:187) ──
int InstrEmit_stvx_(PPCHIRBuilder& f, const InstrData& i, uint32_t vd,
                    uint32_t ra, uint32_t rb) {
  Value* ea = f.And(CalculateEA_0(f, ra, rb), f.LoadConstantUint64(~0xFull));
  f.Store(ea, f.ByteSwap(f.LoadVR(vd)));
  return 0;
}

stvx128

• Canary XML: tools/ppc-instructions.xml — search for mnem="stvx128"
• Canary emitter: src/xenia/cpu/ppc/ppc_emit_altivec.cc:196
• Sylpheed opcode: crates/sylpheed-ppc/src/opcode.rs:270
• Sylpheed decoder: crates/sylpheed-ppc/src/decoder.rs:532

Canary emitter (frozen snapshot @ f21ebd49e9)

int InstrEmit_stvx128(PPCHIRBuilder& f, const InstrData& i) {
  return InstrEmit_stvx_(f, i, VX128_1_VD128, i.VX128_1.RA, i.VX128_1.RB);
}

// ── delegates to (src/xenia/cpu/ppc/ppc_emit_altivec.cc:187) ──
int InstrEmit_stvx_(PPCHIRBuilder& f, const InstrData& i, uint32_t vd,
                    uint32_t ra, uint32_t rb) {
  Value* ea = f.And(CalculateEA_0(f, ra, rb), f.LoadConstantUint64(~0xFull));
  f.Store(ea, f.ByteSwap(f.LoadVR(vd)));
  return 0;
}

Extended Pseudocode

EA <- ((RA|0) + (RB)) & ~0xF                   ; force 16-byte alignment
MEM(EA, 16) <- byte_order_adjusted(VS)         ; lane 0 at EA, lane 15 at EA+15

Special Cases & Edge Conditions

• Alignment is forced, not checked. The low four bits of the effective address are cleared before the store — alignment violations silently corrupt adjacent data rather than trap. This differs from scalar stw (no alignment enforcement) and from stvewx (which stores only one element and keeps the exact EA).
• Big-endian lane layout. Vector lane 0 (the most-significant bytes of the 128-bit register) lives at the lowest address; lane 15 at EA + 15. On little-endian hosts the whole 16-byte block is byte-swapped at the memory boundary so the PowerPC-visible layout is preserved. Xenia's helper mem_write_vec128_be handles this.
• RA0 semantics. When RA = 0 the base is the literal zero — just like scalar loads/stores. Combined with the alignment mask this lets stvx VS, 0, RB store to address RB & ~0xF.
• No update form. Unlike scalar stores, VMX stores have no u variant that post-writes the base. Use stvxl for the cache-hint variant (suggests "last" — the line is not expected to be reused soon).
• VMX128 sibling (stvx128). Identical semantics; the only difference is the operand encoding. VMX128 uses a 7-bit register index split across three non-contiguous bit fields (VS128l ‖ VS128h) so it can address v0..v127 instead of the 32-register Altivec space. All alignment, byte-order and RA0 rules are the same.
• Read-before-write. The 16-byte write occurs as one conceptual store; subsequent loads from the same address observe the complete new value. There's no split-transaction window visible to software.

Related Instructions

• lvx, lvx128 — the load counterparts.
• stvxl, stvxl128 — cache-hint "last-use" variants.
• stvebx / stvehx / stvewx — store single element (byte / half / word) at the exact (unaligned) address.
• stvlx / stvrx — store-left / store-right for unaligned vector I/O.
• dcbz — zero a cache line; often paired with stvx in block-fill idioms.

IBM Reference

• AIX 7.3 — stvx (Store Vector Indexed)
• PowerISA Book II (Altivec / VMX). Xbox 360 VMX128 is Microsoft-documented in the XDK; xenia's ppc-instructions.xml captures the deltas.