SIMD comparisons return -1 (all bits set) in the lanes. Currently as
specified, they return 1 (since we use the numeric comparison). We fix
this by extracting these instructions (virelop and vfrelop) into vrelop,
and in the execution, sign extend them from i1 to iX (which treats the
1-bit integer "1" as -1).
Drive-by fix for exec-vbinop, some typos in the execution semantics.
SIMD comparisons return -1 (all bits set) in the lanes. Currently as specified, they return 1 (since we use the numeric comparison). We fix this by extracting these instructions (virelop and vfrelop) into vrelop, and in the execution, sign extend them from i1 to iX (which treats the 1-bit integer "1" as -1).
Drive-by fix for exec-vbinop, some typos in the execution semantics.
Fixed #441.