1 /* Tests for single stepping through various branch conditions */
2 
3 int noscramble(int a)
4 {
5   return a ;
6 }
7 
8 int echo(int a)
9 { return noscramble(a) ; }
10 
11 int equaltest(int a,int b)
12 { int retval ;
13   if (a == b)
14     retval = noscramble(1) ;
15   else retval = noscramble(0) ;
16   return retval ;
17 }
18 
19 int neqtest(int a , int b)
20 { int retval ;
21   if (a != b)
22     retval = echo(1) ;
23   else retval = echo(2) ;
24   return retval ;
25 }
26 int zerotest(int a )
27 { int retval ;
28   a = echo(a) ;
29   if (a ==0)
30     retval = echo(1) ;
31   else
32     retval = echo(0) ;
33   retval = echo(retval) ;
34   return retval ;
35 }
36 
37 int zerotest2(int a)
38 {
39   return (a==0) ;
40 }
41 
42 int nonzerotest(int a)
43 {
44   int retval ;
45   if (a != 0)
46     retval = echo(0) ;
47   else retval = echo(1) ;
48   return retval ;
49 }
50 
51 int whiletest(int a)
52 {
53   while (a > 0)
54     {
55       a-- ;
56     }
57   return 0 ;
58 }
59 int whiletest2(int a)
60 {
61   while (a > 0)
62     {
63       a = noscramble(a) ;
64       a-- ;
65     }
66   return a ;
67 }
68 
69 int decr(int x) { return x - 1  ; }
70 
71 int while3(int a)
72 {
73   int b = a ;
74   while (a == b)
75     {
76       a = echo(a) ;
77       b = decr(b) ;
78     }
79   return a ;
80 }
81 
82 void done (int x) { }
83 
84 int main()
85 {
86   int a,b,c,d ;
87   done(1) ;
88   a = echo(123456) ;
89   b = echo(123456) ;
90   c = echo(56789) ;
91   d = echo(0) ;
92 #if 1
93   equaltest(a,b) ;
94   done(7) ;
95   equaltest(a,c) ;
96   done(8) ;
97   whiletest(3) ;  /* worked */
98   done(3) ;
99   while3(3) ;
100   done(6) ;
101 #endif
102   neqtest(a,b) ;
103   neqtest(a,b) ;
104   neqtest(a,c) ;
105   zerotest(d) ;
106   zerotest(a) ;
107   done(5) ;
108   nonzerotest(d) ;
109   done(4) ;
110   nonzerotest(a) ;
111   done(111) ;
112   return 1 ;
113 }
114