1 /* This C file is generated by NIT to compile module standard___kernel. */
2 #include "standard___kernel._sep.h"
3 static const char LOCATE_standard___kernel___Object___object_id
[] = "kernel::Object::object_id";
4 val_t
standard___kernel___Object___object_id(val_t p0
){
5 struct {struct stack_frame_t me
;} fra
;
8 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
9 fra
.me
.file
= LOCATE_standard___kernel
;
11 fra
.me
.meth
= LOCATE_standard___kernel___Object___object_id
;
14 fra
.me
.nitni_local_ref_head
= NULL
;
15 fra
.me
.REG
[0] = NIT_NULL
;
17 /* ../lib/standard/kernel.nit:29 */
18 REGB0
= TAG_Int((bigint
)((obj_t
)fra
.me
.REG
[0])[1].object_id
);
19 stack_frame_head
= fra
.me
.prev
;
22 static const char LOCATE_standard___kernel___Object___is_same_type
[] = "kernel::Object::is_same_type";
23 val_t
standard___kernel___Object___is_same_type(val_t p0
, val_t p1
){
24 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
27 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
28 fra
.me
.file
= LOCATE_standard___kernel
;
30 fra
.me
.meth
= LOCATE_standard___kernel___Object___is_same_type
;
33 fra
.me
.nitni_local_ref_head
= NULL
;
34 fra
.me
.REG
[0] = NIT_NULL
;
35 fra
.me
.REG
[1] = NIT_NULL
;
38 /* ../lib/standard/kernel.nit:34 */
39 REGB0
= TAG_Bool((VAL2VFT(fra
.me
.REG
[0])==VAL2VFT(fra
.me
.REG
[1])));
40 stack_frame_head
= fra
.me
.prev
;
43 static const char LOCATE_standard___kernel___Object_____eqeq
[] = "kernel::Object::==";
44 val_t
standard___kernel___Object_____eqeq(val_t p0
, val_t p1
){
45 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
48 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
49 fra
.me
.file
= LOCATE_standard___kernel
;
51 fra
.me
.meth
= LOCATE_standard___kernel___Object_____eqeq
;
54 fra
.me
.nitni_local_ref_head
= NULL
;
55 fra
.me
.REG
[0] = NIT_NULL
;
56 fra
.me
.REG
[1] = NIT_NULL
;
59 /* ../lib/standard/kernel.nit:42 */
60 REGB0
= TAG_Bool(IS_EQUAL_ON(fra
.me
.REG
[0],fra
.me
.REG
[1]));
63 stack_frame_head
= fra
.me
.prev
;
66 static const char LOCATE_standard___kernel___Object_____neq
[] = "kernel::Object::!=";
67 val_t
standard___kernel___Object_____neq(val_t p0
, val_t p1
){
68 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
72 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
73 fra
.me
.file
= LOCATE_standard___kernel
;
75 fra
.me
.meth
= LOCATE_standard___kernel___Object_____neq
;
78 fra
.me
.nitni_local_ref_head
= NULL
;
79 fra
.me
.REG
[0] = NIT_NULL
;
80 fra
.me
.REG
[1] = NIT_NULL
;
83 /* ../lib/standard/kernel.nit:47 */
84 REGB0
= TAG_Bool(IS_EQUAL_ON(fra
.me
.REG
[0],fra
.me
.REG
[1]));
85 if (UNTAG_Bool(REGB0
)) {
87 REGB1
= CALL_standard___kernel___Object_____eqeq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
90 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
93 stack_frame_head
= fra
.me
.prev
;
96 static const char LOCATE_standard___kernel___Object___output
[] = "kernel::Object::output";
97 void standard___kernel___Object___output(val_t p0
){
98 struct {struct stack_frame_t me
;} fra
;
101 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
102 fra
.me
.file
= LOCATE_standard___kernel
;
104 fra
.me
.meth
= LOCATE_standard___kernel___Object___output
;
105 fra
.me
.has_broke
= 0;
107 fra
.me
.nitni_local_ref_head
= NULL
;
108 fra
.me
.REG
[0] = NIT_NULL
;
110 /* ../lib/standard/kernel.nit:54 */
111 REGB0
= TAG_Char('<');
112 /* ../lib/standard/kernel.nit:436 */
113 printf("%c", (unsigned char)UNTAG_Char(REGB0
));;
114 /* ../lib/standard/kernel.nit:55 */
115 REGB0
= CALL_standard___kernel___Object___object_id(fra
.me
.REG
[0])(fra
.me
.REG
[0]);
116 /* ../lib/standard/kernel.nit:239 */
117 printf("%ld\n", UNTAG_Int(REGB0
));;
118 /* ../lib/standard/kernel.nit:56 */
119 REGB0
= TAG_Char('>');
120 /* ../lib/standard/kernel.nit:436 */
121 printf("%c", (unsigned char)UNTAG_Char(REGB0
));;
122 stack_frame_head
= fra
.me
.prev
;
125 static const char LOCATE_standard___kernel___Object___output_class_name
[] = "kernel::Object::output_class_name";
126 void standard___kernel___Object___output_class_name(val_t p0
){
127 struct {struct stack_frame_t me
;} fra
;
129 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
130 fra
.me
.file
= LOCATE_standard___kernel
;
132 fra
.me
.meth
= LOCATE_standard___kernel___Object___output_class_name
;
133 fra
.me
.has_broke
= 0;
135 fra
.me
.nitni_local_ref_head
= NULL
;
136 fra
.me
.REG
[0] = NIT_NULL
;
138 /* ../lib/standard/kernel.nit:59 */
139 printf("%s\n", VAL2VFT(fra
.me
.REG
[0])[2].cname
);;
140 stack_frame_head
= fra
.me
.prev
;
143 static const char LOCATE_standard___kernel___Object___exit
[] = "kernel::Object::exit";
144 void standard___kernel___Object___exit(val_t p0
, val_t p1
){
145 struct {struct stack_frame_t me
;} fra
;
148 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
149 fra
.me
.file
= LOCATE_standard___kernel
;
151 fra
.me
.meth
= LOCATE_standard___kernel___Object___exit
;
152 fra
.me
.has_broke
= 0;
154 fra
.me
.nitni_local_ref_head
= NULL
;
155 fra
.me
.REG
[0] = NIT_NULL
;
158 /* ../lib/standard/kernel.nit:64 */
159 exit(UNTAG_Int(REGB0
));;
160 stack_frame_head
= fra
.me
.prev
;
163 static const char LOCATE_standard___kernel___Object___sys
[] = "kernel::Object::sys";
164 val_t
standard___kernel___Object___sys(val_t p0
){
165 struct {struct stack_frame_t me
;} fra
;
167 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
168 fra
.me
.file
= LOCATE_standard___kernel
;
170 fra
.me
.meth
= LOCATE_standard___kernel___Object___sys
;
171 fra
.me
.has_broke
= 0;
173 fra
.me
.nitni_local_ref_head
= NULL
;
174 fra
.me
.REG
[0] = NIT_NULL
;
176 /* ../lib/standard/kernel.nit:67 */
177 fra
.me
.REG
[0] = (G_sys
);
178 stack_frame_head
= fra
.me
.prev
;
179 return fra
.me
.REG
[0];
181 static const char LOCATE_standard___kernel___Sys___main
[] = "kernel::Sys::main";
182 void standard___kernel___Sys___main(val_t p0
){
183 struct {struct stack_frame_t me
;} fra
;
185 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
186 fra
.me
.file
= LOCATE_standard___kernel
;
188 fra
.me
.meth
= LOCATE_standard___kernel___Sys___main
;
189 fra
.me
.has_broke
= 0;
191 fra
.me
.nitni_local_ref_head
= NULL
;
192 fra
.me
.REG
[0] = NIT_NULL
;
194 stack_frame_head
= fra
.me
.prev
;
197 static const char LOCATE_standard___kernel___Sys___init
[] = "kernel::Sys::init";
198 void standard___kernel___Sys___init(val_t p0
, int* init_table
){
199 int itpos0
= VAL2OBJ(p0
)->vft
[INIT_TABLE_POS_standard___kernel___Sys
].i
;
200 struct {struct stack_frame_t me
;} fra
;
202 if (init_table
[itpos0
]) return;
203 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
204 fra
.me
.file
= LOCATE_standard___kernel
;
206 fra
.me
.meth
= LOCATE_standard___kernel___Sys___init
;
207 fra
.me
.has_broke
= 0;
209 fra
.me
.nitni_local_ref_head
= NULL
;
210 stack_frame_head
= fra
.me
.prev
;
211 init_table
[itpos0
] = 1;
214 static const char LOCATE_standard___kernel___Comparable_____l
[] = "kernel::Comparable::<";
215 val_t
standard___kernel___Comparable_____l(val_t p0
, val_t p1
){
216 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
219 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
220 fra
.me
.file
= LOCATE_standard___kernel
;
222 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____l
;
223 fra
.me
.has_broke
= 0;
225 fra
.me
.nitni_local_ref_head
= NULL
;
226 fra
.me
.REG
[0] = NIT_NULL
;
227 fra
.me
.REG
[1] = NIT_NULL
;
230 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*/;
231 if (UNTAG_Bool(REGB0
)) {
233 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
235 /* ../lib/standard/kernel.nit:89 */
236 nit_abort("Deferred method called", NULL
, LOCATE_standard___kernel
, 89);
237 stack_frame_head
= fra
.me
.prev
;
240 static const char LOCATE_standard___kernel___Comparable_____leq
[] = "kernel::Comparable::<=";
241 val_t
standard___kernel___Comparable_____leq(val_t p0
, val_t p1
){
242 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
245 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
246 fra
.me
.file
= LOCATE_standard___kernel
;
248 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____leq
;
249 fra
.me
.has_broke
= 0;
251 fra
.me
.nitni_local_ref_head
= NULL
;
252 fra
.me
.REG
[0] = NIT_NULL
;
253 fra
.me
.REG
[1] = NIT_NULL
;
256 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*/;
257 if (UNTAG_Bool(REGB0
)) {
259 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
261 /* ../lib/standard/kernel.nit:94 */
262 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
263 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
266 stack_frame_head
= fra
.me
.prev
;
269 static const char LOCATE_standard___kernel___Comparable_____geq
[] = "kernel::Comparable::>=";
270 val_t
standard___kernel___Comparable_____geq(val_t p0
, val_t p1
){
271 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
274 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
275 fra
.me
.file
= LOCATE_standard___kernel
;
277 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____geq
;
278 fra
.me
.has_broke
= 0;
280 fra
.me
.nitni_local_ref_head
= NULL
;
281 fra
.me
.REG
[0] = NIT_NULL
;
282 fra
.me
.REG
[1] = NIT_NULL
;
285 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*/;
286 if (UNTAG_Bool(REGB0
)) {
288 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
290 /* ../lib/standard/kernel.nit:98 */
291 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
292 REGB0
= TAG_Bool(!UNTAG_Bool(REGB0
));
295 stack_frame_head
= fra
.me
.prev
;
298 static const char LOCATE_standard___kernel___Comparable_____g
[] = "kernel::Comparable::>";
299 val_t
standard___kernel___Comparable_____g(val_t p0
, val_t p1
){
300 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_____g
;
307 fra
.me
.has_broke
= 0;
309 fra
.me
.nitni_local_ref_head
= NULL
;
310 fra
.me
.REG
[0] = NIT_NULL
;
311 fra
.me
.REG
[1] = NIT_NULL
;
314 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*/;
315 if (UNTAG_Bool(REGB0
)) {
317 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
319 /* ../lib/standard/kernel.nit:101 */
320 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
323 stack_frame_head
= fra
.me
.prev
;
326 static const char LOCATE_standard___kernel___Comparable_____leqg
[] = "kernel::Comparable::<=>";
327 val_t
standard___kernel___Comparable_____leqg(val_t p0
, val_t p1
){
328 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
332 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
333 fra
.me
.file
= LOCATE_standard___kernel
;
335 fra
.me
.meth
= LOCATE_standard___kernel___Comparable_____leqg
;
336 fra
.me
.has_broke
= 0;
338 fra
.me
.nitni_local_ref_head
= NULL
;
339 fra
.me
.REG
[0] = NIT_NULL
;
340 fra
.me
.REG
[1] = NIT_NULL
;
343 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*/;
344 if (UNTAG_Bool(REGB0
)) {
346 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
348 /* ../lib/standard/kernel.nit:107 */
349 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
350 if (UNTAG_Bool(REGB0
)) {
351 /* ../lib/standard/kernel.nit:108 */
353 /* ../lib/standard/kernel.nit:246 */
354 REGB0
= TAG_Int(-UNTAG_Int(REGB0
));
355 /* ../lib/standard/kernel.nit:108 */
358 /* ../lib/standard/kernel.nit:109 */
359 REGB1
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
360 if (UNTAG_Bool(REGB1
)) {
361 /* ../lib/standard/kernel.nit:110 */
366 /* ../lib/standard/kernel.nit:112 */
373 stack_frame_head
= fra
.me
.prev
;
376 static const char LOCATE_standard___kernel___Comparable___is_between
[] = "kernel::Comparable::is_between";
377 val_t
standard___kernel___Comparable___is_between(val_t p0
, val_t p1
, val_t p2
){
378 struct {struct stack_frame_t me
; val_t MORE_REG
[2];} fra
;
382 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
383 fra
.me
.file
= LOCATE_standard___kernel
;
385 fra
.me
.meth
= LOCATE_standard___kernel___Comparable___is_between
;
386 fra
.me
.has_broke
= 0;
388 fra
.me
.nitni_local_ref_head
= NULL
;
389 fra
.me
.REG
[0] = NIT_NULL
;
390 fra
.me
.REG
[1] = NIT_NULL
;
391 fra
.me
.REG
[2] = NIT_NULL
;
395 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*/;
396 if (UNTAG_Bool(REGB0
)) {
398 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
400 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*/;
401 if (UNTAG_Bool(REGB0
)) {
403 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
405 /* ../lib/standard/kernel.nit:119 */
406 REGB0
= CALL_standard___kernel___Comparable_____leq(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
407 if (UNTAG_Bool(REGB0
)) {
408 REGB0
= CALL_standard___kernel___Comparable_____leq(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[2]);
415 stack_frame_head
= fra
.me
.prev
;
418 static const char LOCATE_standard___kernel___Comparable___max
[] = "kernel::Comparable::max";
419 val_t
standard___kernel___Comparable___max(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___max
;
427 fra
.me
.has_broke
= 0;
429 fra
.me
.nitni_local_ref_head
= NULL
;
430 fra
.me
.REG
[0] = NIT_NULL
;
431 fra
.me
.REG
[1] = NIT_NULL
;
434 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*/;
435 if (UNTAG_Bool(REGB0
)) {
437 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
439 /* ../lib/standard/kernel.nit:125 */
440 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
441 if (UNTAG_Bool(REGB0
)) {
442 /* ../lib/standard/kernel.nit:126 */
445 /* ../lib/standard/kernel.nit:128 */
446 fra
.me
.REG
[1] = fra
.me
.REG
[0];
450 stack_frame_head
= fra
.me
.prev
;
451 return fra
.me
.REG
[1];
453 static const char LOCATE_standard___kernel___Comparable___min
[] = "kernel::Comparable::min";
454 val_t
standard___kernel___Comparable___min(val_t p0
, val_t p1
){
455 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
458 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
459 fra
.me
.file
= LOCATE_standard___kernel
;
461 fra
.me
.meth
= LOCATE_standard___kernel___Comparable___min
;
462 fra
.me
.has_broke
= 0;
464 fra
.me
.nitni_local_ref_head
= NULL
;
465 fra
.me
.REG
[0] = NIT_NULL
;
466 fra
.me
.REG
[1] = NIT_NULL
;
469 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*/;
470 if (UNTAG_Bool(REGB0
)) {
472 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
474 /* ../lib/standard/kernel.nit:135 */
475 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[1])(fra
.me
.REG
[1], fra
.me
.REG
[0]);
476 if (UNTAG_Bool(REGB0
)) {
477 /* ../lib/standard/kernel.nit:136 */
480 /* ../lib/standard/kernel.nit:138 */
481 fra
.me
.REG
[1] = fra
.me
.REG
[0];
485 stack_frame_head
= fra
.me
.prev
;
486 return fra
.me
.REG
[1];
488 static const char LOCATE_standard___kernel___Discrete___succ
[] = "kernel::Discrete::succ";
489 val_t
standard___kernel___Discrete___succ(val_t p0
){
490 struct {struct stack_frame_t me
;} fra
;
493 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
494 fra
.me
.file
= LOCATE_standard___kernel
;
496 fra
.me
.meth
= LOCATE_standard___kernel___Discrete___succ
;
497 fra
.me
.has_broke
= 0;
499 fra
.me
.nitni_local_ref_head
= NULL
;
500 fra
.me
.REG
[0] = NIT_NULL
;
502 /* ../lib/standard/kernel.nit:150 */
504 fra
.me
.REG
[0] = CALL_standard___kernel___Discrete_____plus(fra
.me
.REG
[0])(fra
.me
.REG
[0], REGB0
);
507 stack_frame_head
= fra
.me
.prev
;
508 return fra
.me
.REG
[0];
510 static const char LOCATE_standard___kernel___Discrete___prec
[] = "kernel::Discrete::prec";
511 val_t
standard___kernel___Discrete___prec(val_t p0
){
512 struct {struct stack_frame_t me
;} fra
;
515 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
516 fra
.me
.file
= LOCATE_standard___kernel
;
518 fra
.me
.meth
= LOCATE_standard___kernel___Discrete___prec
;
519 fra
.me
.has_broke
= 0;
521 fra
.me
.nitni_local_ref_head
= NULL
;
522 fra
.me
.REG
[0] = NIT_NULL
;
524 /* ../lib/standard/kernel.nit:153 */
526 fra
.me
.REG
[0] = CALL_standard___kernel___Discrete_____minus(fra
.me
.REG
[0])(fra
.me
.REG
[0], REGB0
);
529 stack_frame_head
= fra
.me
.prev
;
530 return fra
.me
.REG
[0];
532 static const char LOCATE_standard___kernel___Discrete_____plus
[] = "kernel::Discrete::+";
533 val_t
standard___kernel___Discrete_____plus(val_t p0
, val_t p1
){
534 struct {struct stack_frame_t me
;} fra
;
536 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
537 fra
.me
.file
= LOCATE_standard___kernel
;
539 fra
.me
.meth
= LOCATE_standard___kernel___Discrete_____plus
;
540 fra
.me
.has_broke
= 0;
542 fra
.me
.nitni_local_ref_head
= NULL
;
543 /* ../lib/standard/kernel.nit:155 */
544 nit_abort("Deferred method called", NULL
, LOCATE_standard___kernel
, 155);
545 stack_frame_head
= fra
.me
.prev
;
548 static const char LOCATE_standard___kernel___Discrete_____minus
[] = "kernel::Discrete::-";
549 val_t
standard___kernel___Discrete_____minus(val_t p0
, val_t p1
){
550 struct {struct stack_frame_t me
;} fra
;
552 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
553 fra
.me
.file
= LOCATE_standard___kernel
;
555 fra
.me
.meth
= LOCATE_standard___kernel___Discrete_____minus
;
556 fra
.me
.has_broke
= 0;
558 fra
.me
.nitni_local_ref_head
= NULL
;
559 /* ../lib/standard/kernel.nit:158 */
560 nit_abort("Deferred method called", NULL
, LOCATE_standard___kernel
, 158);
561 stack_frame_head
= fra
.me
.prev
;
564 static const char LOCATE_standard___kernel___Discrete___distance
[] = "kernel::Discrete::distance";
565 val_t
standard___kernel___Discrete___distance(val_t p0
, val_t p1
){
566 struct {struct stack_frame_t me
; val_t MORE_REG
[3];} fra
;
571 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
572 fra
.me
.file
= LOCATE_standard___kernel
;
574 fra
.me
.meth
= LOCATE_standard___kernel___Discrete___distance
;
575 fra
.me
.has_broke
= 0;
577 fra
.me
.nitni_local_ref_head
= NULL
;
578 fra
.me
.REG
[0] = NIT_NULL
;
579 fra
.me
.REG
[1] = NIT_NULL
;
580 fra
.me
.REG
[2] = NIT_NULL
;
581 fra
.me
.REG
[3] = NIT_NULL
;
584 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*/;
585 if (UNTAG_Bool(REGB0
)) {
587 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
589 /* ../lib/standard/kernel.nit:169 */
590 REGB0
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
591 if (UNTAG_Bool(REGB0
)) {
592 /* ../lib/standard/kernel.nit:170 */
593 fra
.me
.REG
[2] = fra
.me
.REG
[0];
594 /* ../lib/standard/kernel.nit:171 */
595 fra
.me
.REG
[3] = fra
.me
.REG
[1];
597 /* ../lib/standard/kernel.nit:172 */
598 REGB0
= CALL_standard___kernel___Comparable_____g(fra
.me
.REG
[0])(fra
.me
.REG
[0], fra
.me
.REG
[1]);
599 if (UNTAG_Bool(REGB0
)) {
600 /* ../lib/standard/kernel.nit:173 */
601 fra
.me
.REG
[2] = fra
.me
.REG
[1];
602 /* ../lib/standard/kernel.nit:174 */
603 fra
.me
.REG
[3] = fra
.me
.REG
[0];
605 /* ../lib/standard/kernel.nit:176 */
610 /* ../lib/standard/kernel.nit:179 */
612 /* ../lib/standard/kernel.nit:180 */
614 REGB2
= CALL_standard___kernel___Comparable_____l(fra
.me
.REG
[2])(fra
.me
.REG
[2], fra
.me
.REG
[3]);
615 if (UNTAG_Bool(REGB2
)) {
616 /* ../lib/standard/kernel.nit:181 */
617 fra
.me
.REG
[0] = CALL_standard___kernel___Discrete___succ(fra
.me
.REG
[2])(fra
.me
.REG
[2]);
618 fra
.me
.REG
[2] = fra
.me
.REG
[0];
619 /* ../lib/standard/kernel.nit:182 */
621 /* ../lib/standard/kernel.nit:245 */
622 REGB2
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB2
));
623 /* ../lib/standard/kernel.nit:182 */
626 /* ../lib/standard/kernel.nit:180 */
631 /* ../lib/standard/kernel.nit:184 */
635 stack_frame_head
= fra
.me
.prev
;
638 static const char LOCATE_standard___kernel___Bool___object_id
[] = "kernel::Bool::(kernel::Object::object_id)";
639 val_t
standard___kernel___Bool___object_id(val_t p0
){
640 struct {struct stack_frame_t me
;} fra
;
643 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
644 fra
.me
.file
= LOCATE_standard___kernel
;
646 fra
.me
.meth
= LOCATE_standard___kernel___Bool___object_id
;
647 fra
.me
.has_broke
= 0;
649 fra
.me
.nitni_local_ref_head
= NULL
;
651 /* ../lib/standard/kernel.nit:198 */
652 REGB0
= TAG_Int(UNTAG_Bool(REGB0
));
653 stack_frame_head
= fra
.me
.prev
;
656 static const char LOCATE_standard___kernel___Bool_____eqeq
[] = "kernel::Bool::(kernel::Object::==)";
657 val_t
standard___kernel___Bool_____eqeq(val_t p0
, val_t p1
){
658 struct {struct stack_frame_t me
;} fra
;
661 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
662 fra
.me
.file
= LOCATE_standard___kernel
;
664 fra
.me
.meth
= LOCATE_standard___kernel___Bool_____eqeq
;
665 fra
.me
.has_broke
= 0;
667 fra
.me
.nitni_local_ref_head
= NULL
;
668 fra
.me
.REG
[0] = NIT_NULL
;
671 /* ../lib/standard/kernel.nit:199 */
672 REGB0
= TAG_Bool((REGB0
)==(fra
.me
.REG
[0]));
673 stack_frame_head
= fra
.me
.prev
;
676 static const char LOCATE_standard___kernel___Bool_____neq
[] = "kernel::Bool::(kernel::Object::!=)";
677 val_t
standard___kernel___Bool_____neq(val_t p0
, val_t p1
){
678 struct {struct stack_frame_t me
;} fra
;
681 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
682 fra
.me
.file
= LOCATE_standard___kernel
;
684 fra
.me
.meth
= LOCATE_standard___kernel___Bool_____neq
;
685 fra
.me
.has_broke
= 0;
687 fra
.me
.nitni_local_ref_head
= NULL
;
688 fra
.me
.REG
[0] = NIT_NULL
;
691 /* ../lib/standard/kernel.nit:200 */
692 REGB0
= TAG_Bool((REGB0
)!=(fra
.me
.REG
[0]));
693 stack_frame_head
= fra
.me
.prev
;
696 static const char LOCATE_standard___kernel___Bool___output
[] = "kernel::Bool::(kernel::Object::output)";
697 void standard___kernel___Bool___output(val_t p0
){
698 struct {struct stack_frame_t me
;} fra
;
701 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
702 fra
.me
.file
= LOCATE_standard___kernel
;
704 fra
.me
.meth
= LOCATE_standard___kernel___Bool___output
;
705 fra
.me
.has_broke
= 0;
707 fra
.me
.nitni_local_ref_head
= NULL
;
709 /* ../lib/standard/kernel.nit:201 */
710 (void)printf(UNTAG_Bool(REGB0
)?
"true\n":"false\n");;
711 stack_frame_head
= fra
.me
.prev
;
714 static const char LOCATE_standard___kernel___Float___object_id
[] = "kernel::Float::(kernel::Object::object_id)";
715 val_t
standard___kernel___Float___object_id(val_t p0
){
716 struct {struct stack_frame_t me
;} fra
;
719 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
720 fra
.me
.file
= LOCATE_standard___kernel
;
722 fra
.me
.meth
= LOCATE_standard___kernel___Float___object_id
;
723 fra
.me
.has_broke
= 0;
725 fra
.me
.nitni_local_ref_head
= NULL
;
726 fra
.me
.REG
[0] = NIT_NULL
;
728 /* ../lib/standard/kernel.nit:207 */
729 REGB0
= TAG_Int((bigint
)UNBOX_Float(fra
.me
.REG
[0]));
730 stack_frame_head
= fra
.me
.prev
;
733 static const char LOCATE_standard___kernel___Float___output
[] = "kernel::Float::(kernel::Object::output)";
734 void standard___kernel___Float___output(val_t p0
){
735 struct {struct stack_frame_t me
;} fra
;
737 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
738 fra
.me
.file
= LOCATE_standard___kernel
;
740 fra
.me
.meth
= LOCATE_standard___kernel___Float___output
;
741 fra
.me
.has_broke
= 0;
743 fra
.me
.nitni_local_ref_head
= NULL
;
744 fra
.me
.REG
[0] = NIT_NULL
;
746 /* ../lib/standard/kernel.nit:208 */
747 printf("%f\n", UNBOX_Float(fra
.me
.REG
[0]));;
748 stack_frame_head
= fra
.me
.prev
;
751 static const char LOCATE_standard___kernel___Float_____leq
[] = "kernel::Float::<=";
752 val_t
standard___kernel___Float_____leq(val_t p0
, val_t p1
){
753 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
756 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
757 fra
.me
.file
= LOCATE_standard___kernel
;
759 fra
.me
.meth
= LOCATE_standard___kernel___Float_____leq
;
760 fra
.me
.has_broke
= 0;
762 fra
.me
.nitni_local_ref_head
= NULL
;
763 fra
.me
.REG
[0] = NIT_NULL
;
764 fra
.me
.REG
[1] = NIT_NULL
;
767 /* ../lib/standard/kernel.nit:210 */
768 REGB0
= TAG_Bool(UNBOX_Float(fra
.me
.REG
[0])<=UNBOX_Float(fra
.me
.REG
[1]));
769 stack_frame_head
= fra
.me
.prev
;
772 static const char LOCATE_standard___kernel___Float_____l
[] = "kernel::Float::<";
773 val_t
standard___kernel___Float_____l(val_t p0
, val_t p1
){
774 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
777 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
778 fra
.me
.file
= LOCATE_standard___kernel
;
780 fra
.me
.meth
= LOCATE_standard___kernel___Float_____l
;
781 fra
.me
.has_broke
= 0;
783 fra
.me
.nitni_local_ref_head
= NULL
;
784 fra
.me
.REG
[0] = NIT_NULL
;
785 fra
.me
.REG
[1] = NIT_NULL
;
788 /* ../lib/standard/kernel.nit:211 */
789 REGB0
= TAG_Bool(UNBOX_Float(fra
.me
.REG
[0])<UNBOX_Float(fra
.me
.REG
[1]));
790 stack_frame_head
= fra
.me
.prev
;
793 static const char LOCATE_standard___kernel___Float_____geq
[] = "kernel::Float::>=";
794 val_t
standard___kernel___Float_____geq(val_t p0
, val_t p1
){
795 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
798 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
799 fra
.me
.file
= LOCATE_standard___kernel
;
801 fra
.me
.meth
= LOCATE_standard___kernel___Float_____geq
;
802 fra
.me
.has_broke
= 0;
804 fra
.me
.nitni_local_ref_head
= NULL
;
805 fra
.me
.REG
[0] = NIT_NULL
;
806 fra
.me
.REG
[1] = NIT_NULL
;
809 /* ../lib/standard/kernel.nit:212 */
810 REGB0
= TAG_Bool(UNBOX_Float(fra
.me
.REG
[0])>=UNBOX_Float(fra
.me
.REG
[1]));
811 stack_frame_head
= fra
.me
.prev
;
814 static const char LOCATE_standard___kernel___Float_____g
[] = "kernel::Float::>";
815 val_t
standard___kernel___Float_____g(val_t p0
, val_t p1
){
816 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
819 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
820 fra
.me
.file
= LOCATE_standard___kernel
;
822 fra
.me
.meth
= LOCATE_standard___kernel___Float_____g
;
823 fra
.me
.has_broke
= 0;
825 fra
.me
.nitni_local_ref_head
= NULL
;
826 fra
.me
.REG
[0] = NIT_NULL
;
827 fra
.me
.REG
[1] = NIT_NULL
;
830 /* ../lib/standard/kernel.nit:213 */
831 REGB0
= TAG_Bool(UNBOX_Float(fra
.me
.REG
[0])>UNBOX_Float(fra
.me
.REG
[1]));
832 stack_frame_head
= fra
.me
.prev
;
835 static const char LOCATE_standard___kernel___Float_____plus
[] = "kernel::Float::+";
836 val_t
standard___kernel___Float_____plus(val_t p0
, val_t p1
){
837 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
839 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
840 fra
.me
.file
= LOCATE_standard___kernel
;
842 fra
.me
.meth
= LOCATE_standard___kernel___Float_____plus
;
843 fra
.me
.has_broke
= 0;
845 fra
.me
.nitni_local_ref_head
= NULL
;
846 fra
.me
.REG
[0] = NIT_NULL
;
847 fra
.me
.REG
[1] = NIT_NULL
;
850 /* ../lib/standard/kernel.nit:214 */
851 fra
.me
.REG
[1] = BOX_Float(UNBOX_Float(fra
.me
.REG
[0])+UNBOX_Float(fra
.me
.REG
[1]));
852 stack_frame_head
= fra
.me
.prev
;
853 return fra
.me
.REG
[1];
855 static const char LOCATE_standard___kernel___Float___unary__minus
[] = "kernel::Float::unary -";
856 val_t
standard___kernel___Float___unary__minus(val_t p0
){
857 struct {struct stack_frame_t me
;} fra
;
859 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
860 fra
.me
.file
= LOCATE_standard___kernel
;
862 fra
.me
.meth
= LOCATE_standard___kernel___Float___unary__minus
;
863 fra
.me
.has_broke
= 0;
865 fra
.me
.nitni_local_ref_head
= NULL
;
866 fra
.me
.REG
[0] = NIT_NULL
;
868 /* ../lib/standard/kernel.nit:215 */
869 fra
.me
.REG
[0] = BOX_Float(-UNBOX_Float(fra
.me
.REG
[0]));
870 stack_frame_head
= fra
.me
.prev
;
871 return fra
.me
.REG
[0];
873 static const char LOCATE_standard___kernel___Float_____minus
[] = "kernel::Float::-";
874 val_t
standard___kernel___Float_____minus(val_t p0
, val_t p1
){
875 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
877 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
878 fra
.me
.file
= LOCATE_standard___kernel
;
880 fra
.me
.meth
= LOCATE_standard___kernel___Float_____minus
;
881 fra
.me
.has_broke
= 0;
883 fra
.me
.nitni_local_ref_head
= NULL
;
884 fra
.me
.REG
[0] = NIT_NULL
;
885 fra
.me
.REG
[1] = NIT_NULL
;
888 /* ../lib/standard/kernel.nit:216 */
889 fra
.me
.REG
[1] = BOX_Float(UNBOX_Float(fra
.me
.REG
[0])-UNBOX_Float(fra
.me
.REG
[1]));
890 stack_frame_head
= fra
.me
.prev
;
891 return fra
.me
.REG
[1];
893 static const char LOCATE_standard___kernel___Float_____star
[] = "kernel::Float::*";
894 val_t
standard___kernel___Float_____star(val_t p0
, val_t p1
){
895 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
897 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
898 fra
.me
.file
= LOCATE_standard___kernel
;
900 fra
.me
.meth
= LOCATE_standard___kernel___Float_____star
;
901 fra
.me
.has_broke
= 0;
903 fra
.me
.nitni_local_ref_head
= NULL
;
904 fra
.me
.REG
[0] = NIT_NULL
;
905 fra
.me
.REG
[1] = NIT_NULL
;
908 /* ../lib/standard/kernel.nit:217 */
909 fra
.me
.REG
[1] = BOX_Float(UNBOX_Float(fra
.me
.REG
[0])*UNBOX_Float(fra
.me
.REG
[1]));
910 stack_frame_head
= fra
.me
.prev
;
911 return fra
.me
.REG
[1];
913 static const char LOCATE_standard___kernel___Float_____slash
[] = "kernel::Float::/";
914 val_t
standard___kernel___Float_____slash(val_t p0
, val_t p1
){
915 struct {struct stack_frame_t me
; val_t MORE_REG
[1];} fra
;
917 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
918 fra
.me
.file
= LOCATE_standard___kernel
;
920 fra
.me
.meth
= LOCATE_standard___kernel___Float_____slash
;
921 fra
.me
.has_broke
= 0;
923 fra
.me
.nitni_local_ref_head
= NULL
;
924 fra
.me
.REG
[0] = NIT_NULL
;
925 fra
.me
.REG
[1] = NIT_NULL
;
928 /* ../lib/standard/kernel.nit:218 */
929 fra
.me
.REG
[1] = BOX_Float(UNBOX_Float(fra
.me
.REG
[0])/UNBOX_Float(fra
.me
.REG
[1]));
930 stack_frame_head
= fra
.me
.prev
;
931 return fra
.me
.REG
[1];
933 static const char LOCATE_standard___kernel___Float___to_i
[] = "kernel::Float::to_i";
934 val_t
standard___kernel___Float___to_i(val_t p0
){
935 struct {struct stack_frame_t me
;} fra
;
938 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
939 fra
.me
.file
= LOCATE_standard___kernel
;
941 fra
.me
.meth
= LOCATE_standard___kernel___Float___to_i
;
942 fra
.me
.has_broke
= 0;
944 fra
.me
.nitni_local_ref_head
= NULL
;
945 fra
.me
.REG
[0] = NIT_NULL
;
947 /* ../lib/standard/kernel.nit:220 */
948 REGB0
= TAG_Int((bigint
)UNBOX_Float(fra
.me
.REG
[0]));
949 stack_frame_head
= fra
.me
.prev
;
952 static const char LOCATE_standard___kernel___Int___object_id
[] = "kernel::Int::(kernel::Object::object_id)";
953 val_t
standard___kernel___Int___object_id(val_t p0
){
954 struct {struct stack_frame_t me
;} fra
;
957 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
958 fra
.me
.file
= LOCATE_standard___kernel
;
960 fra
.me
.meth
= LOCATE_standard___kernel___Int___object_id
;
961 fra
.me
.has_broke
= 0;
963 fra
.me
.nitni_local_ref_head
= NULL
;
965 /* ../lib/standard/kernel.nit:236 */
967 stack_frame_head
= fra
.me
.prev
;
970 static const char LOCATE_standard___kernel___Int_____eqeq
[] = "kernel::Int::(kernel::Object::==)";
971 val_t
standard___kernel___Int_____eqeq(val_t p0
, val_t p1
){
972 struct {struct stack_frame_t me
;} fra
;
975 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
976 fra
.me
.file
= LOCATE_standard___kernel
;
978 fra
.me
.meth
= LOCATE_standard___kernel___Int_____eqeq
;
979 fra
.me
.has_broke
= 0;
981 fra
.me
.nitni_local_ref_head
= NULL
;
982 fra
.me
.REG
[0] = NIT_NULL
;
985 /* ../lib/standard/kernel.nit:237 */
986 REGB0
= TAG_Bool((REGB0
)==(fra
.me
.REG
[0]));
987 stack_frame_head
= fra
.me
.prev
;
990 static const char LOCATE_standard___kernel___Int_____neq
[] = "kernel::Int::(kernel::Object::!=)";
991 val_t
standard___kernel___Int_____neq(val_t p0
, val_t p1
){
992 struct {struct stack_frame_t me
;} fra
;
995 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
996 fra
.me
.file
= LOCATE_standard___kernel
;
998 fra
.me
.meth
= LOCATE_standard___kernel___Int_____neq
;
999 fra
.me
.has_broke
= 0;
1000 fra
.me
.REG_size
= 1;
1001 fra
.me
.nitni_local_ref_head
= NULL
;
1002 fra
.me
.REG
[0] = NIT_NULL
;
1005 /* ../lib/standard/kernel.nit:238 */
1006 REGB0
= TAG_Bool((REGB0
)!=(fra
.me
.REG
[0]));
1007 stack_frame_head
= fra
.me
.prev
;
1010 static const char LOCATE_standard___kernel___Int___output
[] = "kernel::Int::(kernel::Object::output)";
1011 void standard___kernel___Int___output(val_t p0
){
1012 struct {struct stack_frame_t me
;} fra
;
1015 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1016 fra
.me
.file
= LOCATE_standard___kernel
;
1018 fra
.me
.meth
= LOCATE_standard___kernel___Int___output
;
1019 fra
.me
.has_broke
= 0;
1020 fra
.me
.REG_size
= 0;
1021 fra
.me
.nitni_local_ref_head
= NULL
;
1023 /* ../lib/standard/kernel.nit:239 */
1024 printf("%ld\n", UNTAG_Int(REGB0
));;
1025 stack_frame_head
= fra
.me
.prev
;
1028 static const char LOCATE_standard___kernel___Int_____leq
[] = "kernel::Int::(kernel::Comparable::<=)";
1029 val_t
standard___kernel___Int_____leq(val_t p0
, val_t p1
){
1030 struct {struct stack_frame_t me
;} fra
;
1035 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1036 fra
.me
.file
= LOCATE_standard___kernel
;
1038 fra
.me
.meth
= LOCATE_standard___kernel___Int_____leq
;
1039 fra
.me
.has_broke
= 0;
1040 fra
.me
.REG_size
= 0;
1041 fra
.me
.nitni_local_ref_head
= NULL
;
1044 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1045 if (UNTAG_Bool(REGB2
)) {
1047 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1049 /* ../lib/standard/kernel.nit:241 */
1050 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<=UNTAG_Int(REGB1
));
1051 stack_frame_head
= fra
.me
.prev
;
1054 static const char LOCATE_standard___kernel___Int_____l
[] = "kernel::Int::(kernel::Comparable::<)";
1055 val_t
standard___kernel___Int_____l(val_t p0
, val_t p1
){
1056 struct {struct stack_frame_t me
;} fra
;
1061 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1062 fra
.me
.file
= LOCATE_standard___kernel
;
1064 fra
.me
.meth
= LOCATE_standard___kernel___Int_____l
;
1065 fra
.me
.has_broke
= 0;
1066 fra
.me
.REG_size
= 0;
1067 fra
.me
.nitni_local_ref_head
= NULL
;
1070 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1071 if (UNTAG_Bool(REGB2
)) {
1073 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1075 /* ../lib/standard/kernel.nit:242 */
1076 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1077 stack_frame_head
= fra
.me
.prev
;
1080 static const char LOCATE_standard___kernel___Int_____geq
[] = "kernel::Int::(kernel::Comparable::>=)";
1081 val_t
standard___kernel___Int_____geq(val_t p0
, val_t p1
){
1082 struct {struct stack_frame_t me
;} fra
;
1087 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1088 fra
.me
.file
= LOCATE_standard___kernel
;
1090 fra
.me
.meth
= LOCATE_standard___kernel___Int_____geq
;
1091 fra
.me
.has_broke
= 0;
1092 fra
.me
.REG_size
= 0;
1093 fra
.me
.nitni_local_ref_head
= NULL
;
1096 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1097 if (UNTAG_Bool(REGB2
)) {
1099 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1101 /* ../lib/standard/kernel.nit:243 */
1102 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
1103 stack_frame_head
= fra
.me
.prev
;
1106 static const char LOCATE_standard___kernel___Int_____g
[] = "kernel::Int::(kernel::Comparable::>)";
1107 val_t
standard___kernel___Int_____g(val_t p0
, val_t p1
){
1108 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_____g
;
1117 fra
.me
.has_broke
= 0;
1118 fra
.me
.REG_size
= 0;
1119 fra
.me
.nitni_local_ref_head
= NULL
;
1122 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1123 if (UNTAG_Bool(REGB2
)) {
1125 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1127 /* ../lib/standard/kernel.nit:244 */
1128 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>UNTAG_Int(REGB1
));
1129 stack_frame_head
= fra
.me
.prev
;
1132 static const char LOCATE_standard___kernel___Int_____plus
[] = "kernel::Int::(kernel::Discrete::+)";
1133 val_t
standard___kernel___Int_____plus(val_t p0
, val_t p1
){
1134 struct {struct stack_frame_t me
;} fra
;
1138 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1139 fra
.me
.file
= LOCATE_standard___kernel
;
1141 fra
.me
.meth
= LOCATE_standard___kernel___Int_____plus
;
1142 fra
.me
.has_broke
= 0;
1143 fra
.me
.REG_size
= 0;
1144 fra
.me
.nitni_local_ref_head
= NULL
;
1147 /* ../lib/standard/kernel.nit:245 */
1148 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
1149 stack_frame_head
= fra
.me
.prev
;
1152 static const char LOCATE_standard___kernel___Int___unary__minus
[] = "kernel::Int::unary -";
1153 val_t
standard___kernel___Int___unary__minus(val_t p0
){
1154 struct {struct stack_frame_t me
;} fra
;
1157 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1158 fra
.me
.file
= LOCATE_standard___kernel
;
1160 fra
.me
.meth
= LOCATE_standard___kernel___Int___unary__minus
;
1161 fra
.me
.has_broke
= 0;
1162 fra
.me
.REG_size
= 0;
1163 fra
.me
.nitni_local_ref_head
= NULL
;
1165 /* ../lib/standard/kernel.nit:246 */
1166 REGB0
= TAG_Int(-UNTAG_Int(REGB0
));
1167 stack_frame_head
= fra
.me
.prev
;
1170 static const char LOCATE_standard___kernel___Int_____minus
[] = "kernel::Int::(kernel::Discrete::-)";
1171 val_t
standard___kernel___Int_____minus(val_t p0
, val_t p1
){
1172 struct {struct stack_frame_t me
;} fra
;
1176 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1177 fra
.me
.file
= LOCATE_standard___kernel
;
1179 fra
.me
.meth
= LOCATE_standard___kernel___Int_____minus
;
1180 fra
.me
.has_broke
= 0;
1181 fra
.me
.REG_size
= 0;
1182 fra
.me
.nitni_local_ref_head
= NULL
;
1185 /* ../lib/standard/kernel.nit:247 */
1186 REGB1
= TAG_Int(UNTAG_Int(REGB0
)-UNTAG_Int(REGB1
));
1187 stack_frame_head
= fra
.me
.prev
;
1190 static const char LOCATE_standard___kernel___Int_____star
[] = "kernel::Int::*";
1191 val_t
standard___kernel___Int_____star(val_t p0
, val_t p1
){
1192 struct {struct stack_frame_t me
;} fra
;
1196 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1197 fra
.me
.file
= LOCATE_standard___kernel
;
1199 fra
.me
.meth
= LOCATE_standard___kernel___Int_____star
;
1200 fra
.me
.has_broke
= 0;
1201 fra
.me
.REG_size
= 0;
1202 fra
.me
.nitni_local_ref_head
= NULL
;
1205 /* ../lib/standard/kernel.nit:248 */
1206 REGB1
= TAG_Int(UNTAG_Int(REGB0
)*UNTAG_Int(REGB1
));
1207 stack_frame_head
= fra
.me
.prev
;
1210 static const char LOCATE_standard___kernel___Int_____slash
[] = "kernel::Int::/";
1211 val_t
standard___kernel___Int_____slash(val_t p0
, val_t p1
){
1212 struct {struct stack_frame_t me
;} fra
;
1216 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1217 fra
.me
.file
= LOCATE_standard___kernel
;
1219 fra
.me
.meth
= LOCATE_standard___kernel___Int_____slash
;
1220 fra
.me
.has_broke
= 0;
1221 fra
.me
.REG_size
= 0;
1222 fra
.me
.nitni_local_ref_head
= NULL
;
1225 /* ../lib/standard/kernel.nit:249 */
1226 REGB1
= TAG_Int(UNTAG_Int(REGB0
)/UNTAG_Int(REGB1
));
1227 stack_frame_head
= fra
.me
.prev
;
1230 static const char LOCATE_standard___kernel___Int_____percent
[] = "kernel::Int::%";
1231 val_t
standard___kernel___Int_____percent(val_t p0
, val_t p1
){
1232 struct {struct stack_frame_t me
;} fra
;
1236 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1237 fra
.me
.file
= LOCATE_standard___kernel
;
1239 fra
.me
.meth
= LOCATE_standard___kernel___Int_____percent
;
1240 fra
.me
.has_broke
= 0;
1241 fra
.me
.REG_size
= 0;
1242 fra
.me
.nitni_local_ref_head
= NULL
;
1245 /* ../lib/standard/kernel.nit:250 */
1246 REGB1
= TAG_Int(UNTAG_Int(REGB0
)%UNTAG_Int(REGB1
));
1247 stack_frame_head
= fra
.me
.prev
;
1250 static const char LOCATE_standard___kernel___Int___lshift
[] = "kernel::Int::lshift";
1251 val_t
standard___kernel___Int___lshift(val_t p0
, val_t p1
){
1252 struct {struct stack_frame_t me
;} fra
;
1256 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1257 fra
.me
.file
= LOCATE_standard___kernel
;
1259 fra
.me
.meth
= LOCATE_standard___kernel___Int___lshift
;
1260 fra
.me
.has_broke
= 0;
1261 fra
.me
.REG_size
= 0;
1262 fra
.me
.nitni_local_ref_head
= NULL
;
1265 /* ../lib/standard/kernel.nit:252 */
1266 REGB1
= TAG_Int(UNTAG_Int(REGB0
)<<UNTAG_Int(REGB1
));
1267 stack_frame_head
= fra
.me
.prev
;
1270 static const char LOCATE_standard___kernel___Int___rshift
[] = "kernel::Int::rshift";
1271 val_t
standard___kernel___Int___rshift(val_t p0
, val_t p1
){
1272 struct {struct stack_frame_t me
;} fra
;
1276 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1277 fra
.me
.file
= LOCATE_standard___kernel
;
1279 fra
.me
.meth
= LOCATE_standard___kernel___Int___rshift
;
1280 fra
.me
.has_broke
= 0;
1281 fra
.me
.REG_size
= 0;
1282 fra
.me
.nitni_local_ref_head
= NULL
;
1285 /* ../lib/standard/kernel.nit:257 */
1286 REGB1
= TAG_Int(UNTAG_Int(REGB0
)>>UNTAG_Int(REGB1
));
1287 stack_frame_head
= fra
.me
.prev
;
1290 static const char LOCATE_standard___kernel___Int___to_f
[] = "kernel::Int::to_f";
1291 val_t
standard___kernel___Int___to_f(val_t p0
){
1292 struct {struct stack_frame_t me
;} fra
;
1295 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1296 fra
.me
.file
= LOCATE_standard___kernel
;
1298 fra
.me
.meth
= LOCATE_standard___kernel___Int___to_f
;
1299 fra
.me
.has_broke
= 0;
1300 fra
.me
.REG_size
= 1;
1301 fra
.me
.nitni_local_ref_head
= NULL
;
1302 fra
.me
.REG
[0] = NIT_NULL
;
1304 /* ../lib/standard/kernel.nit:262 */
1305 fra
.me
.REG
[0] = BOX_Float((float)UNTAG_Int(REGB0
));
1306 stack_frame_head
= fra
.me
.prev
;
1307 return fra
.me
.REG
[0];
1309 static const char LOCATE_standard___kernel___Int___succ
[] = "kernel::Int::(kernel::Discrete::succ)";
1310 val_t
standard___kernel___Int___succ(val_t p0
){
1311 struct {struct stack_frame_t me
;} fra
;
1314 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1315 fra
.me
.file
= LOCATE_standard___kernel
;
1317 fra
.me
.meth
= LOCATE_standard___kernel___Int___succ
;
1318 fra
.me
.has_broke
= 0;
1319 fra
.me
.REG_size
= 0;
1320 fra
.me
.nitni_local_ref_head
= NULL
;
1322 /* ../lib/standard/kernel.nit:268 */
1323 REGB0
= TAG_Int(UNTAG_Int(REGB0
)+1);
1324 stack_frame_head
= fra
.me
.prev
;
1327 static const char LOCATE_standard___kernel___Int___prec
[] = "kernel::Int::(kernel::Discrete::prec)";
1328 val_t
standard___kernel___Int___prec(val_t p0
){
1329 struct {struct stack_frame_t me
;} fra
;
1332 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1333 fra
.me
.file
= LOCATE_standard___kernel
;
1335 fra
.me
.meth
= LOCATE_standard___kernel___Int___prec
;
1336 fra
.me
.has_broke
= 0;
1337 fra
.me
.REG_size
= 0;
1338 fra
.me
.nitni_local_ref_head
= NULL
;
1340 /* ../lib/standard/kernel.nit:269 */
1341 REGB0
= TAG_Int(UNTAG_Int(REGB0
)-1);
1342 stack_frame_head
= fra
.me
.prev
;
1345 static const char LOCATE_standard___kernel___Int___distance
[] = "kernel::Int::(kernel::Discrete::distance)";
1346 val_t
standard___kernel___Int___distance(val_t p0
, val_t p1
){
1347 struct {struct stack_frame_t me
;} fra
;
1352 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1353 fra
.me
.file
= LOCATE_standard___kernel
;
1355 fra
.me
.meth
= LOCATE_standard___kernel___Int___distance
;
1356 fra
.me
.has_broke
= 0;
1357 fra
.me
.REG_size
= 0;
1358 fra
.me
.nitni_local_ref_head
= NULL
;
1361 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1362 if (UNTAG_Bool(REGB2
)) {
1364 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1366 /* ../lib/standard/kernel.nit:247 */
1367 REGB1
= TAG_Int(UNTAG_Int(REGB0
)-UNTAG_Int(REGB1
));
1368 /* ../lib/standard/kernel.nit:273 */
1370 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1371 if (UNTAG_Bool(REGB2
)) {
1373 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1375 /* ../lib/standard/kernel.nit:243 */
1376 REGB0
= TAG_Bool(UNTAG_Int(REGB1
)>=UNTAG_Int(REGB0
));
1377 /* ../lib/standard/kernel.nit:273 */
1378 if (UNTAG_Bool(REGB0
)) {
1379 /* ../lib/standard/kernel.nit:274 */
1383 /* ../lib/standard/kernel.nit:246 */
1384 REGB1
= TAG_Int(-UNTAG_Int(REGB1
));
1385 /* ../lib/standard/kernel.nit:276 */
1390 stack_frame_head
= fra
.me
.prev
;
1393 static const char LOCATE_standard___kernel___Int_____leqg
[] = "kernel::Int::(kernel::Comparable::<=>)";
1394 val_t
standard___kernel___Int_____leqg(val_t p0
, val_t p1
){
1395 struct {struct stack_frame_t me
;} fra
;
1401 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1402 fra
.me
.file
= LOCATE_standard___kernel
;
1404 fra
.me
.meth
= LOCATE_standard___kernel___Int_____leqg
;
1405 fra
.me
.has_broke
= 0;
1406 fra
.me
.REG_size
= 0;
1407 fra
.me
.nitni_local_ref_head
= NULL
;
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:242 */
1421 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1422 /* ../lib/standard/kernel.nit:282 */
1423 if (UNTAG_Bool(REGB2
)) {
1424 /* ../lib/standard/kernel.nit:283 */
1426 /* ../lib/standard/kernel.nit:246 */
1427 REGB2
= TAG_Int(-UNTAG_Int(REGB2
));
1428 /* ../lib/standard/kernel.nit:283 */
1431 REGB3
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1432 if (UNTAG_Bool(REGB3
)) {
1434 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1436 /* ../lib/standard/kernel.nit:242 */
1437 REGB0
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB0
));
1438 /* ../lib/standard/kernel.nit:284 */
1439 if (UNTAG_Bool(REGB0
)) {
1440 /* ../lib/standard/kernel.nit:285 */
1445 /* ../lib/standard/kernel.nit:287 */
1452 stack_frame_head
= fra
.me
.prev
;
1455 static const char LOCATE_standard___kernel___Int___is_between
[] = "kernel::Int::(kernel::Comparable::is_between)";
1456 val_t
standard___kernel___Int___is_between(val_t p0
, val_t p1
, val_t p2
){
1457 struct {struct stack_frame_t me
;} fra
;
1463 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1464 fra
.me
.file
= LOCATE_standard___kernel
;
1466 fra
.me
.meth
= LOCATE_standard___kernel___Int___is_between
;
1467 fra
.me
.has_broke
= 0;
1468 fra
.me
.REG_size
= 0;
1469 fra
.me
.nitni_local_ref_head
= NULL
;
1473 REGB3
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1474 if (UNTAG_Bool(REGB3
)) {
1476 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1478 REGB3
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1479 if (UNTAG_Bool(REGB3
)) {
1481 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1483 REGB3
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1484 if (UNTAG_Bool(REGB3
)) {
1486 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1488 /* ../lib/standard/kernel.nit:242 */
1489 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1490 /* ../lib/standard/kernel.nit:293 */
1491 if (UNTAG_Bool(REGB1
)) {
1492 REGB1
= TAG_Bool(1);
1494 REGB3
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
1495 if (UNTAG_Bool(REGB3
)) {
1497 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1499 /* ../lib/standard/kernel.nit:242 */
1500 REGB0
= TAG_Bool(UNTAG_Int(REGB2
)<UNTAG_Int(REGB0
));
1501 /* ../lib/standard/kernel.nit:293 */
1504 if (UNTAG_Bool(REGB1
)) {
1505 /* ../lib/standard/kernel.nit:294 */
1506 REGB1
= TAG_Bool(0);
1509 /* ../lib/standard/kernel.nit:296 */
1510 REGB0
= TAG_Bool(1);
1515 stack_frame_head
= fra
.me
.prev
;
1518 static const char LOCATE_standard___kernel___Int___max
[] = "kernel::Int::(kernel::Comparable::max)";
1519 val_t
standard___kernel___Int___max(val_t p0
, val_t p1
){
1520 struct {struct stack_frame_t me
;} fra
;
1525 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1526 fra
.me
.file
= LOCATE_standard___kernel
;
1528 fra
.me
.meth
= LOCATE_standard___kernel___Int___max
;
1529 fra
.me
.has_broke
= 0;
1530 fra
.me
.REG_size
= 0;
1531 fra
.me
.nitni_local_ref_head
= NULL
;
1534 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1535 if (UNTAG_Bool(REGB2
)) {
1537 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1539 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1540 if (UNTAG_Bool(REGB2
)) {
1542 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1544 /* ../lib/standard/kernel.nit:242 */
1545 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1546 /* ../lib/standard/kernel.nit:302 */
1547 if (UNTAG_Bool(REGB2
)) {
1548 /* ../lib/standard/kernel.nit:303 */
1551 /* ../lib/standard/kernel.nit:305 */
1556 stack_frame_head
= fra
.me
.prev
;
1559 static const char LOCATE_standard___kernel___Int___min
[] = "kernel::Int::(kernel::Comparable::min)";
1560 val_t
standard___kernel___Int___min(val_t p0
, val_t p1
){
1561 struct {struct stack_frame_t me
;} fra
;
1566 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1567 fra
.me
.file
= LOCATE_standard___kernel
;
1569 fra
.me
.meth
= LOCATE_standard___kernel___Int___min
;
1570 fra
.me
.has_broke
= 0;
1571 fra
.me
.REG_size
= 0;
1572 fra
.me
.nitni_local_ref_head
= NULL
;
1575 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1576 if (UNTAG_Bool(REGB2
)) {
1578 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1580 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
1581 if (UNTAG_Bool(REGB2
)) {
1583 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1585 /* ../lib/standard/kernel.nit:242 */
1586 REGB2
= TAG_Bool(UNTAG_Int(REGB1
)<UNTAG_Int(REGB0
));
1587 /* ../lib/standard/kernel.nit:311 */
1588 if (UNTAG_Bool(REGB2
)) {
1589 /* ../lib/standard/kernel.nit:312 */
1592 /* ../lib/standard/kernel.nit:314 */
1597 stack_frame_head
= fra
.me
.prev
;
1600 static const char LOCATE_standard___kernel___Int___ascii
[] = "kernel::Int::ascii";
1601 val_t
standard___kernel___Int___ascii(val_t p0
){
1602 struct {struct stack_frame_t me
;} fra
;
1605 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1606 fra
.me
.file
= LOCATE_standard___kernel
;
1608 fra
.me
.meth
= LOCATE_standard___kernel___Int___ascii
;
1609 fra
.me
.has_broke
= 0;
1610 fra
.me
.REG_size
= 0;
1611 fra
.me
.nitni_local_ref_head
= NULL
;
1613 /* ../lib/standard/kernel.nit:318 */
1614 REGB0
= TAG_Char(UNTAG_Int(REGB0
));
1615 stack_frame_head
= fra
.me
.prev
;
1618 static const char LOCATE_standard___kernel___Int___digit_count
[] = "kernel::Int::digit_count";
1619 val_t
standard___kernel___Int___digit_count(val_t p0
, val_t p1
){
1620 struct {struct stack_frame_t me
;} fra
;
1629 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1630 fra
.me
.file
= LOCATE_standard___kernel
;
1632 fra
.me
.meth
= LOCATE_standard___kernel___Int___digit_count
;
1633 fra
.me
.has_broke
= 0;
1634 fra
.me
.REG_size
= 0;
1635 fra
.me
.nitni_local_ref_head
= NULL
;
1638 /* ../lib/standard/kernel.nit:330 */
1639 REGB2
= TAG_Int(10);
1640 REGB3
= TAG_Bool(IS_EQUAL_OO(REGB1
,REGB2
));
1641 if (UNTAG_Bool(REGB3
)) {
1643 /* ../lib/standard/kernel.nit:237 */
1644 REGB2
= TAG_Bool((REGB1
)==(REGB2
));
1645 /* ../lib/standard/kernel.nit:330 */
1648 if (UNTAG_Bool(REGB3
)) {
1649 REGB3
= CALL_standard___kernel___Int___digit_count_base_10(REGB0
)(REGB0
);
1652 /* ../lib/standard/kernel.nit:334 */
1654 REGB4
= TAG_Bool(VAL_ISA(REGB2
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1655 if (UNTAG_Bool(REGB4
)) {
1657 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1659 /* ../lib/standard/kernel.nit:242 */
1660 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB2
));
1661 /* ../lib/standard/kernel.nit:334 */
1662 if (UNTAG_Bool(REGB2
)) {
1663 /* ../lib/standard/kernel.nit:335 */
1665 /* ../lib/standard/kernel.nit:246 */
1666 REGB4
= TAG_Int(-UNTAG_Int(REGB0
));
1668 /* ../lib/standard/kernel.nit:337 */
1670 REGB6
= TAG_Bool(IS_EQUAL_OO(REGB0
,REGB5
));
1671 if (UNTAG_Bool(REGB6
)) {
1673 /* ../lib/standard/kernel.nit:237 */
1674 REGB5
= TAG_Bool((REGB0
)==(REGB5
));
1675 /* ../lib/standard/kernel.nit:337 */
1678 if (UNTAG_Bool(REGB6
)) {
1679 /* ../lib/standard/kernel.nit:338 */
1684 /* ../lib/standard/kernel.nit:340 */
1687 /* ../lib/standard/kernel.nit:341 */
1691 /* ../lib/standard/kernel.nit:344 */
1694 REGB6
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB4
), VTID_standard___kernel___Comparable___OTHER(REGB4
))) /*cast OTHER*/;
1695 if (UNTAG_Bool(REGB6
)) {
1697 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1699 /* ../lib/standard/kernel.nit:244 */
1700 REGB0
= TAG_Bool(UNTAG_Int(REGB4
)>UNTAG_Int(REGB0
));
1701 /* ../lib/standard/kernel.nit:344 */
1702 if (UNTAG_Bool(REGB0
)) {
1703 /* ../lib/standard/kernel.nit:345 */
1705 /* ../lib/standard/kernel.nit:245 */
1706 REGB0
= TAG_Int(UNTAG_Int(REGB2
)+UNTAG_Int(REGB0
));
1707 /* ../lib/standard/kernel.nit:345 */
1709 /* ../lib/standard/kernel.nit:249 */
1710 REGB0
= TAG_Int(UNTAG_Int(REGB4
)/UNTAG_Int(REGB1
));
1711 /* ../lib/standard/kernel.nit:346 */
1714 /* ../lib/standard/kernel.nit:344 */
1719 /* ../lib/standard/kernel.nit:348 */
1723 stack_frame_head
= fra
.me
.prev
;
1726 static const char LOCATE_standard___kernel___Int___digit_count_base_10
[] = "kernel::Int::digit_count_base_10";
1727 val_t
standard___kernel___Int___digit_count_base_10(val_t p0
){
1728 struct {struct stack_frame_t me
;} fra
;
1735 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1736 fra
.me
.file
= LOCATE_standard___kernel
;
1738 fra
.me
.meth
= LOCATE_standard___kernel___Int___digit_count_base_10
;
1739 fra
.me
.has_broke
= 0;
1740 fra
.me
.REG_size
= 0;
1741 fra
.me
.nitni_local_ref_head
= NULL
;
1743 /* ../lib/standard/kernel.nit:356 */
1745 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1746 if (UNTAG_Bool(REGB2
)) {
1748 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1750 /* ../lib/standard/kernel.nit:242 */
1751 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1752 /* ../lib/standard/kernel.nit:356 */
1753 if (UNTAG_Bool(REGB1
)) {
1754 /* ../lib/standard/kernel.nit:357 */
1756 /* ../lib/standard/kernel.nit:246 */
1757 REGB2
= TAG_Int(-UNTAG_Int(REGB0
));
1759 /* ../lib/standard/kernel.nit:360 */
1762 /* ../lib/standard/kernel.nit:361 */
1765 /* ../lib/standard/kernel.nit:363 */
1767 /* ../lib/standard/kernel.nit:364 */
1768 REGB0
= TAG_Int(10);
1769 REGB3
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
1770 if (UNTAG_Bool(REGB3
)) {
1772 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1774 /* ../lib/standard/kernel.nit:242 */
1775 REGB0
= TAG_Bool(UNTAG_Int(REGB2
)<UNTAG_Int(REGB0
));
1776 /* ../lib/standard/kernel.nit:364 */
1777 if (UNTAG_Bool(REGB0
)) {
1781 /* ../lib/standard/kernel.nit:365 */
1782 REGB3
= TAG_Int(100);
1783 REGB4
= TAG_Bool(VAL_ISA(REGB3
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
1784 if (UNTAG_Bool(REGB4
)) {
1786 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1788 /* ../lib/standard/kernel.nit:242 */
1789 REGB3
= TAG_Bool(UNTAG_Int(REGB2
)<UNTAG_Int(REGB3
));
1790 /* ../lib/standard/kernel.nit:365 */
1791 if (UNTAG_Bool(REGB3
)) {
1793 /* ../lib/standard/kernel.nit:245 */
1794 REGB3
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB3
));
1795 /* ../lib/standard/kernel.nit:365 */
1799 /* ../lib/standard/kernel.nit:366 */
1800 REGB3
= TAG_Int(1000);
1801 REGB4
= TAG_Bool(VAL_ISA(REGB3
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
1802 if (UNTAG_Bool(REGB4
)) {
1804 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1806 /* ../lib/standard/kernel.nit:242 */
1807 REGB3
= TAG_Bool(UNTAG_Int(REGB2
)<UNTAG_Int(REGB3
));
1808 /* ../lib/standard/kernel.nit:366 */
1809 if (UNTAG_Bool(REGB3
)) {
1811 /* ../lib/standard/kernel.nit:245 */
1812 REGB3
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB3
));
1813 /* ../lib/standard/kernel.nit:366 */
1817 /* ../lib/standard/kernel.nit:367 */
1818 REGB3
= TAG_Int(10000);
1819 REGB4
= TAG_Bool(VAL_ISA(REGB3
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2
), VTID_standard___kernel___Comparable___OTHER(REGB2
))) /*cast OTHER*/;
1820 if (UNTAG_Bool(REGB4
)) {
1822 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1824 /* ../lib/standard/kernel.nit:242 */
1825 REGB3
= TAG_Bool(UNTAG_Int(REGB2
)<UNTAG_Int(REGB3
));
1826 /* ../lib/standard/kernel.nit:367 */
1827 if (UNTAG_Bool(REGB3
)) {
1829 /* ../lib/standard/kernel.nit:245 */
1830 REGB3
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB3
));
1831 /* ../lib/standard/kernel.nit:367 */
1835 /* ../lib/standard/kernel.nit:368 */
1836 REGB3
= TAG_Int(10000);
1837 /* ../lib/standard/kernel.nit:249 */
1838 REGB3
= TAG_Int(UNTAG_Int(REGB2
)/UNTAG_Int(REGB3
));
1839 /* ../lib/standard/kernel.nit:368 */
1841 /* ../lib/standard/kernel.nit:369 */
1843 /* ../lib/standard/kernel.nit:245 */
1844 REGB3
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB3
));
1845 /* ../lib/standard/kernel.nit:369 */
1849 stack_frame_head
= fra
.me
.prev
;
1852 static const char LOCATE_standard___kernel___Int___to_c
[] = "kernel::Int::to_c";
1853 val_t
standard___kernel___Int___to_c(val_t p0
){
1854 struct {struct stack_frame_t me
;} fra
;
1860 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1861 fra
.me
.file
= LOCATE_standard___kernel
;
1863 fra
.me
.meth
= LOCATE_standard___kernel___Int___to_c
;
1864 fra
.me
.has_broke
= 0;
1865 fra
.me
.REG_size
= 0;
1866 fra
.me
.nitni_local_ref_head
= NULL
;
1868 /* ../lib/standard/kernel.nit:380 */
1870 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1871 if (UNTAG_Bool(REGB2
)) {
1873 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1875 /* ../lib/standard/kernel.nit:243 */
1876 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
1877 /* ../lib/standard/kernel.nit:380 */
1878 if (UNTAG_Bool(REGB1
)) {
1879 REGB1
= TAG_Int(36);
1880 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1881 if (UNTAG_Bool(REGB2
)) {
1883 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1885 /* ../lib/standard/kernel.nit:241 */
1886 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<=UNTAG_Int(REGB1
));
1888 /* ../lib/standard/kernel.nit:380 */
1889 REGB2
= TAG_Bool(0);
1892 if (UNTAG_Bool(REGB1
)) {
1894 nit_abort("Assert failed", NULL
, LOCATE_standard___kernel
, 380);
1896 /* ../lib/standard/kernel.nit:381 */
1897 REGB1
= TAG_Int(10);
1898 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
1899 if (UNTAG_Bool(REGB2
)) {
1901 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
1903 /* ../lib/standard/kernel.nit:242 */
1904 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
1905 /* ../lib/standard/kernel.nit:381 */
1906 if (UNTAG_Bool(REGB1
)) {
1907 /* ../lib/standard/kernel.nit:382 */
1908 REGB1
= TAG_Char('0');
1909 /* ../lib/standard/kernel.nit:471 */
1910 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB1
));
1911 /* ../lib/standard/kernel.nit:245 */
1912 REGB1
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB1
));
1913 /* ../lib/standard/kernel.nit:318 */
1914 REGB1
= TAG_Char(UNTAG_Int(REGB1
));
1915 /* ../lib/standard/kernel.nit:382 */
1918 /* ../lib/standard/kernel.nit:384 */
1919 REGB2
= TAG_Char('a');
1920 /* ../lib/standard/kernel.nit:471 */
1921 REGB2
= TAG_Int((unsigned char)UNTAG_Char(REGB2
));
1922 /* ../lib/standard/kernel.nit:384 */
1923 REGB3
= TAG_Int(10);
1924 /* ../lib/standard/kernel.nit:247 */
1925 REGB3
= TAG_Int(UNTAG_Int(REGB2
)-UNTAG_Int(REGB3
));
1926 /* ../lib/standard/kernel.nit:245 */
1927 REGB3
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB3
));
1928 /* ../lib/standard/kernel.nit:318 */
1929 REGB3
= TAG_Char(UNTAG_Int(REGB3
));
1930 /* ../lib/standard/kernel.nit:384 */
1935 stack_frame_head
= fra
.me
.prev
;
1938 static const char LOCATE_standard___kernel___Int___enumerate_to
[] = "kernel::Int::enumerate_to";
1939 void standard___kernel___Int___enumerate_to(val_t p0
, val_t p1
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
1940 struct {struct stack_frame_t me
;} fra
;
1946 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1947 fra
.me
.file
= LOCATE_standard___kernel
;
1949 fra
.me
.meth
= LOCATE_standard___kernel___Int___enumerate_to
;
1950 fra
.me
.has_broke
= 0;
1951 fra
.me
.REG_size
= 0;
1952 fra
.me
.nitni_local_ref_head
= NULL
;
1953 fra
.me
.closure_ctx
= closctx_param
;
1954 fra
.me
.closure_funs
= CREG
;
1957 CREG
[0] = clos_fun0
;
1958 /* ../lib/standard/kernel.nit:393 */
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:241 */
1966 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<=UNTAG_Int(REGB1
));
1967 /* ../lib/standard/kernel.nit:393 */
1968 if (UNTAG_Bool(REGB2
)) {
1969 /* ../lib/standard/kernel.nit:394 */
1970 ((void (*)(struct stack_frame_t
*, val_t
))(CREG
[0]))(closctx_param
, REGB0
);
1971 if (closctx_param
->has_broke
) {
1974 /* ../lib/standard/kernel.nit:395 */
1976 /* ../lib/standard/kernel.nit:245 */
1977 REGB2
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB2
));
1978 /* ../lib/standard/kernel.nit:395 */
1981 /* ../lib/standard/kernel.nit:393 */
1987 stack_frame_head
= fra
.me
.prev
;
1990 static const char LOCATE_standard___kernel___Int___enumerate_before
[] = "kernel::Int::enumerate_before";
1991 void standard___kernel___Int___enumerate_before(val_t p0
, val_t p1
, struct stack_frame_t
*closctx_param
, fun_t clos_fun0
){
1992 struct {struct stack_frame_t me
;} fra
;
1998 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
1999 fra
.me
.file
= LOCATE_standard___kernel
;
2001 fra
.me
.meth
= LOCATE_standard___kernel___Int___enumerate_before
;
2002 fra
.me
.has_broke
= 0;
2003 fra
.me
.REG_size
= 0;
2004 fra
.me
.nitni_local_ref_head
= NULL
;
2005 fra
.me
.closure_ctx
= closctx_param
;
2006 fra
.me
.closure_funs
= CREG
;
2009 CREG
[0] = clos_fun0
;
2010 /* ../lib/standard/kernel.nit:404 */
2012 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2013 if (UNTAG_Bool(REGB2
)) {
2015 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2017 /* ../lib/standard/kernel.nit:242 */
2018 REGB2
= TAG_Bool(UNTAG_Int(REGB0
)<UNTAG_Int(REGB1
));
2019 /* ../lib/standard/kernel.nit:404 */
2020 if (UNTAG_Bool(REGB2
)) {
2021 /* ../lib/standard/kernel.nit:405 */
2022 ((void (*)(struct stack_frame_t
*, val_t
))(CREG
[0]))(closctx_param
, REGB0
);
2023 if (closctx_param
->has_broke
) {
2026 /* ../lib/standard/kernel.nit:406 */
2028 /* ../lib/standard/kernel.nit:245 */
2029 REGB2
= TAG_Int(UNTAG_Int(REGB0
)+UNTAG_Int(REGB2
));
2030 /* ../lib/standard/kernel.nit:406 */
2033 /* ../lib/standard/kernel.nit:404 */
2039 stack_frame_head
= fra
.me
.prev
;
2042 static const char LOCATE_standard___kernel___Int___abs
[] = "kernel::Int::abs";
2043 val_t
standard___kernel___Int___abs(val_t p0
){
2044 struct {struct stack_frame_t me
;} fra
;
2049 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2050 fra
.me
.file
= LOCATE_standard___kernel
;
2052 fra
.me
.meth
= LOCATE_standard___kernel___Int___abs
;
2053 fra
.me
.has_broke
= 0;
2054 fra
.me
.REG_size
= 0;
2055 fra
.me
.nitni_local_ref_head
= NULL
;
2057 /* ../lib/standard/kernel.nit:417 */
2059 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2060 if (UNTAG_Bool(REGB2
)) {
2062 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2064 /* ../lib/standard/kernel.nit:243 */
2065 REGB1
= TAG_Bool(UNTAG_Int(REGB0
)>=UNTAG_Int(REGB1
));
2066 /* ../lib/standard/kernel.nit:417 */
2067 if (UNTAG_Bool(REGB1
)) {
2068 /* ../lib/standard/kernel.nit:419 */
2072 /* ../lib/standard/kernel.nit:421 */
2074 /* ../lib/standard/kernel.nit:246 */
2075 REGB2
= TAG_Int(-UNTAG_Int(REGB2
));
2076 /* ../lib/standard/kernel.nit:248 */
2077 REGB0
= TAG_Int(UNTAG_Int(REGB2
)*UNTAG_Int(REGB0
));
2078 /* ../lib/standard/kernel.nit:421 */
2083 stack_frame_head
= fra
.me
.prev
;
2086 static const char LOCATE_standard___kernel___Char___object_id
[] = "kernel::Char::(kernel::Object::object_id)";
2087 val_t
standard___kernel___Char___object_id(val_t p0
){
2088 struct {struct stack_frame_t me
;} fra
;
2091 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2092 fra
.me
.file
= LOCATE_standard___kernel
;
2094 fra
.me
.meth
= LOCATE_standard___kernel___Char___object_id
;
2095 fra
.me
.has_broke
= 0;
2096 fra
.me
.REG_size
= 0;
2097 fra
.me
.nitni_local_ref_head
= NULL
;
2099 /* ../lib/standard/kernel.nit:433 */
2100 REGB0
= TAG_Int(UNTAG_Char(REGB0
));
2101 stack_frame_head
= fra
.me
.prev
;
2104 static const char LOCATE_standard___kernel___Char_____eqeq
[] = "kernel::Char::(kernel::Object::==)";
2105 val_t
standard___kernel___Char_____eqeq(val_t p0
, val_t p1
){
2106 struct {struct stack_frame_t me
;} fra
;
2109 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2110 fra
.me
.file
= LOCATE_standard___kernel
;
2112 fra
.me
.meth
= LOCATE_standard___kernel___Char_____eqeq
;
2113 fra
.me
.has_broke
= 0;
2114 fra
.me
.REG_size
= 1;
2115 fra
.me
.nitni_local_ref_head
= NULL
;
2116 fra
.me
.REG
[0] = NIT_NULL
;
2119 /* ../lib/standard/kernel.nit:434 */
2120 REGB0
= TAG_Bool((REGB0
)==(fra
.me
.REG
[0]));
2121 stack_frame_head
= fra
.me
.prev
;
2124 static const char LOCATE_standard___kernel___Char_____neq
[] = "kernel::Char::(kernel::Object::!=)";
2125 val_t
standard___kernel___Char_____neq(val_t p0
, val_t p1
){
2126 struct {struct stack_frame_t me
;} fra
;
2129 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2130 fra
.me
.file
= LOCATE_standard___kernel
;
2132 fra
.me
.meth
= LOCATE_standard___kernel___Char_____neq
;
2133 fra
.me
.has_broke
= 0;
2134 fra
.me
.REG_size
= 1;
2135 fra
.me
.nitni_local_ref_head
= NULL
;
2136 fra
.me
.REG
[0] = NIT_NULL
;
2139 /* ../lib/standard/kernel.nit:435 */
2140 REGB0
= TAG_Bool((REGB0
)!=(fra
.me
.REG
[0]));
2141 stack_frame_head
= fra
.me
.prev
;
2144 static const char LOCATE_standard___kernel___Char___output
[] = "kernel::Char::(kernel::Object::output)";
2145 void standard___kernel___Char___output(val_t p0
){
2146 struct {struct stack_frame_t me
;} fra
;
2149 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2150 fra
.me
.file
= LOCATE_standard___kernel
;
2152 fra
.me
.meth
= LOCATE_standard___kernel___Char___output
;
2153 fra
.me
.has_broke
= 0;
2154 fra
.me
.REG_size
= 0;
2155 fra
.me
.nitni_local_ref_head
= NULL
;
2157 /* ../lib/standard/kernel.nit:436 */
2158 printf("%c", (unsigned char)UNTAG_Char(REGB0
));;
2159 stack_frame_head
= fra
.me
.prev
;
2162 static const char LOCATE_standard___kernel___Char_____leq
[] = "kernel::Char::(kernel::Comparable::<=)";
2163 val_t
standard___kernel___Char_____leq(val_t p0
, val_t p1
){
2164 struct {struct stack_frame_t me
;} fra
;
2169 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2170 fra
.me
.file
= LOCATE_standard___kernel
;
2172 fra
.me
.meth
= LOCATE_standard___kernel___Char_____leq
;
2173 fra
.me
.has_broke
= 0;
2174 fra
.me
.REG_size
= 0;
2175 fra
.me
.nitni_local_ref_head
= NULL
;
2178 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2179 if (UNTAG_Bool(REGB2
)) {
2181 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2183 /* ../lib/standard/kernel.nit:438 */
2184 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<=UNTAG_Char(REGB1
));
2185 stack_frame_head
= fra
.me
.prev
;
2188 static const char LOCATE_standard___kernel___Char_____l
[] = "kernel::Char::(kernel::Comparable::<)";
2189 val_t
standard___kernel___Char_____l(val_t p0
, val_t p1
){
2190 struct {struct stack_frame_t me
;} fra
;
2195 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2196 fra
.me
.file
= LOCATE_standard___kernel
;
2198 fra
.me
.meth
= LOCATE_standard___kernel___Char_____l
;
2199 fra
.me
.has_broke
= 0;
2200 fra
.me
.REG_size
= 0;
2201 fra
.me
.nitni_local_ref_head
= NULL
;
2204 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2205 if (UNTAG_Bool(REGB2
)) {
2207 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2209 /* ../lib/standard/kernel.nit:439 */
2210 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<UNTAG_Char(REGB1
));
2211 stack_frame_head
= fra
.me
.prev
;
2214 static const char LOCATE_standard___kernel___Char_____geq
[] = "kernel::Char::(kernel::Comparable::>=)";
2215 val_t
standard___kernel___Char_____geq(val_t p0
, val_t p1
){
2216 struct {struct stack_frame_t me
;} fra
;
2221 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2222 fra
.me
.file
= LOCATE_standard___kernel
;
2224 fra
.me
.meth
= LOCATE_standard___kernel___Char_____geq
;
2225 fra
.me
.has_broke
= 0;
2226 fra
.me
.REG_size
= 0;
2227 fra
.me
.nitni_local_ref_head
= NULL
;
2230 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2231 if (UNTAG_Bool(REGB2
)) {
2233 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2235 /* ../lib/standard/kernel.nit:440 */
2236 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>=UNTAG_Char(REGB1
));
2237 stack_frame_head
= fra
.me
.prev
;
2240 static const char LOCATE_standard___kernel___Char_____g
[] = "kernel::Char::(kernel::Comparable::>)";
2241 val_t
standard___kernel___Char_____g(val_t p0
, val_t p1
){
2242 struct {struct stack_frame_t me
;} fra
;
2247 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2248 fra
.me
.file
= LOCATE_standard___kernel
;
2250 fra
.me
.meth
= LOCATE_standard___kernel___Char_____g
;
2251 fra
.me
.has_broke
= 0;
2252 fra
.me
.REG_size
= 0;
2253 fra
.me
.nitni_local_ref_head
= NULL
;
2256 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2257 if (UNTAG_Bool(REGB2
)) {
2259 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2261 /* ../lib/standard/kernel.nit:441 */
2262 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>UNTAG_Char(REGB1
));
2263 stack_frame_head
= fra
.me
.prev
;
2266 static const char LOCATE_standard___kernel___Char___succ
[] = "kernel::Char::(kernel::Discrete::succ)";
2267 val_t
standard___kernel___Char___succ(val_t p0
){
2268 struct {struct stack_frame_t me
;} fra
;
2271 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2272 fra
.me
.file
= LOCATE_standard___kernel
;
2274 fra
.me
.meth
= LOCATE_standard___kernel___Char___succ
;
2275 fra
.me
.has_broke
= 0;
2276 fra
.me
.REG_size
= 0;
2277 fra
.me
.nitni_local_ref_head
= NULL
;
2279 /* ../lib/standard/kernel.nit:443 */
2280 REGB0
= TAG_Char(UNTAG_Char(REGB0
)+1);
2281 stack_frame_head
= fra
.me
.prev
;
2284 static const char LOCATE_standard___kernel___Char___prec
[] = "kernel::Char::(kernel::Discrete::prec)";
2285 val_t
standard___kernel___Char___prec(val_t p0
){
2286 struct {struct stack_frame_t me
;} fra
;
2289 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2290 fra
.me
.file
= LOCATE_standard___kernel
;
2292 fra
.me
.meth
= LOCATE_standard___kernel___Char___prec
;
2293 fra
.me
.has_broke
= 0;
2294 fra
.me
.REG_size
= 0;
2295 fra
.me
.nitni_local_ref_head
= NULL
;
2297 /* ../lib/standard/kernel.nit:444 */
2298 REGB0
= TAG_Char(UNTAG_Char(REGB0
)-1);
2299 stack_frame_head
= fra
.me
.prev
;
2302 static const char LOCATE_standard___kernel___Char___distance
[] = "kernel::Char::(kernel::Discrete::distance)";
2303 val_t
standard___kernel___Char___distance(val_t p0
, val_t p1
){
2304 struct {struct stack_frame_t me
;} fra
;
2309 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2310 fra
.me
.file
= LOCATE_standard___kernel
;
2312 fra
.me
.meth
= LOCATE_standard___kernel___Char___distance
;
2313 fra
.me
.has_broke
= 0;
2314 fra
.me
.REG_size
= 0;
2315 fra
.me
.nitni_local_ref_head
= NULL
;
2318 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2319 if (UNTAG_Bool(REGB2
)) {
2321 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2323 /* ../lib/standard/kernel.nit:471 */
2324 REGB0
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2325 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB1
));
2326 /* ../lib/standard/kernel.nit:247 */
2327 REGB1
= TAG_Int(UNTAG_Int(REGB0
)-UNTAG_Int(REGB1
));
2328 /* ../lib/standard/kernel.nit:449 */
2330 REGB2
= TAG_Bool(VAL_ISA(REGB0
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1
), VTID_standard___kernel___Comparable___OTHER(REGB1
))) /*cast OTHER*/;
2331 if (UNTAG_Bool(REGB2
)) {
2333 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2335 /* ../lib/standard/kernel.nit:243 */
2336 REGB0
= TAG_Bool(UNTAG_Int(REGB1
)>=UNTAG_Int(REGB0
));
2337 /* ../lib/standard/kernel.nit:449 */
2338 if (UNTAG_Bool(REGB0
)) {
2339 /* ../lib/standard/kernel.nit:450 */
2343 /* ../lib/standard/kernel.nit:246 */
2344 REGB1
= TAG_Int(-UNTAG_Int(REGB1
));
2345 /* ../lib/standard/kernel.nit:452 */
2350 stack_frame_head
= fra
.me
.prev
;
2353 static const char LOCATE_standard___kernel___Char___to_i
[] = "kernel::Char::to_i";
2354 val_t
standard___kernel___Char___to_i(val_t p0
){
2355 struct {struct stack_frame_t me
;} fra
;
2361 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2362 fra
.me
.file
= LOCATE_standard___kernel
;
2364 fra
.me
.meth
= LOCATE_standard___kernel___Char___to_i
;
2365 fra
.me
.has_broke
= 0;
2366 fra
.me
.REG_size
= 0;
2367 fra
.me
.nitni_local_ref_head
= NULL
;
2369 /* ../lib/standard/kernel.nit:462 */
2370 REGB1
= TAG_Char('-');
2371 REGB2
= TAG_Bool(IS_EQUAL_OO(REGB0
,REGB1
));
2372 if (UNTAG_Bool(REGB2
)) {
2374 /* ../lib/standard/kernel.nit:434 */
2375 REGB1
= TAG_Bool((REGB0
)==(REGB1
));
2376 /* ../lib/standard/kernel.nit:462 */
2379 if (UNTAG_Bool(REGB2
)) {
2380 /* ../lib/standard/kernel.nit:463 */
2382 /* ../lib/standard/kernel.nit:246 */
2383 REGB2
= TAG_Int(-UNTAG_Int(REGB2
));
2384 /* ../lib/standard/kernel.nit:463 */
2387 /* ../lib/standard/kernel.nit:464 */
2388 REGB1
= CALL_standard___kernel___Char___is_digit(REGB0
)(REGB0
);
2389 if (UNTAG_Bool(REGB1
)) {
2390 /* ../lib/standard/kernel.nit:471 */
2391 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2392 /* ../lib/standard/kernel.nit:465 */
2393 REGB3
= TAG_Char('0');
2394 /* ../lib/standard/kernel.nit:471 */
2395 REGB3
= TAG_Int((unsigned char)UNTAG_Char(REGB3
));
2396 /* ../lib/standard/kernel.nit:247 */
2397 REGB3
= TAG_Int(UNTAG_Int(REGB1
)-UNTAG_Int(REGB3
));
2398 /* ../lib/standard/kernel.nit:465 */
2402 /* ../lib/standard/kernel.nit:467 */
2403 REGB0
= CALL_standard___kernel___Char___to_lower(REGB0
)(REGB0
);
2404 /* ../lib/standard/kernel.nit:471 */
2405 REGB0
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2406 /* ../lib/standard/kernel.nit:467 */
2407 REGB3
= TAG_Char('a');
2408 /* ../lib/standard/kernel.nit:471 */
2409 REGB3
= TAG_Int((unsigned char)UNTAG_Char(REGB3
));
2410 /* ../lib/standard/kernel.nit:467 */
2411 REGB1
= TAG_Int(10);
2412 /* ../lib/standard/kernel.nit:245 */
2413 REGB1
= TAG_Int(UNTAG_Int(REGB3
)+UNTAG_Int(REGB1
));
2414 /* ../lib/standard/kernel.nit:247 */
2415 REGB1
= TAG_Int(UNTAG_Int(REGB0
)-UNTAG_Int(REGB1
));
2416 /* ../lib/standard/kernel.nit:467 */
2422 stack_frame_head
= fra
.me
.prev
;
2425 static const char LOCATE_standard___kernel___Char___ascii
[] = "kernel::Char::ascii";
2426 val_t
standard___kernel___Char___ascii(val_t p0
){
2427 struct {struct stack_frame_t me
;} fra
;
2430 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2431 fra
.me
.file
= LOCATE_standard___kernel
;
2433 fra
.me
.meth
= LOCATE_standard___kernel___Char___ascii
;
2434 fra
.me
.has_broke
= 0;
2435 fra
.me
.REG_size
= 0;
2436 fra
.me
.nitni_local_ref_head
= NULL
;
2438 /* ../lib/standard/kernel.nit:471 */
2439 REGB0
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2440 stack_frame_head
= fra
.me
.prev
;
2443 static const char LOCATE_standard___kernel___Char_____plus
[] = "kernel::Char::(kernel::Discrete::+)";
2444 val_t
standard___kernel___Char_____plus(val_t p0
, val_t p1
){
2445 struct {struct stack_frame_t me
;} fra
;
2449 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2450 fra
.me
.file
= LOCATE_standard___kernel
;
2452 fra
.me
.meth
= LOCATE_standard___kernel___Char_____plus
;
2453 fra
.me
.has_broke
= 0;
2454 fra
.me
.REG_size
= 0;
2455 fra
.me
.nitni_local_ref_head
= NULL
;
2458 /* ../lib/standard/kernel.nit:477 */
2459 REGB1
= TAG_Char(UNTAG_Char(REGB0
)+UNTAG_Char(REGB1
));
2460 stack_frame_head
= fra
.me
.prev
;
2463 static const char LOCATE_standard___kernel___Char_____minus
[] = "kernel::Char::(kernel::Discrete::-)";
2464 val_t
standard___kernel___Char_____minus(val_t p0
, val_t p1
){
2465 struct {struct stack_frame_t me
;} fra
;
2469 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2470 fra
.me
.file
= LOCATE_standard___kernel
;
2472 fra
.me
.meth
= LOCATE_standard___kernel___Char_____minus
;
2473 fra
.me
.has_broke
= 0;
2474 fra
.me
.REG_size
= 0;
2475 fra
.me
.nitni_local_ref_head
= NULL
;
2478 /* ../lib/standard/kernel.nit:478 */
2479 REGB1
= TAG_Char(UNTAG_Char(REGB0
)-UNTAG_Char(REGB1
));
2480 stack_frame_head
= fra
.me
.prev
;
2483 static const char LOCATE_standard___kernel___Char___to_lower
[] = "kernel::Char::to_lower";
2484 val_t
standard___kernel___Char___to_lower(val_t p0
){
2485 struct {struct stack_frame_t me
;} fra
;
2491 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2492 fra
.me
.file
= LOCATE_standard___kernel
;
2494 fra
.me
.meth
= LOCATE_standard___kernel___Char___to_lower
;
2495 fra
.me
.has_broke
= 0;
2496 fra
.me
.REG_size
= 0;
2497 fra
.me
.nitni_local_ref_head
= NULL
;
2499 /* ../lib/standard/kernel.nit:488 */
2500 REGB1
= CALL_standard___kernel___Char___is_upper(REGB0
)(REGB0
);
2501 if (UNTAG_Bool(REGB1
)) {
2502 /* ../lib/standard/kernel.nit:471 */
2503 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2504 /* ../lib/standard/kernel.nit:489 */
2505 REGB2
= TAG_Char('a');
2506 REGB3
= TAG_Char('A');
2507 REGB3
= CALL_standard___kernel___Discrete___distance(REGB2
)(REGB2
, REGB3
);
2508 /* ../lib/standard/kernel.nit:245 */
2509 REGB3
= TAG_Int(UNTAG_Int(REGB1
)+UNTAG_Int(REGB3
));
2510 /* ../lib/standard/kernel.nit:318 */
2511 REGB3
= TAG_Char(UNTAG_Int(REGB3
));
2512 /* ../lib/standard/kernel.nit:489 */
2515 /* ../lib/standard/kernel.nit:491 */
2520 stack_frame_head
= fra
.me
.prev
;
2523 static const char LOCATE_standard___kernel___Char___to_upper
[] = "kernel::Char::to_upper";
2524 val_t
standard___kernel___Char___to_upper(val_t p0
){
2525 struct {struct stack_frame_t me
;} fra
;
2531 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2532 fra
.me
.file
= LOCATE_standard___kernel
;
2534 fra
.me
.meth
= LOCATE_standard___kernel___Char___to_upper
;
2535 fra
.me
.has_broke
= 0;
2536 fra
.me
.REG_size
= 0;
2537 fra
.me
.nitni_local_ref_head
= NULL
;
2539 /* ../lib/standard/kernel.nit:503 */
2540 REGB1
= CALL_standard___kernel___Char___is_lower(REGB0
)(REGB0
);
2541 if (UNTAG_Bool(REGB1
)) {
2542 /* ../lib/standard/kernel.nit:471 */
2543 REGB1
= TAG_Int((unsigned char)UNTAG_Char(REGB0
));
2544 /* ../lib/standard/kernel.nit:504 */
2545 REGB2
= TAG_Char('a');
2546 REGB3
= TAG_Char('A');
2547 REGB3
= CALL_standard___kernel___Discrete___distance(REGB2
)(REGB2
, REGB3
);
2548 /* ../lib/standard/kernel.nit:247 */
2549 REGB3
= TAG_Int(UNTAG_Int(REGB1
)-UNTAG_Int(REGB3
));
2550 /* ../lib/standard/kernel.nit:318 */
2551 REGB3
= TAG_Char(UNTAG_Int(REGB3
));
2552 /* ../lib/standard/kernel.nit:504 */
2555 /* ../lib/standard/kernel.nit:506 */
2560 stack_frame_head
= fra
.me
.prev
;
2563 static const char LOCATE_standard___kernel___Char___is_digit
[] = "kernel::Char::is_digit";
2564 val_t
standard___kernel___Char___is_digit(val_t p0
){
2565 struct {struct stack_frame_t me
;} fra
;
2570 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2571 fra
.me
.file
= LOCATE_standard___kernel
;
2573 fra
.me
.meth
= LOCATE_standard___kernel___Char___is_digit
;
2574 fra
.me
.has_broke
= 0;
2575 fra
.me
.REG_size
= 0;
2576 fra
.me
.nitni_local_ref_head
= NULL
;
2578 /* ../lib/standard/kernel.nit:517 */
2579 REGB1
= TAG_Char('0');
2580 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2581 if (UNTAG_Bool(REGB2
)) {
2583 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2585 /* ../lib/standard/kernel.nit:440 */
2586 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>=UNTAG_Char(REGB1
));
2587 /* ../lib/standard/kernel.nit:517 */
2588 if (UNTAG_Bool(REGB1
)) {
2589 REGB1
= TAG_Char('9');
2590 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2591 if (UNTAG_Bool(REGB2
)) {
2593 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2595 /* ../lib/standard/kernel.nit:438 */
2596 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<=UNTAG_Char(REGB1
));
2598 /* ../lib/standard/kernel.nit:517 */
2599 REGB0
= TAG_Bool(0);
2604 stack_frame_head
= fra
.me
.prev
;
2607 static const char LOCATE_standard___kernel___Char___is_lower
[] = "kernel::Char::is_lower";
2608 val_t
standard___kernel___Char___is_lower(val_t p0
){
2609 struct {struct stack_frame_t me
;} fra
;
2614 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2615 fra
.me
.file
= LOCATE_standard___kernel
;
2617 fra
.me
.meth
= LOCATE_standard___kernel___Char___is_lower
;
2618 fra
.me
.has_broke
= 0;
2619 fra
.me
.REG_size
= 0;
2620 fra
.me
.nitni_local_ref_head
= NULL
;
2622 /* ../lib/standard/kernel.nit:528 */
2623 REGB1
= TAG_Char('a');
2624 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2625 if (UNTAG_Bool(REGB2
)) {
2627 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2629 /* ../lib/standard/kernel.nit:440 */
2630 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>=UNTAG_Char(REGB1
));
2631 /* ../lib/standard/kernel.nit:528 */
2632 if (UNTAG_Bool(REGB1
)) {
2633 REGB1
= TAG_Char('z');
2634 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2635 if (UNTAG_Bool(REGB2
)) {
2637 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2639 /* ../lib/standard/kernel.nit:438 */
2640 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<=UNTAG_Char(REGB1
));
2642 /* ../lib/standard/kernel.nit:528 */
2643 REGB0
= TAG_Bool(0);
2648 stack_frame_head
= fra
.me
.prev
;
2651 static const char LOCATE_standard___kernel___Char___is_upper
[] = "kernel::Char::is_upper";
2652 val_t
standard___kernel___Char___is_upper(val_t p0
){
2653 struct {struct stack_frame_t me
;} fra
;
2658 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2659 fra
.me
.file
= LOCATE_standard___kernel
;
2661 fra
.me
.meth
= LOCATE_standard___kernel___Char___is_upper
;
2662 fra
.me
.has_broke
= 0;
2663 fra
.me
.REG_size
= 0;
2664 fra
.me
.nitni_local_ref_head
= NULL
;
2666 /* ../lib/standard/kernel.nit:539 */
2667 REGB1
= TAG_Char('A');
2668 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2669 if (UNTAG_Bool(REGB2
)) {
2671 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2673 /* ../lib/standard/kernel.nit:440 */
2674 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)>=UNTAG_Char(REGB1
));
2675 /* ../lib/standard/kernel.nit:539 */
2676 if (UNTAG_Bool(REGB1
)) {
2677 REGB1
= TAG_Char('Z');
2678 REGB2
= TAG_Bool(VAL_ISA(REGB1
, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0
), VTID_standard___kernel___Comparable___OTHER(REGB0
))) /*cast OTHER*/;
2679 if (UNTAG_Bool(REGB2
)) {
2681 nit_abort("Cast failed", NULL
, LOCATE_standard___kernel
, 0);
2683 /* ../lib/standard/kernel.nit:438 */
2684 REGB1
= TAG_Bool(UNTAG_Char(REGB0
)<=UNTAG_Char(REGB1
));
2686 /* ../lib/standard/kernel.nit:539 */
2687 REGB0
= TAG_Bool(0);
2692 stack_frame_head
= fra
.me
.prev
;
2695 static const char LOCATE_standard___kernel___Char___is_letter
[] = "kernel::Char::is_letter";
2696 val_t
standard___kernel___Char___is_letter(val_t p0
){
2697 struct {struct stack_frame_t me
;} fra
;
2701 fra
.me
.prev
= stack_frame_head
; stack_frame_head
= &fra
.me
;
2702 fra
.me
.file
= LOCATE_standard___kernel
;
2704 fra
.me
.meth
= LOCATE_standard___kernel___Char___is_letter
;
2705 fra
.me
.has_broke
= 0;
2706 fra
.me
.REG_size
= 0;
2707 fra
.me
.nitni_local_ref_head
= NULL
;
2709 /* ../lib/standard/kernel.nit:550 */
2710 REGB1
= CALL_standard___kernel___Char___is_lower(REGB0
)(REGB0
);
2711 if (UNTAG_Bool(REGB1
)) {
2712 REGB1
= TAG_Bool(1);
2714 REGB0
= CALL_standard___kernel___Char___is_upper(REGB0
)(REGB0
);
2719 stack_frame_head
= fra
.me
.prev
;