test1

[Henry Cejtin]

How are you going to get the label from C code?  Also how will gcc know 
about the funny control-flow?  I seem to remember reading about the bizzare
flags you can specify on __asm__ things to indicate some of this, but I
bit it would introduce more bugs.  
So far as I can see, only different kinds of CPUs (non-X86-compatible) are
a real argument for this.
As long as you (Matthew) are willing to do the 64-bit version when it settles
down (AMD extensions or Intel skunkwork extensions or Power PC) then I will
be very happy.