add.s	0 80000000
add.s	0 0
add.s	3f800000 0
add.s	0 3f800000
add.s	1 0
add.s	0 1
add.s	3f800000 3f800000
add.s	3f800000 41200000
add.s	3f800001 41200000
add.s	3f000001 41200000
add.s	3f000001 41200001
add.s	bf800000 0
add.s	0 bf800000
add.s	80000001 0
add.s	0 80000001
add.s	bf800000 3f800000
add.s	3f800000 c1200000
add.s	bf800001 41200000
add.s	bf000001 41200000
add.s	bf000001 41200001
add.s	3f123456 bf123456
add.s	0 ff800000
add.s	ff800000 0
add.s	ff800000 ff800000
add.s	7f800000 ff800000
add.d	0 0 80000000 0
add.d	0 0 0 0
add.d	3ff00000 0 0 0
add.d	0 0 3ff00000 0
add.d	0 1 0 0
add.d	0 0 0 1
add.d	0 32 0 69
add.d	0 32 80000000 69
add.d	3ff00000 0 3ff00000 0
add.d	3ff00000 0 41200000 0
add.d	3ff00000 1 41200000 0
add.d	3f000000 1 41200000 0
add.d	3f000000 1 41200000 1
add.d	bf800000 0 0 0
add.d	0 0 bf800000 0
add.d	80000001 0 0 0
add.d	0 0 80000001 0
add.d	bf800000 0 3f800000 0
add.d	3f800000 0 c1200000 0
add.d	bf800001 0 41200000 0
add.d	bf000001 0 41200000 0
add.d	bf000001 0 41200001 0
add.d	3f123456 76543210 bf123456 76543210
add.d	3f123456 76543210 bf123456 76543211
add.d	bf123456 76543210 3f123456 76543211
add.d	bf123456 76543211 3f123456 76543210
add.d	bf123456 76543210 3f123456 76543210
sub.s	0 80000000
sub.s	0 0
sub.s	3f800000 0
sub.s	0 3f800000
sub.s	1 0
sub.s	0 1
sub.s	3f800000 3f800000
sub.s	3f800000 41200000
sub.s	3f800001 41200000
sub.s	3f000001 41200000
sub.s	3f000001 41200001
sub.s	bf800000 0
sub.s	0 bf800000
sub.s	80000001 0
sub.s	0 80000001
sub.s	bf800000 3f800000
sub.s	3f800000 c1200000
sub.s	bf800001 41200000
sub.s	bf000001 41200000
sub.s	bf000001 41200001
sub.s	3f123456 bf123456
sub.s	0 ff800000
sub.s	ff800000 0
sub.s	ff800000 ff800000
sub.s	7f800000 ff800000
sub.d	0 0 80000000 0
sub.d	0 0 0 0
sub.d	3ff00000 0 0 0
sub.d	0 0 3ff00000 0
sub.d	0 1 0 0
sub.d	0 0 0 1
sub.d	3ff00000 0 3ff00000 0
sub.d	3ff00000 0 41200000 0
sub.d	3ff00000 1 41200000 0
sub.d	3f000000 1 41200000 0
sub.d	3f000000 1 41200000 1
sub.d	bf800000 0 0 0
sub.d	0 0 bf800000 0
sub.d	80000001 0 0 0
sub.d	0 0 80000001 0
sub.d	bf800000 0 3f800000 0
sub.d	3f800000 0 c1200000 0
sub.d	bf800001 0 41200000 0
sub.d	bf000001 0 41200000 0
sub.d	bf000001 0 41200001 0
sub.d	3f123456 76543210 bf123456 76543210
sub.d	3f123456 76543210 bf123456 76543211
sub.d	bf123456 76543210 3f123456 76543211
sub.d	bf123456 76543211 3f123456 76543210
sub.d	bf123456 76543210 3f123456 76543210
mul.s	0 80000000
mul.s	0 0
mul.s	3f800000 0
mul.s	0 3f800000
mul.s	1 0
mul.s	0 1
mul.s	3f800000 3f800000
mul.s	3f800000 41200000
mul.s	3f800001 41200000
mul.s	3f000001 41200000
mul.s	3f000001 41200001
mul.s	bf800000 0
mul.s	0 bf800000
mul.s	80000001 0
mul.s	0 80000001
mul.s	bf800000 3f800000
mul.s	3f800000 c1200000
mul.s	bf800001 41200000
mul.s	bf000001 41200000
mul.s	bf000001 41200001
mul.s	3f123456 bf123456
mul.s	0 ff800000
mul.s	ff800000 0
mul.s	ff800000 ff800000
mul.s	7f800000 ff800000
mul.d	0 0 80000000 0
mul.d	0 0 0 0
mul.d	3ff00000 0 0 0
mul.d	0 0 3ff00000 0
mul.d	0 1 0 0
mul.d	0 0 0 1
mul.d	3ff00000 0 3ff00000 0
mul.d	3ff00000 0 41200000 0
mul.d	3ff00000 1 41200000 0
mul.d	3f000000 1 41200000 0
mul.d	3f000000 1 41200000 1
mul.d	bf800000 0 0 0
mul.d	0 0 bf800000 0
mul.d	80000001 0 0 0
mul.d	0 0 80000001 0
mul.d	bf800000 0 3f800000 0
mul.d	3f800000 0 c1200000 0
mul.d	bf800001 0 41200000 0
mul.d	bf000001 0 41200000 0
mul.d	bf000001 0 41200001 0
mul.d	3f123456 76543210 bf123456 76543210
mul.d	3f123456 76543210 bf123456 76543211
mul.d	bf123456 76543210 3f123456 76543211
mul.d	bf123456 76543211 3f123456 76543210
mul.d	bf123456 76543210 3f123456 76543210
mul.d	0 0 fff00000 0
mul.d	fff00000 0 fff00000 0
mul.d	7ff00000 0 fff00000 0
div.s	0 ff800000
div.s	ff800000 0
div.s	ff800000 ff800000
div.s	1 ff800000
div.s	ff800000 1
div.s	ff800000 ff800000
div.s	1 1
div.s	3ff12348 3f800000
div.s	0 80000000
div.s	0 0
div.s	3f800000 0
div.s	0 3f800000
div.s	1 0
div.s	0 1
div.s	3f800000 3f800000
div.s	3f800000 41200000
div.s	3f800001 41200000
div.s	3f000001 41200000
div.s	3f000001 41200001
div.s	bf800000 0
div.s	0 bf800000
div.s	80000001 0
div.s	0 80000001
div.s	bf800000 3f800000
div.s	3f800000 c1200000
div.s	bf800001 41200000
div.s	bf000001 41200000
div.s	bf000001 41200001
div.s	3f123456 bf123456
div.s	0 ff800000
div.s	ff800000 0
div.s	ff800000 ff800000
div.s	7f800000 ff800000
div.d	0 0 80000000 0
div.d	0 0 0 0
div.d	3ff00000 0 0 0
div.d	0 0 3ff00000 0
div.d	0 1 0 0
div.d	0 0 0 1
div.d	3ff00000 0 3ff00000 0
div.d	3ff00000 0 41200000 0
div.d	3ff00000 1 41200000 0
div.d	3f000000 1 41200000 0
div.d	3f000000 1 41200000 1
div.d	bf800000 0 0 0
div.d	0 0 bf800000 0
div.d	80000001 0 0 0
div.d	0 0 80000001 0
div.d	bf800000 0 3f800000 0
div.d	3f800000 0 c1200000 0
div.d	bf800001 0 41200000 0
div.d	bf000001 0 41200000 0
div.d	bf000001 0 41200001 0
div.d	3f123456 76543210 bf123456 76543210
div.d	3f123456 76543210 bf123456 76543211
div.d	bf123456 76543210 3f123456 76543211
div.d	bf123456 76543211 3f123456 76543210
div.d	bf123456 76543210 3f123456 76543210
div.d	0 0 fff00000 0
div.d	fff00000 0 fff00000 0
div.d	7ff00000 0 fff00000 0
abs.s	0
abs.s	80000000
abs.s	3f812345
abs.s	bf812345
abs.s	7f800000
abs.s	ff800000
abs.d	0 0
abs.d	80000000 0
abs.d	3ff12345 87654321
abs.d	bff12345 87654321
abs.d	7ff00000 0
abs.d	fff00000 0
mov.s	0
mov.s	80000000
mov.s	3f812345
mov.s	bf812345
mov.s	7f800000
mov.s	ff800000
mov.d	0 0
mov.d	80000000 0
mov.d	3ff12345 87654321
mov.d	bff12345 87654321
mov.d	7ff00000 0
mov.d	fff00000 0
neg.s	0
neg.s	80000000
neg.s	3f812345
neg.s	bf812345
neg.s	7f800000
neg.s	ff800000
neg.d	0 0
neg.d	80000000 0
neg.d	3ff12345 87654321
neg.d	bff12345 87654321
neg.d	7ff00000 0
neg.d	fff00000 0
cvt.w.s	0
cvt.w.s	32
cvt.w.s	80000000
cvt.w.s	3f812345
cvt.w.s	bf812345
cvt.w.s	7f800000
cvt.w.s	ff800000
cvt.w.d	0 0
cvt.w.d	0 32
cvt.w.d	80000000 0
cvt.w.d	3ff12345 87654321
cvt.w.d	bff12345 87654321
cvt.w.d	7ff00000 0
cvt.w.d	fff00000 0
cvt.w.d	41e00000 0
cvt.w.d	c1f00000 0
cvt.w.d	41bfffff ffe00000
cvt.w.d	41bfffff fff00000
cvt.w.d	c1e00000 0
cvt.s.d	0 0
cvt.s.d	0 32
cvt.s.d	80000000 0
cvt.s.d	3ff12345 87654321
cvt.s.d	bff12345 87654321
cvt.s.d	7ff00000 0
cvt.s.d	fff00000 0
cvt.s.d	41e00000 0
cvt.s.d	c1f00000 0
cvt.s.d	41bfffff ffe00000
cvt.s.d	41bfffff fff00000
cvt.s.d	c1e00000 0
cvt.s.w	0
cvt.s.w	32
cvt.s.w	ffff0000
cvt.s.w	80000000
cvt.s.w	7fffffff
cvt.d.s	0
cvt.d.s	32
cvt.d.s	80000000
cvt.d.s	3f812345
cvt.d.s	bf812345
cvt.d.s	7f800000
cvt.d.s	ff800000
cvt.d.w	0
cvt.d.w	32
cvt.d.w	ffff0000
cvt.d.w	80000000
cvt.d.w	7fffffff
c.f.s	0 80000000
c.f.s	0 0
c.f.s	80000000 0
c.f.s	0 3f800000
c.f.s	bf800000 3f800000
c.f.s	bf800000 bf800001
c.f.s	80000001 80000002
c.f.s	00000001 00000002
c.f.s	ff800000 7f800000
c.f.s	3f800000 0
c.f.s	3f800000 bf800000
c.f.s	bf800001 bf800000
c.f.s	80000002 80000001
c.f.s	00000002 00000001
c.f.s	7f800000 ff800000
c.f.s	7f800001 0
c.f.s	0 7f800001
c.un.s	0 80000000
c.un.s	0 0
c.un.s	80000000 0
c.un.s	0 3f800000
c.un.s	bf800000 3f800000
c.un.s	bf800000 bf800001
c.un.s	80000001 80000002
c.un.s	00000001 00000002
c.un.s	ff800000 7f800000
c.un.s	3f800000 0
c.un.s	3f800000 bf800000
c.un.s	bf800001 bf800000
c.un.s	80000002 80000001
c.un.s	00000002 00000001
c.un.s	7f800000 ff800000
c.un.s	7f800001 0
c.un.s	0 7f800001
c.eq.s	0 80000000
c.eq.s	0 0
c.eq.s	80000000 0
c.eq.s	0 3f800000
c.eq.s	bf800000 3f800000
c.eq.s	bf800000 bf800001
c.eq.s	80000001 80000002
c.eq.s	00000001 00000002
c.eq.s	ff800000 7f800000
c.eq.s	3f800000 0
c.eq.s	3f800000 bf800000
c.eq.s	bf800001 bf800000
c.eq.s	80000002 80000001
c.eq.s	00000002 00000001
c.eq.s	7f800000 ff800000
c.eq.s	7f800001 0
c.eq.s	0 7f800001
c.ueq.s	0 80000000
c.ueq.s	0 0
c.ueq.s	80000000 0
c.ueq.s	0 3f800000
c.ueq.s	bf800000 3f800000
c.ueq.s	bf800000 bf800001
c.ueq.s	80000001 80000002
c.ueq.s	00000001 00000002
c.ueq.s	ff800000 7f800000
c.ueq.s	3f800000 0
c.ueq.s	3f800000 bf800000
c.ueq.s	bf800001 bf800000
c.ueq.s	80000002 80000001
c.ueq.s	00000002 00000001
c.ueq.s	7f800000 ff800000
c.ueq.s	7f800001 0
c.ueq.s	0 7f800001
c.olt.s	0 80000000
c.olt.s	0 0
c.olt.s	80000000 0
c.olt.s	0 3f800000
c.olt.s	bf800000 3f800000
c.olt.s	bf800000 bf800001
c.olt.s	80000001 80000002
c.olt.s	00000001 00000002
c.olt.s	ff800000 7f800000
c.olt.s	3f800000 0
c.olt.s	3f800000 bf800000
c.olt.s	bf800001 bf800000
c.olt.s	80000002 80000001
c.olt.s	00000002 00000001
c.olt.s	7f800000 ff800000
c.olt.s	7f800001 0
c.olt.s	0 7f800001
c.ult.s	0 80000000
c.ult.s	0 0
c.ult.s	80000000 0
c.ult.s	0 3f800000
c.ult.s	bf800000 3f800000
c.ult.s	bf800000 bf800001
c.ult.s	80000001 80000002
c.ult.s	00000001 00000002
c.ult.s	ff800000 7f800000
c.ult.s	3f800000 0
c.ult.s	3f800000 bf800000
c.ult.s	bf800001 bf800000
c.ult.s	80000002 80000001
c.ult.s	00000002 00000001
c.ult.s	7f800000 ff800000
c.ult.s	7f800001 0
c.ult.s	0 7f800001
c.ole.s	0 80000000
c.ole.s	0 0
c.ole.s	80000000 0
c.ole.s	0 3f800000
c.ole.s	bf800000 3f800000
c.ole.s	bf800000 bf800001
c.ole.s	80000001 80000002
c.ole.s	00000001 00000002
c.ole.s	ff800000 7f800000
c.ole.s	3f800000 0
c.ole.s	3f800000 bf800000
c.ole.s	bf800001 bf800000
c.ole.s	80000002 80000001
c.ole.s	00000002 00000001
c.ole.s	7f800000 ff800000
c.ole.s	7f800001 0
c.ole.s	0 7f800001
c.ule.s	0 80000000
c.ule.s	0 0
c.ule.s	80000000 0
c.ule.s	0 3f800000
c.ule.s	bf800000 3f800000
c.ule.s	bf800000 bf800001
c.ule.s	80000001 80000002
c.ule.s	00000001 00000002
c.ule.s	ff800000 7f800000
c.ule.s	3f800000 0
c.ule.s	3f800000 bf800000
c.ule.s	bf800001 bf800000
c.ule.s	80000002 80000001
c.ule.s	00000002 00000001
c.ule.s	7f800000 ff800000
c.ule.s	7f800001 0
c.ule.s	0 7f800001
c.sf.s	0 80000000
c.sf.s	0 0
c.sf.s	80000000 0
c.sf.s	0 3f800000
c.sf.s	bf800000 3f800000
c.sf.s	bf800000 bf800001
c.sf.s	80000001 80000002
c.sf.s	00000001 00000002
c.sf.s	ff800000 7f800000
c.sf.s	3f800000 0
c.sf.s	3f800000 bf800000
c.sf.s	bf800001 bf800000
c.sf.s	80000002 80000001
c.sf.s	00000002 00000001
c.sf.s	7f800000 ff800000
c.sf.s	7f800001 0
c.sf.s	0 7f800001
c.ngle.s	0 80000000
c.ngle.s	0 0
c.ngle.s	80000000 0
c.ngle.s	0 3f800000
c.ngle.s	bf800000 3f800000
c.ngle.s	bf800000 bf800001
c.ngle.s	80000001 80000002
c.ngle.s	00000001 00000002
c.ngle.s	ff800000 7f800000
c.ngle.s	3f800000 0
c.ngle.s	3f800000 bf800000
c.ngle.s	bf800001 bf800000
c.ngle.s	80000002 80000001
c.ngle.s	00000002 00000001
c.ngle.s	7f800000 ff800000
c.ngle.s	7f800001 0
c.ngle.s	0 7f800001
c.seq.s	0 80000000
c.seq.s	0 0
c.seq.s	80000000 0
c.seq.s	0 3f800000
c.seq.s	bf800000 3f800000
c.seq.s	bf800000 bf800001
c.seq.s	80000001 80000002
c.seq.s	00000001 00000002
c.seq.s	ff800000 7f800000
c.seq.s	3f800000 0
c.seq.s	3f800000 bf800000
c.seq.s	bf800001 bf800000
c.seq.s	80000002 80000001
c.seq.s	00000002 00000001
c.seq.s	7f800000 ff800000
c.seq.s	7f800001 0
c.seq.s	0 7f800001
c.ngl.s	0 80000000
c.ngl.s	0 0
c.ngl.s	80000000 0
c.ngl.s	0 3f800000
c.ngl.s	bf800000 3f800000
c.ngl.s	bf800000 bf800001
c.ngl.s	80000001 80000002
c.ngl.s	00000001 00000002
c.ngl.s	ff800000 7f800000
c.ngl.s	3f800000 0
c.ngl.s	3f800000 bf800000
c.ngl.s	bf800001 bf800000
c.ngl.s	80000002 80000001
c.ngl.s	00000002 00000001
c.ngl.s	7f800000 ff800000
c.ngl.s	7f800001 0
c.ngl.s	0 7f800001
c.lt.s	0 80000000
c.lt.s	0 0
c.lt.s	80000000 0
c.lt.s	0 3f800000
c.lt.s	bf800000 3f800000
c.lt.s	bf800000 bf800001
c.lt.s	80000001 80000002
c.lt.s	00000001 00000002
c.lt.s	ff800000 7f800000
c.lt.s	3f800000 0
c.lt.s	3f800000 bf800000
c.lt.s	bf800001 bf800000
c.lt.s	80000002 80000001
c.lt.s	00000002 00000001
c.lt.s	7f800000 ff800000
c.lt.s	7f800001 0
c.lt.s	0 7f800001
c.nge.s	0 80000000
c.nge.s	0 0
c.nge.s	80000000 0
c.nge.s	0 3f800000
c.nge.s	bf800000 3f800000
c.nge.s	bf800000 bf800001
c.nge.s	80000001 80000002
c.nge.s	00000001 00000002
c.nge.s	ff800000 7f800000
c.nge.s	3f800000 0
c.nge.s	3f800000 bf800000
c.nge.s	bf800001 bf800000
c.nge.s	80000002 80000001
c.nge.s	00000002 00000001
c.nge.s	7f800000 ff800000
c.nge.s	7f800001 0
c.nge.s	0 7f800001
c.le.s	0 80000000
c.le.s	0 0
c.le.s	80000000 0
c.le.s	0 3f800000
c.le.s	bf800000 3f800000
c.le.s	bf800000 bf800001
c.le.s	80000001 80000002
c.le.s	00000001 00000002
c.le.s	ff800000 7f800000
c.le.s	3f800000 0
c.le.s	3f800000 bf800000
c.le.s	bf800001 bf800000
c.le.s	80000002 80000001
c.le.s	00000002 00000001
c.le.s	7f800000 ff800000
c.le.s	7f800001 0
c.le.s	0 7f800001
c.ngt.s	0 80000000
c.ngt.s	0 0
c.ngt.s	80000000 0
c.ngt.s	0 3f800000
c.ngt.s	bf800000 3f800000
c.ngt.s	bf800000 bf800001
c.ngt.s	80000001 80000002
c.ngt.s	00000001 00000002
c.ngt.s	ff800000 7f800000
c.ngt.s	3f800000 0
c.ngt.s	3f800000 bf800000
c.ngt.s	bf800001 bf800000
c.ngt.s	80000002 80000001
c.ngt.s	00000002 00000001
c.ngt.s	7f800000 ff800000
c.ngt.s	7f800001 0
c.ngt.s	0 7f800001
c.f.d	0 0 80000000 0
c.f.d	0 0 0 0
c.f.d	80000000 0 0 0
c.f.d	0 0 3ff00000 0
c.f.d	bff00000 0 3ff00000 0
c.f.d	bff00000 0 bff00000 1
c.f.d	80000000 1 80000000 2
c.f.d	00000000 1 00000000 2
c.f.d	fff00000 0 7ff00000 0
c.f.d	3ff00000 0 0 0
c.f.d	3ff00000 0 bff00000 0
c.f.d	bff00001 1 bff00000 0
c.f.d	80000000 2 80000000 1
c.f.d	00000000 2 00000000 1
c.f.d	7ff00000 0 fff00000 0
c.f.d	7ff00000 1 0 0
c.f.d	0 0 7ff00000 1
c.un.d	0 0 80000000 0
c.un.d	0 0 0 0
c.un.d	80000000 0 0 0
c.un.d	0 0 3ff00000 0
c.un.d	bff00000 0 3ff00000 0
c.un.d	bff00000 0 bff00000 1
c.un.d	80000000 1 80000000 2
c.un.d	00000000 1 00000000 2
c.un.d	fff00000 0 7ff00000 0
c.un.d	3ff00000 0 0 0
c.un.d	3ff00000 0 bff00000 0
c.un.d	bff00001 1 bff00000 0
c.un.d	80000000 2 80000000 1
c.un.d	00000000 2 00000000 1
c.un.d	7ff00000 0 fff00000 0
c.un.d	7ff00000 1 0 0
c.un.d	0 0 7ff00000 1
c.eq.d	0 0 80000000 0
c.eq.d	0 0 0 0
c.eq.d	80000000 0 0 0
c.eq.d	0 0 3ff00000 0
c.eq.d	bff00000 0 3ff00000 0
c.eq.d	bff00000 0 bff00000 1
c.eq.d	80000000 1 80000000 2
c.eq.d	00000000 1 00000000 2
c.eq.d	fff00000 0 7ff00000 0
c.eq.d	3ff00000 0 0 0
c.eq.d	3ff00000 0 bff00000 0
c.eq.d	bff00001 1 bff00000 0
c.eq.d	80000000 2 80000000 1
c.eq.d	00000000 2 00000000 1
c.eq.d	7ff00000 0 fff00000 0
c.eq.d	7ff00000 1 0 0
c.eq.d	0 0 7ff00000 1
c.ueq.d	0 0 80000000 0
c.ueq.d	0 0 0 0
c.ueq.d	80000000 0 0 0
c.ueq.d	0 0 3ff00000 0
c.ueq.d	bff00000 0 3ff00000 0
c.ueq.d	bff00000 0 bff00000 1
c.ueq.d	80000000 1 80000000 2
c.ueq.d	00000000 1 00000000 2
c.ueq.d	fff00000 0 7ff00000 0
c.ueq.d	3ff00000 0 0 0
c.ueq.d	3ff00000 0 bff00000 0
c.ueq.d	bff00001 1 bff00000 0
c.ueq.d	80000000 2 80000000 1
c.ueq.d	00000000 2 00000000 1
c.ueq.d	7ff00000 0 fff00000 0
c.ueq.d	7ff00000 1 0 0
c.ueq.d	0 0 7ff00000 1
c.olt.d	0 0 80000000 0
c.olt.d	0 0 0 0
c.olt.d	80000000 0 0 0
c.olt.d	0 0 3ff00000 0
c.olt.d	bff00000 0 3ff00000 0
c.olt.d	bff00000 0 bff00000 1
c.olt.d	80000000 1 80000000 2
c.olt.d	00000000 1 00000000 2
c.olt.d	fff00000 0 7ff00000 0
c.olt.d	3ff00000 0 0 0
c.olt.d	3ff00000 0 bff00000 0
c.olt.d	bff00001 1 bff00000 0
c.olt.d	80000000 2 80000000 1
c.olt.d	00000000 2 00000000 1
c.olt.d	7ff00000 0 fff00000 0
c.olt.d	7ff00000 1 0 0
c.olt.d	0 0 7ff00000 1
c.ult.d	0 0 80000000 0
c.ult.d	0 0 0 0
c.ult.d	80000000 0 0 0
c.ult.d	0 0 3ff00000 0
c.ult.d	bff00000 0 3ff00000 0
c.ult.d	bff00000 0 bff00000 1
c.ult.d	80000000 1 80000000 2
c.ult.d	00000000 1 00000000 2
c.ult.d	fff00000 0 7ff00000 0
c.ult.d	3ff00000 0 0 0
c.ult.d	3ff00000 0 bff00000 0
c.ult.d	bff00001 1 bff00000 0
c.ult.d	80000000 2 80000000 1
c.ult.d	00000000 2 00000000 1
c.ult.d	7ff00000 0 fff00000 0
c.ult.d	7ff00000 1 0 0
c.ult.d	0 0 7ff00000 1
c.ole.d	0 0 80000000 0
c.ole.d	0 0 0 0
c.ole.d	80000000 0 0 0
c.ole.d	0 0 3ff00000 0
c.ole.d	bff00000 0 3ff00000 0
c.ole.d	bff00000 0 bff00000 1
c.ole.d	80000000 1 80000000 2
c.ole.d	00000000 1 00000000 2
c.ole.d	fff00000 0 7ff00000 0
c.ole.d	3ff00000 0 0 0
c.ole.d	3ff00000 0 bff00000 0
c.ole.d	bff00001 1 bff00000 0
c.ole.d	80000000 2 80000000 1
c.ole.d	00000000 2 00000000 1
c.ole.d	7ff00000 0 fff00000 0
c.ole.d	7ff00000 1 0 0
c.ole.d	0 0 7ff00000 1
c.ule.d	0 0 80000000 0
c.ule.d	0 0 0 0
c.ule.d	80000000 0 0 0
c.ule.d	0 0 3ff00000 0
c.ule.d	bff00000 0 3ff00000 0
c.ule.d	bff00000 0 bff00000 1
c.ule.d	80000000 1 80000000 2
c.ule.d	00000000 1 00000000 2
c.ule.d	fff00000 0 7ff00000 0
c.ule.d	3ff00000 0 0 0
c.ule.d	3ff00000 0 bff00000 0
c.ule.d	bff00001 1 bff00000 0
c.ule.d	80000000 2 80000000 1
c.ule.d	00000000 2 00000000 1
c.ule.d	7ff00000 0 fff00000 0
c.ule.d	7ff00000 1 0 0
c.ule.d	0 0 7ff00000 1
c.sf.d	0 0 80000000 0
c.sf.d	0 0 0 0
c.sf.d	80000000 0 0 0
c.sf.d	0 0 3ff00000 0
c.sf.d	bff00000 0 3ff00000 0
c.sf.d	bff00000 0 bff00000 1
c.sf.d	80000000 1 80000000 2
c.sf.d	00000000 1 00000000 2
c.sf.d	fff00000 0 7ff00000 0
c.sf.d	3ff00000 0 0 0
c.sf.d	3ff00000 0 bff00000 0
c.sf.d	bff00001 1 bff00000 0
c.sf.d	80000000 2 80000000 1
c.sf.d	00000000 2 00000000 1
c.sf.d	7ff00000 0 fff00000 0
c.sf.d	7ff00000 1 0 0
c.sf.d	0 0 7ff00000 1
c.ngle.d	0 0 80000000 0
c.ngle.d	0 0 0 0
c.ngle.d	80000000 0 0 0
c.ngle.d	0 0 3ff00000 0
c.ngle.d	bff00000 0 3ff00000 0
c.ngle.d	bff00000 0 bff00000 1
c.ngle.d	80000000 1 80000000 2
c.ngle.d	00000000 1 00000000 2
c.ngle.d	fff00000 0 7ff00000 0
c.ngle.d	3ff00000 0 0 0
c.ngle.d	3ff00000 0 bff00000 0
c.ngle.d	bff00001 1 bff00000 0
c.ngle.d	80000000 2 80000000 1
c.ngle.d	00000000 2 00000000 1
c.ngle.d	7ff00000 0 fff00000 0
c.ngle.d	7ff00000 1 0 0
c.ngle.d	0 0 7ff00000 1
c.seq.d	0 0 80000000 0
c.seq.d	0 0 0 0
c.seq.d	80000000 0 0 0
c.seq.d	0 0 3ff00000 0
c.seq.d	bff00000 0 3ff00000 0
c.seq.d	bff00000 0 bff00000 1
c.seq.d	80000000 1 80000000 2
c.seq.d	00000000 1 00000000 2
c.seq.d	fff00000 0 7ff00000 0
c.seq.d	3ff00000 0 0 0
c.seq.d	3ff00000 0 bff00000 0
c.seq.d	bff00001 1 bff00000 0
c.seq.d	80000000 2 80000000 1
c.seq.d	00000000 2 00000000 1
c.seq.d	7ff00000 0 fff00000 0
c.seq.d	7ff00000 1 0 0
c.seq.d	0 0 7ff00000 1
c.ngl.d	0 0 80000000 0
c.ngl.d	0 0 0 0
c.ngl.d	80000000 0 0 0
c.ngl.d	0 0 3ff00000 0
c.ngl.d	bff00000 0 3ff00000 0
c.ngl.d	bff00000 0 bff00000 1
c.ngl.d	80000000 1 80000000 2
c.ngl.d	00000000 1 00000000 2
c.ngl.d	fff00000 0 7ff00000 0
c.ngl.d	3ff00000 0 0 0
c.ngl.d	3ff00000 0 bff00000 0
c.ngl.d	bff00001 1 bff00000 0
c.ngl.d	80000000 2 80000000 1
c.ngl.d	00000000 2 00000000 1
c.ngl.d	7ff00000 0 fff00000 0
c.ngl.d	7ff00000 1 0 0
c.ngl.d	0 0 7ff00000 1
c.lt.d	0 0 80000000 0
c.lt.d	0 0 0 0
c.lt.d	80000000 0 0 0
c.lt.d	0 0 3ff00000 0
c.lt.d	bff00000 0 3ff00000 0
c.lt.d	bff00000 0 bff00000 1
c.lt.d	80000000 1 80000000 2
c.lt.d	00000000 1 00000000 2
c.lt.d	fff00000 0 7ff00000 0
c.lt.d	3ff00000 0 0 0
c.lt.d	3ff00000 0 bff00000 0
c.lt.d	bff00001 1 bff00000 0
c.lt.d	80000000 2 80000000 1
c.lt.d	00000000 2 00000000 1
c.lt.d	7ff00000 0 fff00000 0
c.lt.d	7ff00000 1 0 0
c.lt.d	0 0 7ff00000 1
c.nge.d	0 0 80000000 0
c.nge.d	0 0 0 0
c.nge.d	80000000 0 0 0
c.nge.d	0 0 3ff00000 0
c.nge.d	bff00000 0 3ff00000 0
c.nge.d	bff00000 0 bff00000 1
c.nge.d	80000000 1 80000000 2
c.nge.d	00000000 1 00000000 2
c.nge.d	fff00000 0 7ff00000 0
c.nge.d	3ff00000 0 0 0
c.nge.d	3ff00000 0 bff00000 0
c.nge.d	bff00001 1 bff00000 0
c.nge.d	80000000 2 80000000 1
c.nge.d	00000000 2 00000000 1
c.nge.d	7ff00000 0 fff00000 0
c.nge.d	7ff00000 1 0 0
c.nge.d	0 0 7ff00000 1
c.le.d	0 0 80000000 0
c.le.d	0 0 0 0
c.le.d	80000000 0 0 0
c.le.d	0 0 3ff00000 0
c.le.d	bff00000 0 3ff00000 0
c.le.d	bff00000 0 bff00000 1
c.le.d	80000000 1 80000000 2
c.le.d	00000000 1 00000000 2
c.le.d	fff00000 0 7ff00000 0
c.le.d	3ff00000 0 0 0
c.le.d	3ff00000 0 bff00000 0
c.le.d	bff00001 1 bff00000 0
c.le.d	80000000 2 80000000 1
c.le.d	00000000 2 00000000 1
c.le.d	7ff00000 0 fff00000 0
c.le.d	7ff00000 1 0 0
c.le.d	0 0 7ff00000 1
c.ngt.d	0 0 80000000 0
c.ngt.d	0 0 0 0
c.ngt.d	80000000 0 0 0
c.ngt.d	0 0 3ff00000 0
c.ngt.d	bff00000 0 3ff00000 0
c.ngt.d	bff00000 0 bff00000 1
c.ngt.d	80000000 1 80000000 2
c.ngt.d	00000000 1 00000000 2
c.ngt.d	fff00000 0 7ff00000 0
c.ngt.d	3ff00000 0 0 0
c.ngt.d	3ff00000 0 bff00000 0
c.ngt.d	bff00001 1 bff00000 0
c.ngt.d	80000000 2 80000000 1
c.ngt.d	00000000 2 00000000 1
c.ngt.d	7ff00000 0 fff00000 0
c.ngt.d	7ff00000 1 0 0
c.ngt.d	0 0 7ff00000 1