test1

[Matthew Fluet]

> It seems as though it would be possible to get the label into the jo
> instruction, although it might require nasty preprocessor hacks that do
> auto-string concatenation.

Something like

#define Int_addCheckFast(dst, n1, n2, l)			\
	dst = n1;						\
	__asm__ __volatile__ ("addl %1, #0\n\tjo " # l ""	\
                              : "+r" (dst) : "g" (n2) )

#define check(dst,n1,n2,l,f) f(dst, n1, n2, l)

#define Int_addCheck(dst, n1, n2, l)			\
	check(dst, n1, n2, l, Int_addCheckFast)

might give the right semantics.  Completely untested.