*All of these can be done with SV elwidth overrides, as long as the dest is no greater than 128. SV specifically does not do 128 bit arithmetic. Instead, vec2.X mul-lo followed by vec2.Y mul-hi can be macro-op fused to get at the full 128 bit internal result. Specifying e.g. src elwidth=8 and dest elwidth=16 will give a widening multiply*
+(Now added `madded` which is twin-half 64x64->HI64/LO64 in [[sv/biginteger]])
+
## vec_rl - rotate left
(a << x) | (a >> (WIDTH - x))