__attribute__((visibility ("hidden"))) mini_gc_enable_gc_maps_for_aot () { enable_gc_maps_for_aot = 1; } __attribute__((visibility ("hidden"))) mini_gc_set_slot_type_from_fp (struct MonoCompile * cfg, int slot_offset, GCSlotType type) { long unsigned int D.23301; long unsigned int D.23302; unsigned int slot_offset.0; unsigned int D.23306; _Bool D.23307; long int D.23308; long int D.23309; struct MonoMemPool * D.23312; struct GSList * D.23313; int D.23314; unsigned int D.23315; unsigned int D.23316; long int D.23317; void * D.23318; struct GSList * D.23319; struct MonoCompileGC * gcfg; gcfg = cfg->gc_info; D.23301 = BIT_FIELD_REF <*cfg, 64, 5632>; D.23302 = D.23301 & 72057594037927936; if (D.23302 == 0) goto ; else goto ; : return; : slot_offset.0 = (unsigned int) slot_offset; D.23306 = slot_offset.0 & 7; D.23307 = D.23306 != 0; D.23308 = (long int) D.23307; D.23309 = __builtin_expect (D.23308, 0); if (D.23309 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 1279, "slot_offset % SIZEOF_SLOT == 0"); : D.23312 = cfg->mempool; D.23313 = gcfg->stack_slots_from_fp; D.23314 = slot_offset << 16; D.23315 = (unsigned int) D.23314; D.23316 = D.23315 | type; D.23317 = (long int) D.23316; D.23318 = (void *) D.23317; D.23319 = g_slist_prepend_mempool (D.23312, D.23313, D.23318); gcfg->stack_slots_from_fp = D.23319; } g_slist_prepend_mempool (struct MonoMemPool * mp, struct GSList * list, void * data) { struct GSList * D.23321; struct GSList * new_list; new_list = mono_mempool_alloc (mp, 16); new_list->data = data; new_list->next = list; D.23321 = new_list; return D.23321; } __attribute__((visibility ("hidden"))) mini_gc_set_slot_type_from_cfa (struct MonoCompile * cfg, int slot_offset, GCSlotType type) { long unsigned int D.23323; long unsigned int D.23324; _Bool D.23327; long int D.23328; long int D.23329; unsigned int slot_offset.1; unsigned int D.23333; _Bool D.23334; long int D.23335; long int D.23336; struct MonoMemPool * D.23339; struct GSList * D.23340; int D.23341; unsigned int D.23342; unsigned int D.23343; long unsigned int D.23344; void * D.23345; struct GSList * D.23346; struct MonoCompileGC * gcfg; int slot; gcfg = cfg->gc_info; slot = slot_offset / -8; D.23323 = BIT_FIELD_REF <*cfg, 64, 5632>; D.23324 = D.23323 & 72057594037927936; if (D.23324 == 0) goto ; else goto ; : return; : D.23327 = slot_offset > 0; D.23328 = (long int) D.23327; D.23329 = __builtin_expect (D.23328, 0); if (D.23329 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 1302, "slot_offset <= 0"); : slot_offset.1 = (unsigned int) slot_offset; D.23333 = slot_offset.1 & 7; D.23334 = D.23333 != 0; D.23335 = (long int) D.23334; D.23336 = __builtin_expect (D.23335, 0); if (D.23336 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 1303, "slot_offset % SIZEOF_SLOT == 0"); : D.23339 = cfg->mempool; D.23340 = gcfg->stack_slots_from_cfa; D.23341 = slot << 16; D.23342 = (unsigned int) D.23341; D.23343 = D.23342 | type; D.23344 = (long unsigned int) D.23343; D.23345 = (void *) D.23344; D.23346 = g_slist_prepend_mempool (D.23339, D.23340, D.23345); gcfg->stack_slots_from_cfa = D.23346; } __attribute__((visibility ("hidden"))) mini_gc_create_gc_map (struct MonoCompile * cfg) { long unsigned int D.23348; long unsigned int D.23349; unsigned int D.23352; unsigned int D.23353; D.23348 = BIT_FIELD_REF <*cfg, 64, 5632>; D.23349 = D.23348 & 72057594037927936; if (D.23349 == 0) goto ; else goto ; : return; : D.23352 = cfg->comp_done; D.23353 = D.23352 & 16; if (D.23353 == 0) goto ; else goto ; : return; : mono_analyze_liveness_gc (cfg); compute_frame_size (cfg); init_gcfg (cfg); process_spill_slots (cfg); process_other_slots (cfg); process_param_area_slots (cfg); process_variables (cfg); process_finally_clauses (cfg); create_map (cfg); } compute_frame_size (struct MonoCompile * cfg) { struct MonoMethod * D.23357; int D.23358; unsigned int D.23359; unsigned int D.23360; int D.23361; unsigned int locals_min_offset.2; unsigned int D.23363; int D.23364; unsigned int locals_max_offset.3; unsigned int D.23366; int D.23367; struct MonoInst * * D.23368; long unsigned int D.23369; long unsigned int D.23370; struct MonoInst * * D.23371; short unsigned int D.23372; struct MonoGenericSharingContext * D.23375; struct MonoType * D.23376; int D.23377; long int D.23378; long int D.23379; long int D.23380; long int D.23381; long int D.23382; long int D.23383; unsigned int D.23384; int D.23385; unsigned int D.23386; unsigned int D.23387; int D.23388; short unsigned int D.23389; int D.23390; D.23391; int D.23392; int D.23393; unsigned int D.23394; int D.23395; unsigned int D.23396; _Bool D.23397; long int D.23398; long int D.23399; int D.23402; _Bool D.23403; long int D.23404; long int D.23405; void * D.23408; long int D.23409; unsigned int D.23410; unsigned int D.23411; int D.23414; unsigned int D.23415; unsigned int D.23416; int D.23417; int D.23418; int i; int locals_min_offset; int locals_max_offset; int cfa_min_offset; int cfa_max_offset; int min_offset; int max_offset; struct MonoCompileGC * gcfg; struct MonoMethodSignature * sig; struct GSList * l; gcfg = cfg->gc_info; D.23357 = cfg->method; sig = mono_method_signature (D.23357); D.23358 = cfg->locals_min_stack_offset; D.23359 = (unsigned int) D.23358; D.23360 = D.23359 + 7; D.23361 = (int) D.23360; locals_min_offset = D.23361 & -8; locals_max_offset = cfg->locals_max_stack_offset; locals_min_offset.2 = (unsigned int) locals_min_offset; D.23363 = locals_min_offset.2 + 7; D.23364 = (int) D.23363; locals_min_offset = D.23364 & -8; locals_max_offset.3 = (unsigned int) locals_max_offset; D.23366 = locals_max_offset.3 + 7; D.23367 = (int) D.23366; locals_max_offset = D.23367 & -8; min_offset = locals_min_offset; max_offset = locals_max_offset; i = 0; goto ; : { struct MonoInst * ins; D.23368 = cfg->args; D.23369 = (long unsigned int) i; D.23370 = D.23369 * 8; D.23371 = D.23368 + D.23370; ins = *D.23371; D.23372 = ins->opcode; if (D.23372 == 367) goto ; else goto ; : { int size; int size_in_slots; D.23375 = cfg->generic_sharing_context; D.23376 = ins->data.op[1].vtype; D.23377 = ins->backend.is_pinvoke; size = mini_type_stack_size_full (D.23375, D.23376, 0B, D.23377); D.23378 = (long int) size; D.23379 = D.23378 + 7; D.23380 = D.23379 >> 3; size_in_slots = (int) D.23380; D.23381 = ins->data.op[0].const_val; D.23382 = (long int) min_offset; D.23383 = MIN_EXPR ; min_offset = (int) D.23383; D.23381 = ins->data.op[0].const_val; D.23384 = (unsigned int) D.23381; D.23385 = size_in_slots * 8; D.23386 = (unsigned int) D.23385; D.23387 = D.23384 + D.23386; D.23388 = (int) D.23387; max_offset = MAX_EXPR ; } : } i = i + 1; : D.23389 = sig->param_count; D.23390 = (int) D.23389; D.23391 = sig->hasthis; D.23392 = (int) D.23391; D.23393 = D.23390 + D.23392; if (D.23393 > i) goto ; else goto ; : D.23394 = cfg->frame_reg; D.23395 = cfg->cfa_reg; D.23396 = (unsigned int) D.23395; D.23397 = D.23394 != D.23396; D.23398 = (long int) D.23397; D.23399 = __builtin_expect (D.23398, 0); if (D.23399 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 2030, "cfg->frame_reg == cfg->cfa_reg"); : D.23402 = cfg->cfa_offset; D.23403 = D.23402 <= 0; D.23404 = (long int) D.23403; D.23405 = __builtin_expect (D.23404, 0); if (D.23405 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 2031, "cfg->cfa_offset > 0"); : cfa_min_offset = 0; cfa_max_offset = cfg->cfa_offset; min_offset = MIN_EXPR ; max_offset = MAX_EXPR ; l = gcfg->stack_slots_from_fp; goto ; : { gint data; int offset; D.23408 = l->data; D.23409 = (long int) D.23408; data = (gint) D.23409; offset = data >> 16; min_offset = MIN_EXPR ; } l = l->next; : if (l != 0B) goto ; else goto ; : D.23410 = cfg->flags; D.23411 = D.23410 & 64; if (D.23411 == 0) goto ; else goto ; : { int stack_offset; D.23414 = cfg->stack_offset; D.23415 = (unsigned int) D.23414; D.23416 = D.23415 + 7; D.23417 = (int) D.23416; stack_offset = D.23417 & -8; D.23418 = -stack_offset; min_offset = MIN_EXPR ; } : monoeg_assertion_message ("* Assertion: should not be reached at %s:%d\n", "mini-gc.c", 2062); gcfg->min_offset = min_offset; gcfg->max_offset = max_offset; gcfg->locals_min_offset = locals_min_offset; gcfg->locals_max_offset = locals_max_offset; } init_gcfg (struct MonoCompile * cfg) { struct GSList * D.23419; unsigned int D.23420; unsigned int ncallsites.4; unsigned int D.23422; struct MonoMemPool * D.23423; long unsigned int D.23424; unsigned int D.23425; unsigned int D.23426; int i.5; long unsigned int D.23428; long unsigned int D.23429; struct GCCallSite * * D.23430; void * D.23431; long unsigned int D.23432; long unsigned int D.23433; sizetype D.23434; struct GCCallSite * * D.23435; struct GCCallSite * D.23436; int D.23437; struct GCCallSite * * D.23438; struct GCCallSite * D.23439; int D.23440; _Bool D.23441; long int D.23442; long int D.23443; unsigned int D.23446; struct MonoMethod * D.23449; char * D.23450; int D.23451; int D.23452; int D.23453; long int D.23454; long int D.23455; long int D.23456; int D.23457; int D.23458; int D.23459; unsigned int D.23460; void * D.23461; void * D.23462; int D.23463; int D.23464; unsigned int D.23465; void * D.23466; void * D.23467; guint8 * D.23468; int D.23469; long unsigned int D.23470; long unsigned int D.23471; int D.23472; long unsigned int D.23473; long unsigned int D.23474; int i; int nregs; int nslots; struct MonoCompileGC * gcfg; struct GCCallSite * * callsites; int ncallsites; struct MonoBasicBlock * bb; struct GSList * l; gcfg = cfg->gc_info; ncallsites = 0; bb = cfg->bb_entry; goto ; : D.23419 = bb->gc_callsites; D.23420 = monoeg_g_slist_length (D.23419); ncallsites.4 = (unsigned int) ncallsites; D.23422 = D.23420 + ncallsites.4; ncallsites = (int) D.23422; bb = bb->next_bb; : if (bb != 0B) goto ; else goto ; : D.23423 = cfg->mempool; D.23424 = (long unsigned int) ncallsites; D.23425 = (unsigned int) D.23424; D.23426 = D.23425 * 8; callsites = mono_mempool_alloc0 (D.23423, D.23426); i = 0; bb = cfg->bb_entry; goto ; : l = bb->gc_callsites; goto ; : i.5 = i; i = i.5 + 1; D.23428 = (long unsigned int) i.5; D.23429 = D.23428 * 8; D.23430 = callsites + D.23429; D.23431 = l->data; *D.23430 = D.23431; l = l->next; : if (l != 0B) goto ; else goto ; : bb = bb->next_bb; : if (bb != 0B) goto ; else goto ; : i = 1; goto ; : D.23432 = (long unsigned int) i; D.23433 = D.23432 * 8; D.23434 = D.23433 + 18446744073709551608; D.23435 = callsites + D.23434; D.23436 = *D.23435; D.23437 = D.23436->pc_offset; D.23432 = (long unsigned int) i; D.23433 = D.23432 * 8; D.23438 = callsites + D.23433; D.23439 = *D.23438; D.23440 = D.23439->pc_offset; D.23441 = D.23437 >= D.23440; D.23442 = (long int) D.23441; D.23443 = __builtin_expect (D.23442, 0); if (D.23443 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 2097, "callsites [i - 1]->pc_offset < callsites [i]->pc_offset"); : i = i + 1; : if (i < ncallsites) goto ; else goto ; : D.23446 = cfg->verbose_level; if (D.23446 > 1) goto ; else goto ; : D.23449 = cfg->method; D.23450 = mono_method_full_name (D.23449, 1); D.23451 = gcfg->min_offset; D.23452 = gcfg->max_offset; printf ("GC Map for %s: 0x%x-0x%x\n", D.23450, D.23451, D.23452); : D.23452 = gcfg->max_offset; D.23451 = gcfg->min_offset; D.23453 = D.23452 - D.23451; nslots = D.23453 / 8; nregs = 16; gcfg->nslots = nslots; gcfg->nregs = nregs; gcfg->callsites = callsites; gcfg->ncallsites = ncallsites; D.23454 = (long int) ncallsites; D.23455 = D.23454 + 7; D.23456 = D.23455 >> 3; D.23457 = (int) D.23456; gcfg->stack_bitmap_width = D.23457; D.23454 = (long int) ncallsites; D.23455 = D.23454 + 7; D.23456 = D.23455 >> 3; D.23457 = (int) D.23456; gcfg->reg_bitmap_width = D.23457; D.23423 = cfg->mempool; D.23458 = gcfg->stack_bitmap_width; D.23459 = D.23458 * nslots; D.23460 = (unsigned int) D.23459; D.23461 = mono_mempool_alloc0 (D.23423, D.23460); gcfg->stack_ref_bitmap = D.23461; D.23423 = cfg->mempool; D.23458 = gcfg->stack_bitmap_width; D.23459 = D.23458 * nslots; D.23460 = (unsigned int) D.23459; D.23462 = mono_mempool_alloc0 (D.23423, D.23460); gcfg->stack_pin_bitmap = D.23462; D.23423 = cfg->mempool; D.23463 = gcfg->reg_bitmap_width; D.23464 = D.23463 * nregs; D.23465 = (unsigned int) D.23464; D.23466 = mono_mempool_alloc0 (D.23423, D.23465); gcfg->reg_ref_bitmap = D.23466; D.23423 = cfg->mempool; D.23463 = gcfg->reg_bitmap_width; D.23464 = D.23463 * nregs; D.23465 = (unsigned int) D.23464; D.23467 = mono_mempool_alloc0 (D.23423, D.23465); gcfg->reg_pin_bitmap = D.23467; D.23468 = gcfg->stack_pin_bitmap; D.23458 = gcfg->stack_bitmap_width; D.23469 = D.23458 * nregs; D.23470 = (long unsigned int) D.23469; memset (D.23468, 255, D.23470); i = 0; goto ; : D.23471 = cfg->used_int_regs; D.23472 = 1 << i; D.23473 = (long unsigned int) D.23472; D.23474 = D.23471 & D.23473; if (D.23474 != 0) goto ; else goto ; : set_reg_slot_everywhere (gcfg, i, 0); : i = i + 1; : if (i < nregs) goto ; else goto ; : } __attribute__((__artificial__, __gnu_inline__, __always_inline__)) printf (const char * restrict __fmt) { int D.23477; D.23477 = __printf_chk (1, __fmt, __builtin_va_arg_pack ()); return D.23477; } __attribute__((__artificial__, __gnu_inline__, __always_inline__, __nothrow__, __leaf__)) memset (void * __dest, int __ch, size_t __len) { void * D.23479; long unsigned int D.23480; D.23480 = __builtin_object_size (__dest, 0); D.23479 = __builtin___memset_chk (__dest, __ch, __len, D.23480); return D.23479; } set_reg_slot_everywhere (struct MonoCompileGC * gcfg, int slot, GCSlotType type) { int D.23482; int cindex; cindex = 0; goto ; : set_reg_slot (gcfg, slot, cindex, type); cindex = cindex + 1; : D.23482 = gcfg->ncallsites; if (D.23482 > cindex) goto ; else goto ; : } set_reg_slot (struct MonoCompileGC * gcfg, int slot, int callsite_index, GCSlotType type) { int iftmp.6; int D.23488; _Bool D.23489; long int D.23490; long int D.23491; guint8 * D.23496; int D.23497; guint8 * D.23498; if (slot < 0) goto ; else goto ; : D.23488 = gcfg->nregs; if (D.23488 <= slot) goto ; else goto ; : iftmp.6 = 1; goto ; : iftmp.6 = 0; : D.23489 = iftmp.6 != 0; D.23490 = (long int) D.23489; D.23491 = __builtin_expect (D.23490, 0); if (D.23491 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 1385, "slot >= 0 && slot < gcfg->nregs"); : if (type == 2) goto ; else goto ; : D.23496 = gcfg->reg_ref_bitmap; D.23497 = gcfg->reg_bitmap_width; clear_bit (D.23496, D.23497, slot, callsite_index); D.23498 = gcfg->reg_pin_bitmap; D.23497 = gcfg->reg_bitmap_width; set_bit (D.23498, D.23497, slot, callsite_index); goto ; : if (type == 1) goto ; else goto ; : D.23496 = gcfg->reg_ref_bitmap; D.23497 = gcfg->reg_bitmap_width; set_bit (D.23496, D.23497, slot, callsite_index); D.23498 = gcfg->reg_pin_bitmap; D.23497 = gcfg->reg_bitmap_width; clear_bit (D.23498, D.23497, slot, callsite_index); goto ; : if (type == 0) goto ; else goto ; : D.23496 = gcfg->reg_ref_bitmap; D.23497 = gcfg->reg_bitmap_width; clear_bit (D.23496, D.23497, slot, callsite_index); D.23498 = gcfg->reg_pin_bitmap; D.23497 = gcfg->reg_bitmap_width; clear_bit (D.23498, D.23497, slot, callsite_index); : : : } set_bit (guint8 * bitmap, int width, int y, int x) { int D.23505; int D.23506; int D.23507; sizetype D.23508; guint8 * D.23509; unsigned char D.23510; signed char D.23511; int D.23512; int D.23513; signed char D.23514; signed char D.23515; unsigned char D.23516; D.23505 = width * y; D.23506 = x / 8; D.23507 = D.23505 + D.23506; D.23508 = (sizetype) D.23507; D.23509 = bitmap + D.23508; D.23505 = width * y; D.23507 = D.23505 + D.23506; D.23508 = (sizetype) D.23507; D.23509 = bitmap + D.23508; D.23510 = *D.23509; D.23511 = (signed char) D.23510; D.23512 = x % 8; D.23513 = 1 << D.23512; D.23514 = (signed char) D.23513; D.23515 = D.23511 | D.23514; D.23516 = (unsigned char) D.23515; *D.23509 = D.23516; } clear_bit (guint8 * bitmap, int width, int y, int x) { int D.23517; int D.23518; int D.23519; sizetype D.23520; guint8 * D.23521; unsigned char D.23522; signed char D.23523; int D.23524; int D.23525; signed char D.23526; signed char D.23527; signed char D.23528; unsigned char D.23529; D.23517 = width * y; D.23518 = x / 8; D.23519 = D.23517 + D.23518; D.23520 = (sizetype) D.23519; D.23521 = bitmap + D.23520; D.23517 = width * y; D.23519 = D.23517 + D.23518; D.23520 = (sizetype) D.23519; D.23521 = bitmap + D.23520; D.23522 = *D.23521; D.23523 = (signed char) D.23522; D.23524 = x % 8; D.23525 = 1 << D.23524; D.23526 = (signed char) D.23525; D.23527 = ~D.23526; D.23528 = D.23523 & D.23527; D.23529 = (unsigned char) D.23528; *D.23521 = D.23529; } process_spill_slots (struct MonoCompile * cfg) { long int D.23530; long int D.23531; struct MonoSpillInfo * D.23532; long unsigned int D.23533; long unsigned int D.23534; struct MonoSpillInfo * D.23535; unsigned int bank.7; unsigned int D.23537; long int D.23540; long int D.23541; struct MonoSpillInfo * D.23542; long unsigned int D.23543; long unsigned int D.23544; struct MonoSpillInfo * D.23545; int D.23549; int D.23550; int D.23551; int D.23552; unsigned int D.23553; const char * D.23556; const char * iftmp.8; int D.23561; struct MonoSpillInfo * D.23562; long unsigned int D.23563; long unsigned int D.23564; struct MonoSpillInfo * D.23565; const char * iftmp.9; int D.23574; int D.23575; struct MonoSpillInfo * D.23576; struct MonoSpillInfo * D.23577; const char * iftmp.10; int D.23586; int D.23587; struct MonoCompileGC * gcfg; struct MonoBasicBlock * bb; struct GSList * l; int i; gcfg = cfg->gc_info; bb = cfg->bb_entry; goto ; : l = bb->spill_slot_defs; goto ; : { struct MonoInst * def; int spill_slot; int bank; int offset; int slot; def = l->data; D.23530 = def->data.op[0].const_val; spill_slot = (int) D.23530; D.23531 = def->data.op[1].const_val; bank = (int) D.23531; D.23532 = cfg->spill_info[bank]; D.23533 = (long unsigned int) spill_slot; D.23534 = D.23533 * 4; D.23535 = D.23532 + D.23534; offset = D.23535->offset; slot = fp_offset_to_slot (cfg, offset); bank.7 = (unsigned int) bank; D.23537 = bank.7 + 4294967294; if (D.23537 <= 1) goto ; else goto ; : set_slot_everywhere (gcfg, slot, 0); : } l = l->next; : if (l != 0B) goto ; else goto ; : bb = bb->next_bb; : if (bb != 0B) goto ; else goto ; : bb = cfg->bb_entry; goto ; : l = bb->spill_slot_defs; goto ; : { struct MonoInst * def; int spill_slot; int bank; int offset; int slot; GCSlotType type; def = l->data; D.23540 = def->data.op[0].const_val; spill_slot = (int) D.23540; D.23541 = def->data.op[1].const_val; bank = (int) D.23541; D.23542 = cfg->spill_info[bank]; D.23543 = (long unsigned int) spill_slot; D.23544 = D.23543 * 4; D.23545 = D.23542 + D.23544; offset = D.23545->offset; slot = fp_offset_to_slot (cfg, offset); if (bank == 3) goto ; else goto ; : type = 2; goto ; : type = 1; : D.23549 = def->backend.pc_offset; D.23550 = bb->native_offset; D.23551 = bb->native_length; D.23552 = D.23550 + D.23551; set_slot_in_range (gcfg, slot, D.23549, D.23552, type); D.23553 = cfg->verbose_level; if (D.23553 > 1) goto ; else goto ; : D.23556 = slot_type_to_string (type); if (offset >= 0) goto ; else goto ; : iftmp.8 = ""; goto ; : iftmp.8 = "-"; : D.23561 = ABS_EXPR ; printf ("\t%s spill slot at %s0x%x(fp) (slot = %d)\n", D.23556, iftmp.8, D.23561, slot); : } l = l->next; : if (l != 0B) goto ; else goto ; : bb = bb->next_bb; : if (bb != 0B) goto ; else goto ; : i = 0; goto ; : { int offset; int slot; D.23562 = cfg->spill_info[1]; D.23563 = (long unsigned int) i; D.23564 = D.23563 * 4; D.23565 = D.23562 + D.23564; offset = D.23565->offset; if (offset == -1) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : slot = fp_offset_to_slot (cfg, offset); set_slot_everywhere (gcfg, slot, 0); D.23553 = cfg->verbose_level; if (D.23553 > 1) goto ; else goto ; : if (offset >= 0) goto ; else goto ; : iftmp.9 = ""; goto ; : iftmp.9 = "-"; : D.23574 = ABS_EXPR ; printf ("\tfp spill slot at %s0x%x(fp) (slot = %d)\n", iftmp.9, D.23574, slot); : } : i = i + 1; : D.23575 = cfg->spill_info_len[1]; if (D.23575 > i) goto ; else goto ; : i = 0; goto ; : { int offset; int slot; D.23576 = cfg->spill_info[0]; D.23563 = (long unsigned int) i; D.23564 = D.23563 * 4; D.23577 = D.23576 + D.23564; offset = D.23577->offset; if (offset == -1) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : slot = fp_offset_to_slot (cfg, offset); set_slot_everywhere (gcfg, slot, 0); D.23553 = cfg->verbose_level; if (D.23553 > 1) goto ; else goto ; : if (offset >= 0) goto ; else goto ; : iftmp.10 = ""; goto ; : iftmp.10 = "-"; : D.23586 = ABS_EXPR ; printf ("\tint spill slot at %s0x%x(fp) (slot = %d)\n", iftmp.10, D.23586, slot); : } : i = i + 1; : D.23587 = cfg->spill_info_len[0]; if (D.23587 > i) goto ; else goto ; : } set_slot_in_range (struct MonoCompileGC * gcfg, int slot, int from, int to, GCSlotType type) { struct GCCallSite * * D.23588; long unsigned int D.23589; long unsigned int D.23590; struct GCCallSite * * D.23591; struct GCCallSite * D.23592; int D.23597; int cindex; cindex = 0; goto ; : { int callsite_offset; D.23588 = gcfg->callsites; D.23589 = (long unsigned int) cindex; D.23590 = D.23589 * 8; D.23591 = D.23588 + D.23590; D.23592 = *D.23591; callsite_offset = D.23592->pc_offset; if (callsite_offset >= from) goto ; else goto ; : if (callsite_offset < to) goto ; else goto ; : set_slot (gcfg, slot, cindex, type); : : } cindex = cindex + 1; : D.23597 = gcfg->ncallsites; if (D.23597 > cindex) goto ; else goto ; : } __attribute__((always_inline)) set_slot (struct MonoCompileGC * gcfg, int slot, int callsite_index, GCSlotType type) { int iftmp.11; int D.23603; _Bool D.23604; long int D.23605; long int D.23606; guint8 * D.23611; int D.23612; guint8 * D.23613; if (slot < 0) goto ; else goto ; : D.23603 = gcfg->nslots; if (D.23603 <= slot) goto ; else goto ; : iftmp.11 = 1; goto ; : iftmp.11 = 0; : D.23604 = iftmp.11 != 0; D.23605 = (long int) D.23604; D.23606 = __builtin_expect (D.23605, 0); if (D.23606 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 1327, "slot >= 0 && slot < gcfg->nslots"); : if (type == 2) goto ; else goto ; : D.23611 = gcfg->stack_ref_bitmap; D.23612 = gcfg->stack_bitmap_width; clear_bit (D.23611, D.23612, slot, callsite_index); D.23613 = gcfg->stack_pin_bitmap; D.23612 = gcfg->stack_bitmap_width; set_bit (D.23613, D.23612, slot, callsite_index); goto ; : if (type == 1) goto ; else goto ; : D.23611 = gcfg->stack_ref_bitmap; D.23612 = gcfg->stack_bitmap_width; set_bit (D.23611, D.23612, slot, callsite_index); D.23613 = gcfg->stack_pin_bitmap; D.23612 = gcfg->stack_bitmap_width; clear_bit (D.23613, D.23612, slot, callsite_index); goto ; : if (type == 0) goto ; else goto ; : D.23611 = gcfg->stack_ref_bitmap; D.23612 = gcfg->stack_bitmap_width; clear_bit (D.23611, D.23612, slot, callsite_index); D.23613 = gcfg->stack_pin_bitmap; D.23612 = gcfg->stack_bitmap_width; clear_bit (D.23613, D.23612, slot, callsite_index); : : : } slot_type_to_string (GCSlotType type) { const char * D.23620; switch (type) , case 0: , case 1: , case 2: > : D.23620 = "ref"; return D.23620; : D.23620 = "noref"; return D.23620; : D.23620 = "pin"; return D.23620; : monoeg_assertion_message ("* Assertion: should not be reached at %s:%d\n", "mini-gc.c", 663); D.23620 = 0B; return D.23620; } fp_offset_to_slot (struct MonoCompile * cfg, int offset) { int D.23622; int D.23623; int D.23624; struct MonoCompileGC * gcfg; gcfg = cfg->gc_info; D.23623 = gcfg->min_offset; D.23624 = offset - D.23623; D.23622 = D.23624 / 8; return D.23622; } set_slot_everywhere (struct MonoCompileGC * gcfg, int slot, GCSlotType type) { sizetype D.23628; guint8 * D.23629; long unsigned int D.23630; guint8 * D.23631; int width; int pos; guint8 * ref_bitmap; guint8 * pin_bitmap; ref_bitmap = gcfg->stack_ref_bitmap; pin_bitmap = gcfg->stack_pin_bitmap; width = gcfg->stack_bitmap_width; pos = width * slot; if (type == 2) goto ; else goto ; : D.23628 = (sizetype) pos; D.23629 = ref_bitmap + D.23628; D.23630 = (long unsigned int) width; memset (D.23629, 0, D.23630); D.23628 = (sizetype) pos; D.23631 = pin_bitmap + D.23628; D.23630 = (long unsigned int) width; memset (D.23631, 255, D.23630); goto ; : if (type == 1) goto ; else goto ; : D.23628 = (sizetype) pos; D.23629 = ref_bitmap + D.23628; D.23630 = (long unsigned int) width; memset (D.23629, 255, D.23630); D.23628 = (sizetype) pos; D.23631 = pin_bitmap + D.23628; D.23630 = (long unsigned int) width; memset (D.23631, 0, D.23630); goto ; : if (type == 0) goto ; else goto ; : D.23628 = (sizetype) pos; D.23629 = ref_bitmap + D.23628; D.23630 = (long unsigned int) width; memset (D.23629, 0, D.23630); D.23628 = (sizetype) pos; D.23631 = pin_bitmap + D.23628; D.23630 = (long unsigned int) width; memset (D.23631, 0, D.23630); : : : } process_other_slots (struct MonoCompile * cfg) { void * D.23638; long int D.23639; unsigned int D.23640; int D.23641; int D.23642; int D.23643; int D.23644; int D.23645; unsigned int D.23646; const char * iftmp.12; int D.23655; int D.23656; int D.23657; struct MonoCompileGC * gcfg; struct GSList * l; gcfg = cfg->gc_info; l = gcfg->stack_slots_from_cfa; goto ; : { guint data; int cfa_slot; GCSlotType type; int slot; D.23638 = l->data; D.23639 = (long int) D.23638; data = (guint) D.23639; D.23640 = data >> 16; cfa_slot = (int) D.23640; type = data & 255; D.23641 = cfg->cfa_offset; D.23642 = D.23641 / 8; D.23643 = D.23642 - cfa_slot; D.23644 = gcfg->min_offset; D.23645 = D.23644 / -8; slot = D.23643 + D.23645; set_slot_everywhere (gcfg, slot, type); D.23646 = cfg->verbose_level; if (D.23646 > 1) goto ; else goto ; : { int fp_offset; fp_offset = slot_to_fp_offset (cfg, slot); if (type == 0) goto ; else goto ; : if (fp_offset >= 0) goto ; else goto ; : iftmp.12 = ""; goto ; : iftmp.12 = "-"; : D.23655 = ABS_EXPR ; D.23656 = cfa_slot * 8; printf ("\tnoref slot at %s0x%x(fp) (slot = %d) (cfa - 0x%x)\n", iftmp.12, D.23655, slot, D.23656); : } : } l = l->next; : if (l != 0B) goto ; else goto ; : l = gcfg->stack_slots_from_fp; goto ; : { gint data; int offset; GCSlotType type; int slot; D.23638 = l->data; D.23639 = (long int) D.23638; data = (gint) D.23639; offset = data >> 16; D.23657 = data & 255; type = (GCSlotType) D.23657; slot = fp_offset_to_slot (cfg, offset); set_slot_everywhere (gcfg, slot, type); D.23646 = cfg->verbose_level; if (D.23646 > 1) goto ; else goto ; : if (type == 1) goto ; else goto ; : printf ("\tref slot at fp+0x%x (slot = %d)\n", offset, slot); goto ; : if (type == 0) goto ; else goto ; : printf ("\tnoref slot at 0x%x(fp) (slot = %d)\n", offset, slot); : : : } l = l->next; : if (l != 0B) goto ; else goto ; : } slot_to_fp_offset (struct MonoCompile * cfg, int slot) { int D.23665; int D.23666; int D.23667; struct MonoCompileGC * gcfg; gcfg = cfg->gc_info; D.23666 = slot * 8; D.23667 = gcfg->min_offset; D.23665 = D.23666 + D.23667; return D.23665; } process_param_area_slots (struct MonoCompile * cfg) { unsigned int D.23669; unsigned int D.23670; struct MonoMemPool * D.23673; int D.23674; long unsigned int D.23675; unsigned int D.23676; unsigned int D.23677; struct GCCallSite * * D.23678; long unsigned int D.23679; long unsigned int D.23680; struct GCCallSite * * D.23681; long int D.23682; int D.23683; struct MonoGenericSharingContext * D.23686; int D.23687; int iftmp.13; int D.23693; _Bool D.23695; long int D.23696; long int D.23697; long unsigned int D.23700; long unsigned int D.23701; gboolean * D.23702; long unsigned int D.23703; unsigned int D.23704; long unsigned int D.23705; int D.23706; long unsigned int D.23707; gboolean * D.23708; int D.23709; struct MonoCompileGC * gcfg; int cindex; int i; gboolean * is_param; gcfg = cfg->gc_info; D.23669 = cfg->flags; D.23670 = D.23669 & 1; if (D.23670 != 0) goto ; else goto ; : return; : D.23673 = cfg->mempool; D.23674 = gcfg->nslots; D.23675 = (long unsigned int) D.23674; D.23676 = (unsigned int) D.23675; D.23677 = D.23676 * 4; is_param = mono_mempool_alloc0 (D.23673, D.23677); cindex = 0; goto ; : { struct GCCallSite * callsite; struct GSList * l; D.23678 = gcfg->callsites; D.23679 = (long unsigned int) cindex; D.23680 = D.23679 * 8; D.23681 = D.23678 + D.23680; callsite = *D.23681; l = callsite->param_slots; goto ; : { struct MonoInst * def; struct MonoType * t; int sp_offset; int fp_offset; int slot; guint32 align; guint32 size; try { def = l->data; t = def->data.op[1].vtype; D.23682 = def->data.op[0].const_val; sp_offset = (int) D.23682; fp_offset = sp_offset_to_fp_offset (cfg, sp_offset); slot = fp_offset_to_slot (cfg, fp_offset); D.23683 = mono_type_is_struct (t); if (D.23683 != 0) goto ; else goto ; : D.23686 = cfg->generic_sharing_context; D.23687 = mini_type_stack_size_full (D.23686, t, &align, 0); size = (guint32) D.23687; goto ; : size = 8; : i = 0; goto ; : D.23693 = slot + i; if (D.23693 < 0) goto ; else goto ; : D.23693 = slot + i; D.23674 = gcfg->nslots; if (D.23693 >= D.23674) goto ; else goto ; : iftmp.13 = 1; goto ; : iftmp.13 = 0; : D.23695 = iftmp.13 != 0; D.23696 = (long int) D.23695; D.23697 = __builtin_expect (D.23696, 0); if (D.23697 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 1913, "slot + i >= 0 && slot + i < gcfg->nslots"); : D.23693 = slot + i; D.23700 = (long unsigned int) D.23693; D.23701 = D.23700 * 4; D.23702 = is_param + D.23701; *D.23702 = 1; i = i + 1; : D.23703 = (long unsigned int) i; D.23704 = size / 8; D.23705 = (long unsigned int) D.23704; if (D.23703 < D.23705) goto ; else goto ; : } finally { align = {CLOBBER}; } } l = l->next; : if (l != 0B) goto ; else goto ; : } cindex = cindex + 1; : D.23706 = gcfg->ncallsites; if (D.23706 > cindex) goto ; else goto ; : i = 0; goto ; : D.23703 = (long unsigned int) i; D.23707 = D.23703 * 4; D.23708 = is_param + D.23707; D.23709 = *D.23708; if (D.23709 != 0) goto ; else goto ; : set_slot_everywhere (gcfg, i, 0); : i = i + 1; : D.23674 = gcfg->nslots; if (D.23674 > i) goto ; else goto ; : } sp_offset_to_fp_offset (struct MonoCompile * cfg, int sp_offset) { int D.23713; monoeg_assertion_message ("* Assertion: should not be reached at %s:%d\n", "mini-gc.c", 1871); D.23713 = -1; return D.23713; } process_variables (struct MonoCompile * cfg) { struct MonoMethod * D.23715; int D.23716; int D.23717; int D.23718; unsigned int D.23719; long unsigned int D.23720; long unsigned int D.23721; struct MonoBasicBlock * D.23722; short unsigned int D.23723; long int D.23726; long unsigned int D.23727; long unsigned int D.23728; int * D.23729; int D.23730; int D.23733; _Bool D.23734; long int D.23735; long int D.23736; struct MonoInst * * D.23739; long unsigned int D.23740; long unsigned int D.23741; struct MonoInst * * D.23742; unsigned int D.23743; unsigned int i.14; _Bool D.23745; struct MonoInst * D.23746; short unsigned int D.23751; int D.23753; struct MonoMethodVar * D.23754; long unsigned int D.23755; long unsigned int D.23756; long unsigned int D.23757; struct MonoInst * * D.23760; struct MonoInst * D.23761; struct MonoClass * D.23764; long unsigned int D.23765; long unsigned int D.23766; D.23769; _Bool D.23772; long int D.23773; long int D.23774; int D.23780; _Bool D.23781; struct GCCallSite * * D.23785; long unsigned int D.23786; long unsigned int D.23787; struct GCCallSite * * D.23788; struct GCCallSite * D.23789; guint8 * D.23790; int D.23791; sizetype D.23792; guint8 * D.23793; unsigned char D.23794; int D.23795; int D.23796; int D.23797; int D.23798; int D.23801; unsigned int D.23802; const char * D.23805; const char * iftmp.15; const char * D.23810; int D.23811; long int D.23814; unsigned long D.23815; unsigned long D.23816; int D.23819; int D.23820; unsigned char D.23823; int D.23824; int D.23825; int pos.16; const char * D.23831; int D.23832; struct MonoType * D.23833; char * D.23834; int D.23835; int D.23838; struct MonoClass * D.23841; long int D.23843; long int D.23844; long int D.23845; const char * D.23848; int D.23849; const char * D.23850; unsigned int D.23851; int D.23852; unsigned int D.23853; unsigned int D.23854; int D.23855; int D.23856; unsigned int size_in_slots.17; unsigned int D.23858; char * D.23859; long unsigned int D.23860; long unsigned int D.23861; unsigned int j.18; unsigned int D.23867; int D.23868; long unsigned int D.23873; long unsigned int D.23874; int * D.23875; int D.23876; int D.23883; long unsigned int D.23886; long unsigned int D.23887; long unsigned int D.23888; gsize * D.23889; long unsigned int D.23890; unsigned int j.19; unsigned int D.23892; long unsigned int D.23893; long unsigned int D.23894; unsigned int D.23897; int D.23898; GCSlotType iftmp.20; int numbits.21; const char * iftmp.22; int D.23912; unsigned int D.23913; unsigned int D.23914; int D.23915; long int D.23923; int D.23925; long int D.23926; long unsigned int D.23927; long unsigned int D.23928; const char * iftmp.23; int iftmp.24; char * D.23946; int D.23947; const char * iftmp.25; const char * iftmp.26; int iftmp.27; char * D.23964; unsigned int D.23967; int D.23968; const char * iftmp.28; int iftmp.29; unsigned int D.23978; int D.23979; char * D.23981; int D.23982; unsigned int D.23992; int D.23993; const char * iftmp.30; int iftmp.31; char * D.24005; const char * iftmp.32; const char * iftmp.33; int iftmp.34; char * D.24025; unsigned int D.24026; struct MonoCompileGC * gcfg; struct MonoMethodSignature * sig; int i; int locals_min_slot; int locals_max_slot; int cindex; struct MonoBasicBlock * bb; struct MonoInst * tmp; int * pc_offsets; int locals_min_offset; int locals_max_offset; gcfg = cfg->gc_info; D.23715 = cfg->method; sig = mono_method_signature (D.23715); locals_min_offset = gcfg->locals_min_offset; locals_max_offset = gcfg->locals_max_offset; D.23716 = gcfg->min_offset; D.23717 = locals_min_offset - D.23716; locals_min_slot = D.23717 / 8; D.23716 = gcfg->min_offset; D.23718 = locals_max_offset - D.23716; locals_max_slot = D.23718 / 8; i = locals_min_slot; goto ; : set_slot_everywhere (gcfg, i, 0); i = i + 1; : if (i < locals_max_slot) goto ; else goto ; : D.23719 = cfg->next_vreg; D.23720 = (long unsigned int) D.23719; D.23721 = D.23720 * 4; pc_offsets = monoeg_malloc0 (D.23721); D.23722 = cfg->bb_entry; bb = D.23722->next_bb; tmp = bb->code; goto ; : D.23723 = tmp->opcode; if (D.23723 == 838) goto ; else goto ; : { int vreg; D.23726 = tmp->data.op[1].const_val; vreg = (int) D.23726; D.23727 = (long unsigned int) vreg; D.23728 = D.23727 * 4; D.23729 = pc_offsets + D.23728; D.23730 = *D.23729; if (D.23730 == 0) goto ; else goto ; : D.23733 = tmp->backend.pc_offset; D.23734 = D.23733 <= 0; D.23735 = (long int) D.23734; D.23736 = __builtin_expect (D.23735, 0); if (D.23736 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 1613, "tmp->backend.pc_offset > 0"); : D.23727 = (long unsigned int) vreg; D.23728 = D.23727 * 4; D.23729 = pc_offsets + D.23728; D.23733 = tmp->backend.pc_offset; *D.23729 = D.23733; : } : tmp = tmp->next; : if (tmp != 0B) goto ; else goto ; : i = 0; goto ; : { struct MonoInst * ins; struct MonoType * t; struct MonoMethodVar * vmv; guint32 pos; gboolean byref; gboolean is_this; gboolean is_arg; D.23739 = cfg->varinfo; D.23740 = (long unsigned int) i; D.23741 = D.23740 * 8; D.23742 = D.23739 + D.23741; ins = *D.23742; t = ins->data.op[1].vtype; is_this = 0; D.23743 = cfg->locals_start; i.14 = (unsigned int) i; D.23745 = D.23743 > i.14; is_arg = (gboolean) D.23745; D.23746 = cfg->ret; if (D.23746 == ins) goto ; else goto ; : D.23751 = ins->opcode; if (D.23751 != 367) goto ; else goto ; : D.23753 = mono_type_is_struct (t); if (D.23753 == 0) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : : D.23754 = cfg->vars; D.23740 = (long unsigned int) i; D.23755 = D.23740 * 80; vmv = D.23754 + D.23755; D.23756 = BIT_FIELD_REF <*sig, 64, 64>; D.23757 = D.23756 & 512; if (D.23757 != 0) goto ; else goto ; : D.23760 = cfg->args; D.23761 = *D.23760; if (D.23761 == ins) goto ; else goto ; : D.23715 = cfg->method; D.23764 = D.23715->klass; D.23765 = BIT_FIELD_REF <*D.23764, 64, 256>; D.23766 = D.23765 & 1152921504606846976; if (D.23766 == 0) goto ; else goto ; : D.23715 = cfg->method; D.23764 = D.23715->klass; t = &D.23764->byval_arg; is_this = 1; : : : D.23769 = t->byref; byref = (gboolean) D.23769; D.23751 = ins->opcode; if (D.23751 == 366) goto ; else goto ; : { int hreg; GCSlotType slot_type; t = mini_type_get_underlying_type (0B, t); hreg = ins->dreg; D.23772 = hreg > 15; D.23773 = (long int) D.23772; D.23774 = __builtin_expect (D.23773, 0); if (D.23774 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 1653, "hreg < MONO_MAX_IREGS"); : if (byref != 0) goto ; else goto ; : slot_type = 2; goto ; : D.23780 = mini_type_is_reference (cfg, t); D.23781 = D.23780 != 0; slot_type = (GCSlotType) D.23781; : if (slot_type == 2) goto ; else goto ; : set_reg_slot_everywhere (gcfg, hreg, slot_type); goto ; : cindex = 0; goto ; : D.23785 = gcfg->callsites; D.23786 = (long unsigned int) cindex; D.23787 = D.23786 * 8; D.23788 = D.23785 + D.23787; D.23789 = *D.23788; D.23790 = D.23789->liveness; D.23791 = i / 8; D.23792 = (sizetype) D.23791; D.23793 = D.23790 + D.23792; D.23794 = *D.23793; D.23795 = (int) D.23794; D.23796 = i % 8; D.23797 = D.23795 >> D.23796; D.23798 = D.23797 & 1; if (D.23798 != 0) goto ; else goto ; : set_reg_slot (gcfg, hreg, cindex, slot_type); : cindex = cindex + 1; : D.23801 = gcfg->ncallsites; if (D.23801 > cindex) goto ; else goto ; : : D.23802 = cfg->verbose_level; if (D.23802 > 1) goto ; else goto ; : D.23805 = slot_type_to_string (slot_type); if (is_arg != 0) goto ; else goto ; : iftmp.15 = "arg "; goto ; : iftmp.15 = ""; : D.23810 = mono_arch_regname (hreg); D.23811 = vmv->vreg; printf ("\t%s %sreg %s(R%d)\n", D.23805, iftmp.15, D.23810, D.23811); : // predicted unlikely by continue predictor. goto ; } : D.23751 = ins->opcode; if (D.23751 != 367) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : D.23814 = ins->data.op[0].const_val; D.23815 = (unsigned long) D.23814; D.23816 = D.23815 & 7; if (D.23816 != 0) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : D.23814 = ins->data.op[0].const_val; D.23819 = (int) D.23814; D.23820 = fp_offset_to_slot (cfg, D.23819); pos = (guint32) D.23820; if (is_arg != 0) goto ; else goto ; : D.23823 = ins->flags; D.23824 = (int) D.23823; D.23825 = D.23824 & 2; if (D.23825 != 0) goto ; else goto ; : pos.16 = (int) pos; set_slot_everywhere (gcfg, pos.16, 0); D.23802 = cfg->verbose_level; if (D.23802 > 1) goto ; else goto ; : D.23814 = ins->data.op[0].const_val; D.23819 = (int) D.23814; D.23831 = get_offset_sign (D.23819); D.23814 = ins->data.op[0].const_val; D.23819 = (int) D.23814; D.23832 = get_offset_val (D.23819); D.23833 = ins->data.op[1].vtype; D.23834 = mono_type_full_name (D.23833); printf ("\tdead arg at fp%s0x%x (slot = %d): %s\n", D.23831, D.23832, pos, D.23834); : // predicted unlikely by continue predictor. goto ; : : D.23835 = mono_type_is_struct (t); if (D.23835 != 0) goto ; else goto ; : { int numbits; int j; gsize * bitmap; gboolean pin; int size; int size_in_slots; try { numbits = 0; bitmap = 0B; pin = 0; D.23838 = ins->backend.is_pinvoke; if (D.23838 != 0) goto ; else goto ; : D.23841 = ins->klass; size = mono_class_native_size (D.23841, 0B); goto ; : D.23841 = ins->klass; size = mono_class_value_size (D.23841, 0B); : D.23843 = (long int) size; D.23844 = D.23843 + 7; D.23845 = D.23844 >> 3; size_in_slots = (int) D.23845; D.23802 = cfg->verbose_level; if (D.23802 > 1) goto ; else goto ; : D.23811 = vmv->vreg; D.23814 = ins->data.op[0].const_val; D.23819 = (int) D.23814; D.23848 = get_offset_sign (D.23819); D.23814 = ins->data.op[0].const_val; D.23819 = (int) D.23814; D.23849 = get_offset_val (D.23819); D.23814 = ins->data.op[0].const_val; D.23819 = (int) D.23814; D.23850 = get_offset_sign (D.23819); D.23814 = ins->data.op[0].const_val; D.23851 = (unsigned int) D.23814; D.23852 = size_in_slots * 8; D.23853 = (unsigned int) D.23852; D.23854 = D.23851 + D.23853; D.23855 = (int) D.23854; D.23856 = get_offset_val (D.23855); size_in_slots.17 = (unsigned int) size_in_slots; D.23858 = pos + size_in_slots.17; D.23833 = ins->data.op[1].vtype; D.23859 = mono_type_full_name (D.23833); printf ("\tvtype R%d at %s0x%x(fp)-%s0x%x(fp) (slot %d-%d): %s\n", D.23811, D.23848, D.23849, D.23850, D.23856, pos, D.23858, D.23859); : D.23841 = ins->klass; D.23860 = BIT_FIELD_REF <*D.23841, 64, 256>; D.23861 = D.23860 & 68719476736; if (D.23861 == 0) goto ; else goto ; : if (is_arg != 0) goto ; else goto ; : j = 0; goto ; : j.18 = (unsigned int) j; D.23867 = pos + j.18; D.23868 = (int) D.23867; set_slot_everywhere (gcfg, D.23868, 0); j = j + 1; : if (j < size_in_slots) goto ; else goto ; : : // predicted unlikely by continue predictor. goto ; : bitmap = get_vtype_bitmap (t, &numbits); if (bitmap == 0B) goto ; else goto ; : pin = 1; : if (is_arg == 0) goto ; else goto ; : D.23811 = vmv->vreg; D.23873 = (long unsigned int) D.23811; D.23874 = D.23873 * 4; D.23875 = pc_offsets + D.23874; D.23876 = *D.23875; if (D.23876 == 0) goto ; else goto ; : pin = 1; : D.23838 = ins->backend.is_pinvoke; if (D.23838 != 0) goto ; else goto ; : pin = 1; : : if (bitmap != 0B) goto ; else goto ; : cindex = 0; goto ; : D.23785 = gcfg->callsites; D.23786 = (long unsigned int) cindex; D.23787 = D.23786 * 8; D.23788 = D.23785 + D.23787; D.23789 = *D.23788; D.23883 = D.23789->pc_offset; D.23811 = vmv->vreg; D.23873 = (long unsigned int) D.23811; D.23874 = D.23873 * 4; D.23875 = pc_offsets + D.23874; D.23876 = *D.23875; if (D.23883 > D.23876) goto ; else goto ; : j = 0; goto ; : D.23886 = (long unsigned int) j; D.23887 = D.23886 / 64; D.23888 = D.23887 * 8; D.23889 = bitmap + D.23888; D.23890 = *D.23889; j.19 = (unsigned int) j; D.23892 = j.19 & 63; D.23893 = D.23890 >> D.23892; D.23894 = D.23893 & 1; if (D.23894 != 0) goto ; else goto ; : j.18 = (unsigned int) j; D.23867 = pos + j.18; D.23897 = D.23867 + 4294967294; D.23898 = (int) D.23897; if (pin != 0) goto ; else goto ; : iftmp.20 = 2; goto ; : iftmp.20 = 1; : set_slot (gcfg, D.23898, cindex, iftmp.20); : j = j + 1; : numbits.21 = numbits; if (j < numbits.21) goto ; else goto ; : : cindex = cindex + 1; : D.23801 = gcfg->ncallsites; if (D.23801 > cindex) goto ; else goto ; : D.23802 = cfg->verbose_level; if (D.23802 > 1) goto ; else goto ; : j = 0; goto ; : D.23886 = (long unsigned int) j; D.23887 = D.23886 / 64; D.23888 = D.23887 * 8; D.23889 = bitmap + D.23888; D.23890 = *D.23889; j.19 = (unsigned int) j; D.23892 = j.19 & 63; D.23893 = D.23890 >> D.23892; D.23894 = D.23893 & 1; if (D.23894 != 0) goto ; else goto ; : if (pin != 0) goto ; else goto ; : iftmp.22 = "pin"; goto ; : iftmp.22 = "ref"; : D.23814 = ins->data.op[0].const_val; D.23851 = (unsigned int) D.23814; D.23912 = j * 8; D.23913 = (unsigned int) D.23912; D.23914 = D.23851 + D.23913; D.23915 = (int) D.23914; j.18 = (unsigned int) j; D.23867 = pos + j.18; D.23897 = D.23867 + 4294967294; D.23898 = (int) D.23897; printf ("\t\t%s slot at 0x%x(fp) (slot = %d)\n", iftmp.22, D.23915, D.23898); : j = j + 1; : numbits.21 = numbits; if (j < numbits.21) goto ; else goto ; : : goto ; : D.23802 = cfg->verbose_level; if (D.23802 > 1) goto ; else goto ; : printf ("\t\tpinned\n"); : j = 0; goto ; : j.18 = (unsigned int) j; D.23867 = pos + j.18; D.23868 = (int) D.23867; set_slot_everywhere (gcfg, D.23868, 2); j = j + 1; : if (j < size_in_slots) goto ; else goto ; : : monoeg_g_free (bitmap); // predicted unlikely by continue predictor. goto ; } finally { numbits = {CLOBBER}; } } : if (is_arg == 0) goto ; else goto ; : D.23814 = ins->data.op[0].const_val; D.23716 = gcfg->min_offset; D.23923 = (long int) D.23716; if (D.23814 < D.23923) goto ; else goto ; : D.23814 = ins->data.op[0].const_val; D.23925 = gcfg->max_offset; D.23926 = (long int) D.23925; if (D.23814 >= D.23926) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : : D.23927 = BIT_FIELD_REF <*t, 64, 64>; D.23928 = D.23927 & 8589934592; if (D.23928 != 0) goto ; else goto ; : if (is_arg != 0) goto ; else goto ; : pos.16 = (int) pos; set_slot_everywhere (gcfg, pos.16, 2); goto ; : cindex = 0; goto ; : D.23785 = gcfg->callsites; D.23786 = (long unsigned int) cindex; D.23787 = D.23786 * 8; D.23788 = D.23785 + D.23787; D.23789 = *D.23788; D.23790 = D.23789->liveness; D.23791 = i / 8; D.23792 = (sizetype) D.23791; D.23793 = D.23790 + D.23792; D.23794 = *D.23793; D.23795 = (int) D.23794; D.23796 = i % 8; D.23797 = D.23795 >> D.23796; D.23798 = D.23797 & 1; if (D.23798 != 0) goto ; else goto ; : pos.16 = (int) pos; set_slot (gcfg, pos.16, cindex, 2); : cindex = cindex + 1; : D.23801 = gcfg->ncallsites; if (D.23801 > cindex) goto ; else goto ; : : D.23802 = cfg->verbose_level; if (D.23802 > 1) goto ; else goto ; : D.23814 = ins->data.op[0].const_val; if (D.23814 < 0) goto ; else goto ; : iftmp.23 = "-"; goto ; : iftmp.23 = ""; : D.23814 = ins->data.op[0].const_val; if (D.23814 < 0) goto ; else goto ; : D.23814 = ins->data.op[0].const_val; D.23819 = (int) D.23814; iftmp.24 = -D.23819; goto ; : D.23814 = ins->data.op[0].const_val; iftmp.24 = (int) D.23814; : D.23811 = vmv->vreg; D.23833 = ins->data.op[1].vtype; D.23946 = mono_type_full_name (D.23833); printf ("\tbyref at %s0x%x(fp) (R%d, slot = %d): %s\n", iftmp.23, iftmp.24, D.23811, pos, D.23946); : // predicted unlikely by continue predictor. goto ; : t = mini_type_get_underlying_type (0B, t); D.23947 = mini_type_is_reference (cfg, t); if (D.23947 == 0) goto ; else goto ; : pos.16 = (int) pos; set_slot_everywhere (gcfg, pos.16, 0); D.23802 = cfg->verbose_level; if (D.23802 > 1) goto ; else goto ; : if (is_arg != 0) goto ; else goto ; : iftmp.25 = " arg"; goto ; : iftmp.25 = ""; : D.23814 = ins->data.op[0].const_val; if (D.23814 < 0) goto ; else goto ; : iftmp.26 = "-"; goto ; : iftmp.26 = ""; : D.23814 = ins->data.op[0].const_val; if (D.23814 < 0) goto ; else goto ; : D.23814 = ins->data.op[0].const_val; D.23819 = (int) D.23814; iftmp.27 = -D.23819; goto ; : D.23814 = ins->data.op[0].const_val; iftmp.27 = (int) D.23814; : D.23811 = vmv->vreg; D.23833 = ins->data.op[1].vtype; D.23964 = mono_type_full_name (D.23833); printf ("\tnoref%s at %s0x%x(fp) (R%d, slot = %d): %s\n", iftmp.25, iftmp.26, iftmp.27, D.23811, pos, D.23964); : if (0 != 0) goto ; else goto ; : D.23967 = pos + 1; D.23968 = (int) D.23967; set_slot_everywhere (gcfg, D.23968, 0); D.23802 = cfg->verbose_level; if (D.23802 > 1) goto ; else goto ; : D.23814 = ins->data.op[0].const_val; if (D.23814 < 0) goto ; else goto ; : iftmp.28 = "-"; goto ; : iftmp.28 = ""; : D.23814 = ins->data.op[0].const_val; if (D.23814 < 0) goto ; else goto ; : D.23814 = ins->data.op[0].const_val; D.23851 = (unsigned int) D.23814; D.23978 = D.23851 + 4; D.23979 = (int) D.23978; iftmp.29 = -D.23979; goto ; : D.23814 = ins->data.op[0].const_val; D.23819 = (int) D.23814; iftmp.29 = D.23819 + 4; : D.23811 = vmv->vreg; D.23967 = pos + 1; D.23833 = ins->data.op[1].vtype; D.23981 = mono_type_full_name (D.23833); printf ("\tnoref at %s0x%x(fp) (R%d, slot = %d): %s\n", iftmp.28, iftmp.29, D.23811, D.23967, D.23981); : : // predicted unlikely by continue predictor. goto ; : D.23823 = ins->flags; D.23824 = (int) D.23823; D.23982 = D.23824 & 20; if (D.23982 != 0) goto ; else goto ; : if (is_this == 0) goto ; else goto ; : if (is_arg != 0) goto ; else goto ; : pos.16 = (int) pos; set_slot_everywhere (gcfg, pos.16, 1); goto ; : D.23811 = vmv->vreg; D.23873 = (long unsigned int) D.23811; D.23874 = D.23873 * 4; D.23875 = pc_offsets + D.23874; D.23876 = *D.23875; if (D.23876 != 0) goto ; else goto ; : pos.16 = (int) pos; D.23811 = vmv->vreg; D.23873 = (long unsigned int) D.23811; D.23874 = D.23873 * 4; D.23875 = pc_offsets + D.23874; D.23876 = *D.23875; set_slot_in_range (gcfg, pos.16, 0, D.23876, 2); pos.16 = (int) pos; D.23811 = vmv->vreg; D.23873 = (long unsigned int) D.23811; D.23874 = D.23873 * 4; D.23875 = pc_offsets + D.23874; D.23876 = *D.23875; D.23992 = cfg->code_size; D.23993 = (int) D.23992; set_slot_in_range (gcfg, pos.16, D.23876, D.23993, 1); goto ; : pos.16 = (int) pos; set_slot_everywhere (gcfg, pos.16, 2); : : D.23802 = cfg->verbose_level; if (D.23802 > 1) goto ; else goto ; : D.23814 = ins->data.op[0].const_val; if (D.23814 < 0) goto ; else goto ; : iftmp.30 = "-"; goto ; : iftmp.30 = ""; : D.23814 = ins->data.op[0].const_val; if (D.23814 < 0) goto ; else goto ; : D.23814 = ins->data.op[0].const_val; D.23819 = (int) D.23814; iftmp.31 = -D.23819; goto ; : D.23814 = ins->data.op[0].const_val; iftmp.31 = (int) D.23814; : D.23811 = vmv->vreg; D.23833 = ins->data.op[1].vtype; D.24005 = mono_type_full_name (D.23833); printf ("\tvolatile ref at %s0x%x(fp) (R%d, slot = %d): %s\n", iftmp.30, iftmp.31, D.23811, pos, D.24005); : // predicted unlikely by continue predictor. goto ; : : if (is_arg != 0) goto ; else goto ; : pos.16 = (int) pos; set_slot_everywhere (gcfg, pos.16, 1); goto ; : cindex = 0; goto ; : D.23785 = gcfg->callsites; D.23786 = (long unsigned int) cindex; D.23787 = D.23786 * 8; D.23788 = D.23785 + D.23787; D.23789 = *D.23788; D.23790 = D.23789->liveness; D.23791 = i / 8; D.23792 = (sizetype) D.23791; D.23793 = D.23790 + D.23792; D.23794 = *D.23793; D.23795 = (int) D.23794; D.23796 = i % 8; D.23797 = D.23795 >> D.23796; D.23798 = D.23797 & 1; if (D.23798 != 0) goto ; else goto ; : pos.16 = (int) pos; set_slot (gcfg, pos.16, cindex, 1); : cindex = cindex + 1; : D.23801 = gcfg->ncallsites; if (D.23801 > cindex) goto ; else goto ; : : D.23802 = cfg->verbose_level; if (D.23802 > 1) goto ; else goto ; : if (is_arg != 0) goto ; else goto ; : iftmp.32 = " arg"; goto ; : iftmp.32 = ""; : D.23814 = ins->data.op[0].const_val; if (D.23814 < 0) goto ; else goto ; : iftmp.33 = "-"; goto ; : iftmp.33 = ""; : D.23814 = ins->data.op[0].const_val; if (D.23814 < 0) goto ; else goto ; : D.23814 = ins->data.op[0].const_val; D.23819 = (int) D.23814; iftmp.34 = -D.23819; goto ; : D.23814 = ins->data.op[0].const_val; iftmp.34 = (int) D.23814; : D.23811 = vmv->vreg; D.23833 = ins->data.op[1].vtype; D.24025 = mono_type_full_name (D.23833); printf ("\tref%s at %s0x%x(fp) (R%d, slot = %d): %s\n", iftmp.32, iftmp.33, iftmp.34, D.23811, pos, D.24025); : } : i = i + 1; : D.24026 = cfg->num_varinfo; i.14 = (unsigned int) i; if (D.24026 > i.14) goto ; else goto ; : monoeg_g_free (pc_offsets); } get_offset_sign (int offset) { const char * D.24028; const char * iftmp.35; if (offset < 0) goto ; else goto ; : iftmp.35 = "-"; goto ; : iftmp.35 = "+"; : D.24028 = iftmp.35; return D.24028; } get_offset_val (int offset) { int D.24034; D.24034 = ABS_EXPR ; return D.24034; } get_vtype_bitmap (struct MonoType * t, int * numbits) { struct MonoGenericContainer * D.24038; int D.24040; gsize * D.24041; void * D.24042; struct MonoClass * klass; klass = mono_class_from_mono_type (t); D.24038 = klass->generic_container; if (D.24038 != 0B) goto ; else goto ; : D.24040 = mono_class_is_open_constructed_type (t); if (D.24040 != 0) goto ; else goto ; : D.24041 = 0B; return D.24041; : mono_class_compute_gc_descriptor (klass); D.24042 = klass->gc_descr; D.24041 = mono_gc_get_bitmap_for_descr (D.24042, numbits); return D.24041; } process_finally_clauses (struct MonoCompile * cfg) { struct MonoMethodHeader * D.24044; struct MonoExceptionClause * D.24045; long unsigned int D.24046; long unsigned int D.24047; unsigned int D.24048; D.24051; int D.24052; unsigned int D.24055; long unsigned int D.24058; long unsigned int D.24059; struct GCCallSite * * D.24060; struct GCCallSite * D.24061; unsigned int D.24062; unsigned int D.24063; unsigned int D.24066; unsigned int D.24067; unsigned int D.24070; struct MonoCompileGC * gcfg; struct GCCallSite * * callsites; int ncallsites; gboolean has_finally; int i; int j; int nslots; int nregs; gcfg = cfg->gc_info; ncallsites = gcfg->ncallsites; nslots = gcfg->nslots; nregs = gcfg->nregs; callsites = gcfg->callsites; has_finally = 0; i = 0; goto ; : { struct MonoExceptionClause * clause; D.24044 = cfg->header; D.24045 = D.24044->clauses; D.24046 = (long unsigned int) i; D.24047 = D.24046 * 32; clause = D.24045 + D.24047; D.24048 = clause->flags; if (D.24048 == 2) goto ; else goto ; : has_finally = 1; : } i = i + 1; : D.24044 = cfg->header; D.24051 = D.24044->num_clauses; D.24052 = (int) D.24051; if (D.24052 > i) goto ; else goto ; : if (has_finally != 0) goto ; else goto ; : D.24055 = cfg->verbose_level; if (D.24055 > 1) goto ; else goto ; : printf ("\tMethod has finally clauses, pessimizing live ranges.\n"); : j = 0; goto ; : { struct MonoBasicBlock * bb; struct MonoExceptionClause * clause; gboolean is_in_finally; D.24058 = (long unsigned int) j; D.24059 = D.24058 * 8; D.24060 = callsites + D.24059; D.24061 = *D.24060; bb = D.24061->bb; is_in_finally = 0; i = 0; goto ; : D.24044 = cfg->header; D.24045 = D.24044->clauses; D.24046 = (long unsigned int) i; D.24047 = D.24046 * 32; clause = D.24045 + D.24047; D.24062 = clause->handler_offset; D.24063 = bb->real_offset; if (D.24062 <= D.24063) goto ; else goto ; : D.24063 = bb->real_offset; D.24062 = clause->handler_offset; D.24066 = clause->handler_len; D.24067 = D.24062 + D.24066; if (D.24063 < D.24067) goto ; else goto ; : D.24070 = clause->flags; if (D.24070 == 2) goto ; else goto ; : is_in_finally = 1; goto ; : : : i = i + 1; : D.24044 = cfg->header; D.24051 = D.24044->num_clauses; D.24052 = (int) D.24051; if (D.24052 > i) goto ; else goto ; : if (is_in_finally != 0) goto ; else goto ; : i = 0; goto ; : set_slot (gcfg, i, j, 2); i = i + 1; : if (i < nslots) goto ; else goto ; : i = 0; goto ; : set_reg_slot (gcfg, i, j, 2); i = i + 1; : if (i < nregs) goto ; else goto ; : : } j = j + 1; : if (j < ncallsites) goto ; else goto ; : : } create_map (struct MonoCompile * cfg) { guint8 * D.24075; int D.24076; int D.24077; guint8 * D.24080; int D.24081; int D.24090; int D.24091; int D.24095; int D.24096; int D.24098; int D.24099; _Bool D.24108; long int D.24109; long int D.24110; _Bool D.24113; long int D.24114; long int D.24115; long unsigned int D.24118; int D.24119; long unsigned int D.24120; long unsigned int D.24121; guint8 * D.24124; int D.24125; int D.24126; guint8 * D.24129; int D.24130; unsigned int D.24135; unsigned int D.24138; long int D.24141; long int D.24142; long int D.24143; long int D.24144; long int D.24145; long int D.24146; long int D.24147; long int D.24148; long int D.24149; long int D.24150; long int D.24151; int iftmp.36; int iftmp.37; int D.24160; int iftmp.38; int D.24165; int iftmp.39; struct MonoMemPool * D.24170; unsigned int D.24171; unsigned char D.24172; int D.24173; int D.24174; int D.24175; int D.24176; int D.24177; unsigned char D.24178; D.24179; unsigned char D.24180; D.24181; unsigned char D.24182; D.24183; unsigned char D.24184; D.24185; _Bool D.24186; long int D.24187; long int D.24188; unsigned int D.24191; unsigned char D.24192; unsigned char D.24193; unsigned int bitmaps_size.40; unsigned int bitmaps_offset.41; unsigned int D.24198; sizetype D.24199; int D.24200; int D.24203; unsigned int D.24206; sizetype D.24207; int D.24208; unsigned int D.24213; sizetype D.24214; unsigned int D.24215; int D.24218; unsigned int D.24223; sizetype D.24224; unsigned int D.24225; int D.24228; unsigned int D.24231; guint8 * endbuf.42; long int endbuf.43; long int buf.44; long int D.24241; _Bool D.24242; long int D.24243; long int D.24244; unsigned char D.24247; unsigned int D.24248; unsigned int encoded_size.45; unsigned int D.24250; unsigned int D.24251; signed int D.24252; int D.24253; int D.24254; signed int D.24255; unsigned int D.24256; int D.24257; int D.24258; unsigned int D.24259; unsigned int D.24260; unsigned int bitmaps_size.46; unsigned int D.24262; struct MonoDomain * D.24263; unsigned int alloc_size.47; long unsigned int D.24265; sizetype D.24266; int D.24267; long int D.24268; long int p.48; long int D.24270; long int D.24271; long int D.24272; sizetype D.24275; guint8 * D.24276; long unsigned int D.24277; long unsigned int D.24278; struct GCCallSite * * D.24279; struct GCCallSite * D.24280; int D.24281; unsigned char D.24282; int D.24283; unsigned int D.24284; unsigned int ncallsites.49; unsigned int D.24286; int D.24287; long unsigned int D.24291; guint16 * D.24292; short unsigned int D.24293; int D.24294; unsigned int D.24295; long unsigned int D.24296; unsigned int D.24297; unsigned int D.24298; unsigned int D.24299; int D.24300; long unsigned int D.24302; guint32 * D.24303; unsigned int D.24304; int D.24305; unsigned int D.24306; unsigned int D.24307; unsigned int D.24308; int D.24309; int D.24310; sizetype D.24311; long unsigned int D.24312; sizetype D.24313; long int emap.50; long int D.24315; long int D.24316; _Bool D.24317; long int D.24318; long int D.24319; int D.24322; int D.24323; int D.24324; int D.24325; int D.24326; int D.24327; int D.24328; unsigned int D.24329; unsigned int D.24330; int D.24331; struct MonoJitInfo * D.24332; unsigned int alloc_size.51; int D.24334; int D.24335; int D.24336; int D.24337; int D.24338; int D.24339; int D.24340; int D.24341; struct GCMap * map; int i; int j; int nregs; int nslots; int nref_regs; int npin_regs; int alloc_size; int bitmaps_size; int bitmaps_offset; int ntypes[16]; int stack_bitmap_width; int stack_bitmap_size; int reg_ref_bitmap_width; int reg_ref_bitmap_size; int reg_pin_bitmap_width; int reg_pin_bitmap_size; int bindex; int start; int end; gboolean has_ref_slots; gboolean has_pin_slots; gboolean has_ref_regs; gboolean has_pin_regs; struct MonoCompileGC * gcfg; struct GCCallSite * * callsites; int ncallsites; guint8 * bitmap; guint8 * bitmaps; guint32 reg_ref_mask; guint32 reg_pin_mask; try { gcfg = cfg->gc_info; ncallsites = gcfg->ncallsites; nslots = gcfg->nslots; nregs = gcfg->nregs; callsites = gcfg->callsites; has_ref_slots = 0; has_pin_slots = 0; start = -1; end = -1; memset (&ntypes, 0, 64); i = 0; goto ; : { gboolean has_ref; gboolean has_pin; has_ref = 0; has_pin = 0; D.24075 = gcfg->stack_pin_bitmap; D.24076 = gcfg->stack_bitmap_width; D.24077 = has_bit_set (D.24075, D.24076, i); if (D.24077 != 0) goto ; else goto ; : has_pin = 1; : D.24080 = gcfg->stack_ref_bitmap; D.24076 = gcfg->stack_bitmap_width; D.24081 = has_bit_set (D.24080, D.24076, i); if (D.24081 != 0) goto ; else goto ; : has_ref = 1; : if (has_ref != 0) goto ; else goto ; : has_ref_slots = 1; : if (has_pin != 0) goto ; else goto ; : has_pin_slots = 1; : if (has_ref != 0) goto ; else goto ; : D.24090 = ntypes[1]; D.24091 = D.24090 + 1; ntypes[1] = D.24091; goto ; : if (has_pin != 0) goto ; else goto ; : D.24095 = ntypes[2]; D.24096 = D.24095 + 1; ntypes[2] = D.24096; goto ; : D.24098 = ntypes[0]; D.24099 = D.24098 + 1; ntypes[0] = D.24099; : : if (has_ref != 0) goto ; else goto ; : if (has_pin != 0) goto ; else goto ; : if (start == -1) goto ; else goto ; : start = i; : end = i + 1; : } i = i + 1; : if (i < nslots) goto ; else goto ; : if (start == -1) goto ; else goto ; : end = nslots; start = end; goto ; : D.24108 = start == -1; D.24109 = (long int) D.24108; D.24110 = __builtin_expect (D.24109, 0); if (D.24110 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 2214, "start != -1"); : D.24113 = start >= end; D.24114 = (long int) D.24113; D.24115 = __builtin_expect (D.24114, 0); if (D.24115 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 2215, "start < end"); : : has_ref_regs = 0; has_pin_regs = 0; reg_ref_mask = 0; reg_pin_mask = 0; nref_regs = 0; npin_regs = 0; i = 0; goto ; : { gboolean has_ref; gboolean has_pin; has_ref = 0; has_pin = 0; D.24118 = cfg->used_int_regs; D.24119 = 1 << i; D.24120 = (long unsigned int) D.24119; D.24121 = D.24118 & D.24120; if (D.24121 == 0) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : D.24124 = gcfg->reg_pin_bitmap; D.24125 = gcfg->reg_bitmap_width; D.24126 = has_bit_set (D.24124, D.24125, i); if (D.24126 != 0) goto ; else goto ; : has_pin = 1; : D.24129 = gcfg->reg_ref_bitmap; D.24125 = gcfg->reg_bitmap_width; D.24130 = has_bit_set (D.24129, D.24125, i); if (D.24130 != 0) goto ; else goto ; : has_ref = 1; : if (has_ref != 0) goto ; else goto ; : D.24119 = 1 << i; D.24135 = (unsigned int) D.24119; reg_ref_mask = D.24135 | reg_ref_mask; has_ref_regs = 1; nref_regs = nref_regs + 1; : if (has_pin != 0) goto ; else goto ; : D.24119 = 1 << i; D.24135 = (unsigned int) D.24119; reg_pin_mask = D.24135 | reg_pin_mask; has_pin_regs = 1; npin_regs = npin_regs + 1; : } : i = i + 1; : if (i < nregs) goto ; else goto ; : D.24138 = cfg->verbose_level; if (D.24138 > 1) goto ; else goto ; : D.24090 = ntypes[1]; D.24098 = ntypes[0]; D.24095 = ntypes[2]; printf ("Slots: %d Start: %d End: %d Refs: %d NoRefs: %d Pin: %d Callsites: %d\n", nslots, start, end, D.24090, D.24098, D.24095, ncallsites); : D.24141 = (long int) end; D.24142 = (long int) start; D.24143 = D.24141 - D.24142; D.24144 = D.24143 + 7; D.24145 = D.24144 >> 3; stack_bitmap_width = (int) D.24145; stack_bitmap_size = stack_bitmap_width * ncallsites; D.24146 = (long int) nref_regs; D.24147 = D.24146 + 7; D.24148 = D.24147 >> 3; reg_ref_bitmap_width = (int) D.24148; reg_ref_bitmap_size = reg_ref_bitmap_width * ncallsites; D.24149 = (long int) npin_regs; D.24150 = D.24149 + 7; D.24151 = D.24150 >> 3; reg_pin_bitmap_width = (int) D.24151; reg_pin_bitmap_size = reg_pin_bitmap_width * ncallsites; if (has_ref_slots != 0) goto ; else goto ; : iftmp.36 = stack_bitmap_size; goto ; : iftmp.36 = 0; : if (has_pin_slots != 0) goto ; else goto ; : iftmp.37 = stack_bitmap_size; goto ; : iftmp.37 = 0; : D.24160 = iftmp.36 + iftmp.37; if (has_ref_regs != 0) goto ; else goto ; : iftmp.38 = reg_ref_bitmap_size; goto ; : iftmp.38 = 0; : D.24165 = D.24160 + iftmp.38; if (has_pin_regs != 0) goto ; else goto ; : iftmp.39 = reg_pin_bitmap_size; goto ; : iftmp.39 = 0; : bitmaps_size = D.24165 + iftmp.39; D.24170 = cfg->mempool; map = mono_mempool_alloc0 (D.24170, 72); D.24171 = cfg->frame_reg; D.24172 = (unsigned char) D.24171; map->frame_reg = D.24172; D.24173 = gcfg->min_offset; map->start_offset = D.24173; D.24173 = gcfg->min_offset; D.24174 = nslots * 8; D.24175 = D.24173 + D.24174; map->end_offset = D.24175; D.24176 = start * 8; map->map_offset = D.24176; D.24177 = end - start; map->nslots = D.24177; D.24178 = (unsigned char) has_ref_slots; D.24179 = () D.24178; map->has_ref_slots = D.24179; D.24180 = (unsigned char) has_pin_slots; D.24181 = () D.24180; map->has_pin_slots = D.24181; D.24182 = (unsigned char) has_ref_regs; D.24183 = () D.24182; map->has_ref_regs = D.24183; D.24184 = (unsigned char) has_pin_regs; D.24185 = () D.24184; map->has_pin_regs = D.24185; D.24186 = nregs > 31; D.24187 = (long int) D.24186; D.24188 = __builtin_expect (D.24187, 0); if (D.24188 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 2273, "nregs < 32"); : D.24118 = cfg->used_int_regs; D.24191 = (unsigned int) D.24118; map->used_int_regs = D.24191; map->reg_ref_mask = reg_ref_mask; map->reg_pin_mask = reg_pin_mask; D.24192 = (unsigned char) nref_regs; map->nref_regs = D.24192; D.24193 = (unsigned char) npin_regs; map->npin_regs = D.24193; D.24170 = cfg->mempool; bitmaps_size.40 = (unsigned int) bitmaps_size; bitmaps = mono_mempool_alloc0 (D.24170, bitmaps_size.40); bitmaps_offset = 0; if (has_ref_slots != 0) goto ; else goto ; : bitmaps_offset.41 = (unsigned int) bitmaps_offset; map->stack_ref_bitmap_offset = bitmaps_offset.41; bitmaps_offset = bitmaps_offset + stack_bitmap_size; D.24198 = map->stack_ref_bitmap_offset; D.24199 = (sizetype) D.24198; bitmap = bitmaps + D.24199; i = 0; goto ; : j = 0; goto ; : D.24080 = gcfg->stack_ref_bitmap; D.24076 = gcfg->stack_bitmap_width; D.24200 = get_bit (D.24080, D.24076, i, j); if (D.24200 != 0) goto ; else goto ; : D.24203 = i - start; set_bit (bitmap, stack_bitmap_width, j, D.24203); : j = j + 1; : if (j < ncallsites) goto ; else goto ; : i = i + 1; : if (i < nslots) goto ; else goto ; : : if (has_pin_slots != 0) goto ; else goto ; : bitmaps_offset.41 = (unsigned int) bitmaps_offset; map->stack_pin_bitmap_offset = bitmaps_offset.41; bitmaps_offset = bitmaps_offset + stack_bitmap_size; D.24206 = map->stack_pin_bitmap_offset; D.24207 = (sizetype) D.24206; bitmap = bitmaps + D.24207; i = 0; goto ; : j = 0; goto ; : D.24075 = gcfg->stack_pin_bitmap; D.24076 = gcfg->stack_bitmap_width; D.24208 = get_bit (D.24075, D.24076, i, j); if (D.24208 != 0) goto ; else goto ; : D.24203 = i - start; set_bit (bitmap, stack_bitmap_width, j, D.24203); : j = j + 1; : if (j < ncallsites) goto ; else goto ; : i = i + 1; : if (i < nslots) goto ; else goto ; : : if (has_ref_regs != 0) goto ; else goto ; : bitmaps_offset.41 = (unsigned int) bitmaps_offset; map->reg_ref_bitmap_offset = bitmaps_offset.41; bitmaps_offset = bitmaps_offset + reg_ref_bitmap_size; D.24213 = map->reg_ref_bitmap_offset; D.24214 = (sizetype) D.24213; bitmap = bitmaps + D.24214; bindex = 0; i = 0; goto ; : D.24119 = 1 << i; D.24135 = (unsigned int) D.24119; D.24215 = D.24135 & reg_ref_mask; if (D.24215 != 0) goto ; else goto ; : j = 0; goto ; : D.24129 = gcfg->reg_ref_bitmap; D.24125 = gcfg->reg_bitmap_width; D.24218 = get_bit (D.24129, D.24125, i, j); if (D.24218 != 0) goto ; else goto ; : set_bit (bitmap, reg_ref_bitmap_width, j, bindex); : j = j + 1; : if (j < ncallsites) goto ; else goto ; : bindex = bindex + 1; : i = i + 1; : if (i < nregs) goto ; else goto ; : : if (has_pin_regs != 0) goto ; else goto ; : bitmaps_offset.41 = (unsigned int) bitmaps_offset; map->reg_pin_bitmap_offset = bitmaps_offset.41; bitmaps_offset = bitmaps_offset + reg_pin_bitmap_size; D.24223 = map->reg_pin_bitmap_offset; D.24224 = (sizetype) D.24223; bitmap = bitmaps + D.24224; bindex = 0; i = 0; goto ; : D.24119 = 1 << i; D.24135 = (unsigned int) D.24119; D.24225 = D.24135 & reg_pin_mask; if (D.24225 != 0) goto ; else goto ; : j = 0; goto ; : D.24124 = gcfg->reg_pin_bitmap; D.24125 = gcfg->reg_bitmap_width; D.24228 = get_bit (D.24124, D.24125, i, j); if (D.24228 != 0) goto ; else goto ; : set_bit (bitmap, reg_pin_bitmap_width, j, bindex); : j = j + 1; : if (j < ncallsites) goto ; else goto ; : bindex = bindex + 1; : i = i + 1; : if (i < nregs) goto ; else goto ; : : map->ncallsites = ncallsites; D.24231 = cfg->code_len; if (D.24231 <= 255) goto ; else goto ; : map->callsite_entry_size = 1; goto ; : D.24231 = cfg->code_len; if (D.24231 <= 65535) goto ; else goto ; : map->callsite_entry_size = 2; goto ; : map->callsite_entry_size = 4; : : { guint8 buf[256]; guint8 * endbuf; struct GCEncodedMap * emap; int encoded_size; guint8 * p; try { encode_gc_map (map, &buf, &endbuf); endbuf.42 = endbuf; endbuf.43 = (long int) endbuf.42; buf.44 = (long int) &buf; D.24241 = endbuf.43 - buf.44; D.24242 = D.24241 > 255; D.24243 = (long int) D.24242; D.24244 = __builtin_expect (D.24243, 0); if (D.24244 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 2358, "endbuf - buf < 256"); : endbuf.42 = endbuf; endbuf.43 = (long int) endbuf.42; buf.44 = (long int) &buf; D.24241 = endbuf.43 - buf.44; encoded_size = (int) D.24241; D.24247 = map->callsite_entry_size; D.24248 = (unsigned int) D.24247; encoded_size.45 = (unsigned int) encoded_size; D.24250 = D.24248 + encoded_size.45; D.24251 = D.24250 + 4294967295; D.24252 = (signed int) D.24251; D.24247 = map->callsite_entry_size; D.24253 = (int) D.24247; D.24254 = -D.24253; D.24255 = D.24252 & D.24254; D.24256 = (unsigned int) D.24255; D.24247 = map->callsite_entry_size; D.24253 = (int) D.24247; D.24257 = map->ncallsites; D.24258 = D.24253 * D.24257; D.24259 = (unsigned int) D.24258; D.24260 = D.24256 + D.24259; bitmaps_size.46 = (unsigned int) bitmaps_size; D.24262 = D.24260 + bitmaps_size.46; alloc_size = (int) D.24262; D.24263 = cfg->domain; alloc_size.47 = (unsigned int) alloc_size; emap = mono_domain_alloc0 (D.24263, alloc_size.47); p = &emap->encoded[0]; D.24265 = (long unsigned int) encoded_size; memcpy (p, &buf, D.24265); D.24266 = (sizetype) encoded_size; p = p + D.24266; D.24247 = map->callsite_entry_size; D.24253 = (int) D.24247; D.24267 = D.24253 + -1; D.24268 = (long int) D.24267; p.48 = (long int) p; D.24270 = D.24268 + p.48; D.24247 = map->callsite_entry_size; D.24253 = (int) D.24247; D.24254 = -D.24253; D.24271 = (long int) D.24254; D.24272 = D.24270 & D.24271; p = (guint8 *) D.24272; D.24247 = map->callsite_entry_size; if (D.24247 == 1) goto ; else goto ; : { guint8 * offsets; offsets = p; i = 0; goto ; : D.24275 = (sizetype) i; D.24276 = offsets + D.24275; D.24277 = (long unsigned int) i; D.24278 = D.24277 * 8; D.24279 = callsites + D.24278; D.24280 = *D.24279; D.24281 = D.24280->pc_offset; D.24282 = (unsigned char) D.24281; *D.24276 = D.24282; i = i + 1; : if (i < ncallsites) goto ; else goto ; : D.24283 = stats.gc_callsites8_size; D.24284 = (unsigned int) D.24283; ncallsites.49 = (unsigned int) ncallsites; D.24286 = D.24284 + ncallsites.49; D.24287 = (int) D.24286; stats.gc_callsites8_size = D.24287; } goto ; : D.24247 = map->callsite_entry_size; if (D.24247 == 2) goto ; else goto ; : { guint16 * offsets; offsets = p; i = 0; goto ; : D.24277 = (long unsigned int) i; D.24291 = D.24277 * 2; D.24292 = offsets + D.24291; D.24277 = (long unsigned int) i; D.24278 = D.24277 * 8; D.24279 = callsites + D.24278; D.24280 = *D.24279; D.24281 = D.24280->pc_offset; D.24293 = (short unsigned int) D.24281; *D.24292 = D.24293; i = i + 1; : if (i < ncallsites) goto ; else goto ; : D.24294 = stats.gc_callsites16_size; D.24295 = (unsigned int) D.24294; D.24296 = (long unsigned int) ncallsites; D.24297 = (unsigned int) D.24296; D.24298 = D.24297 * 2; D.24299 = D.24295 + D.24298; D.24300 = (int) D.24299; stats.gc_callsites16_size = D.24300; } goto ; : { guint32 * offsets; offsets = p; i = 0; goto ; : D.24277 = (long unsigned int) i; D.24302 = D.24277 * 4; D.24303 = offsets + D.24302; D.24277 = (long unsigned int) i; D.24278 = D.24277 * 8; D.24279 = callsites + D.24278; D.24280 = *D.24279; D.24281 = D.24280->pc_offset; D.24304 = (unsigned int) D.24281; *D.24303 = D.24304; i = i + 1; : if (i < ncallsites) goto ; else goto ; : D.24305 = stats.gc_callsites32_size; D.24306 = (unsigned int) D.24305; D.24296 = (long unsigned int) ncallsites; D.24297 = (unsigned int) D.24296; D.24307 = D.24297 * 4; D.24308 = D.24306 + D.24307; D.24309 = (int) D.24308; stats.gc_callsites32_size = D.24309; } : : D.24247 = map->callsite_entry_size; D.24253 = (int) D.24247; D.24310 = D.24253 * ncallsites; D.24311 = (sizetype) D.24310; p = p + D.24311; D.24312 = (long unsigned int) bitmaps_size; memcpy (p, bitmaps, D.24312); D.24313 = (sizetype) bitmaps_size; p = p + D.24313; p.48 = (long int) p; emap.50 = (long int) emap; D.24315 = p.48 - emap.50; D.24316 = (long int) alloc_size; D.24317 = D.24315 > D.24316; D.24318 = (long int) D.24317; D.24319 = __builtin_expect (D.24318, 0); if (D.24319 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 2396, "(guint8*)p - (guint8*)emap <= alloc_size"); : D.24322 = stats.gc_maps_size; D.24323 = D.24322 + alloc_size; stats.gc_maps_size = D.24323; D.24324 = stats.gc_callsites_size; D.24247 = map->callsite_entry_size; D.24253 = (int) D.24247; D.24310 = D.24253 * ncallsites; D.24325 = D.24324 + D.24310; stats.gc_callsites_size = D.24325; D.24326 = stats.gc_bitmaps_size; D.24327 = D.24326 + bitmaps_size; stats.gc_bitmaps_size = D.24327; D.24328 = stats.gc_map_struct_size; D.24329 = (unsigned int) D.24328; encoded_size.45 = (unsigned int) encoded_size; D.24330 = D.24329 + encoded_size.45; D.24331 = (int) D.24330; stats.gc_map_struct_size = D.24331; D.24332 = cfg->jit_info; D.24332->gc_info = emap; cfg->gc_map = emap; alloc_size.51 = (unsigned int) alloc_size; cfg->gc_map_size = alloc_size.51; } finally { buf = {CLOBBER}; endbuf = {CLOBBER}; } } D.24334 = stats.all_slots; D.24335 = D.24334 + nslots; stats.all_slots = D.24335; D.24336 = stats.ref_slots; D.24090 = ntypes[1]; D.24337 = D.24336 + D.24090; stats.ref_slots = D.24337; D.24338 = stats.noref_slots; D.24098 = ntypes[0]; D.24339 = D.24338 + D.24098; stats.noref_slots = D.24339; D.24340 = stats.pin_slots; D.24095 = ntypes[2]; D.24341 = D.24340 + D.24095; stats.pin_slots = D.24341; } finally { ntypes = {CLOBBER}; } } has_bit_set (guint8 * bitmap, int width, int slot) { int D.24342; sizetype D.24343; guint8 * D.24344; unsigned char D.24345; gboolean D.24347; _Bool D.24348; int i; int pos; pos = width * slot; i = 0; goto ; : D.24342 = pos + i; D.24343 = (sizetype) D.24342; D.24344 = bitmap + D.24343; D.24345 = *D.24344; if (D.24345 != 0) goto ; else goto ; : i = i + 1; : if (i < width) goto ; else goto ; : D.24348 = i < width; D.24347 = (gboolean) D.24348; return D.24347; } get_bit (guint8 * bitmap, int width, int y, int x) { int D.24350; int D.24351; int D.24352; int D.24353; sizetype D.24354; guint8 * D.24355; unsigned char D.24356; int D.24357; int D.24358; int D.24359; D.24351 = width * y; D.24352 = x / 8; D.24353 = D.24351 + D.24352; D.24354 = (sizetype) D.24353; D.24355 = bitmap + D.24354; D.24356 = *D.24355; D.24357 = (int) D.24356; D.24358 = x % 8; D.24359 = 1 << D.24358; D.24350 = D.24357 & D.24359; return D.24350; } encode_gc_map (struct GCMap * map, guint8 * buf, guint8 * * endbuf) { int D.24361; int D.24362; guint8 * buf.52; int D.24364; int D.24365; int D.24366; int D.24367; int D.24368; unsigned int D.24369; unsigned char D.24370; _Bool D.24371; long int D.24372; long int D.24373; unsigned char D.24376; int D.24377; int D.24378; _Bool D.24379; long int D.24380; long int D.24381; long unsigned int D.24384; long unsigned int D.24385; _Bool D.24386; int D.24387; int iftmp.53; long unsigned int D.24389; int D.24393; int iftmp.54; long unsigned int D.24395; int D.24399; int iftmp.55; long unsigned int D.24401; int D.24405; int D.24406; int D.24407; int D.24408; int D.24409; unsigned int D.24410; unsigned int D.24411; unsigned int D.24412; unsigned int D.24413; unsigned int D.24416; unsigned int D.24417; unsigned int D.24420; unsigned int D.24421; int D.24422; unsigned int D.24423; guint32 flags; guint32 freg; D.24361 = map->start_offset; D.24362 = D.24361 / 8; buf.52 = buf; encode_sleb128 (D.24362, buf.52, &buf); D.24364 = map->end_offset; D.24365 = D.24364 / 8; buf.52 = buf; encode_sleb128 (D.24365, buf.52, &buf); D.24366 = map->map_offset; D.24367 = D.24366 / 8; buf.52 = buf; encode_sleb128 (D.24367, buf.52, &buf); D.24368 = map->nslots; D.24369 = (unsigned int) D.24368; buf.52 = buf; encode_uleb128 (D.24369, buf.52, &buf); D.24370 = map->callsite_entry_size; D.24371 = D.24370 > 4; D.24372 = (long int) D.24371; D.24373 = __builtin_expect (D.24372, 0); if (D.24373 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 487, "map->callsite_entry_size <= 4"); : D.24376 = map->frame_reg; D.24377 = (int) D.24376; D.24378 = encode_frame_reg (D.24377); freg = (guint32) D.24378; D.24379 = freg > 1; D.24380 = (long int) D.24379; D.24381 = __builtin_expect (D.24380, 0); if (D.24381 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 489, "freg < 2"); : D.24384 = BIT_FIELD_REF <*map, 64, 128>; D.24385 = D.24384 & 70368744177664; D.24386 = D.24385 != 0; D.24387 = (int) D.24386; D.24384 = BIT_FIELD_REF <*map, 64, 128>; D.24389 = D.24384 & 140737488355328; if (D.24389 != 0) goto ; else goto ; : iftmp.53 = 2; goto ; : iftmp.53 = 0; : D.24393 = D.24387 | iftmp.53; D.24384 = BIT_FIELD_REF <*map, 64, 128>; D.24395 = D.24384 & 35184372088832; if (D.24395 != 0) goto ; else goto ; : iftmp.54 = 4; goto ; : iftmp.54 = 0; : D.24399 = D.24393 | iftmp.54; D.24384 = BIT_FIELD_REF <*map, 64, 128>; D.24401 = D.24384 & 17592186044416; if (D.24401 != 0) goto ; else goto ; : iftmp.55 = 8; goto ; : iftmp.55 = 0; : D.24405 = D.24399 | iftmp.55; D.24370 = map->callsite_entry_size; D.24406 = (int) D.24370; D.24407 = D.24406 + -1; D.24408 = D.24407 << 4; D.24409 = D.24405 | D.24408; D.24410 = (unsigned int) D.24409; D.24411 = freg << 6; flags = D.24410 | D.24411; buf.52 = buf; encode_uleb128 (flags, buf.52, &buf); D.24412 = map->used_int_regs; D.24413 = encode_regmask (D.24412); buf.52 = buf; encode_uleb128 (D.24413, buf.52, &buf); D.24384 = BIT_FIELD_REF <*map, 64, 128>; D.24395 = D.24384 & 35184372088832; if (D.24395 != 0) goto ; else goto ; : D.24416 = map->reg_ref_mask; D.24417 = encode_regmask (D.24416); buf.52 = buf; encode_uleb128 (D.24417, buf.52, &buf); : D.24384 = BIT_FIELD_REF <*map, 64, 128>; D.24401 = D.24384 & 17592186044416; if (D.24401 != 0) goto ; else goto ; : D.24420 = map->reg_pin_mask; D.24421 = encode_regmask (D.24420); buf.52 = buf; encode_uleb128 (D.24421, buf.52, &buf); : D.24422 = map->ncallsites; D.24423 = (unsigned int) D.24422; buf.52 = buf; encode_uleb128 (D.24423, buf.52, &buf); buf.52 = buf; *endbuf = buf.52; } __attribute__((__unused__)) encode_sleb128 (gint32 value, guint8 * buf, guint8 * * endbuf) { _Bool D.24424; unsigned char D.24425; unsigned int D.24428; int D.24429; int D.24430; int D.24436; int D.24437; guint8 * p.56; gboolean more; gboolean negative; guint32 size; guint8 byte; guint8 * p; more = 1; D.24424 = value < 0; negative = (gboolean) D.24424; size = 32; p = buf; goto ; : D.24425 = (unsigned char) value; byte = D.24425 & 127; value = value >> 7; if (negative != 0) goto ; else goto ; : D.24428 = size + 4294967289; D.24429 = 1 << D.24428; D.24430 = -D.24429; value = D.24430 | value; : if (value == 0) goto ; else goto ; : D.24436 = (int) byte; D.24437 = D.24436 & 64; if (D.24437 == 0) goto ; else goto ; : if (value == -1) goto ; else goto ; : D.24436 = (int) byte; D.24437 = D.24436 & 64; if (D.24437 != 0) goto ; else goto ; : more = 0; goto ; : byte = byte | 128; : p.56 = p; p = p.56 + 1; *p.56 = byte; : if (more != 0) goto ; else goto ; : *endbuf = p; } encode_frame_reg (int frame_reg) { int D.24442; if (frame_reg == 15) goto ; else goto ; : D.24442 = 0; return D.24442; : if (frame_reg == 11) goto ; else goto ; : D.24442 = 1; return D.24442; : monoeg_assertion_message ("* Assertion: should not be reached at %s:%d\n", "mini-gc.c", 395); D.24442 = -1; return D.24442; } encode_regmask (guint32 regmask) { int D.24446; int D.24447; unsigned int D.24448; unsigned int D.24449; int D.24452; unsigned int D.24453; unsigned int i.57; _Bool D.24455; long int D.24456; long int D.24457; guint32 D.24460; int i; guint32 res; res = 0; i = 0; goto ; : D.24446 = callee_saved_regs[i]; D.24447 = 1 << D.24446; D.24448 = (unsigned int) D.24447; D.24449 = D.24448 & regmask; if (D.24449 != 0) goto ; else goto ; : D.24452 = 1 << i; D.24453 = (unsigned int) D.24452; res = D.24453 | res; D.24446 = callee_saved_regs[i]; D.24447 = 1 << D.24446; D.24448 = (unsigned int) D.24447; regmask = regmask - D.24448; : i = i + 1; : i.57 = (unsigned int) i; if (i.57 <= 8) goto ; else goto ; : D.24455 = regmask != 0; D.24456 = (long int) D.24455; D.24457 = __builtin_expect (D.24456, 0); if (D.24457 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 456, "regmask == 0"); : D.24460 = res; return D.24460; } encode_uleb128 (guint32 value, guint8 * buf, guint8 * * endbuf) { unsigned char D.24462; guint8 * p.58; guint8 * p; p = buf; : { guint8 b; D.24462 = (unsigned char) value; b = D.24462 & 127; value = value >> 7; if (value != 0) goto ; else goto ; : b = b | 128; : p.58 = p; p = p.58 + 1; *p.58 = b; } if (value != 0) goto ; else goto ; : *endbuf = p; } __attribute__((__artificial__, __gnu_inline__, __always_inline__, __nothrow__, __leaf__)) memcpy (void * restrict __dest, const void * restrict __src, size_t __len) { void * D.24466; long unsigned int D.24467; D.24467 = __builtin_object_size (__dest, 0); D.24466 = __builtin___memcpy_chk (__dest, __src, __len, D.24467); return D.24466; } __attribute__((visibility ("hidden"))) mini_gc_init () { struct FILE * D.24469; struct MonoGCCallbacks cb; try { memset (&cb, 0, 32); cb.thread_attach_func = thread_attach_func; cb.thread_detach_func = thread_detach_func; cb.thread_suspend_func = thread_suspend_func; cb.thread_mark_func = thread_mark_func; mono_gc_set_gc_callbacks (&cb); D.24469 = mono_gc_get_logfile (); logfile = D.24469; parse_debug_options (); mono_counters_register ("GC Maps size", 512, &stats.gc_maps_size); mono_counters_register ("GC Call Sites size", 512, &stats.gc_callsites_size); mono_counters_register ("GC Bitmaps size", 512, &stats.gc_bitmaps_size); mono_counters_register ("GC Map struct size", 512, &stats.gc_map_struct_size); mono_counters_register ("GC Call Sites encoded using 8 bits", 512, &stats.gc_callsites8_size); mono_counters_register ("GC Call Sites encoded using 16 bits", 512, &stats.gc_callsites16_size); mono_counters_register ("GC Call Sites encoded using 32 bits", 512, &stats.gc_callsites32_size); mono_counters_register ("GC Map slots (all)", 512, &stats.all_slots); mono_counters_register ("GC Map slots (ref)", 512, &stats.ref_slots); mono_counters_register ("GC Map slots (noref)", 512, &stats.noref_slots); mono_counters_register ("GC Map slots (pin)", 512, &stats.pin_slots); mono_counters_register ("GC TLS Data size", 512, &stats.tlsdata_size); mono_counters_register ("Stack space scanned (all)", 512, &stats.scanned_stacks); mono_counters_register ("Stack space scanned (native)", 512, &stats.scanned_native); mono_counters_register ("Stack space scanned (other)", 512, &stats.scanned_other); mono_counters_register ("Stack space scanned (using GC Maps)", 512, &stats.scanned); mono_counters_register ("Stack space scanned (precise)", 512, &stats.scanned_precisely); mono_counters_register ("Stack space scanned (pin)", 512, &stats.scanned_conservatively); mono_counters_register ("Stack space scanned (pin registers)", 512, &stats.scanned_registers); } finally { cb = {CLOBBER}; } } thread_mark_func (void * user_data, guint8 * stack_start, guint8 * stack_end, gboolean precise) { struct TlsData * tls; tls = user_data; if (precise == 0) goto ; else goto ; : conservative_pass (tls, stack_start, stack_end); goto ; : precise_pass (tls, stack_start, stack_end); : } conservative_pass (struct TlsData * tls, guint8 * stack_start, guint8 * stack_end) { struct MonoInternalThread * D.24477; int D.24479; unsigned int D.24480; long int stack_end.59; long int stack_start.60; long int D.24483; unsigned int D.24484; unsigned int D.24485; int D.24486; void * lmf.61; int D.24488; struct MonoContext * D.24492; mgreg_t * D.24494; mgreg_t * D.24497; void * D.24500; unsigned long stack_limit.62; unsigned long D.24502; _Bool D.24503; long int D.24504; long int D.24505; struct MonoDomain * iftmp.63; struct MonoDomain * D.24509; void * D.24513; D.24515; void * D.24531; long unsigned int D.24532; unsigned int D.24533; void * D.24534; long int D.24535; unsigned int D.24536; unsigned int D.24537; long unsigned int D.24538; long unsigned int D.24539; int D.24542; _Bool D.24544; long int D.24545; long int D.24546; unsigned long emap.64; unsigned long D.24552; _Bool D.24553; long int D.24554; long int D.24555; int precise_frame_limit_inited.65; const gchar * D.24561; const gchar * D.24564; int D.24565; int precise_frame_limit.66; int D.24569; char * D.24572; int D.24575; guint8 * D.24576; unsigned char D.24577; int D.24578; int D.24579; long int D.24580; guint8 * p.67; long int p.68; long int D.24583; int D.24584; long int D.24585; long int D.24586; guint8 * p.69; int D.24588; int D.24589; sizetype D.24590; guint8 * p.70; unsigned char D.24592; int D.24593; long int D.24594; int D.24595; sizetype D.24596; int D.24597; sizetype D.24598; sizetype D.24599; int D.24600; sizetype D.24601; guint8 * D.24604; sizetype D.24605; guint8 * D.24606; unsigned char D.24607; int D.24608; int D.24609; guint16 * D.24614; long unsigned int D.24615; long unsigned int D.24616; guint16 * D.24617; short unsigned int D.24618; int D.24619; guint32 * D.24622; long unsigned int D.24623; guint32 * D.24624; unsigned int D.24625; unsigned int D.24626; char * D.24630; int D.24633; unsigned int D.24634; long int real_frame_start.71; long int stack_limit.72; long int D.24637; unsigned int D.24638; unsigned int D.24639; int D.24640; long unsigned int D.24641; long unsigned int D.24642; int D.24645; long int D.24646; long int D.24647; long int D.24648; unsigned int D.24649; int D.24650; unsigned int D.24651; unsigned int D.24652; sizetype D.24653; int D.24654; sizetype D.24655; guint8 * D.24656; unsigned char D.24657; int D.24658; int D.24659; int D.24660; guint8 * D.24663; int D.24666; int D.24667; int D.24668; unsigned int D.24669; int D.24670; unsigned int D.24671; long unsigned int D.24672; unsigned char D.24675; long int D.24676; long int D.24677; long int D.24678; unsigned int D.24679; int D.24680; unsigned int D.24681; unsigned int D.24682; sizetype D.24683; int D.24684; unsigned int D.24685; unsigned int D.24686; unsigned int D.24689; unsigned int D.24690; int D.24693; sizetype D.24694; guint8 * D.24695; unsigned char D.24696; int D.24697; int D.24698; int D.24699; int D.24700; int D.24703; unsigned int D.24704; int D.24705; _Bool D.24706; long int D.24707; long int D.24708; long unsigned int D.24711; unsigned int D.24714; int D.24715; unsigned int D.24716; unsigned int D.24717; sizetype D.24718; guint8 * D.24719; long int frame_start.73; long int D.24722; int D.24723; long unsigned int D.24724; unsigned char D.24727; long int D.24728; long int D.24729; long int D.24730; unsigned int D.24731; int D.24732; unsigned int D.24733; unsigned int D.24734; sizetype D.24735; unsigned int D.24736; unsigned int D.24737; int D.24742; sizetype D.24743; guint8 * D.24744; unsigned char D.24745; int D.24746; int D.24747; int D.24748; int D.24749; int D.24752; long int D.24753; long int D.24754; int D.24755; int D.24756; unsigned int D.24759; int D.24764; int D.24771; unsigned int D.24772; long int D.24773; unsigned int D.24774; unsigned int D.24775; int D.24776; int D.24777; int D.24778; int D.24779; int D.24780; int D.24781; int D.24782; int D.24783; int D.24784; struct MonoJitInfo * ji; struct MonoMethod * method; struct MonoContext ctx; struct MonoContext new_ctx; struct MonoLMF * lmf; guint8 * stack_limit; gboolean last; struct GCMap * map; struct GCMap map_tmp; struct GCEncodedMap * emap; guint8 * fp; guint8 * p; guint8 * real_frame_start; guint8 * frame_start; guint8 * frame_end; int i; int pc_offset; int cindex; int bitmap_width; int scanned; int scanned_precisely; int scanned_conservatively; int scanned_registers; gboolean res; struct StackFrameInfo frame; mgreg_t * reg_locations[16]; mgreg_t * new_reg_locations[16]; guint8 * bitmaps; struct FrameInfo * fi; guint32 precise_regmask; try { last = 1; scanned = 0; if (tls != 0B) goto ; else goto ; : tls->nframes = 0; tls->ref_to_track = 0B; : D.24477 = mono_thread_internal_current (); if (D.24477 == 0B) goto ; else goto ; : if (tls == 0B) goto ; else goto ; : mono_gc_conservatively_scan_area (stack_start, stack_end); D.24479 = stats.scanned_stacks; D.24480 = (unsigned int) D.24479; stack_end.59 = (long int) stack_end; stack_start.60 = (long int) stack_start; D.24483 = stack_end.59 - stack_start.60; D.24484 = (unsigned int) D.24483; D.24485 = D.24480 + D.24484; D.24486 = (int) D.24485; stats.scanned_stacks = D.24486; return; : lmf.61 = tls->unwind_state.unwind_data[1]; lmf = lmf.61; frame.domain = 0B; scanned = 0; scanned_precisely = 0; scanned_conservatively = 0; scanned_registers = 0; stack_limit = stack_start; D.24488 = tls->unwind_state.valid; if (D.24488 == 0) goto ; else goto ; : memset (&new_ctx, 0, 512); goto ; : D.24492 = &tls->unwind_state.ctx; memcpy (&new_ctx, D.24492, 512); : memset (®_locations, 0, 128); memset (&new_reg_locations, 0, 128); : D.24488 = tls->unwind_state.valid; if (D.24488 == 0) goto ; else goto ; : memcpy (&ctx, &new_ctx, 512); i = 0; goto ; : D.24494 = new_reg_locations[i]; if (D.24494 != 0B) goto ; else goto ; : D.24497 = reg_locations[i]; if (D.24497 != 0B) goto ; else goto ; : D.24497 = reg_locations[i]; D.24497 = reg_locations[i]; D.24500 = D.24497 + 8; mono_gc_conservatively_scan_area (D.24497, D.24500); scanned_registers = scanned_registers + 8; : D.24494 = new_reg_locations[i]; reg_locations[i] = D.24494; : i = i + 1; : if (i <= 15) goto ; else goto ; : stack_limit.62 = (unsigned long) stack_limit; D.24502 = stack_limit.62 & 7; D.24503 = D.24502 != 0; D.24504 = (long int) D.24503; D.24505 = __builtin_expect (D.24504, 0); if (D.24505 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 784, "(mgreg_t)stack_limit % SIZEOF_SLOT == 0"); : D.24509 = frame.domain; if (D.24509 != 0B) goto ; else goto ; : iftmp.63 = frame.domain; goto ; : iftmp.63 = tls->unwind_state.unwind_data[0]; : D.24513 = tls->unwind_state.unwind_data[2]; res = mono_find_jit_info_ext (iftmp.63, D.24513, 0B, &ctx, &new_ctx, 0B, &lmf, &new_reg_locations, &frame); if (res == 0) goto ; else goto ; : ji = frame.ji; D.24515 = frame.type; if (D.24515 == 2) goto ; else goto ; : i = 0; goto ; : D.24497 = reg_locations[i]; if (D.24497 != 0B) goto ; else goto ; : D.24497 = reg_locations[i]; D.24497 = reg_locations[i]; D.24500 = D.24497 + 8; mono_gc_conservatively_scan_area (D.24497, D.24500); scanned_registers = scanned_registers + 8; : reg_locations[i] = 0B; new_reg_locations[i] = 0B; i = i + 1; : if (i <= 15) goto ; else goto ; : ctx = new_ctx; // predicted unlikely by continue predictor. goto ; : if (ji != 0B) goto ; else goto ; : method = jinfo_get_method (ji); goto ; : method = 0B; : if (last != 0) goto ; else goto ; : if (ji != 0B) goto ; else goto ; : : last = 0; i = 0; goto ; : D.24497 = reg_locations[i]; if (D.24497 != 0B) goto ; else goto ; : D.24497 = reg_locations[i]; D.24497 = reg_locations[i]; D.24500 = D.24497 + 8; mono_gc_conservatively_scan_area (D.24497, D.24500); scanned_registers = scanned_registers + 8; : D.24494 = new_reg_locations[i]; if (D.24494 != 0B) goto ; else goto ; : D.24494 = new_reg_locations[i]; D.24494 = new_reg_locations[i]; D.24531 = D.24494 + 8; mono_gc_conservatively_scan_area (D.24494, D.24531); scanned_registers = scanned_registers + 8; : reg_locations[i] = 0B; new_reg_locations[i] = 0B; i = i + 1; : if (i <= 15) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : D.24532 = ctx.uc_mcontext.psw.addr; D.24533 = (unsigned int) D.24532; D.24534 = ji->code_start; D.24535 = (long int) D.24534; D.24536 = (unsigned int) D.24535; D.24537 = D.24533 - D.24536; pc_offset = (int) D.24537; D.24538 = BIT_FIELD_REF <*method, 64, 256>; D.24539 = D.24538 & 4467570830351532032; if (D.24539 == 864691128455135232) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : D.24542 = tls->nframes; if (D.24542 == 50) goto ; else goto ; : D.24544 = pc_offset < 0; D.24545 = (long int) D.24544; D.24546 = __builtin_expect (D.24545, 0); if (D.24546 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 877, "pc_offset >= 0"); : emap = ji->gc_info; if (emap == 0B) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : emap.64 = (unsigned long) emap; D.24552 = emap.64 & 3; D.24553 = D.24552 != 0; D.24554 = (long int) D.24553; D.24555 = __builtin_expect (D.24554, 0); if (D.24555 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 888, "((mgreg_t)emap % 4) == 0"); : precise_frame_limit_inited.65 = precise_frame_limit_inited; if (precise_frame_limit_inited.65 == 0) goto ; else goto ; : D.24561 = monoeg_g_getenv ("MONO_PRECISE_COUNT"); if (D.24561 != 0B) goto ; else goto ; : D.24564 = monoeg_g_getenv ("MONO_PRECISE_COUNT"); D.24565 = atoi (D.24564); precise_frame_limit = D.24565; : precise_frame_limit_inited = 1; : precise_frame_limit.66 = precise_frame_limit; if (precise_frame_limit.66 != -1) goto ; else goto ; : D.24569 = precise_frame_count[0]; precise_frame_limit.66 = precise_frame_limit; if (D.24569 == precise_frame_limit.66) goto ; else goto ; : D.24572 = mono_method_full_name (method, 1); printf ("LAST PRECISE FRAME: %s\n", D.24572); : D.24569 = precise_frame_count[0]; precise_frame_limit.66 = precise_frame_limit; if (D.24569 > precise_frame_limit.66) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : : D.24569 = precise_frame_count[0]; D.24575 = D.24569 + 1; precise_frame_count[0] = D.24575; map = &map_tmp; memset (map, 0, 72); D.24576 = &emap->encoded[0]; decode_gc_map (D.24576, map, &p); D.24577 = map->callsite_entry_size; D.24578 = (int) D.24577; D.24579 = D.24578 + -1; D.24580 = (long int) D.24579; p.67 = p; p.68 = (long int) p.67; D.24583 = D.24580 + p.68; D.24577 = map->callsite_entry_size; D.24578 = (int) D.24577; D.24584 = -D.24578; D.24585 = (long int) D.24584; D.24586 = D.24583 & D.24585; p.69 = (guint8 *) D.24586; p = p.69; p.67 = p; map->callsites.offsets8 = p.67; p.67 = p; D.24577 = map->callsite_entry_size; D.24578 = (int) D.24577; D.24588 = map->ncallsites; D.24589 = D.24578 * D.24588; D.24590 = (sizetype) D.24589; p.70 = p.67 + D.24590; p = p.70; bitmaps = p; D.24592 = map->frame_reg; D.24593 = (int) D.24592; D.24594 = get_frame_pointer (&ctx, D.24593); fp = (guint8 *) D.24594; D.24595 = map->start_offset; D.24596 = (sizetype) D.24595; real_frame_start = fp + D.24596; D.24595 = map->start_offset; D.24596 = (sizetype) D.24595; D.24597 = map->map_offset; D.24598 = (sizetype) D.24597; D.24599 = D.24596 + D.24598; frame_start = fp + D.24599; D.24600 = map->end_offset; D.24601 = (sizetype) D.24600; frame_end = fp + D.24601; D.24577 = map->callsite_entry_size; if (D.24577 == 1) goto ; else goto ; : i = 0; goto ; : D.24604 = map->callsites.offsets8; D.24605 = (sizetype) i; D.24606 = D.24604 + D.24605; D.24607 = *D.24606; D.24608 = (int) D.24607; D.24609 = pc_offset + 1; if (D.24608 == D.24609) goto ; else goto ; : i = i + 1; : D.24588 = map->ncallsites; if (D.24588 > i) goto ; else goto ; : goto ; : D.24577 = map->callsite_entry_size; if (D.24577 == 2) goto ; else goto ; : i = 0; goto ; : D.24614 = map->callsites.offsets16; D.24615 = (long unsigned int) i; D.24616 = D.24615 * 2; D.24617 = D.24614 + D.24616; D.24618 = *D.24617; D.24619 = (int) D.24618; D.24609 = pc_offset + 1; if (D.24619 == D.24609) goto ; else goto ; : i = i + 1; : D.24588 = map->ncallsites; if (D.24588 > i) goto ; else goto ; : goto ; : i = 0; goto ; : D.24622 = map->callsites.offsets32; D.24615 = (long unsigned int) i; D.24623 = D.24615 * 4; D.24624 = D.24622 + D.24623; D.24625 = *D.24624; D.24609 = pc_offset + 1; D.24626 = (unsigned int) D.24609; if (D.24625 == D.24626) goto ; else goto ; : i = i + 1; : D.24588 = map->ncallsites; if (D.24588 > i) goto ; else goto ; : : : D.24588 = map->ncallsites; if (D.24588 == i) goto ; else goto ; : D.24609 = pc_offset + 1; D.24630 = mono_method_full_name (method, 1); printf ("Unable to find ip offset 0x%x in callsite list of %s.\n", D.24609, D.24630); monoeg_assertion_message ("* Assertion: should not be reached at %s:%d\n", "mini-gc.c", 945); : cindex = i; if (real_frame_start > stack_limit) goto ; else goto ; : mono_gc_conservatively_scan_area (stack_limit, real_frame_start); D.24633 = stats.scanned_other; D.24634 = (unsigned int) D.24633; real_frame_start.71 = (long int) real_frame_start; stack_limit.72 = (long int) stack_limit; D.24637 = real_frame_start.71 - stack_limit.72; D.24638 = (unsigned int) D.24637; D.24639 = D.24634 + D.24638; D.24640 = (int) D.24639; stats.scanned_other = D.24640; : D.24641 = BIT_FIELD_REF <*map, 64, 128>; D.24642 = D.24641 & 140737488355328; if (D.24642 != 0) goto ; else goto ; : { int bitmap_width; guint8 * pin_bitmap; guint8 * p; gboolean pinned; D.24645 = map->nslots; D.24646 = (long int) D.24645; D.24647 = D.24646 + 7; D.24648 = D.24647 >> 3; bitmap_width = (int) D.24648; D.24649 = map->stack_pin_bitmap_offset; D.24650 = bitmap_width * cindex; D.24651 = (unsigned int) D.24650; D.24652 = D.24649 + D.24651; D.24653 = (sizetype) D.24652; pin_bitmap = bitmaps + D.24653; p = frame_start; i = 0; goto ; : D.24654 = i / 8; D.24655 = (sizetype) D.24654; D.24656 = pin_bitmap + D.24655; D.24657 = *D.24656; D.24658 = (int) D.24657; D.24659 = i % 8; D.24660 = 1 << D.24659; pinned = D.24658 & D.24660; if (pinned != 0) goto ; else goto ; : D.24663 = p + 8; mono_gc_conservatively_scan_area (p, D.24663); scanned_conservatively = scanned_conservatively + 8; goto ; : scanned_precisely = scanned_precisely + 8; : p = p + 8; i = i + 1; : D.24645 = map->nslots; if (D.24645 > i) goto ; else goto ; : } goto ; : D.24645 = map->nslots; D.24666 = D.24645 * 8; scanned_precisely = D.24666 + scanned_precisely; : D.24600 = map->end_offset; D.24595 = map->start_offset; D.24667 = D.24600 - D.24595; D.24645 = map->nslots; D.24666 = D.24645 * 8; D.24668 = D.24667 - D.24666; scanned_precisely = D.24668 + scanned_precisely; D.24669 = map->used_int_regs; D.24592 = map->frame_reg; D.24593 = (int) D.24592; D.24670 = 1 << D.24593; D.24671 = (unsigned int) D.24670; precise_regmask = D.24669 | D.24671; D.24641 = BIT_FIELD_REF <*map, 64, 128>; D.24672 = D.24641 & 17592186044416; if (D.24672 != 0) goto ; else goto ; : { int bitmap_width; guint8 * pin_bitmap; int bindex; D.24675 = map->npin_regs; D.24676 = (long int) D.24675; D.24677 = D.24676 + 7; D.24678 = D.24677 >> 3; bitmap_width = (int) D.24678; D.24679 = map->reg_pin_bitmap_offset; D.24680 = bitmap_width * cindex; D.24681 = (unsigned int) D.24680; D.24682 = D.24679 + D.24681; D.24683 = (sizetype) D.24682; pin_bitmap = bitmaps + D.24683; bindex = 0; i = 0; goto ; : D.24669 = map->used_int_regs; D.24684 = 1 << i; D.24685 = (unsigned int) D.24684; D.24686 = D.24669 & D.24685; if (D.24686 == 0) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : D.24689 = map->reg_pin_mask; D.24684 = 1 << i; D.24685 = (unsigned int) D.24684; D.24690 = D.24689 & D.24685; if (D.24690 == 0) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : D.24693 = bindex / 8; D.24694 = (sizetype) D.24693; D.24695 = pin_bitmap + D.24694; D.24696 = *D.24695; D.24697 = (int) D.24696; D.24698 = bindex % 8; D.24699 = D.24697 >> D.24698; D.24700 = D.24699 & 1; if (D.24700 != 0) goto ; else goto ; : D.24684 = 1 << i; D.24703 = ~D.24684; D.24704 = (unsigned int) D.24703; precise_regmask = D.24704 & precise_regmask; : bindex = bindex + 1; : i = i + 1; : if (i <= 15) goto ; else goto ; : } : D.24600 = map->end_offset; D.24595 = map->start_offset; D.24667 = D.24600 - D.24595; scanned = D.24667 + scanned; D.24705 = scanned_precisely + scanned_conservatively; D.24706 = D.24705 != scanned; D.24707 = (long int) D.24706; D.24708 = __builtin_expect (D.24707, 0); if (D.24708 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 1011, "scanned == scanned_precisely + scanned_conservatively"); : stack_limit = frame_end; D.24542 = tls->nframes; fi = &tls->frames[D.24542]; D.24645 = map->nslots; fi->nslots = D.24645; D.24645 = map->nslots; D.24646 = (long int) D.24645; D.24647 = D.24646 + 7; D.24648 = D.24647 >> 3; bitmap_width = (int) D.24648; D.24641 = BIT_FIELD_REF <*map, 64, 128>; D.24711 = D.24641 & 70368744177664; if (D.24711 != 0) goto ; else goto ; : D.24714 = map->stack_ref_bitmap_offset; D.24715 = bitmap_width * cindex; D.24716 = (unsigned int) D.24715; D.24717 = D.24714 + D.24716; D.24718 = (sizetype) D.24717; D.24719 = bitmaps + D.24718; fi->bitmap = D.24719; goto ; : fi->bitmap = 0B; : frame_start.73 = (long int) frame_start; stack_start.60 = (long int) stack_start; D.24722 = frame_start.73 - stack_start.60; D.24723 = (int) D.24722; fi->frame_start_offset = D.24723; fi->nreg_locations = 0; D.24641 = BIT_FIELD_REF <*map, 64, 128>; D.24724 = D.24641 & 35184372088832; if (D.24724 != 0) goto ; else goto ; : { int bitmap_width; guint8 * ref_bitmap; int bindex; D.24727 = map->nref_regs; D.24728 = (long int) D.24727; D.24729 = D.24728 + 7; D.24730 = D.24729 >> 3; bitmap_width = (int) D.24730; D.24731 = map->reg_ref_bitmap_offset; D.24732 = bitmap_width * cindex; D.24733 = (unsigned int) D.24732; D.24734 = D.24731 + D.24733; D.24735 = (sizetype) D.24734; ref_bitmap = bitmaps + D.24735; bindex = 0; i = 0; goto ; : D.24736 = map->reg_ref_mask; D.24684 = 1 << i; D.24685 = (unsigned int) D.24684; D.24737 = D.24736 & D.24685; if (D.24737 == 0) goto ; else goto ; : // predicted unlikely by continue predictor. goto ; : D.24497 = reg_locations[i]; if (D.24497 != 0B) goto ; else goto ; : D.24742 = bindex / 8; D.24743 = (sizetype) D.24742; D.24744 = ref_bitmap + D.24743; D.24745 = *D.24744; D.24746 = (int) D.24745; D.24747 = bindex % 8; D.24748 = D.24746 >> D.24747; D.24749 = D.24748 & 1; if (D.24749 != 0) goto ; else goto ; : D.24752 = fi->nreg_locations; D.24497 = reg_locations[i]; D.24753 = (long int) D.24497; stack_start.60 = (long int) stack_start; D.24754 = D.24753 - stack_start.60; D.24755 = (int) D.24754; fi->reg_locations[D.24752] = D.24755; D.24752 = fi->nreg_locations; D.24756 = D.24752 + 1; fi->nreg_locations = D.24756; : : bindex = bindex + 1; : i = i + 1; : if (i <= 15) goto ; else goto ; : } : if (precise_regmask != 0) goto ; else goto ; : i = 0; goto ; : D.24684 = 1 << i; D.24685 = (unsigned int) D.24684; D.24759 = D.24685 & precise_regmask; if (D.24759 != 0) goto ; else goto ; : D.24497 = reg_locations[i]; if (D.24497 != 0B) goto ; else goto ; : : reg_locations[i] = 0B; : i = i + 1; : if (i <= 15) goto ; else goto ; : : D.24542 = tls->nframes; D.24764 = D.24542 + 1; tls->nframes = D.24764; : goto ; : i = 0; goto ; : D.24497 = reg_locations[i]; if (D.24497 != 0B) goto ; else goto ; : D.24497 = reg_locations[i]; D.24497 = reg_locations[i]; D.24500 = D.24497 + 8; mono_gc_conservatively_scan_area (D.24497, D.24500); scanned_registers = scanned_registers + 8; : D.24494 = new_reg_locations[i]; if (D.24494 != 0B) goto ; else goto ; : D.24494 = new_reg_locations[i]; D.24494 = new_reg_locations[i]; D.24531 = D.24494 + 8; mono_gc_conservatively_scan_area (D.24494, D.24531); scanned_registers = scanned_registers + 8; : i = i + 1; : if (i <= 15) goto ; else goto ; : if (stack_limit < stack_end) goto ; else goto ; : mono_gc_conservatively_scan_area (stack_limit, stack_end); D.24771 = stats.scanned_native; D.24772 = (unsigned int) D.24771; stack_end.59 = (long int) stack_end; stack_limit.72 = (long int) stack_limit; D.24773 = stack_end.59 - stack_limit.72; D.24774 = (unsigned int) D.24773; D.24775 = D.24772 + D.24774; D.24776 = (int) D.24775; stats.scanned_native = D.24776; : D.24479 = stats.scanned_stacks; D.24480 = (unsigned int) D.24479; stack_end.59 = (long int) stack_end; stack_start.60 = (long int) stack_start; D.24483 = stack_end.59 - stack_start.60; D.24484 = (unsigned int) D.24483; D.24485 = D.24480 + D.24484; D.24486 = (int) D.24485; stats.scanned_stacks = D.24486; D.24777 = stats.scanned; D.24778 = D.24777 + scanned; stats.scanned = D.24778; D.24779 = stats.scanned_precisely; D.24780 = D.24779 + scanned_precisely; stats.scanned_precisely = D.24780; D.24781 = stats.scanned_conservatively; D.24782 = D.24781 + scanned_conservatively; stats.scanned_conservatively = D.24782; D.24783 = stats.scanned_registers; D.24784 = D.24783 + scanned_registers; stats.scanned_registers = D.24784; } finally { ctx = {CLOBBER}; new_ctx = {CLOBBER}; lmf = {CLOBBER}; map_tmp = {CLOBBER}; p = {CLOBBER}; frame = {CLOBBER}; reg_locations = {CLOBBER}; new_reg_locations = {CLOBBER}; } } jinfo_get_method (struct MonoJitInfo * ji) { struct MonoMethod * D.24788; D.24788 = mono_jit_info_get_method (ji); return D.24788; } __attribute__((__gnu_inline__, __pure__, __leaf__, __nothrow__)) atoi (const char * __nptr) { int D.24790; long int D.24791; D.24791 = strtol (__nptr, 0B, 10); D.24790 = (int) D.24791; return D.24790; } decode_gc_map (guint8 * buf, struct GCMap * map, guint8 * * endbuf) { guint8 * buf.74; int D.24794; int D.24795; int D.24796; int D.24797; int D.24798; int D.24799; unsigned int D.24800; int D.24801; unsigned int D.24802; _Bool D.24803; unsigned int D.24804; _Bool D.24805; unsigned int D.24806; _Bool D.24807; unsigned int D.24808; _Bool D.24809; unsigned int D.24810; unsigned char D.24811; unsigned char D.24812; unsigned char D.24813; unsigned int D.24814; int D.24815; unsigned char D.24816; unsigned int D.24817; unsigned int D.24818; long unsigned int D.24819; long unsigned int D.24820; unsigned int D.24823; unsigned int D.24824; unsigned int D.24825; int D.24826; unsigned int D.24827; unsigned int D.24828; unsigned char D.24831; long unsigned int D.24832; unsigned int D.24835; unsigned int D.24836; unsigned int D.24837; unsigned int D.24838; unsigned int D.24841; int D.24842; int D.24843; long int D.24844; long int D.24845; long int D.24846; unsigned int D.24847; int D.24848; unsigned int D.24849; unsigned int D.24850; unsigned char D.24851; long int D.24852; long int D.24853; long int D.24854; unsigned int D.24855; unsigned int D.24856; unsigned char D.24857; long int D.24858; long int D.24859; long int D.24860; unsigned int D.24861; unsigned int D.24862; unsigned int offset.75; long unsigned int D.24864; long unsigned int D.24867; guint32 flags; int stack_bitmap_size; int reg_ref_bitmap_size; int reg_pin_bitmap_size; int offset; int freg; int i; int n; buf.74 = buf; D.24794 = decode_sleb128 (buf.74, &buf); D.24795 = D.24794 * 8; map->start_offset = D.24795; buf.74 = buf; D.24796 = decode_sleb128 (buf.74, &buf); D.24797 = D.24796 * 8; map->end_offset = D.24797; buf.74 = buf; D.24798 = decode_sleb128 (buf.74, &buf); D.24799 = D.24798 * 8; map->map_offset = D.24799; buf.74 = buf; D.24800 = decode_uleb128 (buf.74, &buf); D.24801 = (int) D.24800; map->nslots = D.24801; buf.74 = buf; flags = decode_uleb128 (buf.74, &buf); D.24802 = flags & 1; D.24803 = D.24802 != 0; map->has_ref_slots = D.24803; D.24804 = flags & 2; D.24805 = D.24804 != 0; map->has_pin_slots = D.24805; D.24806 = flags & 4; D.24807 = D.24806 != 0; map->has_ref_regs = D.24807; D.24808 = flags & 8; D.24809 = D.24808 != 0; map->has_pin_regs = D.24809; D.24810 = flags >> 4; D.24811 = (unsigned char) D.24810; D.24812 = D.24811 & 3; D.24813 = D.24812 + 1; map->callsite_entry_size = D.24813; D.24814 = flags >> 6; freg = (int) D.24814; D.24815 = decode_frame_reg (freg); D.24816 = (unsigned char) D.24815; map->frame_reg = D.24816; buf.74 = buf; D.24817 = decode_uleb128 (buf.74, &buf); D.24818 = decode_regmask (D.24817); map->used_int_regs = D.24818; D.24819 = BIT_FIELD_REF <*map, 64, 128>; D.24820 = D.24819 & 35184372088832; if (D.24820 != 0) goto ; else goto ; : buf.74 = buf; D.24823 = decode_uleb128 (buf.74, &buf); D.24824 = decode_regmask (D.24823); map->reg_ref_mask = D.24824; n = 0; i = 0; goto ; : D.24825 = map->reg_ref_mask; D.24826 = 1 << i; D.24827 = (unsigned int) D.24826; D.24828 = D.24825 & D.24827; if (D.24828 != 0) goto ; else goto ; : n = n + 1; : i = i + 1; : if (i <= 15) goto ; else goto ; : D.24831 = (unsigned char) n; map->nref_regs = D.24831; : D.24819 = BIT_FIELD_REF <*map, 64, 128>; D.24832 = D.24819 & 17592186044416; if (D.24832 != 0) goto ; else goto ; : buf.74 = buf; D.24835 = decode_uleb128 (buf.74, &buf); D.24836 = decode_regmask (D.24835); map->reg_pin_mask = D.24836; n = 0; i = 0; goto ; : D.24837 = map->reg_pin_mask; D.24826 = 1 << i; D.24827 = (unsigned int) D.24826; D.24838 = D.24837 & D.24827; if (D.24838 != 0) goto ; else goto ; : n = n + 1; : i = i + 1; : if (i <= 15) goto ; else goto ; : D.24831 = (unsigned char) n; map->npin_regs = D.24831; : buf.74 = buf; D.24841 = decode_uleb128 (buf.74, &buf); D.24842 = (int) D.24841; map->ncallsites = D.24842; D.24843 = map->nslots; D.24844 = (long int) D.24843; D.24845 = D.24844 + 7; D.24846 = D.24845 >> 3; D.24847 = (unsigned int) D.24846; D.24848 = map->ncallsites; D.24849 = (unsigned int) D.24848; D.24850 = D.24847 * D.24849; stack_bitmap_size = (int) D.24850; D.24851 = map->nref_regs; D.24852 = (long int) D.24851; D.24853 = D.24852 + 7; D.24854 = D.24853 >> 3; D.24855 = (unsigned int) D.24854; D.24848 = map->ncallsites; D.24849 = (unsigned int) D.24848; D.24856 = D.24855 * D.24849; reg_ref_bitmap_size = (int) D.24856; D.24857 = map->npin_regs; D.24858 = (long int) D.24857; D.24859 = D.24858 + 7; D.24860 = D.24859 >> 3; D.24861 = (unsigned int) D.24860; D.24848 = map->ncallsites; D.24849 = (unsigned int) D.24848; D.24862 = D.24861 * D.24849; reg_pin_bitmap_size = (int) D.24862; offset = 0; offset.75 = (unsigned int) offset; map->stack_ref_bitmap_offset = offset.75; D.24819 = BIT_FIELD_REF <*map, 64, 128>; D.24864 = D.24819 & 70368744177664; if (D.24864 != 0) goto ; else goto ; : offset = offset + stack_bitmap_size; : offset.75 = (unsigned int) offset; map->stack_pin_bitmap_offset = offset.75; D.24819 = BIT_FIELD_REF <*map, 64, 128>; D.24867 = D.24819 & 140737488355328; if (D.24867 != 0) goto ; else goto ; : offset = offset + stack_bitmap_size; : offset.75 = (unsigned int) offset; map->reg_ref_bitmap_offset = offset.75; D.24819 = BIT_FIELD_REF <*map, 64, 128>; D.24820 = D.24819 & 35184372088832; if (D.24820 != 0) goto ; else goto ; : offset = offset + reg_ref_bitmap_size; : offset.75 = (unsigned int) offset; map->reg_pin_bitmap_offset = offset.75; D.24819 = BIT_FIELD_REF <*map, 64, 128>; D.24832 = D.24819 & 17592186044416; if (D.24832 != 0) goto ; else goto ; : offset = offset + reg_pin_bitmap_size; : buf.74 = buf; *endbuf = buf.74; } decode_sleb128 (guint8 * buf, guint8 * * endbuf) { int D.24874; int D.24875; int D.24876; signed char b.76; int D.24882; int D.24885; int D.24886; gint32 D.24887; guint8 * p; gint32 res; int shift; p = buf; res = 0; shift = 0; : { guint8 b; b = *p; p = p + 1; D.24874 = (int) b; D.24875 = D.24874 & 127; D.24876 = D.24875 << shift; res = D.24876 | res; shift = shift + 7; b.76 = (signed char) b; if (b.76 >= 0) goto ; else goto ; : if (shift <= 31) goto ; else goto ; : D.24874 = (int) b; D.24882 = D.24874 & 64; if (D.24882 != 0) goto ; else goto ; : D.24885 = 1 << shift; D.24886 = -D.24885; res = D.24886 | res; : : goto ; : } goto ; : *endbuf = p; D.24887 = res; return D.24887; } decode_frame_reg (int encoded) { int D.24891; if (encoded == 0) goto ; else goto ; : D.24891 = 15; return D.24891; : if (encoded == 1) goto ; else goto ; : D.24891 = 11; return D.24891; : monoeg_assertion_message ("* Assertion: should not be reached at %s:%d\n", "mini-gc.c", 425); D.24891 = -1; return D.24891; } decode_regmask (guint32 regmask) { int D.24895; unsigned int D.24896; unsigned int D.24897; int D.24900; int D.24901; unsigned int D.24902; unsigned int i.77; guint32 D.24904; int i; guint32 res; res = 0; i = 0; goto ; : D.24895 = 1 << i; D.24896 = (unsigned int) D.24895; D.24897 = D.24896 & regmask; if (D.24897 != 0) goto ; else goto ; : D.24900 = callee_saved_regs[i]; D.24901 = 1 << D.24900; D.24902 = (unsigned int) D.24901; res = D.24902 | res; : i = i + 1; : i.77 = (unsigned int) i; if (i.77 <= 8) goto ; else goto ; : D.24904 = res; return D.24904; } decode_uleb128 (guint8 * buf, guint8 * * endbuf) { int D.24906; int D.24907; int D.24908; unsigned int D.24909; signed char b.78; guint32 D.24912; guint8 * p; guint32 res; int shift; p = buf; res = 0; shift = 0; : { guint8 b; b = *p; p = p + 1; D.24906 = (int) b; D.24907 = D.24906 & 127; D.24908 = D.24907 << shift; D.24909 = (unsigned int) D.24908; res = D.24909 | res; b.78 = (signed char) b; if (b.78 >= 0) goto ; else goto ; : shift = shift + 7; } goto ; : *endbuf = p; D.24912 = res; return D.24912; } get_frame_pointer (struct MonoContext * ctx, int frame_reg) { mgreg_t D.24916; long unsigned int D.24917; long unsigned int D.24920; if (frame_reg == 15) goto ; else goto ; : D.24917 = ctx->uc_mcontext.gregs[15]; D.24916 = (mgreg_t) D.24917; return D.24916; : if (frame_reg == 11) goto ; else goto ; : D.24920 = ctx->uc_mcontext.gregs[11]; D.24916 = (mgreg_t) D.24920; return D.24916; : monoeg_assertion_message ("* Assertion: should not be reached at %s:%d\n", "mini-gc.c", 692); D.24916 = 0; return D.24916; } precise_pass (struct TlsData * tls, guint8 * stack_start, guint8 * stack_end) { int D.24924; int D.24927; sizetype D.24928; guint8 * D.24929; int D.24932; sizetype D.24933; int D.24934; sizetype D.24935; guint8 * D.24936; unsigned char D.24937; int D.24938; int D.24939; int D.24940; void * D.24945; int D.24948; int D.24949; sizetype D.24950; void * D.24953; int D.24955; int D.24956; void * D.24957; long int D.24960; long int D.24961; int findex; int i; struct FrameInfo * fi; guint8 * frame_start; if (tls == 0B) goto ; else goto ; : return; : D.24924 = tls->unwind_state.valid; if (D.24924 == 0) goto ; else goto ; : return; : findex = 0; goto ; : fi = &tls->frames[findex]; D.24927 = fi->frame_start_offset; D.24928 = (sizetype) D.24927; frame_start = stack_start + D.24928; D.24929 = fi->bitmap; if (D.24929 != 0B) goto ; else goto ; : { guint8 * ref_bitmap; gboolean live; ref_bitmap = fi->bitmap; i = 0; goto ; : { struct MonoObject * * ptr; D.24932 = i * 8; D.24933 = (sizetype) D.24932; ptr = frame_start + D.24933; D.24934 = i / 8; D.24935 = (sizetype) D.24934; D.24936 = ref_bitmap + D.24935; D.24937 = *D.24936; D.24938 = (int) D.24937; D.24939 = i % 8; D.24940 = 1 << D.24939; live = D.24938 & D.24940; if (live != 0) goto ; else goto ; : { struct MonoObject * obj; obj = *ptr; if (obj != 0B) goto ; else goto ; : D.24945 = mono_gc_scan_object (obj); *ptr = D.24945; goto ; : : } goto ; : : } i = i + 1; : D.24948 = fi->nslots; if (D.24948 > i) goto ; else goto ; : } : i = 0; goto ; : { struct MonoObject * * ptr; struct MonoObject * obj; D.24949 = fi->reg_locations[i]; D.24950 = (sizetype) D.24949; ptr = stack_start + D.24950; obj = *ptr; if (obj != 0B) goto ; else goto ; : D.24953 = mono_gc_scan_object (obj); *ptr = D.24953; goto ; : : } i = i + 1; : D.24955 = fi->nreg_locations; if (D.24955 > i) goto ; else goto ; : findex = findex + 1; : D.24956 = tls->nframes; if (D.24956 > findex) goto ; else goto ; : D.24957 = tls->ref_to_track; if (D.24957 != 0B) goto ; else goto ; : { mgreg_t * p; p = stack_start; goto ; : D.24960 = *p; D.24957 = tls->ref_to_track; D.24961 = (long int) D.24957; if (D.24960 == D.24961) goto ; else goto ; : printf ("REF AT %p.\n", p); : p = p + 8; : if (p < stack_end) goto ; else goto ; : } : } thread_suspend_func (void * user_data, void * sigctx, struct MonoContext * ctx) { long int D.24967; long unsigned int D.24968; long unsigned int D.24969; struct MonoThreadInfo * D.24972; _Bool D.24973; long int D.24974; long int D.24975; struct MonoThreadUnwindState * D.24978; int D.24979; struct MonoLMF * D.24981; struct MonoContext * D.24984; unsigned int mono_jit_tls_id.79; void * D.24990; struct MonoDomain * D.24991; void * D.24992; struct TlsData * tls; tls = user_data; if (tls == 0B) goto ; else goto ; : return; : D.24967 = tls->tid; D.24968 = (long unsigned int) D.24967; D.24969 = GetCurrentThreadId (); if (D.24968 != D.24969) goto ; else goto ; : { gboolean res; D.24972 = tls->info; D.24973 = D.24972 == 0B; D.24974 = (long int) D.24973; D.24975 = __builtin_expect (D.24974, 0); if (D.24975 != 0) goto ; else goto ; : monoeg_assertion_message ("* Assertion at %s:%d, condition `%s\' not met\n", "mini-gc.c", 600, "tls->info"); : D.24978 = &tls->unwind_state; D.24967 = tls->tid; D.24968 = (long unsigned int) D.24967; D.24972 = tls->info; D.24979 = D.24972->native_handle; res = mono_thread_state_init_from_handle (D.24978, D.24968, D.24979); } goto ; : D.24981 = mono_get_lmf (); tls->unwind_state.unwind_data[1] = D.24981; if (sigctx != 0B) goto ; else goto ; : D.24984 = &tls->unwind_state.ctx; mono_arch_sigctx_to_monoctx (sigctx, D.24984); tls->unwind_state.valid = 1; goto ; : if (ctx != 0B) goto ; else goto ; : D.24984 = &tls->unwind_state.ctx; memcpy (D.24984, ctx, 512); tls->unwind_state.valid = 1; goto ; : tls->unwind_state.valid = 0; : : mono_jit_tls_id.79 = mono_jit_tls_id; D.24990 = pthread_getspecific (mono_jit_tls_id.79); tls->unwind_state.unwind_data[2] = D.24990; D.24991 = mono_domain_get (); tls->unwind_state.unwind_data[0] = D.24991; : D.24992 = tls->unwind_state.unwind_data[0]; if (D.24992 == 0B) goto ; else goto ; : tls->unwind_state.valid = 0; return; : } thread_detach_func (void * user_data) { struct TlsData * tls; tls = user_data; monoeg_g_free (tls); } thread_attach_func () { long unsigned int D.24996; long int D.24997; struct MonoThreadInfo * D.24998; int D.24999; unsigned int D.25000; unsigned int D.25001; int D.25002; void * D.25003; struct TlsData * tls; tls = monoeg_malloc0 (4976); D.24996 = GetCurrentThreadId (); D.24997 = (long int) D.24996; tls->tid = D.24997; D.24998 = mono_thread_info_current (); tls->info = D.24998; D.24999 = stats.tlsdata_size; D.25000 = (unsigned int) D.24999; D.25001 = D.25000 + 4976; D.25002 = (int) D.25001; stats.tlsdata_size = D.25002; D.25003 = tls; return D.25003; } parse_debug_options () { struct _IO_FILE * stderr.80; char * D.25009; char * * opts; char * * ptr; const char * env; env = monoeg_g_getenv ("MONO_GCMAP_DEBUG"); if (env == 0B) goto ; else goto ; : return; : opts = monoeg_g_strsplit (env, ",", -1); ptr = opts; goto ; : stderr.80 = stderr; fprintf (stderr.80, "Invalid format for the MONO_GCMAP_DEBUG env variable: \'%s\'\n", env); exit (1); ptr = ptr + 8; : if (ptr != 0B) goto ; else goto ; : D.25009 = *ptr; if (D.25009 != 0B) goto ; else goto ; : monoeg_g_strfreev (opts); } __attribute__((__artificial__, __gnu_inline__, __always_inline__)) fprintf (struct FILE * restrict __stream, const char * restrict __fmt) { int D.25011; D.25011 = __fprintf_chk (__stream, 1, __fmt, __builtin_va_arg_pack ()); return D.25011; } __attribute__((visibility ("hidden"))) mini_gc_init_cfg (struct MonoCompile * cfg) { int D.25013; D.25013 = mono_gc_is_moving (); if (D.25013 != 0) goto ; else goto ; : cfg->disable_ref_noref_stack_slot_share = 1; cfg->gen_write_barriers = 1; : mini_gc_init_gc_map (cfg); } mini_gc_init_gc_map (struct MonoCompile * cfg) { int D.25018; long unsigned int D.25021; long unsigned int D.25022; int enable_gc_maps_for_aot.81; int D.25029; int precise_count.82; int precise_count.83; const gchar * D.25034; const gchar * D.25037; int D.25038; struct MonoMethod * D.25041; char * D.25042; const gchar * D.25043; int D.25044; struct MonoMemPool * D.25047; void * D.25048; if (0 != 0) goto ; else goto ; : return; : D.25018 = mono_gc_is_moving (); if (D.25018 == 0) goto ; else goto ; : return; : D.25021 = BIT_FIELD_REF <*cfg, 64, 5568>; D.25022 = D.25021 & 33554432; if (D.25022 != 0) goto ; else goto ; : enable_gc_maps_for_aot.81 = enable_gc_maps_for_aot; if (enable_gc_maps_for_aot.81 == 0) goto ; else goto ; : return; : goto ; : D.25029 = mono_gc_precise_stack_mark_enabled (); if (D.25029 == 0) goto ; else goto ; : return; : : { static int precise_count; precise_count.82 = precise_count; precise_count.83 = precise_count.82 + 1; precise_count = precise_count.83; D.25034 = monoeg_g_getenv ("MONO_GCMAP_COUNT"); if (D.25034 != 0B) goto ; else goto ; : D.25037 = monoeg_g_getenv ("MONO_GCMAP_COUNT"); D.25038 = atoi (D.25037); precise_count.82 = precise_count; if (D.25038 == precise_count.82) goto ; else goto ; : D.25041 = cfg->method; D.25042 = mono_method_full_name (D.25041, 1); printf ("LAST: %s\n", D.25042); : D.25043 = monoeg_g_getenv ("MONO_GCMAP_COUNT"); D.25044 = atoi (D.25043); precise_count.82 = precise_count; if (D.25044 < precise_count.82) goto ; else goto ; : return; : : } cfg->compute_gc_maps = 1; D.25047 = cfg->mempool; D.25048 = mono_mempool_alloc0 (D.25047, 96); cfg->gc_info = D.25048; }