1 /* This C file is generated by NIT to compile module standard___kernel. */
2 #include "standard___kernel._sep.h"
3 val_t
standard___kernel___Object___object_id(val_t p0
){
4 struct {struct stack_frame_t me
;} fra
;
7 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
8 fra
.me
.file
= LOCATE_standard___kernel
;
10 fra
.me
.meth
= LOCATE_standard___kernel___Object___object_id
;
13 fra
.me
.REG
[0] = NIT_NULL
;
15 /* ./../lib/standard//kernel.nit:28 */
16 REGB0
= TAG_Int((bigint
)((obj_t
)fra
.me
.REG
[0])[1].object_id
);
17 stack_frame_head
= fra
.me
.prev
;
20 val_t
standard___kernel___Object___is_same_type(val_t p0
, val_t p1
){
21 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
24 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
25 fra
.me
.file
= LOCATE_standard___kernel
;
27 fra
.me
.meth
= LOCATE_standard___kernel___Object___is_same_type
;
30 fra
.me
.REG
[0] = NIT_NULL
;
31 fra
.me
.REG
[1] = NIT_NULL
;
34 /* ./../lib/standard//kernel.nit:33 */
35 REGB0
= TAG_Bool((VAL2VFT(fra
.me
.REG
[0])==VAL2VFT(fra
.me
.REG
[1])));
36 stack_frame_head
= fra
.me
.prev
;
39 val_t
standard___kernel___Object_____eqeq(val_t p0
, val_t p1
){
40 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
43 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
44 fra
.me
.file
= LOCATE_standard___kernel
;
46 fra
.me
.meth
= LOCATE_standard___kernel___Object_____eqeq
;
49 fra
.me
.REG
[0] = NIT_NULL
;
50 fra
.me
.REG
[1] = NIT_NULL
;
53 /* ./../lib/standard//kernel.nit:41 */
54 REGB0
= TAG_Bool(IS_EQUAL_ON(fra
.me
.REG
[0],fra
.me
.REG
[1]));
57 stack_frame_head
= fra
.me
.prev
;
60 val_t
standard___kernel___Object_____neq(val_t p0
, val_t p1
){
61 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
65 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
66 fra
.me
.file
= LOCATE_standard___kernel
;
68 fra
.me
.meth
= LOCATE_standard___kernel___Object_____neq
;
71 fra
.me
.REG
[0] = NIT_NULL
;
72 fra
.me
.REG
[1] = NIT_NULL
;
75 /* ./../lib/standard//kernel.nit:46 */
76 REGB0
= TAG_Bool(IS_EQUAL_ON(fra
.me
.REG
[0],fra
.me
.REG
[1]));
77 if (UNTAG_Bool(REGB0
)) {
79 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
82 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
85 stack_frame_head
= fra
.me
.prev
;
88 void standard___kernel___Object___output(val_t p0
){
89 struct {struct stack_frame_t me
;} fra
;
92 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
93 fra
.me
.file
= LOCATE_standard___kernel
;
95 fra
.me
.meth
= LOCATE_standard___kernel___Object___output
;
98 fra
.me
.REG
[0] = NIT_NULL
;
100 /* ./../lib/standard//kernel.nit:52 */
101 REGB0
= TAG_Char('<');
102 /* ./../lib/standard//kernel.nit:380 */
103 printf("%c", (unsigned char)UNTAG_Char(REGB0
));;
104 /* ./../lib/standard//kernel.nit:53 */
105 REGB0
= CALL_standard___kernel___Object___object_id(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
106 /* ./../lib/standard//kernel.nit:229 */
107 printf("%ld\n", UNTAG_Int(REGB0
));;
108 /* ./../lib/standard//kernel.nit:54 */
109 REGB0
= TAG_Char('>');
110 /* ./../lib/standard//kernel.nit:380 */
111 printf("%c", (unsigned char)UNTAG_Char(REGB0
));;
112 stack_frame_head
= fra
.me
.prev
;
115 void standard___kernel___Object___output_class_name(val_t p0
){
116 struct {struct stack_frame_t me
;} fra
;
118 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
119 fra
.me
.file
= LOCATE_standard___kernel
;
121 fra
.me
.meth
= LOCATE_standard___kernel___Object___output_class_name
;
122 fra
.me
.has_broke
= 0;
124 fra
.me
.REG
[0] = NIT_NULL
;
126 /* ./../lib/standard//kernel.nit:57 */
127 printf("%s\n", VAL2VFT(fra
.me
.REG
[0])[2].cname
);;
128 stack_frame_head
= fra
.me
.prev
;
131 void standard___kernel___Object___exit(val_t p0
, val_t p1
){
132 struct {struct stack_frame_t me
;} fra
;
135 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
136 fra
.me
.file
= LOCATE_standard___kernel
;
138 fra
.me
.meth
= LOCATE_standard___kernel___Object___exit
;
139 fra
.me
.has_broke
= 0;
141 fra
.me
.REG
[0] = NIT_NULL
;
144 /* ./../lib/standard//kernel.nit:61 */
145 exit(UNTAG_Int(REGB0
));;
146 stack_frame_head
= fra
.me
.prev
;
149 val_t
standard___kernel___Object___sys(val_t p0
){
150 struct {struct stack_frame_t me
;} fra
;
152 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
153 fra
.me
.file
= LOCATE_standard___kernel
;
155 fra
.me
.meth
= LOCATE_standard___kernel___Object___sys
;
156 fra
.me
.has_broke
= 0;
158 fra
.me
.REG
[0] = NIT_NULL
;
160 /* ./../lib/standard//kernel.nit:64 */
161 fra
.me
.REG
[0] = (G_sys
);
162 stack_frame_head
= fra
.me
.prev
;
163 return fra
.me
.REG
[0];
165 void standard___kernel___Sys___main(val_t p0
){
166 struct {struct stack_frame_t me
;} fra
;
168 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
169 fra
.me
.file
= LOCATE_standard___kernel
;
171 fra
.me
.meth
= LOCATE_standard___kernel___Sys___main
;
172 fra
.me
.has_broke
= 0;
174 fra
.me
.REG
[0] = NIT_NULL
;
176 stack_frame_head
= fra
.me
.prev
;
179 void standard___kernel___Sys___init(val_t p0
, int* init_table
){
180 int itpos0
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_standard___kernel___Sys
].i
;
181 struct {struct stack_frame_t me
;} fra
;
183 if (init_table
[itpos0
]) return;
184 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
185 fra
.me
.file
= LOCATE_standard___kernel
;
187 fra
.me
.meth
= LOCATE_standard___kernel___Sys___init
;
188 fra
.me
.has_broke
= 0;
190 stack_frame_head
= fra
.me
.prev
;
191 init_table
[itpos0
] = 1;
194 val_t
standard___kernel___Comparable_____l(val_t p0
, val_t p1
){
195 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
198 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
199 fra
.me
.file
= LOCATE_standard___kernel
;
201 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____l
;
202 fra
.me
.has_broke
= 0;
204 fra
.me
.REG
[0] = NIT_NULL
;
205 fra
.me
.REG
[1] = NIT_NULL
;
208 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
209 if (UNTAG_Bool(REGB0
)) {
211 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
213 /* ./../lib/standard//kernel.nit:86 */
214 nit_abort("Deferred method called", NULL
, LOCATE_standard___kernel
, 86);
215 stack_frame_head
= fra
.me
.prev
;
218 val_t
standard___kernel___Comparable_____leq(val_t p0
, val_t p1
){
219 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
222 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
223 fra
.me
.file
= LOCATE_standard___kernel
;
225 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____leq
;
226 fra
.me
.has_broke
= 0;
228 fra
.me
.REG
[0] = NIT_NULL
;
229 fra
.me
.REG
[1] = NIT_NULL
;
232 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
233 if (UNTAG_Bool(REGB0
)) {
235 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
237 /* ./../lib/standard//kernel.nit:91 */
238 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
239 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
242 stack_frame_head
= fra
.me
.prev
;
245 val_t
standard___kernel___Comparable_____geq(val_t p0
, val_t p1
){
246 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
249 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
250 fra
.me
.file
= LOCATE_standard___kernel
;
252 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____geq
;
253 fra
.me
.has_broke
= 0;
255 fra
.me
.REG
[0] = NIT_NULL
;
256 fra
.me
.REG
[1] = NIT_NULL
;
259 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
260 if (UNTAG_Bool(REGB0
)) {
262 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
264 /* ./../lib/standard//kernel.nit:95 */
265 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
266 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
269 stack_frame_head
= fra
.me
.prev
;
272 val_t
standard___kernel___Comparable_____g(val_t p0
, val_t p1
){
273 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
276 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
277 fra
.me
.file
= LOCATE_standard___kernel
;
279 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____g
;
280 fra
.me
.has_broke
= 0;
282 fra
.me
.REG
[0] = NIT_NULL
;
283 fra
.me
.REG
[1] = NIT_NULL
;
286 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
287 if (UNTAG_Bool(REGB0
)) {
289 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
291 /* ./../lib/standard//kernel.nit:98 */
292 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
295 stack_frame_head
= fra
.me
.prev
;
298 val_t
standard___kernel___Comparable_____leqg(val_t p0
, val_t p1
){
299 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
303 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
304 fra
.me
.file
= LOCATE_standard___kernel
;
306 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____leqg
;
307 fra
.me
.has_broke
= 0;
309 fra
.me
.REG
[0] = NIT_NULL
;
310 fra
.me
.REG
[1] = NIT_NULL
;
313 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
314 if (UNTAG_Bool(REGB0
)) {
316 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
318 /* ./../lib/standard//kernel.nit:104 */
319 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
320 if (UNTAG_Bool(REGB0
)) {
321 /* ./../lib/standard//kernel.nit:105 */
323 /* ./../lib/standard//kernel.nit:236 */
324 REGB0
= TAG_Int(-UNTAG_Int(REGB0
));
325 /* ./../lib/standard//kernel.nit:105 */
328 /* ./../lib/standard//kernel.nit:106 */
329 REGB1
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
330 if (UNTAG_Bool(REGB1
)) {
331 /* ./../lib/standard//kernel.nit:107 */
336 /* ./../lib/standard//kernel.nit:109 */
343 stack_frame_head
= fra
.me
.prev
;
346 val_t
standard___kernel___Comparable___is_between(val_t p0
, val_t p1
, val_t p2
){
347 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
351 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
352 fra
.me
.file
= LOCATE_standard___kernel
;
354 fra
.me
.meth
= LOCATE_standard___kernel___Comparable___is_between
;
355 fra
.me
.has_broke
= 0;
357 fra
.me
.REG
[0] = NIT_NULL
;
358 fra
.me
.REG
[1] = NIT_NULL
;
359 fra
.me
.REG
[2] = NIT_NULL
;
363 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
364 if (UNTAG_Bool(REGB0
)) {
366 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
368 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[2], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
369 if (UNTAG_Bool(REGB0
)) {
371 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
373 /* ./../lib/standard//kernel.nit:116 */
374 REGB0
= CALL_standard___kernel___Comparable_____leq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
375 if (UNTAG_Bool(REGB0
)) {
376 REGB0
= CALL_standard___kernel___Comparable_____leq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
378 REGB1
= TAG_Bool(false);
383 stack_frame_head
= fra
.me
.prev
;
386 val_t
standard___kernel___Comparable___max(val_t p0
, val_t p1
){
387 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
390 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
391 fra
.me
.file
= LOCATE_standard___kernel
;
393 fra
.me
.meth
= LOCATE_standard___kernel___Comparable___max
;
394 fra
.me
.has_broke
= 0;
396 fra
.me
.REG
[0] = NIT_NULL
;
397 fra
.me
.REG
[1] = NIT_NULL
;
400 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
401 if (UNTAG_Bool(REGB0
)) {
403 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
405 /* ./../lib/standard//kernel.nit:122 */
406 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
407 if (UNTAG_Bool(REGB0
)) {
408 /* ./../lib/standard//kernel.nit:123 */
411 /* ./../lib/standard//kernel.nit:125 */
412 fra
.me
.REG
[1] = fra
.me
.REG
[0];
416 stack_frame_head
= fra
.me
.prev
;
417 return fra
.me
.REG
[1];
419 val_t
standard___kernel___Comparable___min(val_t p0
, val_t p1
){
420 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
423 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
424 fra
.me
.file
= LOCATE_standard___kernel
;
426 fra
.me
.meth
= LOCATE_standard___kernel___Comparable___min
;
427 fra
.me
.has_broke
= 0;
429 fra
.me
.REG
[0] = NIT_NULL
;
430 fra
.me
.REG
[1] = NIT_NULL
;
433 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
434 if (UNTAG_Bool(REGB0
)) {
436 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
438 /* ./../lib/standard//kernel.nit:132 */
439 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
440 if (UNTAG_Bool(REGB0
)) {
441 /* ./../lib/standard//kernel.nit:133 */
444 /* ./../lib/standard//kernel.nit:135 */
445 fra
.me
.REG
[1] = fra
.me
.REG
[0];
449 stack_frame_head
= fra
.me
.prev
;
450 return fra
.me
.REG
[1];
452 val_t
standard___kernel___Discrete___succ(val_t p0
){
453 struct {struct stack_frame_t me
;} fra
;
456 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
457 fra
.me
.file
= LOCATE_standard___kernel
;
459 fra
.me
.meth
= LOCATE_standard___kernel___Discrete___succ
;
460 fra
.me
.has_broke
= 0;
462 fra
.me
.REG
[0] = NIT_NULL
;
464 /* ./../lib/standard//kernel.nit:147 */
466 fra
.me
.REG
[0] = CALL_standard___kernel___Discrete_____plus(fra
.me
.REG
[0])(fra
.me
.REG
[0], REGB0
);
469 stack_frame_head
= fra
.me
.prev
;
470 return fra
.me
.REG
[0];
472 val_t
standard___kernel___Discrete___prec(val_t p0
){
473 struct {struct stack_frame_t me
;} fra
;
476 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
477 fra
.me
.file
= LOCATE_standard___kernel
;
479 fra
.me
.meth
= LOCATE_standard___kernel___Discrete___prec
;
480 fra
.me
.has_broke
= 0;
482 fra
.me
.REG
[0] = NIT_NULL
;
484 /* ./../lib/standard//kernel.nit:150 */
486 fra
.me
.REG
[0] = CALL_standard___kernel___Discrete_____minus(fra
.me
.REG
[0])(fra
.me
.REG
[0], REGB0
);
489 stack_frame_head
= fra
.me
.prev
;
490 return fra
.me
.REG
[0];
492 val_t
standard___kernel___Discrete_____plus(val_t p0
, val_t p1
){
493 struct {struct stack_frame_t me
;} fra
;
495 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
496 fra
.me
.file
= LOCATE_standard___kernel
;
498 fra
.me
.meth
= LOCATE_standard___kernel___Discrete_____plus
;
499 fra
.me
.has_broke
= 0;
501 /* ./../lib/standard//kernel.nit:152 */
502 nit_abort("Deferred method called", NULL
, LOCATE_standard___kernel
, 152);
503 stack_frame_head
= fra
.me
.prev
;
506 val_t
standard___kernel___Discrete_____minus(val_t p0
, val_t p1
){
507 struct {struct stack_frame_t me
;} fra
;
509 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
510 fra
.me
.file
= LOCATE_standard___kernel
;
512 fra
.me
.meth
= LOCATE_standard___kernel___Discrete_____minus
;
513 fra
.me
.has_broke
= 0;
515 /* ./../lib/standard//kernel.nit:155 */
516 nit_abort("Deferred method called", NULL
, LOCATE_standard___kernel
, 155);
517 stack_frame_head
= fra
.me
.prev
;
520 val_t
standard___kernel___Discrete___distance(val_t p0
, val_t p1
){
521 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
526 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
527 fra
.me
.file
= LOCATE_standard___kernel
;
529 fra
.me
.meth
= LOCATE_standard___kernel___Discrete___distance
;
530 fra
.me
.has_broke
= 0;
532 fra
.me
.REG
[0] = NIT_NULL
;
533 fra
.me
.REG
[1] = NIT_NULL
;
534 fra
.me
.REG
[2] = NIT_NULL
;
535 fra
.me
.REG
[3] = NIT_NULL
;
538 REGB0
= TAG_Bool(VAL_ISA(fra
.me
.REG
[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]), VTID_standard___kernel___Comparable___OTHER(fra
.me
.REG
[0]))) /*cast OTHER*/;
539 if (UNTAG_Bool(REGB0
)) {
541 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
543 /* ./../lib/standard//kernel.nit:165 */
544 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
545 if (UNTAG_Bool(REGB0
)) {
546 /* ./../lib/standard//kernel.nit:166 */
547 fra
.me
.REG
[2] = fra
.me
.REG
[0];
548 /* ./../lib/standard//kernel.nit:167 */
549 fra
.me
.REG
[3] = fra
.me
.REG
[1];
551 /* ./../lib/standard//kernel.nit:168 */
552 REGB0
= CALL_standard___kernel___Comparable_____g(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
553 if (UNTAG_Bool(REGB0
)) {
554 /* ./../lib/standard//kernel.nit:169 */
555 fra
.me
.REG
[2] = fra
.me
.REG
[1];
556 /* ./../lib/standard//kernel.nit:170 */
557 fra
.me
.REG
[3] = fra
.me
.REG
[0];
559 /* ./../lib/standard//kernel.nit:172 */
564 /* ./../lib/standard//kernel.nit:175 */
566 /* ./../lib/standard//kernel.nit:176 */
568 REGB2
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
569 if (UNTAG_Bool(REGB2
)) {
570 /* ./../lib/standard//kernel.nit:177 */
571 fra
.me
.REG
[0] = CALL_standard___kernel___Discrete___succ(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
572 fra
.me
.REG
[2] = fra
.me
.REG
[0];
573 /* ./../lib/standard//kernel.nit:178 */
575 /* ./../lib/standard//kernel.nit:235 */
576 REGB2
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB2
));
577 /* ./../lib/standard//kernel.nit:178 */
580 /* ./../lib/standard//kernel.nit:176 */
585 /* ./../lib/standard//kernel.nit:180 */
589 stack_frame_head
= fra
.me
.prev
;
592 val_t
standard___kernel___Bool___object_id(val_t p0
){
593 struct {struct stack_frame_t me
;} fra
;
596 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
597 fra
.me
.file
= LOCATE_standard___kernel
;
599 fra
.me
.meth
= LOCATE_standard___kernel___Bool___object_id
;
600 fra
.me
.has_broke
= 0;
603 /* ./../lib/standard//kernel.nit:194 */
604 REGB0
= TAG_Int(UNTAG_Bool(REGB0
));
605 stack_frame_head
= fra
.me
.prev
;
608 val_t
standard___kernel___Bool_____eqeq(val_t p0
, val_t p1
){
609 struct {struct stack_frame_t me
;} fra
;
612 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
613 fra
.me
.file
= LOCATE_standard___kernel
;
615 fra
.me
.meth
= LOCATE_standard___kernel___Bool_____eqeq
;
616 fra
.me
.has_broke
= 0;
618 fra
.me
.REG
[0] = NIT_NULL
;
621 /* ./../lib/standard//kernel.nit:195 */
622 REGB0
= TAG_Bool((REGB0
)==(fra
.me
.REG
[0]));
623 stack_frame_head
= fra
.me
.prev
;
626 val_t
standard___kernel___Bool_____neq(val_t p0
, val_t p1
){
627 struct {struct stack_frame_t me
;} fra
;
630 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
631 fra
.me
.file
= LOCATE_standard___kernel
;
633 fra
.me
.meth
= LOCATE_standard___kernel___Bool_____neq
;
634 fra
.me
.has_broke
= 0;
636 fra
.me
.REG
[0] = NIT_NULL
;
639 /* ./../lib/standard//kernel.nit:196 */
640 REGB0
= TAG_Bool((REGB0
)!=(fra
.me
.REG
[0]));
641 stack_frame_head
= fra
.me
.prev
;
644 void standard___kernel___Bool___output(val_t p0
){
645 struct {struct stack_frame_t me
;} fra
;
648 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
649 fra
.me
.file
= LOCATE_standard___kernel
;
651 fra
.me
.meth
= LOCATE_standard___kernel___Bool___output
;
652 fra
.me
.has_broke
= 0;
655 /* ./../lib/standard//kernel.nit:197 */
656 (void)printf(UNTAG_Bool(REGB0
)?
"true\n":"false\n");;
657 stack_frame_head
= fra
.me
.prev
;
660 val_t
standard___kernel___Float___object_id(val_t p0
){
661 struct {struct stack_frame_t me
;} fra
;
664 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
665 fra
.me
.file
= LOCATE_standard___kernel
;
667 fra
.me
.meth
= LOCATE_standard___kernel___Float___object_id
;
668 fra
.me
.has_broke
= 0;
670 fra
.me
.REG
[0] = NIT_NULL
;
672 /* ./../lib/standard//kernel.nit:203 */
673 REGB0
= TAG_Int((bigint
)UNBOX_Float(fra
.me
.REG
[0]));
674 stack_frame_head
= fra
.me
.prev
;
677 void standard___kernel___Float___output(val_t p0
){
678 struct {struct stack_frame_t me
;} fra
;
680 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
681 fra
.me
.file
= LOCATE_standard___kernel
;
683 fra
.me
.meth
= LOCATE_standard___kernel___Float___output
;
684 fra
.me
.has_broke
= 0;
686 fra
.me
.REG
[0] = NIT_NULL
;
688 /* ./../lib/standard//kernel.nit:204 */
689 printf("%f\n", UNBOX_Float(fra
.me
.REG
[0]));;
690 stack_frame_head
= fra
.me
.prev
;
693 val_t
standard___kernel___Float_____leq(val_t p0
, val_t p1
){
694 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
697 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
698 fra
.me
.file
= LOCATE_standard___kernel
;
700 fra
.me
.meth
= LOCATE_standard___kernel___Float_____leq
;
701 fra
.me
.has_broke
= 0;
703 fra
.me
.REG
[0] = NIT_NULL
;
704 fra
.me
.REG
[1] = NIT_NULL
;
707 /* ./../lib/standard//kernel.nit:206 */
708 REGB0
= TAG_Bool(UNBOX_Float(fra
.me
.REG
[0])<=UNBOX_Float(fra
.me
.REG
[1]));
709 stack_frame_head
= fra
.me
.prev
;
712 val_t
standard___kernel___Float_____l(val_t p0
, val_t p1
){
713 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
716 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
717 fra
.me
.file
= LOCATE_standard___kernel
;
719 fra
.me
.meth
= LOCATE_standard___kernel___Float_____l
;
720 fra
.me
.has_broke
= 0;
722 fra
.me
.REG
[0] = NIT_NULL
;
723 fra
.me
.REG
[1] = NIT_NULL
;
726 /* ./../lib/standard//kernel.nit:207 */
727 REGB0
= TAG_Bool(UNBOX_Float(fra
.me
.REG
[0])<UNBOX_Float(fra
.me
.REG
[1]));
728 stack_frame_head
= fra
.me
.prev
;
731 val_t
standard___kernel___Float_____geq(val_t p0
, val_t p1
){
732 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
735 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
736 fra
.me
.file
= LOCATE_standard___kernel
;
738 fra
.me
.meth
= LOCATE_standard___kernel___Float_____geq
;
739 fra
.me
.has_broke
= 0;
741 fra
.me
.REG
[0] = NIT_NULL
;
742 fra
.me
.REG
[1] = NIT_NULL
;
745 /* ./../lib/standard//kernel.nit:208 */
746 REGB0
= TAG_Bool(UNBOX_Float(fra
.me
.REG
[0])>=UNBOX_Float(fra
.me
.REG
[1]));
747 stack_frame_head
= fra
.me
.prev
;
750 val_t
standard___kernel___Float_____g(val_t p0
, val_t p1
){
751 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
754 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
755 fra
.me
.file
= LOCATE_standard___kernel
;
757 fra
.me
.meth
= LOCATE_standard___kernel___Float_____g
;
758 fra
.me
.has_broke
= 0;
760 fra
.me
.REG
[0] = NIT_NULL
;
761 fra
.me
.REG
[1] = NIT_NULL
;
764 /* ./../lib/standard//kernel.nit:209 */
765 REGB0
= TAG_Bool(UNBOX_Float(fra
.me
.REG
[0])>UNBOX_Float(fra
.me
.REG
[1]));
766 stack_frame_head
= fra
.me
.prev
;
769 val_t
standard___kernel___Float_____plus(val_t p0
, val_t p1
){
770 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
772 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
773 fra
.me
.file
= LOCATE_standard___kernel
;
775 fra
.me
.meth
= LOCATE_standard___kernel___Float_____plus
;
776 fra
.me
.has_broke
= 0;
778 fra
.me
.REG
[0] = NIT_NULL
;
779 fra
.me
.REG
[1] = NIT_NULL
;
782 /* ./../lib/standard//kernel.nit:210 */
783 fra
.me
.REG
[1] = BOX_Float(UNBOX_Float(fra
.me
.REG
[0])+UNBOX_Float(fra
.me
.REG
[1]));
784 stack_frame_head
= fra
.me
.prev
;
785 return fra
.me
.REG
[1];
787 val_t
standard___kernel___Float___unary__minus(val_t p0
){
788 struct {struct stack_frame_t me
;} fra
;
790 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
791 fra
.me
.file
= LOCATE_standard___kernel
;
793 fra
.me
.meth
= LOCATE_standard___kernel___Float___unary__minus
;
794 fra
.me
.has_broke
= 0;
796 fra
.me
.REG
[0] = NIT_NULL
;
798 /* ./../lib/standard//kernel.nit:211 */
799 fra
.me
.REG
[0] = BOX_Float(-UNBOX_Float(fra
.me
.REG
[0]));
800 stack_frame_head
= fra
.me
.prev
;
801 return fra
.me
.REG
[0];
803 val_t
standard___kernel___Float_____minus(val_t p0
, val_t p1
){
804 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
806 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
807 fra
.me
.file
= LOCATE_standard___kernel
;
809 fra
.me
.meth
= LOCATE_standard___kernel___Float_____minus
;
810 fra
.me
.has_broke
= 0;
812 fra
.me
.REG
[0] = NIT_NULL
;
813 fra
.me
.REG
[1] = NIT_NULL
;
816 /* ./../lib/standard//kernel.nit:212 */
817 fra
.me
.REG
[1] = BOX_Float(UNBOX_Float(fra
.me
.REG
[0])-UNBOX_Float(fra
.me
.REG
[1]));
818 stack_frame_head
= fra
.me
.prev
;
819 return fra
.me
.REG
[1];
821 val_t
standard___kernel___Float_____star(val_t p0
, val_t p1
){
822 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
824 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
825 fra
.me
.file
= LOCATE_standard___kernel
;
827 fra
.me
.meth
= LOCATE_standard___kernel___Float_____star
;
828 fra
.me
.has_broke
= 0;
830 fra
.me
.REG
[0] = NIT_NULL
;
831 fra
.me
.REG
[1] = NIT_NULL
;
834 /* ./../lib/standard//kernel.nit:213 */
835 fra
.me
.REG
[1] = BOX_Float(UNBOX_Float(fra
.me
.REG
[0])*UNBOX_Float(fra
.me
.REG
[1]));
836 stack_frame_head
= fra
.me
.prev
;
837 return fra
.me
.REG
[1];
839 val_t
standard___kernel___Float_____slash(val_t p0
, val_t p1
){
840 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
842 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
843 fra
.me
.file
= LOCATE_standard___kernel
;
845 fra
.me
.meth
= LOCATE_standard___kernel___Float_____slash
;
846 fra
.me
.has_broke
= 0;
848 fra
.me
.REG
[0] = NIT_NULL
;
849 fra
.me
.REG
[1] = NIT_NULL
;
852 /* ./../lib/standard//kernel.nit:214 */
853 fra
.me
.REG
[1] = BOX_Float(UNBOX_Float(fra
.me
.REG
[0])/UNBOX_Float(fra
.me
.REG
[1]));
854 stack_frame_head
= fra
.me
.prev
;
855 return fra
.me
.REG
[1];
857 val_t
standard___kernel___Float___to_i(val_t p0
){
858 struct {struct stack_frame_t me
;} fra
;
861 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
862 fra
.me
.file
= LOCATE_standard___kernel
;
864 fra
.me
.meth
= LOCATE_standard___kernel___Float___to_i
;
865 fra
.me
.has_broke
= 0;
867 fra
.me
.REG
[0] = NIT_NULL
;
869 /* ./../lib/standard//kernel.nit:216 */
870 REGB0
= TAG_Int((bigint
)UNBOX_Float(fra
.me
.REG
[0]));
871 stack_frame_head
= fra
.me
.prev
;
874 val_t
standard___kernel___Int___object_id(val_t p0
){
875 struct {struct stack_frame_t me
;} fra
;
878 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
879 fra
.me
.file
= LOCATE_standard___kernel
;
881 fra
.me
.meth
= LOCATE_standard___kernel___Int___object_id
;
882 fra
.me
.has_broke
= 0;
885 /* ./../lib/standard//kernel.nit:226 */
887 stack_frame_head
= fra
.me
.prev
;
890 val_t
standard___kernel___Int_____eqeq(val_t p0
, val_t p1
){
891 struct {struct stack_frame_t me
;} fra
;
894 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
895 fra
.me
.file
= LOCATE_standard___kernel
;
897 fra
.me
.meth
= LOCATE_standard___kernel___Int_____eqeq
;
898 fra
.me
.has_broke
= 0;
900 fra
.me
.REG
[0] = NIT_NULL
;
903 /* ./../lib/standard//kernel.nit:227 */
904 REGB0
= TAG_Bool((REGB0
)==(fra
.me
.REG
[0]));
905 stack_frame_head
= fra
.me
.prev
;
908 val_t
standard___kernel___Int_____neq(val_t p0
, val_t p1
){
909 struct {struct stack_frame_t me
;} fra
;
912 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
913 fra
.me
.file
= LOCATE_standard___kernel
;
915 fra
.me
.meth
= LOCATE_standard___kernel___Int_____neq
;
916 fra
.me
.has_broke
= 0;
918 fra
.me
.REG
[0] = NIT_NULL
;
921 /* ./../lib/standard//kernel.nit:228 */
922 REGB0
= TAG_Bool((REGB0
)!=(fra
.me
.REG
[0]));
923 stack_frame_head
= fra
.me
.prev
;
926 void standard___kernel___Int___output(val_t p0
){
927 struct {struct stack_frame_t me
;} fra
;
930 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
931 fra
.me
.file
= LOCATE_standard___kernel
;
933 fra
.me
.meth
= LOCATE_standard___kernel___Int___output
;
934 fra
.me
.has_broke
= 0;
937 /* ./../lib/standard//kernel.nit:229 */
938 printf("%ld\n", UNTAG_Int(REGB0
));;
939 stack_frame_head
= fra
.me
.prev
;
942 val_t
standard___kernel___Int_____leq(val_t p0
, val_t p1
){
943 struct {struct stack_frame_t me
;} fra
;
948 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
949 fra
.me
.file
= LOCATE_standard___kernel
;
951 fra
.me
.meth
= LOCATE_standard___kernel___Int_____leq
;
952 fra
.me
.has_broke
= 0;
956 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
957 if (UNTAG_Bool(REGB2
)) {
959 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
961 /* ./../lib/standard//kernel.nit:231 */
962 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<=UNTAG_Int(REGB1
));
963 stack_frame_head
= fra
.me
.prev
;
966 val_t
standard___kernel___Int_____l(val_t p0
, val_t p1
){
967 struct {struct stack_frame_t me
;} fra
;
972 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
973 fra
.me
.file
= LOCATE_standard___kernel
;
975 fra
.me
.meth
= LOCATE_standard___kernel___Int_____l
;
976 fra
.me
.has_broke
= 0;
980 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
981 if (UNTAG_Bool(REGB2
)) {
983 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
985 /* ./../lib/standard//kernel.nit:232 */
986 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
987 stack_frame_head
= fra
.me
.prev
;
990 val_t
standard___kernel___Int_____geq(val_t p0
, val_t p1
){
991 struct {struct stack_frame_t me
;} fra
;
996 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
997 fra
.me
.file
= LOCATE_standard___kernel
;
999 fra
.me
.meth
= LOCATE_standard___kernel___Int_____geq
;
1000 fra
.me
.has_broke
= 0;
1001 fra
.me
.REG_size
= 0;
1004 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1005 if (UNTAG_Bool(REGB2
)) {
1007 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1009 /* ./../lib/standard//kernel.nit:233 */
1010 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
1011 stack_frame_head
= fra
.me
.prev
;
1014 val_t
standard___kernel___Int_____g(val_t p0
, val_t p1
){
1015 struct {struct stack_frame_t me
;} fra
;
1020 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1021 fra
.me
.file
= LOCATE_standard___kernel
;
1023 fra
.me
.meth
= LOCATE_standard___kernel___Int_____g
;
1024 fra
.me
.has_broke
= 0;
1025 fra
.me
.REG_size
= 0;
1028 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1029 if (UNTAG_Bool(REGB2
)) {
1031 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1033 /* ./../lib/standard//kernel.nit:234 */
1034 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>UNTAG_Int(REGB1
));
1035 stack_frame_head
= fra
.me
.prev
;
1038 val_t
standard___kernel___Int_____plus(val_t p0
, val_t p1
){
1039 struct {struct stack_frame_t me
;} fra
;
1043 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1044 fra
.me
.file
= LOCATE_standard___kernel
;
1046 fra
.me
.meth
= LOCATE_standard___kernel___Int_____plus
;
1047 fra
.me
.has_broke
= 0;
1048 fra
.me
.REG_size
= 0;
1051 /* ./../lib/standard//kernel.nit:235 */
1052 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
1053 stack_frame_head
= fra
.me
.prev
;
1056 val_t
standard___kernel___Int___unary__minus(val_t p0
){
1057 struct {struct stack_frame_t me
;} fra
;
1060 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1061 fra
.me
.file
= LOCATE_standard___kernel
;
1063 fra
.me
.meth
= LOCATE_standard___kernel___Int___unary__minus
;
1064 fra
.me
.has_broke
= 0;
1065 fra
.me
.REG_size
= 0;
1067 /* ./../lib/standard//kernel.nit:236 */
1068 REGB0
= TAG_Int(-UNTAG_Int(REGB0
));
1069 stack_frame_head
= fra
.me
.prev
;
1072 val_t
standard___kernel___Int_____minus(val_t p0
, val_t p1
){
1073 struct {struct stack_frame_t me
;} fra
;
1077 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1078 fra
.me
.file
= LOCATE_standard___kernel
;
1080 fra
.me
.meth
= LOCATE_standard___kernel___Int_____minus
;
1081 fra
.me
.has_broke
= 0;
1082 fra
.me
.REG_size
= 0;
1085 /* ./../lib/standard//kernel.nit:237 */
1086 REGB1
= TAG_Int(UNTAG_Int(REGB0
)-UNTAG_Int(REGB1
));
1087 stack_frame_head
= fra
.me
.prev
;
1090 val_t
standard___kernel___Int_____star(val_t p0
, val_t p1
){
1091 struct {struct stack_frame_t me
;} fra
;
1095 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1096 fra
.me
.file
= LOCATE_standard___kernel
;
1098 fra
.me
.meth
= LOCATE_standard___kernel___Int_____star
;
1099 fra
.me
.has_broke
= 0;
1100 fra
.me
.REG_size
= 0;
1103 /* ./../lib/standard//kernel.nit:238 */
1104 REGB1
= TAG_Int(UNTAG_Int(REGB0
)*UNTAG_Int(REGB1
));
1105 stack_frame_head
= fra
.me
.prev
;
1108 val_t
standard___kernel___Int_____slash(val_t p0
, val_t p1
){
1109 struct {struct stack_frame_t me
;} fra
;
1113 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1114 fra
.me
.file
= LOCATE_standard___kernel
;
1116 fra
.me
.meth
= LOCATE_standard___kernel___Int_____slash
;
1117 fra
.me
.has_broke
= 0;
1118 fra
.me
.REG_size
= 0;
1121 /* ./../lib/standard//kernel.nit:239 */
1122 REGB1
= TAG_Int(UNTAG_Int(REGB0
)/UNTAG_Int(REGB1
));
1123 stack_frame_head
= fra
.me
.prev
;
1126 val_t
standard___kernel___Int_____percent(val_t p0
, val_t p1
){
1127 struct {struct stack_frame_t me
;} fra
;
1131 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1132 fra
.me
.file
= LOCATE_standard___kernel
;
1134 fra
.me
.meth
= LOCATE_standard___kernel___Int_____percent
;
1135 fra
.me
.has_broke
= 0;
1136 fra
.me
.REG_size
= 0;
1139 /* ./../lib/standard//kernel.nit:240 */
1140 REGB1
= TAG_Int(UNTAG_Int(REGB0
)%UNTAG_Int(REGB1
));
1141 stack_frame_head
= fra
.me
.prev
;
1144 val_t
standard___kernel___Int___lshift(val_t p0
, val_t p1
){
1145 struct {struct stack_frame_t me
;} fra
;
1149 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1150 fra
.me
.file
= LOCATE_standard___kernel
;
1152 fra
.me
.meth
= LOCATE_standard___kernel___Int___lshift
;
1153 fra
.me
.has_broke
= 0;
1154 fra
.me
.REG_size
= 0;
1157 /* ./../lib/standard//kernel.nit:241 */
1158 REGB1
= TAG_Int(UNTAG_Int(REGB0
)<<UNTAG_Int(REGB1
));
1159 stack_frame_head
= fra
.me
.prev
;
1162 val_t
standard___kernel___Int___rshift(val_t p0
, val_t p1
){
1163 struct {struct stack_frame_t me
;} fra
;
1167 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1168 fra
.me
.file
= LOCATE_standard___kernel
;
1170 fra
.me
.meth
= LOCATE_standard___kernel___Int___rshift
;
1171 fra
.me
.has_broke
= 0;
1172 fra
.me
.REG_size
= 0;
1175 /* ./../lib/standard//kernel.nit:242 */
1176 REGB1
= TAG_Int(UNTAG_Int(REGB0
)>>UNTAG_Int(REGB1
));
1177 stack_frame_head
= fra
.me
.prev
;
1180 val_t
standard___kernel___Int___to_f(val_t p0
){
1181 struct {struct stack_frame_t me
;} fra
;
1184 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1185 fra
.me
.file
= LOCATE_standard___kernel
;
1187 fra
.me
.meth
= LOCATE_standard___kernel___Int___to_f
;
1188 fra
.me
.has_broke
= 0;
1189 fra
.me
.REG_size
= 1;
1190 fra
.me
.REG
[0] = NIT_NULL
;
1192 /* ./../lib/standard//kernel.nit:244 */
1193 fra
.me
.REG
[0] = BOX_Float((float)UNTAG_Int(REGB0
));
1194 stack_frame_head
= fra
.me
.prev
;
1195 return fra
.me
.REG
[0];
1197 val_t
standard___kernel___Int___succ(val_t p0
){
1198 struct {struct stack_frame_t me
;} fra
;
1201 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1202 fra
.me
.file
= LOCATE_standard___kernel
;
1204 fra
.me
.meth
= LOCATE_standard___kernel___Int___succ
;
1205 fra
.me
.has_broke
= 0;
1206 fra
.me
.REG_size
= 0;
1208 /* ./../lib/standard//kernel.nit:247 */
1209 REGB0
= TAG_Int(UNTAG_Int(REGB0
)+1);
1210 stack_frame_head
= fra
.me
.prev
;
1213 val_t
standard___kernel___Int___prec(val_t p0
){
1214 struct {struct stack_frame_t me
;} fra
;
1217 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1218 fra
.me
.file
= LOCATE_standard___kernel
;
1220 fra
.me
.meth
= LOCATE_standard___kernel___Int___prec
;
1221 fra
.me
.has_broke
= 0;
1222 fra
.me
.REG_size
= 0;
1224 /* ./../lib/standard//kernel.nit:248 */
1225 REGB0
= TAG_Int(UNTAG_Int(REGB0
)-1);
1226 stack_frame_head
= fra
.me
.prev
;
1229 val_t
standard___kernel___Int___distance(val_t p0
, val_t p1
){
1230 struct {struct stack_frame_t me
;} fra
;
1235 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1236 fra
.me
.file
= LOCATE_standard___kernel
;
1238 fra
.me
.meth
= LOCATE_standard___kernel___Int___distance
;
1239 fra
.me
.has_broke
= 0;
1240 fra
.me
.REG_size
= 0;
1243 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1244 if (UNTAG_Bool(REGB2
)) {
1246 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1248 /* ./../lib/standard//kernel.nit:237 */
1249 REGB1
= TAG_Int(UNTAG_Int(REGB0
)-UNTAG_Int(REGB1
));
1250 /* ./../lib/standard//kernel.nit:252 */
1252 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1253 if (UNTAG_Bool(REGB2
)) {
1255 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1257 /* ./../lib/standard//kernel.nit:233 */
1258 REGB0
= TAG_Bool(UNTAG_Int(REGB1
)>=UNTAG_Int(REGB0
));
1259 /* ./../lib/standard//kernel.nit:252 */
1260 if (UNTAG_Bool(REGB0
)) {
1261 /* ./../lib/standard//kernel.nit:253 */
1265 /* ./../lib/standard//kernel.nit:236 */
1266 REGB1
= TAG_Int(-UNTAG_Int(REGB1
));
1267 /* ./../lib/standard//kernel.nit:255 */
1272 stack_frame_head
= fra
.me
.prev
;
1275 val_t
standard___kernel___Int_____leqg(val_t p0
, val_t p1
){
1276 struct {struct stack_frame_t me
;} fra
;
1282 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1283 fra
.me
.file
= LOCATE_standard___kernel
;
1285 fra
.me
.meth
= LOCATE_standard___kernel___Int_____leqg
;
1286 fra
.me
.has_broke
= 0;
1287 fra
.me
.REG_size
= 0;
1290 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1291 if (UNTAG_Bool(REGB2
)) {
1293 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1295 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1296 if (UNTAG_Bool(REGB2
)) {
1298 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1300 /* ./../lib/standard//kernel.nit:232 */
1301 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1302 /* ./../lib/standard//kernel.nit:261 */
1303 if (UNTAG_Bool(REGB2
)) {
1304 /* ./../lib/standard//kernel.nit:262 */
1306 /* ./../lib/standard//kernel.nit:236 */
1307 REGB2
= TAG_Int(-UNTAG_Int(REGB2
));
1308 /* ./../lib/standard//kernel.nit:262 */
1311 REGB3
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1312 if (UNTAG_Bool(REGB3
)) {
1314 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1316 /* ./../lib/standard//kernel.nit:232 */
1317 REGB0
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB0
));
1318 /* ./../lib/standard//kernel.nit:263 */
1319 if (UNTAG_Bool(REGB0
)) {
1320 /* ./../lib/standard//kernel.nit:264 */
1325 /* ./../lib/standard//kernel.nit:266 */
1332 stack_frame_head
= fra
.me
.prev
;
1335 val_t
standard___kernel___Int___is_between(val_t p0
, val_t p1
, val_t p2
){
1336 struct {struct stack_frame_t me
;} fra
;
1342 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1343 fra
.me
.file
= LOCATE_standard___kernel
;
1345 fra
.me
.meth
= LOCATE_standard___kernel___Int___is_between
;
1346 fra
.me
.has_broke
= 0;
1347 fra
.me
.REG_size
= 0;
1351 REGB3
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1352 if (UNTAG_Bool(REGB3
)) {
1354 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1356 REGB3
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1357 if (UNTAG_Bool(REGB3
)) {
1359 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1361 REGB3
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1362 if (UNTAG_Bool(REGB3
)) {
1364 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1366 /* ./../lib/standard//kernel.nit:232 */
1367 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1368 /* ./../lib/standard//kernel.nit:272 */
1369 if (UNTAG_Bool(REGB1
)) {
1370 REGB1
= TAG_Bool(true);
1372 REGB3
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
1373 if (UNTAG_Bool(REGB3
)) {
1375 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1377 /* ./../lib/standard//kernel.nit:232 */
1378 REGB0
= TAG_Bool(UNTAG_Int(REGB2
)<UNTAG_Int(REGB0
));
1379 /* ./../lib/standard//kernel.nit:272 */
1382 if (UNTAG_Bool(REGB1
)) {
1383 /* ./../lib/standard//kernel.nit:273 */
1384 REGB1
= TAG_Bool(false);
1387 /* ./../lib/standard//kernel.nit:275 */
1388 REGB0
= TAG_Bool(true);
1393 stack_frame_head
= fra
.me
.prev
;
1396 val_t
standard___kernel___Int___max(val_t p0
, val_t p1
){
1397 struct {struct stack_frame_t me
;} fra
;
1402 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1403 fra
.me
.file
= LOCATE_standard___kernel
;
1405 fra
.me
.meth
= LOCATE_standard___kernel___Int___max
;
1406 fra
.me
.has_broke
= 0;
1407 fra
.me
.REG_size
= 0;
1410 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1411 if (UNTAG_Bool(REGB2
)) {
1413 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1415 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1416 if (UNTAG_Bool(REGB2
)) {
1418 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1420 /* ./../lib/standard//kernel.nit:232 */
1421 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1422 /* ./../lib/standard//kernel.nit:281 */
1423 if (UNTAG_Bool(REGB2
)) {
1424 /* ./../lib/standard//kernel.nit:282 */
1427 /* ./../lib/standard//kernel.nit:284 */
1432 stack_frame_head
= fra
.me
.prev
;
1435 val_t
standard___kernel___Int___min(val_t p0
, val_t p1
){
1436 struct {struct stack_frame_t me
;} fra
;
1441 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1442 fra
.me
.file
= LOCATE_standard___kernel
;
1444 fra
.me
.meth
= LOCATE_standard___kernel___Int___min
;
1445 fra
.me
.has_broke
= 0;
1446 fra
.me
.REG_size
= 0;
1449 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1450 if (UNTAG_Bool(REGB2
)) {
1452 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1454 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1455 if (UNTAG_Bool(REGB2
)) {
1457 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1459 /* ./../lib/standard//kernel.nit:232 */
1460 REGB2
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB0
));
1461 /* ./../lib/standard//kernel.nit:290 */
1462 if (UNTAG_Bool(REGB2
)) {
1463 /* ./../lib/standard//kernel.nit:291 */
1466 /* ./../lib/standard//kernel.nit:293 */
1471 stack_frame_head
= fra
.me
.prev
;
1474 val_t
standard___kernel___Int___ascii(val_t p0
){
1475 struct {struct stack_frame_t me
;} fra
;
1478 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1479 fra
.me
.file
= LOCATE_standard___kernel
;
1481 fra
.me
.meth
= LOCATE_standard___kernel___Int___ascii
;
1482 fra
.me
.has_broke
= 0;
1483 fra
.me
.REG_size
= 0;
1485 /* ./../lib/standard//kernel.nit:297 */
1486 REGB0
= TAG_Char(UNTAG_Int(REGB0
));
1487 stack_frame_head
= fra
.me
.prev
;
1490 val_t
standard___kernel___Int___digit_count(val_t p0
, val_t p1
){
1491 struct {struct stack_frame_t me
;} fra
;
1499 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1500 fra
.me
.file
= LOCATE_standard___kernel
;
1502 fra
.me
.meth
= LOCATE_standard___kernel___Int___digit_count
;
1503 fra
.me
.has_broke
= 0;
1504 fra
.me
.REG_size
= 0;
1507 /* ./../lib/standard//kernel.nit:306 */
1509 REGB3
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1510 if (UNTAG_Bool(REGB3
)) {
1512 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1514 /* ./../lib/standard//kernel.nit:232 */
1515 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB2
));
1516 /* ./../lib/standard//kernel.nit:306 */
1517 if (UNTAG_Bool(REGB2
)) {
1518 /* ./../lib/standard//kernel.nit:307 */
1520 /* ./../lib/standard//kernel.nit:236 */
1521 REGB3
= TAG_Int(-UNTAG_Int(REGB0
));
1523 /* ./../lib/standard//kernel.nit:309 */
1525 REGB5
= TAG_Bool(IS_EQUAL_OO(REGB0
,REGB4
));
1526 if (UNTAG_Bool(REGB5
)) {
1528 /* ./../lib/standard//kernel.nit:227 */
1529 REGB4
= TAG_Bool((REGB0
)==(REGB4
));
1530 /* ./../lib/standard//kernel.nit:309 */
1533 if (UNTAG_Bool(REGB5
)) {
1534 /* ./../lib/standard//kernel.nit:310 */
1538 /* ./../lib/standard//kernel.nit:312 */
1541 /* ./../lib/standard//kernel.nit:313 */
1545 /* ./../lib/standard//kernel.nit:316 */
1548 REGB4
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB3
), VTID_standard___kernel___Comparable___OTHER(REGB3
))) /*cast OTHER*/;
1549 if (UNTAG_Bool(REGB4
)) {
1551 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1553 /* ./../lib/standard//kernel.nit:234 */
1554 REGB0
= TAG_Bool(UNTAG_Int(REGB3
)>UNTAG_Int(REGB0
));
1555 /* ./../lib/standard//kernel.nit:316 */
1556 if (UNTAG_Bool(REGB0
)) {
1557 /* ./../lib/standard//kernel.nit:317 */
1559 /* ./../lib/standard//kernel.nit:235 */
1560 REGB0
= TAG_Int(UNTAG_Int(REGB2
)+UNTAG_Int(REGB0
));
1561 /* ./../lib/standard//kernel.nit:317 */
1563 /* ./../lib/standard//kernel.nit:239 */
1564 REGB0
= TAG_Int(UNTAG_Int(REGB3
)/UNTAG_Int(REGB1
));
1565 /* ./../lib/standard//kernel.nit:318 */
1568 /* ./../lib/standard//kernel.nit:316 */
1573 /* ./../lib/standard//kernel.nit:320 */
1577 stack_frame_head
= fra
.me
.prev
;
1580 val_t
standard___kernel___Int___to_c(val_t p0
){
1581 struct {struct stack_frame_t me
;} fra
;
1587 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1588 fra
.me
.file
= LOCATE_standard___kernel
;
1590 fra
.me
.meth
= LOCATE_standard___kernel___Int___to_c
;
1591 fra
.me
.has_broke
= 0;
1592 fra
.me
.REG_size
= 0;
1594 /* ./../lib/standard//kernel.nit:328 */
1596 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1597 if (UNTAG_Bool(REGB2
)) {
1599 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1601 /* ./../lib/standard//kernel.nit:233 */
1602 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
1603 /* ./../lib/standard//kernel.nit:328 */
1604 if (UNTAG_Bool(REGB1
)) {
1605 REGB1
= TAG_Int(36);
1606 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1607 if (UNTAG_Bool(REGB2
)) {
1609 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1611 /* ./../lib/standard//kernel.nit:231 */
1612 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<=UNTAG_Int(REGB1
));
1614 /* ./../lib/standard//kernel.nit:328 */
1615 REGB2
= TAG_Bool(false);
1618 if (UNTAG_Bool(REGB1
)) {
1620 nit_abort("Assert failed", NULL
, LOCATE_standard___kernel
, 328);
1622 /* ./../lib/standard//kernel.nit:329 */
1623 REGB1
= TAG_Int(10);
1624 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1625 if (UNTAG_Bool(REGB2
)) {
1627 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1629 /* ./../lib/standard//kernel.nit:232 */
1630 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1631 /* ./../lib/standard//kernel.nit:329 */
1632 if (UNTAG_Bool(REGB1
)) {
1633 /* ./../lib/standard//kernel.nit:330 */
1634 REGB1
= TAG_Char('0');
1635 /* ./../lib/standard//kernel.nit:413 */
1636 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB1
));
1637 /* ./../lib/standard//kernel.nit:235 */
1638 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
1639 /* ./../lib/standard//kernel.nit:297 */
1640 REGB1
= TAG_Char(UNTAG_Int(REGB1
));
1641 /* ./../lib/standard//kernel.nit:330 */
1644 /* ./../lib/standard//kernel.nit:332 */
1645 REGB2
= TAG_Char('a');
1646 /* ./../lib/standard//kernel.nit:413 */
1647 REGB2
= TAG_Int((unsigned char)UNTAG_Char(REGB2
));
1648 /* ./../lib/standard//kernel.nit:332 */
1649 REGB3
= TAG_Int(10);
1650 /* ./../lib/standard//kernel.nit:237 */
1651 REGB3
= TAG_Int(UNTAG_Int(REGB2
)-UNTAG_Int(REGB3
));
1652 /* ./../lib/standard//kernel.nit:235 */
1653 REGB3
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB3
));
1654 /* ./../lib/standard//kernel.nit:297 */
1655 REGB3
= TAG_Char(UNTAG_Int(REGB3
));
1656 /* ./../lib/standard//kernel.nit:332 */
1661 stack_frame_head
= fra
.me
.prev
;
1664 void standard___kernel___Int___enumerate_to(val_t p0
, val_t p1
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
1665 struct {struct stack_frame_t me
;} fra
;
1671 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1672 fra
.me
.file
= LOCATE_standard___kernel
;
1674 fra
.me
.meth
= LOCATE_standard___kernel___Int___enumerate_to
;
1675 fra
.me
.has_broke
= 0;
1676 fra
.me
.REG_size
= 0;
1677 fra
.me
.closure_ctx
= closctx_param
;
1678 fra
.me
.closure_funs
= CREG
;
1681 CREG
[0] = clos_fun0
;
1682 /* ./../lib/standard//kernel.nit:341 */
1684 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1685 if (UNTAG_Bool(REGB2
)) {
1687 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1689 /* ./../lib/standard//kernel.nit:231 */
1690 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<=UNTAG_Int(REGB1
));
1691 /* ./../lib/standard//kernel.nit:341 */
1692 if (UNTAG_Bool(REGB2
)) {
1693 /* ./../lib/standard//kernel.nit:342 */
1694 ((void (*)(struct stack_frame_t
*, val_t
))(CREG
[0]))(closctx_param
, REGB0
);
1695 if (closctx_param
->has_broke
) {
1698 /* ./../lib/standard//kernel.nit:343 */
1700 /* ./../lib/standard//kernel.nit:235 */
1701 REGB2
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB2
));
1702 /* ./../lib/standard//kernel.nit:343 */
1705 /* ./../lib/standard//kernel.nit:341 */
1711 stack_frame_head
= fra
.me
.prev
;
1714 void standard___kernel___Int___enumerate_before(val_t p0
, val_t p1
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
1715 struct {struct stack_frame_t me
;} fra
;
1721 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1722 fra
.me
.file
= LOCATE_standard___kernel
;
1724 fra
.me
.meth
= LOCATE_standard___kernel___Int___enumerate_before
;
1725 fra
.me
.has_broke
= 0;
1726 fra
.me
.REG_size
= 0;
1727 fra
.me
.closure_ctx
= closctx_param
;
1728 fra
.me
.closure_funs
= CREG
;
1731 CREG
[0] = clos_fun0
;
1732 /* ./../lib/standard//kernel.nit:352 */
1734 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1735 if (UNTAG_Bool(REGB2
)) {
1737 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1739 /* ./../lib/standard//kernel.nit:232 */
1740 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1741 /* ./../lib/standard//kernel.nit:352 */
1742 if (UNTAG_Bool(REGB2
)) {
1743 /* ./../lib/standard//kernel.nit:353 */
1744 ((void (*)(struct stack_frame_t
*, val_t
))(CREG
[0]))(closctx_param
, REGB0
);
1745 if (closctx_param
->has_broke
) {
1748 /* ./../lib/standard//kernel.nit:354 */
1750 /* ./../lib/standard//kernel.nit:235 */
1751 REGB2
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB2
));
1752 /* ./../lib/standard//kernel.nit:354 */
1755 /* ./../lib/standard//kernel.nit:352 */
1761 stack_frame_head
= fra
.me
.prev
;
1764 val_t
standard___kernel___Int___abs(val_t p0
){
1765 struct {struct stack_frame_t me
;} fra
;
1770 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1771 fra
.me
.file
= LOCATE_standard___kernel
;
1773 fra
.me
.meth
= LOCATE_standard___kernel___Int___abs
;
1774 fra
.me
.has_broke
= 0;
1775 fra
.me
.REG_size
= 0;
1777 /* ./../lib/standard//kernel.nit:361 */
1779 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1780 if (UNTAG_Bool(REGB2
)) {
1782 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1784 /* ./../lib/standard//kernel.nit:233 */
1785 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
1786 /* ./../lib/standard//kernel.nit:361 */
1787 if (UNTAG_Bool(REGB1
)) {
1788 /* ./../lib/standard//kernel.nit:363 */
1792 /* ./../lib/standard//kernel.nit:365 */
1794 /* ./../lib/standard//kernel.nit:236 */
1795 REGB2
= TAG_Int(-UNTAG_Int(REGB2
));
1796 /* ./../lib/standard//kernel.nit:238 */
1797 REGB0
= TAG_Int(UNTAG_Int(REGB2
)*UNTAG_Int(REGB0
));
1798 /* ./../lib/standard//kernel.nit:365 */
1803 stack_frame_head
= fra
.me
.prev
;
1806 val_t
standard___kernel___Char___object_id(val_t p0
){
1807 struct {struct stack_frame_t me
;} fra
;
1810 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1811 fra
.me
.file
= LOCATE_standard___kernel
;
1813 fra
.me
.meth
= LOCATE_standard___kernel___Char___object_id
;
1814 fra
.me
.has_broke
= 0;
1815 fra
.me
.REG_size
= 0;
1817 /* ./../lib/standard//kernel.nit:377 */
1818 REGB0
= TAG_Int(UNTAG_Char(REGB0
));
1819 stack_frame_head
= fra
.me
.prev
;
1822 val_t
standard___kernel___Char_____eqeq(val_t p0
, val_t p1
){
1823 struct {struct stack_frame_t me
;} fra
;
1826 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1827 fra
.me
.file
= LOCATE_standard___kernel
;
1829 fra
.me
.meth
= LOCATE_standard___kernel___Char_____eqeq
;
1830 fra
.me
.has_broke
= 0;
1831 fra
.me
.REG_size
= 1;
1832 fra
.me
.REG
[0] = NIT_NULL
;
1835 /* ./../lib/standard//kernel.nit:378 */
1836 REGB0
= TAG_Bool((REGB0
)==(fra
.me
.REG
[0]));
1837 stack_frame_head
= fra
.me
.prev
;
1840 val_t
standard___kernel___Char_____neq(val_t p0
, val_t p1
){
1841 struct {struct stack_frame_t me
;} fra
;
1844 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1845 fra
.me
.file
= LOCATE_standard___kernel
;
1847 fra
.me
.meth
= LOCATE_standard___kernel___Char_____neq
;
1848 fra
.me
.has_broke
= 0;
1849 fra
.me
.REG_size
= 1;
1850 fra
.me
.REG
[0] = NIT_NULL
;
1853 /* ./../lib/standard//kernel.nit:379 */
1854 REGB0
= TAG_Bool((REGB0
)!=(fra
.me
.REG
[0]));
1855 stack_frame_head
= fra
.me
.prev
;
1858 void standard___kernel___Char___output(val_t p0
){
1859 struct {struct stack_frame_t me
;} fra
;
1862 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1863 fra
.me
.file
= LOCATE_standard___kernel
;
1865 fra
.me
.meth
= LOCATE_standard___kernel___Char___output
;
1866 fra
.me
.has_broke
= 0;
1867 fra
.me
.REG_size
= 0;
1869 /* ./../lib/standard//kernel.nit:380 */
1870 printf("%c", (unsigned char)UNTAG_Char(REGB0
));;
1871 stack_frame_head
= fra
.me
.prev
;
1874 val_t
standard___kernel___Char_____leq(val_t p0
, val_t p1
){
1875 struct {struct stack_frame_t me
;} fra
;
1880 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1881 fra
.me
.file
= LOCATE_standard___kernel
;
1883 fra
.me
.meth
= LOCATE_standard___kernel___Char_____leq
;
1884 fra
.me
.has_broke
= 0;
1885 fra
.me
.REG_size
= 0;
1888 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1889 if (UNTAG_Bool(REGB2
)) {
1891 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1893 /* ./../lib/standard//kernel.nit:382 */
1894 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<=UNTAG_Char(REGB1
));
1895 stack_frame_head
= fra
.me
.prev
;
1898 val_t
standard___kernel___Char_____l(val_t p0
, val_t p1
){
1899 struct {struct stack_frame_t me
;} fra
;
1904 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1905 fra
.me
.file
= LOCATE_standard___kernel
;
1907 fra
.me
.meth
= LOCATE_standard___kernel___Char_____l
;
1908 fra
.me
.has_broke
= 0;
1909 fra
.me
.REG_size
= 0;
1912 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1913 if (UNTAG_Bool(REGB2
)) {
1915 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1917 /* ./../lib/standard//kernel.nit:383 */
1918 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<UNTAG_Char(REGB1
));
1919 stack_frame_head
= fra
.me
.prev
;
1922 val_t
standard___kernel___Char_____geq(val_t p0
, val_t p1
){
1923 struct {struct stack_frame_t me
;} fra
;
1928 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1929 fra
.me
.file
= LOCATE_standard___kernel
;
1931 fra
.me
.meth
= LOCATE_standard___kernel___Char_____geq
;
1932 fra
.me
.has_broke
= 0;
1933 fra
.me
.REG_size
= 0;
1936 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1937 if (UNTAG_Bool(REGB2
)) {
1939 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1941 /* ./../lib/standard//kernel.nit:384 */
1942 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>=UNTAG_Char(REGB1
));
1943 stack_frame_head
= fra
.me
.prev
;
1946 val_t
standard___kernel___Char_____g(val_t p0
, val_t p1
){
1947 struct {struct stack_frame_t me
;} fra
;
1952 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1953 fra
.me
.file
= LOCATE_standard___kernel
;
1955 fra
.me
.meth
= LOCATE_standard___kernel___Char_____g
;
1956 fra
.me
.has_broke
= 0;
1957 fra
.me
.REG_size
= 0;
1960 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1961 if (UNTAG_Bool(REGB2
)) {
1963 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1965 /* ./../lib/standard//kernel.nit:385 */
1966 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>UNTAG_Char(REGB1
));
1967 stack_frame_head
= fra
.me
.prev
;
1970 val_t
standard___kernel___Char___succ(val_t p0
){
1971 struct {struct stack_frame_t me
;} fra
;
1974 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1975 fra
.me
.file
= LOCATE_standard___kernel
;
1977 fra
.me
.meth
= LOCATE_standard___kernel___Char___succ
;
1978 fra
.me
.has_broke
= 0;
1979 fra
.me
.REG_size
= 0;
1981 /* ./../lib/standard//kernel.nit:387 */
1982 REGB0
= TAG_Char(UNTAG_Char(REGB0
)+1);
1983 stack_frame_head
= fra
.me
.prev
;
1986 val_t
standard___kernel___Char___prec(val_t p0
){
1987 struct {struct stack_frame_t me
;} fra
;
1990 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1991 fra
.me
.file
= LOCATE_standard___kernel
;
1993 fra
.me
.meth
= LOCATE_standard___kernel___Char___prec
;
1994 fra
.me
.has_broke
= 0;
1995 fra
.me
.REG_size
= 0;
1997 /* ./../lib/standard//kernel.nit:388 */
1998 REGB0
= TAG_Char(UNTAG_Char(REGB0
)-1);
1999 stack_frame_head
= fra
.me
.prev
;
2002 val_t
standard___kernel___Char___distance(val_t p0
, val_t p1
){
2003 struct {struct stack_frame_t me
;} fra
;
2008 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2009 fra
.me
.file
= LOCATE_standard___kernel
;
2011 fra
.me
.meth
= LOCATE_standard___kernel___Char___distance
;
2012 fra
.me
.has_broke
= 0;
2013 fra
.me
.REG_size
= 0;
2016 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2017 if (UNTAG_Bool(REGB2
)) {
2019 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2021 /* ./../lib/standard//kernel.nit:413 */
2022 REGB0
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2023 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB1
));
2024 /* ./../lib/standard//kernel.nit:237 */
2025 REGB1
= TAG_Int(UNTAG_Int(REGB0
)-UNTAG_Int(REGB1
));
2026 /* ./../lib/standard//kernel.nit:393 */
2028 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
2029 if (UNTAG_Bool(REGB2
)) {
2031 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2033 /* ./../lib/standard//kernel.nit:233 */
2034 REGB0
= TAG_Bool(UNTAG_Int(REGB1
)>=UNTAG_Int(REGB0
));
2035 /* ./../lib/standard//kernel.nit:393 */
2036 if (UNTAG_Bool(REGB0
)) {
2037 /* ./../lib/standard//kernel.nit:394 */
2041 /* ./../lib/standard//kernel.nit:236 */
2042 REGB1
= TAG_Int(-UNTAG_Int(REGB1
));
2043 /* ./../lib/standard//kernel.nit:396 */
2048 stack_frame_head
= fra
.me
.prev
;
2051 val_t
standard___kernel___Char___to_i(val_t p0
){
2052 struct {struct stack_frame_t me
;} fra
;
2058 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2059 fra
.me
.file
= LOCATE_standard___kernel
;
2061 fra
.me
.meth
= LOCATE_standard___kernel___Char___to_i
;
2062 fra
.me
.has_broke
= 0;
2063 fra
.me
.REG_size
= 0;
2065 /* ./../lib/standard//kernel.nit:404 */
2066 REGB1
= TAG_Char('-');
2067 REGB2
= TAG_Bool(IS_EQUAL_OO(REGB0
,REGB1
));
2068 if (UNTAG_Bool(REGB2
)) {
2070 /* ./../lib/standard//kernel.nit:378 */
2071 REGB1
= TAG_Bool((REGB0
)==(REGB1
));
2072 /* ./../lib/standard//kernel.nit:404 */
2075 if (UNTAG_Bool(REGB2
)) {
2076 /* ./../lib/standard//kernel.nit:405 */
2078 /* ./../lib/standard//kernel.nit:236 */
2079 REGB2
= TAG_Int(-UNTAG_Int(REGB2
));
2080 /* ./../lib/standard//kernel.nit:405 */
2083 /* ./../lib/standard//kernel.nit:406 */
2084 REGB1
= CALL_standard___kernel___Char___is_digit(REGB0
)(REGB0
);
2085 if (UNTAG_Bool(REGB1
)) {
2086 /* ./../lib/standard//kernel.nit:413 */
2087 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2088 /* ./../lib/standard//kernel.nit:407 */
2089 REGB3
= TAG_Char('0');
2090 /* ./../lib/standard//kernel.nit:413 */
2091 REGB3
= TAG_Int((unsigned char)UNTAG_Char(REGB3
));
2092 /* ./../lib/standard//kernel.nit:237 */
2093 REGB3
= TAG_Int(UNTAG_Int(REGB1
)-UNTAG_Int(REGB3
));
2094 /* ./../lib/standard//kernel.nit:407 */
2098 /* ./../lib/standard//kernel.nit:409 */
2099 REGB0
= CALL_standard___kernel___Char___to_lower(REGB0
)(REGB0
);
2100 /* ./../lib/standard//kernel.nit:413 */
2101 REGB0
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2102 /* ./../lib/standard//kernel.nit:409 */
2103 REGB3
= TAG_Char('a');
2104 /* ./../lib/standard//kernel.nit:413 */
2105 REGB3
= TAG_Int((unsigned char)UNTAG_Char(REGB3
));
2106 /* ./../lib/standard//kernel.nit:409 */
2107 REGB1
= TAG_Int(10);
2108 /* ./../lib/standard//kernel.nit:235 */
2109 REGB1
= TAG_Int(UNTAG_Int(REGB3
)+UNTAG_Int(REGB1
));
2110 /* ./../lib/standard//kernel.nit:237 */
2111 REGB1
= TAG_Int(UNTAG_Int(REGB0
)-UNTAG_Int(REGB1
));
2112 /* ./../lib/standard//kernel.nit:409 */
2118 stack_frame_head
= fra
.me
.prev
;
2121 val_t
standard___kernel___Char___ascii(val_t p0
){
2122 struct {struct stack_frame_t me
;} fra
;
2125 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2126 fra
.me
.file
= LOCATE_standard___kernel
;
2128 fra
.me
.meth
= LOCATE_standard___kernel___Char___ascii
;
2129 fra
.me
.has_broke
= 0;
2130 fra
.me
.REG_size
= 0;
2132 /* ./../lib/standard//kernel.nit:413 */
2133 REGB0
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2134 stack_frame_head
= fra
.me
.prev
;
2137 val_t
standard___kernel___Char_____plus(val_t p0
, val_t p1
){
2138 struct {struct stack_frame_t me
;} fra
;
2142 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2143 fra
.me
.file
= LOCATE_standard___kernel
;
2145 fra
.me
.meth
= LOCATE_standard___kernel___Char_____plus
;
2146 fra
.me
.has_broke
= 0;
2147 fra
.me
.REG_size
= 0;
2150 /* ./../lib/standard//kernel.nit:416 */
2151 REGB1
= TAG_Char(UNTAG_Char(REGB0
)+UNTAG_Char(REGB1
));
2152 stack_frame_head
= fra
.me
.prev
;
2155 val_t
standard___kernel___Char_____minus(val_t p0
, val_t p1
){
2156 struct {struct stack_frame_t me
;} fra
;
2160 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2161 fra
.me
.file
= LOCATE_standard___kernel
;
2163 fra
.me
.meth
= LOCATE_standard___kernel___Char_____minus
;
2164 fra
.me
.has_broke
= 0;
2165 fra
.me
.REG_size
= 0;
2168 /* ./../lib/standard//kernel.nit:417 */
2169 REGB1
= TAG_Char(UNTAG_Char(REGB0
)-UNTAG_Char(REGB1
));
2170 stack_frame_head
= fra
.me
.prev
;
2173 val_t
standard___kernel___Char___to_lower(val_t p0
){
2174 struct {struct stack_frame_t me
;} fra
;
2180 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2181 fra
.me
.file
= LOCATE_standard___kernel
;
2183 fra
.me
.meth
= LOCATE_standard___kernel___Char___to_lower
;
2184 fra
.me
.has_broke
= 0;
2185 fra
.me
.REG_size
= 0;
2187 /* ./../lib/standard//kernel.nit:423 */
2188 REGB1
= CALL_standard___kernel___Char___is_upper(REGB0
)(REGB0
);
2189 if (UNTAG_Bool(REGB1
)) {
2190 /* ./../lib/standard//kernel.nit:413 */
2191 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2192 /* ./../lib/standard//kernel.nit:424 */
2193 REGB2
= TAG_Char('a');
2194 REGB3
= TAG_Char('A');
2195 REGB3
= CALL_standard___kernel___Discrete___distance(REGB2
)(REGB2
, REGB3
);
2196 /* ./../lib/standard//kernel.nit:235 */
2197 REGB3
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB3
));
2198 /* ./../lib/standard//kernel.nit:297 */
2199 REGB3
= TAG_Char(UNTAG_Int(REGB3
));
2200 /* ./../lib/standard//kernel.nit:424 */
2203 /* ./../lib/standard//kernel.nit:426 */
2208 stack_frame_head
= fra
.me
.prev
;
2211 val_t
standard___kernel___Char___to_upper(val_t p0
){
2212 struct {struct stack_frame_t me
;} fra
;
2218 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2219 fra
.me
.file
= LOCATE_standard___kernel
;
2221 fra
.me
.meth
= LOCATE_standard___kernel___Char___to_upper
;
2222 fra
.me
.has_broke
= 0;
2223 fra
.me
.REG_size
= 0;
2225 /* ./../lib/standard//kernel.nit:434 */
2226 REGB1
= CALL_standard___kernel___Char___is_lower(REGB0
)(REGB0
);
2227 if (UNTAG_Bool(REGB1
)) {
2228 /* ./../lib/standard//kernel.nit:413 */
2229 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2230 /* ./../lib/standard//kernel.nit:435 */
2231 REGB2
= TAG_Char('a');
2232 REGB3
= TAG_Char('A');
2233 REGB3
= CALL_standard___kernel___Discrete___distance(REGB2
)(REGB2
, REGB3
);
2234 /* ./../lib/standard//kernel.nit:237 */
2235 REGB3
= TAG_Int(UNTAG_Int(REGB1
)-UNTAG_Int(REGB3
));
2236 /* ./../lib/standard//kernel.nit:297 */
2237 REGB3
= TAG_Char(UNTAG_Int(REGB3
));
2238 /* ./../lib/standard//kernel.nit:435 */
2241 /* ./../lib/standard//kernel.nit:437 */
2246 stack_frame_head
= fra
.me
.prev
;
2249 val_t
standard___kernel___Char___is_digit(val_t p0
){
2250 struct {struct stack_frame_t me
;} fra
;
2255 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2256 fra
.me
.file
= LOCATE_standard___kernel
;
2258 fra
.me
.meth
= LOCATE_standard___kernel___Char___is_digit
;
2259 fra
.me
.has_broke
= 0;
2260 fra
.me
.REG_size
= 0;
2262 /* ./../lib/standard//kernel.nit:444 */
2263 REGB1
= TAG_Char('0');
2264 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2265 if (UNTAG_Bool(REGB2
)) {
2267 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2269 /* ./../lib/standard//kernel.nit:384 */
2270 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>=UNTAG_Char(REGB1
));
2271 /* ./../lib/standard//kernel.nit:444 */
2272 if (UNTAG_Bool(REGB1
)) {
2273 REGB1
= TAG_Char('9');
2274 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2275 if (UNTAG_Bool(REGB2
)) {
2277 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2279 /* ./../lib/standard//kernel.nit:382 */
2280 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<=UNTAG_Char(REGB1
));
2282 /* ./../lib/standard//kernel.nit:444 */
2283 REGB0
= TAG_Bool(false);
2288 stack_frame_head
= fra
.me
.prev
;
2291 val_t
standard___kernel___Char___is_lower(val_t p0
){
2292 struct {struct stack_frame_t me
;} fra
;
2297 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2298 fra
.me
.file
= LOCATE_standard___kernel
;
2300 fra
.me
.meth
= LOCATE_standard___kernel___Char___is_lower
;
2301 fra
.me
.has_broke
= 0;
2302 fra
.me
.REG_size
= 0;
2304 /* ./../lib/standard//kernel.nit:450 */
2305 REGB1
= TAG_Char('a');
2306 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2307 if (UNTAG_Bool(REGB2
)) {
2309 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2311 /* ./../lib/standard//kernel.nit:384 */
2312 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>=UNTAG_Char(REGB1
));
2313 /* ./../lib/standard//kernel.nit:450 */
2314 if (UNTAG_Bool(REGB1
)) {
2315 REGB1
= TAG_Char('z');
2316 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2317 if (UNTAG_Bool(REGB2
)) {
2319 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2321 /* ./../lib/standard//kernel.nit:382 */
2322 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<=UNTAG_Char(REGB1
));
2324 /* ./../lib/standard//kernel.nit:450 */
2325 REGB0
= TAG_Bool(false);
2330 stack_frame_head
= fra
.me
.prev
;
2333 val_t
standard___kernel___Char___is_upper(val_t p0
){
2334 struct {struct stack_frame_t me
;} fra
;
2339 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2340 fra
.me
.file
= LOCATE_standard___kernel
;
2342 fra
.me
.meth
= LOCATE_standard___kernel___Char___is_upper
;
2343 fra
.me
.has_broke
= 0;
2344 fra
.me
.REG_size
= 0;
2346 /* ./../lib/standard//kernel.nit:456 */
2347 REGB1
= TAG_Char('A');
2348 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2349 if (UNTAG_Bool(REGB2
)) {
2351 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2353 /* ./../lib/standard//kernel.nit:384 */
2354 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>=UNTAG_Char(REGB1
));
2355 /* ./../lib/standard//kernel.nit:456 */
2356 if (UNTAG_Bool(REGB1
)) {
2357 REGB1
= TAG_Char('Z');
2358 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2359 if (UNTAG_Bool(REGB2
)) {
2361 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2363 /* ./../lib/standard//kernel.nit:382 */
2364 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<=UNTAG_Char(REGB1
));
2366 /* ./../lib/standard//kernel.nit:456 */
2367 REGB0
= TAG_Bool(false);
2372 stack_frame_head
= fra
.me
.prev
;
2375 val_t
standard___kernel___Char___is_letter(val_t p0
){
2376 struct {struct stack_frame_t me
;} fra
;
2380 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2381 fra
.me
.file
= LOCATE_standard___kernel
;
2383 fra
.me
.meth
= LOCATE_standard___kernel___Char___is_letter
;
2384 fra
.me
.has_broke
= 0;
2385 fra
.me
.REG_size
= 0;
2387 /* ./../lib/standard//kernel.nit:462 */
2388 REGB1
= CALL_standard___kernel___Char___is_lower(REGB0
)(REGB0
);
2389 if (UNTAG_Bool(REGB1
)) {
2390 REGB1
= TAG_Bool(true);
2392 REGB0
= CALL_standard___kernel___Char___is_upper(REGB0
)(REGB0
);
2397 stack_frame_head
= fra
.me
.prev
;