------------------- vsm --------------------
# ======= In(0): ((4_PE:1))@LM0 / ULong =======
d set $lm0p0 1 5FE1DC66CBEA3DB3 # values=[6909045637428952499] / ULong @[0]
d set $lm0p1 1 F362035C2EF5950E # values=[17537583593393853710] / ULong @[1]
d set $lm0p2 1 BB63F46AC799D447 # values=[13502904847239337031] / ULong @[2]
d set $lm0p3 1 9941AEBC98CB2C14 # values=[11043299886329703444] / ULong @[3]
ipassa $mabid $r0v # r0: $mabid
imm ui"3" $nowrite; #3
ilsl $r0v $aluf $r1 # lr0: 8 * $mabid
iadd $aluf $aluf $r4v #r4: 16*$mabid
imm ui"8" $nowrite;
iadd $r4v $aluf $s1v #r4: 16*$mabid + 8
imm ui"255" $s9v # ls8: 255
lbsl $lm0 $ls0 $ls0v; # ls0: x << 8 + 16*$mabid
llsl $ls8 $lr0 $lm2v # 255 << 8 * $mabid
land $ls0 $aluf $ls0 # ls0: x << 8 + 16*$mabid & 255 << 8*$mabid
l1bmrlbor $aluf $lb0 # bitwise logical or
l1bmm $lbi $ln0v
# ======= Out(0): ((4_PE:1))@LM1 / ULong =======
d getd $ln0n0c0b0m0p0 1 # expect=[12915737465693462879] / ULong @[0]
d getd $ln0n0c0b0m0p1 1 # expect=[1051015667521905395] / ULong @[1]
d getd $ln0n0c0b0m0p2 1 # expect=[5175930953527485371] / ULong @[2]
d getd $ln0n0c0b0m0p3 1 # expect=[1453760636594831769] / ULong @[3]
