------------------- 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]
imm ui"0x00ff00ff" $r128v
iand $m0v $aluf $r0v
imm i"8" $s256v
ibsr $r[128,129,0,1] $aluf $s[128,129,0,1]
iand $m0v $aluf $r0v
ibsl $aluf $s256 $nowrite
iadd $aluf $s[0,1,2,3] $n[1,0,2,3]
# ======= 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]
------------------- asm --------------------
j 010000000000000000000000010101000000000010000000000000000000000100000000000111000011111111110000000000000000000000000000000000000000000011111111100111110000000111000000000000000000000000000000000111000000000000000000000000000000001100000000000000010000001000000000000000000000000000000011111111000000000000010000010000000000000000000000000000000011111111000000000000010000011000000000000000000000000000000011111111000000000000
j 010000000000000000000000010100000000000010000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000011111111101001010000011110000000000000000000000000000000000111000000000000000000000000000000001100000000000000000000001000000000000000000000000000000000000001000000000000000000010000000000000000000000000000000000000010000000000000000000011000000000000000000000000000000000000011000000000000
j 010000000000000000000000000000000000001010000000001011000000000000000000000000000000001000000000000000000000000000000000000000000000000011111111100111110000000000000000000000000000000000000000000111000000000000000000000000000000001100000000000000000000000000000000100000001000000000000000001000000000000000000000000000000000100000010000000000000000001000000000000000000000000000000000100000011000000000000000001000000000000000
j 010000000000000000000000000000000000001000100000001010100000000000000000000000000000000000000000000000000000000000000000000000000000000011111111101011100000000110000000000000000000000000000000000111000000000000000000000000000000001100000000000000000000000010000001010000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000001000000000000000000000000000000000
