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