Sylpheed/tools/ppc-manual/vmx/vmhraddshs.md

vmhraddshs — Vector Multiply-High Round and Add Signed Signed Half Word Saturate

Category: VMX (Altivec) · Form: VA · Opcode: 0x10000021

Assembler Mnemonics

Mnemonic	XML entry	Flags	Description
vmhraddshs	vmhraddshs	—	Vector Multiply-High Round and Add Signed Signed Half Word Saturate

Syntax

vmhraddshs [VD], [VA], [VB], [VC]

Encoding

vmhraddshs — form VA

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

Bits	Field	Meaning
0–5	OPCD	primary opcode (4)
6–10	VRT	destination vector register
11–15	VRA	source A
16–20	VRB	source B
21–25	VRC	source C / shift
26–31	XO	extended opcode (6 bits)

Operands

Field	Role	Description
VA	vmhraddshs: read	Source A vector register.
VB	vmhraddshs: read	Source B vector register.
VC	vmhraddshs: read	Source C vector register / 3-bit selector.
VD	vmhraddshs: write	Destination vector register.
VSCR	vmhraddshs: write	Vector Status and Control Register (NJ/SAT bits).

Register Effects

vmhraddshs

• Reads (always): VA, VB, VC
• Reads (conditional): none
• Writes (always): VD, VSCR
• Writes (conditional): none

Status-Register Effects

• vmhraddshs: VSCR[SAT] may be stickied on saturating vector operations.

Operation (pseudocode)

; No hand-written pseudocode for this instruction yet.
; The authoritative semantics are the Canary emitter snapshot under
; Implementation References; about half of Canary's emitters open
; with the PPC-style definition as a comment (`RD <- (RA) + (RB)`).
; Every side effect is also enumerated in the Register Effects and
; Status-Register Effects tables above.

C Translation Example

/* No hand-written C yet. Translate the Canary emitter snapshot   */
/* under Implementation References; its HIR maps directly:        */
/*   f.LoadGPR(n) / f.StoreGPR(n, v)  -> r[n] / r[n] = v          */
/*   f.LoadFPR / StoreFPR, f.LoadVR / StoreVR -> f[n], v[n]        */
/*   f.Load(ea, T), f.Store(ea, v) -> raw read / write; emitters   */
/*     wrap them in f.ByteSwap for the big-endian guest value      */
/*   f.UpdateCR(n, v)  -> CR field n from v's LOW 32 BITS vs 0     */
/*   f.LoadCA / f.StoreCA -> xer.CA;  f.StoreSAT -> vscr.SAT       */
/*   i.XO.RA, i.D.DS, ... -> the bit-fields listed under Operands  */
/* The Register Effects and Status-Register Effects tables above  */
/* enumerate every side effect a faithful translation must emit.  */

Implementation References

vmhraddshs

• Canary XML: tools/ppc-instructions.xml — search for mnem="vmhraddshs"
• Canary emitter: src/xenia/cpu/ppc/ppc_emit_altivec.cc:875
• Sylpheed opcode: crates/sylpheed-ppc/src/opcode.rs:359
• Sylpheed decoder: crates/sylpheed-ppc/src/decoder.rs:692

Canary emitter (frozen snapshot @ f21ebd49e9)

int InstrEmit_vmhraddshs(PPCHIRBuilder& f, const InstrData& i) {
  XEINSTRNOTIMPLEMENTED();
  return 1;
}

Special Cases & Edge Conditions

• Rounded Q15 fixed-point multiply-add, saturating. Eight half-word lanes; per lane:

  prod  = (int16(VA[i]) * int16(VB[i]) + 0x4000) >> 15   ; round half-up
  VD[i] = clamp(prod + int16(VC[i]), -32768, +32767)
  

  Identical to vmhaddshs except for the +0x4000 rounding bias before the shift.
• Half-up rounding to even-magnitude. The +0x4000 bias rounds the discarded low 15 bits toward the nearest representable value, with ties broken away from zero. For most DSP work this is the desired behaviour and gives lower mean error than the truncating variant.
• VSCR[SAT] is sticky-set if the final sum overflows int16. The rounding bias can itself push a lane that was at +32767 past the cap — important for tight Q15 audio where the truncating form might not have saturated.
• Same 0x8000 * 0x8000 >> 15 gotcha as vmhaddshs: the product is +32768.5 rounded to +32769, which still saturates.
• Big-endian half lanes. Lane 0 is the most-significant half.
• No XER changes, no exceptions.
• No VMX128 sibling.
• Common usage. High-quality Q15 audio filter taps where round-toward-nearest is preferred over truncate-toward-zero.

Related Instructions

• vmhaddshs — same op without the rounding bias.
• vmladduhm — same shape, modulo (no shift, no saturate), unsigned.
• vmsumshs, vmsumshm — multiply-sum across pairs of lanes.
• vaddshs, vmaxsh — saturating add and max at same lane width.

IBM Reference

• AIX 7.3 — vmhraddshs (Vector Multiply-High Round and Add Signed Half Word Saturate)
• IBM AltiVec Technology Programmer's Interface Manual, Chapter 6 — Multiply-Add Family