484a485,486
> // Used to select between vcmp and vcmpe.
> const bool e = (bits(machInst, 7) == 1);
644c646,650
< return new VcmpS(machInst, vd, vm);
---
> if (e) {
> return new VcmpeS(machInst, vd, vm);
> } else {
> return new VcmpS(machInst, vd, vm);
> }
646c652,656
< return new VcmpD(machInst, vd, vm);
---
> if (e) {
> return new VcmpeD(machInst, vd, vm);
> } else {
> return new VcmpD(machInst, vd, vm);
> }
650c660,664
< return new VcmpZeroS(machInst, vd, 0);
---
> if (e) {
> return new VcmpeZeroS(machInst, vd, 0);
> } else {
> return new VcmpZeroS(machInst, vd, 0);
> }
652c666,670
< return new VcmpZeroD(machInst, vd, 0);
---
> if (e) {
> return new VcmpeZeroD(machInst, vd, 0);
> } else {
> return new VcmpZeroD(machInst, vd, 0);
> }