136 		p0 = cmp.gtu(EXPA,ZTMPH)		// must be pretty high in case of large cancellation  define
137 		p0 = !cmp.gtu(EXPA,ZTMPL)  define
138 		if (!p0.new) jump:nt .Ladd_ovf_unf
143 		p0 = cmp.eq(ATMPH,#0)  define
144 		p0 = cmp.eq(ATMPL,#0)  define
145 		if (p0.new) jump:nt .Ladd_zero		// or maybe conversion handles zero case correctly?
173 		p0 = cmp.eq(TMP,#2)  define
174 		if (p0.new) AH = xor(AH,BH)
194 		p0 = cmp.eq(ATMPH,#0)  define
195 		p0 = cmp.eq(ATMPL,#0)  define
196 		if (p0.new) jump:nt .Ladd_zero
207 		p0 = cmp.gt(EXPB,##BIAS+BIAS-2)  define
208 		if (p0.new) jump:nt .Ladd_ovf
211 		p0 = cmp.gt(EXPB,#0)  define
212 		if (p0.new) jumpr:t r31
245 		p0 = !cmp.eq(TMP,#1)			// If not round-to-zero and  define
246 		p0 = !cmp.eq(EXPB,#2)			// Not rounding the other way,  define
247 		if (p0.new) ATMP = BTMP			// we should get infinity
253 		p0 = dfcmp.eq(A,A)  define
269 		p0 = dfclass(A,#0x0f)		// A not NaN?  define
270 		if (!p0.new) jump:nt .Linvalid_nan_add
287 		p0 = dfclass(A,#4)  define
288 		if (p0.new) jump:nt .Ladd_two_subnormal
315 		p0 = cmp.gt(AH,#-1)  define
319 		if (p0) ATMP = A
327 		p0 = cmp.gt(ATMPH,#-1)  define
331 		if (!p0) A = BTMP
332 		if (p0) A = ATMP
336 		if (!p0) AH = or(AH,BH)
337 		p0 = dfcmp.eq(A,B)  define
338 		if (p0.new) jump:nt .Lzero_plus_zero
347 		p0 = dfclass(B,#0x0f)			// if B is not NaN  define
348 		if (p0.new) B = A 			// make it whatever A is
358 		p0 = dfcmp.eq(ATMP,A)			// is A also zero?  define
359 		if (!p0.new) jumpr:t r31		// If not, just return A
367 		p0 = cmp.eq(A,B)  define
368 		if (p0.new) jumpr:t r31
378 		p0 = cmp.eq(TMP,#2)  define
379 		if (p0.new) AH = ##0x80000000
385 		p0 = !cmp.eq(AH,BH)			// Do they have different signs  define
386 		p0 = dfclass(B,#8)			// And is B also infinite?  define
387 		if (!p0.new) jumpr:t r31		// If not, just a normal inf