]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/for.c.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / for.c.expected
1 int for_2(int a,int b){\r
2         int i,min,max,pas,resul;\r
3         resul = 0;\r
4         min = a*2;\r
5         max = a*4;\r
6         pas=b+1;\r
7         for(i=min;i<max;i=i+pas){\r
8                 resul=resul+i;\r
9         }\r
10         return resul+1;\r
11 }\r
12 \r
13 int for_loopParalAsync (int a, int b, int c) {\r
14         int i, j, x, y,z;\r
15         x=0;\r
16         a=0;\r
17         a=a+3;\r
18         a=a*2;\r
19         a=a/3;\r
20         a=a+8;\r
21         for (i=0; i<20; i = i+1) {\r
22                 x=x+1;\r
23                 b=b+2;\r
24                 y=b/x;\r
25         }\r
26         for (j=1; j<a; j = j+1) {\r
27                 c=c*2;\r
28                 z=c/j;\r
29         }\r
30         return x;\r
31 }\r
32 \r
33 int for_double(int pas){\r
34         int i,j, result, a, b;\r
35         a = 0;\r
36         b = 0;\r
37         for(i=0;i<12;i=i+pas){\r
38                 a=a+i;\r
39         }\r
40         for(j=0;j<5;j=j+pas){\r
41                 b=b+j;\r
42         }\r
43         result = a*b;\r
44         return result;\r
45 }\r
46 \r
47 int for_ex(int b,int e,int pas){\r
48         int i,res;\r
49         res=0;\r
50         for(i=b+3;i<=e*2;i=i+pas){\r
51                 res=res-i;\r
52         }\r
53         return res;\r
54 }\r
55 \r
56 int for_fortSimple(int a, int b,int pas){\r
57         int res,i,sortie, c;\r
58         res=0;\r
59         for(i=a;i<b;i=i+pas){\r
60                 res=res+i;\r
61         }\r
62         sortie=res+a;\r
63         return sortie;\r
64 }\r
65 \r
66 int for_imbriq(int pas1,int pas2){\r
67         int i,j,a,b;\r
68         a=0;\r
69         for(i=0;i<23;i=i+pas1){\r
70                 b=0;\r
71                 for(j=1;j<12;j=j+pas2){\r
72                         a=a+b;\r
73                         b=b%j;\r
74                 }\r
75         }\r
76         return a;\r
77 }\r
78 \r
79 int for_incr(int b,int e){\r
80         int i,res;\r
81         res=0;\r
82         for(i=b+3;i<=e*2;i=i+1){\r
83                 res=res-i;\r
84         }\r
85         return res;\r
86 }\r
87 \r
88 int for_incrParam(int a, int b){\r
89         int i,z,c;\r
90         z= a+b;\r
91         c= 3*z;\r
92         for(i=z-4;i<b+6;i=i+a){\r
93                 i=i+z+a;\r
94         }\r
95         return i;\r
96 }\r
97 \r
98 int for_forfor (){\r
99         int i,j;\r
100         for (i=0,j=0;i<10;i=i+1) {j=j+1;j=j+1;}\r
101         return j;\r
102 }\r
103 \r
104 int main(){\r
105         int a;\r
106         a = for_2(3,1);\r
107         a = for_loopParalAsync(1,2,3);\r
108         a = for_double(1);\r
109         a = for_ex(2,10,1);\r
110         a = for_fortSimple(2,10,1);\r
111         a = for_imbriq(2,3);\r
112         a = for_incr(2,3);\r
113         a = for_incrParam(2,3);\r
114         a = for_forfor();\r
115         return a;\r
116 }\r