main () { acc = 0xffff00000000ll; addhi (1); if (acc != 0x1000000000000ll) abort (); subhi (1); if (acc != 0xffff00000000ll) abort (); exit (0); }
void testTortureExecute (void) { #if 0 acc = 0xffff00000000ll; addhi (1); if (acc != 0x1000000000000ll) ASSERT (0); subhi (1); if (acc != 0xffff00000000ll) ASSERT (0); return; #endif }