------------------- 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]
# | ((X[i] <<< 8) & 0x000000FF000000FF)
# | ((X[i] <<< 24) & 0x0000FF000000FF00)
# | ((X[i] <<< 40) & 0x00FF000000FF0000)
# | ((X[i] <<< 56) & 0xFF000000FF000000)
imm i"3" $lr0v
imm i"1" $nowrite
llsl $mabid $aluf $nowrite # 2
linc $aluf $nowrite # 3
llsl $aluf $lr0v $nowrite # 24
lbsl $lm0v $aluf $lr400v # X[i] <<< 24
llsl $mabid $lr0v $lr500v # 8
imm i"0x000000FF" $nowrite # 0x000000FF000000FF
lbsl $aluf $lr500v $nowrite # 0x0000FF000000FF00
land $lr400v $aluf $nowrite # (X[i] <<< 24) & 0x0000FF000000FF00
