BigInteger plusHalfSquared = result.pow(2).add(result).shiftLeft(2).add(ONE);
      BigInteger x4 = x.shiftLeft(2);
      // sqrt(x) < result + 0.5, so 4 * x < (result + 0.5)^2 * 4
      // (result + 0.5)^2 * 4 = (result^2 + result)*4 + 1
      assertTrue(x4.compareTo(plusHalfSquared) < 0);
      BigInteger minusHalfSquared = result.pow(2).subtract(result).shiftLeft(2).add(ONE);

	VSEQV		V1, V2, V3      // 43840170
	XVSEQB		X3, X2, X4      // 440c0074
	XVSEQH		X3, X2, X4      // 448c0074
	XVSEQW		X3, X2, X4      // 440c0174
	XVSEQV		X3, X2, X4      // 448c0174
	VSEQB		$0, V2, V3      // 43008072
	VSEQH		$1,  V2, V3     // 43848072
	VSEQW		$8, V2, V3      // 43208172
	VSEQV		$15, V2, V3     // 43bc8172
	VSEQV		$-15, V2, V3    // 43c48172
	XVSEQB		$0, X2, X4      // 44008076
	XVSEQH		$3, X2, X4      // 448c8076

			x2 := int64(p.getRegister(prog, op, &a[2]))
			x3 := int64(p.getRegister(prog, op, &a[3]))
			x4 := int64(p.getRegister(prog, op, &a[4]))
			x5 := p.getConstant(prog, op, &a[5])
			// Cond is handled specially for this instruction.
			offset, MRC, ok := arch.ARMMRCOffset(op, cond, x0, x1, x2, x3, x4, x5)
			if !ok {
				p.errorf("unrecognized condition code .%q", cond)
			}
			prog.To.Offset = offset