4 extern "__builtin___memcpy_chk" : int -> int -> int -> int -> int
7 extern "__builtin___memmove_chk" : int -> int -> int -> int -> int
10 extern "__builtin___mempcpy_chk" : int -> int -> int -> int -> int
13 extern "__builtin___memset_chk" : int -> int -> int -> int -> int
16 extern "__builtin___stpcpy_chk" : int -> int -> int -> int
19 extern "__builtin___strcat_chk" : int -> int -> int -> int
22 extern "__builtin___strcpy_chk" : int -> int -> int -> int
25 extern "__builtin___strncat_chk" : int -> int -> int -> int -> int
28 extern "__builtin___strncpy_chk" : int -> int -> int -> int -> int
31 extern "__builtin___vfprintf_chk" : int -> int -> int -> int -> int
34 extern "__builtin___vprintf_chk" : int -> int -> int -> int
37 extern "__builtin___vsnprintf_chk" : int -> int -> int -> int -> int -> int -> int
40 extern "__builtin___vsprintf_chk" : int -> int -> int -> int -> int -> int
43 extern "__builtin_acos" : float -> float
46 extern "__builtin_acosf" : float -> float
49 extern "__builtin_acosl" : float -> float
52 extern "__builtin_alloca" : int -> int
55 extern "__builtin_asin" : float -> float
58 extern "__builtin_asinf" : float -> float
61 extern "__builtin_asinl" : float -> float
64 extern "__builtin_atan" : float -> float
67 extern "__builtin_atanf" : float -> float
70 extern "__builtin_atanl" : float -> float
73 extern "__builtin_atan2" : float -> float -> float
76 extern "__builtin_atan2f" : float -> float -> float
79 extern "__builtin_atan2l" : float -> float -> float
82 extern "__builtin_ceil" : float -> float
85 extern "__builtin_ceilf" : float -> float
88 extern "__builtin_ceill" : float -> float
91 extern "__builtin_cos" : float -> float
94 extern "__builtin_cosf" : float -> float
97 extern "__builtin_cosl" : float -> float
100 extern "__builtin_cosh" : float -> float
103 extern "__builtin_coshf" : float -> float
106 extern "__builtin_coshl" : float -> float
109 extern "__builtin_clz" : int -> int
112 extern "__builtin_clzl" : int -> int
115 extern "__builtin_clzll" : int -> int
118 extern "__builtin_constant_p" : int -> int
121 extern "__builtin_ctz" : int -> int
124 extern "__builtin_ctzl" : int -> int
127 extern "__builtin_ctzll" : int -> int
130 extern "__builtin_exp" : float -> float
133 extern "__builtin_expf" : float -> float
136 extern "__builtin_expl" : float -> float
139 extern "__builtin_expect" : int -> int -> int
142 extern "__builtin_fabs" : float -> float
145 extern "__builtin_fabsf" : float -> float
148 extern "__builtin_fabsl" : float -> float
151 extern "__builtin_ffs" : int -> int
154 extern "__builtin_ffsl" : int -> int
157 extern "__builtin_ffsll" : int -> int
160 extern "__builtin_frame_address" : int -> int
163 extern "__builtin_floor" : float -> float
166 extern "__builtin_floorf" : float -> float
169 extern "__builtin_floorl" : float -> float
172 extern "__builtin_huge_val" : float
175 extern "__builtin_huge_valf" : float
178 extern "__builtin_huge_vall" : float
181 extern "__builtin_inf" : float
184 extern "__builtin_inff" : float
187 extern "__builtin_infl" : float
190 extern "__builtin_memcpy" : int -> int -> int -> int
193 extern "__builtin_mempcpy" : int -> int -> int -> int
196 extern "__builtin_fmod" : float -> float
199 extern "__builtin_fmodf" : float -> float
202 extern "__builtin_fmodl" : float -> float
205 extern "__builtin_frexp" : float -> int -> float
208 extern "__builtin_frexpf" : float -> int -> float
211 extern "__builtin_frexpl" : float -> int -> float
214 extern "__builtin_ldexp" : float -> int -> float
217 extern "__builtin_ldexpf" : float -> int -> float
220 extern "__builtin_ldexpl" : float -> int -> float
223 extern "__builtin_log" : float -> float
226 extern "__builtin_logf" : float -> float
229 extern "__builtin_logl" : float -> float
232 extern "__builtin_log10" : float -> float
235 extern "__builtin_log10f" : float -> float
238 extern "__builtin_log10l" : float -> float
241 extern "__builtin_modff" : float -> int -> float
244 extern "__builtin_modfl" : float -> int -> float
247 extern "__builtin_nan" : int -> float
250 extern "__builtin_nanf" : int -> float
253 extern "__builtin_nanl" : int -> float
256 extern "__builtin_nans" : int -> float
259 extern "__builtin_nansf" : int -> float
262 extern "__builtin_nansl" : int -> float
265 extern "__builtin_next_arg" : int
268 extern "__builtin_object_size" : int -> int -> int
271 extern "__builtin_parity" : int -> int
274 extern "__builtin_parityl" : int -> int
277 extern "__builtin_parityll" : int -> int
280 extern "__builtin_popcount" : int -> int
283 extern "__builtin_popcountl" : int -> int
286 extern "__builtin_popcountll" : int -> int
289 extern "__builtin_powi" : float -> int -> float
292 extern "__builtin_powif" : float -> int -> float
295 extern "__builtin_powil" : float -> int -> float
298 extern "__builtin_return" : int -> void
301 extern "__builtin_return_address" : int -> int
304 extern "__builtin_sin" : float -> float
307 extern "__builtin_sinf" : float -> float
310 extern "__builtin_sinl" : float -> float
313 extern "__builtin_sinh" : float -> float
316 extern "__builtin_sinhf" : float -> float
319 extern "__builtin_sinhl" : float -> float
322 extern "__builtin_sqrt" : float -> float
325 extern "__builtin_sqrtf" : float -> float
328 extern "__builtin_sqrtl" : float -> float
331 extern "__builtin_stpcpy" : int -> int -> int
334 extern "__builtin_strchr" : int -> int -> int
337 extern "__builtin_strcmp" : int -> int -> int
340 extern "__builtin_strcpy" : int -> int -> int
343 extern "__builtin_strcspn" : int -> int -> int
346 extern "__builtin_strncat" : int -> int -> int -> int
349 extern "__builtin_strncmp" : int -> int -> int -> int
352 extern "__builtin_strncpy" : int -> int -> int -> int
355 extern "__builtin_strspn" : int -> int -> int
358 extern "__builtin_strpbrk" : int -> int -> int
361 extern "__builtin_types_compatible_p" : int -> int -> int
364 extern "__builtin_tan" : float -> float
367 extern "__builtin_tanf" : float -> float
370 extern "__builtin_tanl" : float -> float
373 extern "__builtin_tanh" : float -> float
376 extern "__builtin_tanhf" : float -> float
379 extern "__builtin_tanhl" : float -> float
382 extern "__builtin_va_end" : int -> void
385 extern "__builtin_varargs_start" : int -> void
388 extern "__builtin_va_start" : int -> int -> void
391 extern "__builtin_stdarg_start" : int -> void
394 extern "__builtin_va_arg" : int -> int -> void
397 extern "__builtin_va_copy" : int -> int -> void
400 "tri" (t, n) : int -> int -> void {
413 if (!(/* c9 */ i < n)) {
424 if (!(/* c5 */ j < (n - i))) {
431 if (int32[t + (j * 4)] < int32[t + ((j - 1) * 4)]) {
433 tmp = int32[t + ((j - 1) * 4)];
435 int32[t + ((j - 1) * 4)] = int32[t + (j * 4)];
437 int32[t + (j * 4)] = tmp;
460 int32[&0 + (0 * 4)] = 10;
462 int32[&0 + (1 * 4)] = 9;
464 int32[&0 + (2 * 4)] = 8;
466 int32[&0 + (3 * 4)] = 7;
468 int32[&0 + (4 * 4)] = 6;
470 int32[&0 + (5 * 4)] = 5;
472 int32[&0 + (6 * 4)] = 4;
474 int32[&0 + (7 * 4)] = 3;
476 int32[&0 + (8 * 4)] = 2;
478 int32[&0 + (9 * 4)] = 1;
480 "tri"(&0, 10) : int -> int -> void;
482 return int32[&0 + (0 * 4)];