emergency commit
[cl-cudd.git] / distr / util / state.c
blobef830aa74c05dc270706591f07342e00d219b824
1 #ifdef lint
2 util_restart_save_state()
4 return 0;
8 util_restart_restore_state()
12 #else
14 static char rcsid[] = "$Id: state.c,v 1.1 1997/11/04 22:38:50 fabio Exp $";
16 #ifdef vax
17 int util_restart_state[32];
19 util_restart_save_state()
21 asm("movl sp,_util_save_sp");
22 asm("movl r1,_util_restart_state");
23 asm("movl r2,_util_restart_state+4");
24 asm("movl r3,_util_restart_state+8");
25 asm("movl r4,_util_restart_state+12");
26 asm("movl r5,_util_restart_state+16");
27 asm("movl r6,_util_restart_state+20");
28 asm("movl r7,_util_restart_state+24");
29 asm("movl r8,_util_restart_state+28");
30 asm("movl r9,_util_restart_state+32");
31 asm("movl r10,_util_restart_state+36");
32 asm("movl r11,_util_restart_state+40");
33 asm("movl 8(fp),_util_restart_state+44");
34 asm("movl 12(fp),_util_restart_state+48");
35 asm("movl 16(fp),_util_restart_state+52");
36 asm("movl $0,r0");
39 util_restart_restore_state()
41 asm("movl _util_restart_state,r1");
42 asm("movl _util_restart_state+4,r2");
43 asm("movl _util_restart_state+8,r3");
44 asm("movl _util_restart_state+12,r4");
45 asm("movl _util_restart_state+16,r5");
46 asm("movl _util_restart_state+20,r6");
47 asm("movl _util_restart_state+24,r7");
48 asm("movl _util_restart_state+28,r8");
49 asm("movl _util_restart_state+32,r9");
50 asm("movl _util_restart_state+36,r10");
51 asm("movl _util_restart_state+40,r11");
52 asm("movl _util_restart_state+44,ap");
53 asm("movl _util_restart_state+48,fp");
54 asm("addl3 fp,$4,sp");
55 asm("movl _util_restart_state+52,r0");
56 asm("jmp (r0)");
58 #endif
61 #if defined(sun) && ! defined(sparc)
62 int util_restart_state[32];
64 util_restart_save_state()
66 asm("movel sp,_util_save_sp");
67 asm("movel sp@,_util_restart_state");
68 asm("movel sp@(0x4),_util_restart_state+4");
69 asm("moveml #0xFFFF,_util_restart_state+8");
70 return 0;
73 util_restart_restore_state()
75 asm("moveml _util_restart_state+8,#0xFFFF");
76 asm("movel _util_restart_state+4,sp@(0x4)");
77 asm("movel _util_restart_state,sp@");
78 return 1;
80 #endif
82 #endif