------------------- 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 i"8" $r9/1000
imm us"0xff00" $s0/1000
ibsr $m0v $r9 $nowrite
iand $aluf $s0 $r0v
iand $m0v $s0 $nowrite
ibsl $aluf $r9 $nowrite
ior $aluf $r0v $n[1,0,3,2]
# ======= 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 011100001000000000000000010100000100100010000000000000000000000100000000000000000000001000000000000000000000000000000000000000000000000011111111100111110000000000000000000000000000000000000000000111000000000000000000000000000000001100000000000000000001001000000000000000000000000000000000001000000000000000000001001000000000000000000000000000000000001000000000000000000001001000000000000000000000000000000000001000000000000000
j 011100000100000000000000000000000000001010000000001010000000000000000000000000111100000000001111000000000000000000000000000000000000000011111111111111110111111000000000000000000000000000000000000111000000000000000000000000000000001100000000000000000000000000000000000000000000000000111100000000000000000000000000000000000000000000000000000000111100000000000000000000000000000000000000000000000000000000111100000000000000000000
j 010000000000000000000000000000000000001000000010010000000000000100000000000000000000000000000000000000000000000000000000000000000000000011111111101011100000011000000000000000000000000000000000000111000000000000000000000000000000001100000000000000000000000000001001000000000000000000000000000001000000000000000000000000001001000000000000000000000000000010000000000000000000000000001001000000000000000000000000000011000000000000
j 010000000000000000000000010100000000000010000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000011111111101001010001100001000000000000000000000000000000000111000000000000000000000000000000001100000000000000000000001000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000011000000000000000000000000000000000000000000000000000
