VXOR XH, XL, XH
	BGE  loop_4x

tail_4x:
	VPMSUMD XH, H4L, XL // H^4.lo·Xi.lo
	VPMSUMD XH, H4, XM  // H^4.hi·Xi.lo+H^4.lo·Xi.hi
	VPMSUMD XH, H4H, XH // H^4.hi·Xi.hi

	VXOR XL, XL3, XL
	VXOR XM, XM3, XM

	VPMSUMD XL, XC2, T2 // 1st reduction phase

	VSLDOI $8, XM, ZERO, T0
	VSLDOI $8, ZERO, XM, T1
	VXOR   XH, XH3, XH
	VXOR   XL, T0, XL
	VXOR   XH, T1, XH

	VSLDOI $8, XL, XL, XL

		if xi != nil {
			// All xi methods must exist in y and corresponding signatures must unify.
			xmethods := xi.typeSet().methods
			for _, xm := range xmethods {
				obj, _, _ := LookupFieldOrMethod(y, false, xm.pkg, xm.name)
				if ym, _ := obj.(*Func); ym == nil || !u.nify(xm.typ, ym.typ, exact, p) {
					return false
				}
			}
			return true
		}
	}

		if xi != nil {
			// All xi methods must exist in y and corresponding signatures must unify.
			xmethods := xi.typeSet().methods
			for _, xm := range xmethods {
				obj, _, _ := LookupFieldOrMethod(y, false, xm.pkg, xm.name)
				if ym, _ := obj.(*Func); ym == nil || !u.nify(xm.typ, ym.typ, exact, p) {
					return false
				}
			}
			return true
		}
	}

	// compare mantissas
	i := len(x.mant)
	j := len(y.mant)
	for i > 0 || j > 0 {
		var xm, ym Word
		if i > 0 {
			i--
			xm = x.mant[i]
		}
		if j > 0 {
			j--
			ym = y.mant[j]
		}
		switch {
		case xm < ym:
			return -1
		case xm > ym:
			return +1
		}
	}

	return 0
}

00000150  43 b7 7a c3 88 30 e5 ba  98 7f 8d 9e 08 a2 8c bb  |C.z..0..........|
00000160  48 44 c2 1a 8d 7b 41 de  b6 68 ae d2 8a 64 9b 6b  |HD...{A..h...d.k|
00000170  8a 47 88 04 49 05 8a 94  66 da d3 90 78 6d 81 64  |.G..I...f...xm.d|
00000180  4e 6b a5 6f d2 9d 1d 36  6f a2 a3 83 0c f5 69 10  |Nk.o...6o.....i.|
00000190  37 c8 b8 59 c7 b1 5b 91  fc e3 26 37 da 14 80 8f  |7..Y..[...&7....|

R¾Ùîñþ,ÏutSQTá>ï|¾N]n|çlM®‰sj…—†Yp¤~iÄ»two\Edtv}Ö~EE~m¬¸û|w\OF îo¾ ïhN ilñL¥zqK/t¢Sxst·ttcˆ¯ b_2ú m þ WlONl]FeIˆïTryrYT÷ETNIº W_c¢v`G eZ› „ Wls~`mDIÕ BsD}^yL5¤ÌFNLG ³¹si@xÃæÀ{[÷·ugòS{—YÐGFiÜy\‘~jC|»kKÕvID­8 + èepéì^˜»¹† ixÄãynï\º x]Ti|ôMV ëvÜø5]ï¾Xle¦BñpPow]xM a[eoKò~IˆBñúDC þãÆ_xOxHÿô l}¼?ûp›?ªQïR~qx†iq GŠym`@mûlsÖšÎÔµL}TDãnst ² qò3 í ~rOâË>ÁòÁ<ÆóõÀ áíÛüÏÐ hm^ w}XôY¼ìAHGdñxgeòx¾}Zì¦KPk~CKNyiT. wq|Üeyn @IiÜwFeÕäqAK^ªGÕˆDïPqqsZqòmž¦glVIýÜŠTi{ sòw°´itD†þßgagܤrq~RqåKLqñtÀJGYCSpï¾`û}L\û<M@=2 JetX{oç¦½Ò Qò ¼ÙyD^¾...