;
DEST[MAXVL-1:128] ← 0
</pre>
<h3 id="vpaddsb--vex-256-encoded-version-">VPADDSB (VEX.256 encoded version)<a class="anchor" href="#vpaddsb--vex-256-encoded-version-">
			¶
		</a></h3>
<pre>DEST[7:0]←SaturateToSignedByte (SRC1[7:0] + SRC2[7:0]);
(* Repeat add operation for 2nd through 31st bytes *)
DEST[255:248]←SaturateToSignedByte (SRC1[255:248] + SRC2[255:248]);
</pre>
<h3 id="vpaddsb--evex-encoded-versions-">VPADDSB (EVEX encoded versions)<a class="anchor" href="#vpaddsb--evex-encoded-versions-">