]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/ifthenelse.c.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / ifthenelse.c.expected
1 int if_jian(int a, int b, int c, int d, int e, int f,int g, int x, int y){\r
2         int u,v;\r
3         int t1,t2,t3,t4,t5;\r
4         \r
5         t1 = (a+b)<c;\r
6         t2 = d + e;\r
7         t3 = c + 1;\r
8 \r
9                 if(y==1){\r
10                         if(t1)\r
11                                 u = t3 +d;\r
12                         else if (!x)\r
13                                 u = t2 + d;\r
14                         if(!t1 && x)\r
15                                 v = t2 + e;\r
16                 }\r
17                 else{\r
18                         t4 = t3 + e;\r
19                         t5 = t4 + f;\r
20                         u = t5 + g;\r
21                 }\r
22                 return u;\r
23 }\r
24 \r
25 int if_exSimple (int a, int b) {\r
26         int g;\r
27         if (a<b) {\r
28                 int e;\r
29                 e = a+b;\r
30                 e = 2*e;\r
31                 g = e;\r
32         }\r
33         else {\r
34                 int f;\r
35                 f = 2*b;\r
36                 f = f+a;\r
37                 g = f+b;\r
38                 }\r
39         return g;       \r
40 }\r
41 \r
42 int if_imbriq1 (int a, int b, int c) {\r
43         int result;\r
44         if (a < b) {\r
45                 if (b < c) {\r
46                         result = b;\r
47                 }\r
48                 else {\r
49                         result = c;\r
50                 }\r
51         }\r
52         else {\r
53                 result = a;\r
54         }\r
55         return result;\r
56 }\r
57 \r
58 int if_imbriq2 (int a, int b, int c) {\r
59         int result;\r
60         if (a < b) {\r
61                 if (b < c) {\r
62                         result = b;\r
63                 }\r
64                 else {\r
65                         result = 47;\r
66                 }\r
67         }\r
68         else {\r
69                 result = a;\r
70         }\r
71         return result;\r
72 }\r
73 \r
74 int if_min (int a, int b) {\r
75         int min;\r
76         if (a > b) {\r
77                 min=b;\r
78         }\r
79         else {\r
80                 min=a;\r
81         }\r
82         return min;\r
83 }\r
84 \r
85 int if_prog(int j,int i){\r
86         int a,b;\r
87         a=i+j;\r
88         if(a<0){\r
89                 b=2;\r
90         }\r
91         else {\r
92                 b=3;\r
93         }\r
94         return b;\r
95 }\r
96 \r
97 int if_sansElse (int a, int b) {\r
98         int c = 0;\r
99         if (a < b) {\r
100                 c = a;\r
101         }\r
102         return c;\r
103 }\r
104 \r
105 int if_test(int a, int b, int x, int y) {\r
106         int c =0, d=0, v=0, w=0, z = 0;\r
107          if (a<b) {\r
108                 c = a+b;\r
109          }\r
110          if (x<y) {\r
111                 z = x+y;\r
112                 w = z+x;\r
113          }\r
114          d = c+1;\r
115          v = c+w;\r
116          return c; \r
117 }\r
118 \r
119 int if_ual (int op, int a, int b) {\r
120         int result;\r
121         if (op == 0) {\r
122                 result = a+b;\r
123         }\r
124         else {\r
125                 if (op == 1) {\r
126                         result = a-b;\r
127                 }\r
128                 else {\r
129                         if (op == 2) {\r
130                                 result = a&&b;\r
131                         }\r
132                         else {\r
133                                 if (op == 3) {\r
134                                         result = a||b;\r
135                                 }\r
136                         }\r
137                 }\r
138         }\r
139         return result;\r
140 }\r
141 \r
142 int main(){\r
143         int a;\r
144         a=if_jian(1,2,3,4,5,6,7,8,9);\r
145         a=if_exSimple(1,2);\r
146         a=if_imbriq1(1,2,3);\r
147         a=if_imbriq2(1,2,3);\r
148         a=if_min(1,2);\r
149         a=if_prog(1,2);\r
150         a=if_sansElse(1,2);\r
151         a=if_test(1,2,3,4);\r
152         a=if_ual(1,2,3);\r
153         return a;\r
154 }\r