Added some code for v64i2 icmp. Not working yet.