lindquist@341: extern(C) int printf(char*, ...);
lindquist@341: 
lindquist@341: void main()
lindquist@341: {
lindquist@341:     int a,b,c;
lindquist@341:     a = int.max-1;
lindquist@341:     b = 1;
lindquist@341:     asm
lindquist@341:     {
lindquist@341:         mov EAX, a;
lindquist@341:         mov ECX, b;
lindquist@341:         add EAX, ECX;
lindquist@341:         jo Loverflow;
lindquist@341:         mov c, EAX;
lindquist@341:     }
lindquist@341: 
lindquist@341:     printf("c == %d\n", c);
lindquist@341:     assert(c == a+b);
lindquist@341:     return;
lindquist@341: 
lindquist@341: Loverflow:
lindquist@341:     assert(0, "overflow");
lindquist@341: }