//vamomine.v vd, (rs1), vs2, vd
VI_AMO({ return lhs < vs3 ? lhs : vs3; }, int, e64);