Lines Matching refs:vassert
175 vassert(search_from_instr >= 0); in findMostDistantlyMentionedVReg()
179 vassert(state[k].disp == Bound); in findMostDistantlyMentionedVReg()
199 vassert(0 == ((UShort)vreg->spill_offset % 16)); break; in sanity_check_spill_offset()
201 vassert(0 == ((UShort)vreg->spill_offset % 8)); break; in sanity_check_spill_offset()
214 vassert(used == *size); in ensureRRLRspace_SLOW()
242 vassert(size >= 0); in sortRRLRarray()
450 vassert(0 == (guest_sizeB % LibVEX_GUEST_STATE_ALIGN)); in doRegisterAllocation()
451 vassert(0 == (LibVEX_N_SPILL_BYTES % LibVEX_GUEST_STATE_ALIGN)); in doRegisterAllocation()
452 vassert(0 == (N_SPILL64S % 2)); in doRegisterAllocation()
457 vassert(instrs_in->arr_used <= 15000); in doRegisterAllocation()
512 vassert(n_vregs < 32767); in doRegisterAllocation()
515 vassert(n_rregs > 0); in doRegisterAllocation()
575 vassert(n_rregs > 0); in doRegisterAllocation()
605 vassert(hregIsVirtual(vreg)); in doRegisterAllocation()
623 vassert(vreg_lrs[k].reg_class == hregClass(vreg)); in doRegisterAllocation()
661 vassert(N_RREGUNIVERSE_REGS == 64); in doRegisterAllocation()
725 vassert(isR && isW); in doRegisterAllocation()
740 vassert(flush_la != INVALID_INSTRNO); in doRegisterAllocation()
741 vassert(flush_db != INVALID_INSTRNO); in doRegisterAllocation()
768 vassert( (rreg_live_after[j] == INVALID_INSTRNO in doRegisterAllocation()
798 vassert(!hregIsVirtual(rreg)); in doRegisterAllocation()
802 vassert(ix < n_rregs); in doRegisterAllocation()
828 vassert(rreg_lrs_la[j-1].live_after <= rreg_lrs_la[j].live_after); in doRegisterAllocation()
829 vassert(rreg_lrs_db[j-1].dead_before <= rreg_lrs_db[j].dead_before); in doRegisterAllocation()
893 vassert(vreg_lrs[j].reg_class == HRcINVALID); in doRegisterAllocation()
1027 vassert(!hregIsVirtual(reg)); in doRegisterAllocation()
1028 vassert(rreg_state[hregIndex(reg)].disp == Unavail); in doRegisterAllocation()
1037 vassert(rreg_state[j].disp == Bound in doRegisterAllocation()
1045 vassert(!hregIsVirtual(reg)); in doRegisterAllocation()
1053 vassert(k < rreg_lrs_used); in doRegisterAllocation()
1060 vassert(rreg_state[j].eq_spill_slot == False); in doRegisterAllocation()
1063 vassert(hregClass(univ->regs[j]) in doRegisterAllocation()
1065 vassert( hregIsVirtual(rreg_state[j].vreg)); in doRegisterAllocation()
1077 vassert(IS_VALID_VREGNO(k)); in doRegisterAllocation()
1078 vassert(vreg_state[k] == j); in doRegisterAllocation()
1084 vassert(IS_VALID_RREGNO(k)); in doRegisterAllocation()
1085 vassert(rreg_state[k].disp == Bound); in doRegisterAllocation()
1086 vassert(hregIndex(rreg_state[k].vreg) == j); in doRegisterAllocation()
1107 vassert(hregClass(vregS) == hregClass(vregD)); in doRegisterAllocation()
1110 vassert(IS_VALID_VREGNO(k)); in doRegisterAllocation()
1111 vassert(IS_VALID_VREGNO(m)); in doRegisterAllocation()
1128 vassert(IS_VALID_RREGNO(n)); in doRegisterAllocation()
1133 vassert(IS_VALID_VREGNO(hregIndex(vregD))); in doRegisterAllocation()
1134 vassert(IS_VALID_VREGNO(hregIndex(vregS))); in doRegisterAllocation()
1158 vassert(IS_VALID_VREGNO(vregno)); in doRegisterAllocation()
1163 vassert(IS_VALID_VREGNO(m)); in doRegisterAllocation()
1189 vassert(rreg_lrs_la_next >= 0); in doRegisterAllocation()
1190 vassert(rreg_lrs_la_next <= rreg_lrs_used); in doRegisterAllocation()
1195 vassert(ii == rreg_lrs_la[rreg_lrs_la_next].live_after); in doRegisterAllocation()
1215 vassert(IS_VALID_RREGNO(k)); in doRegisterAllocation()
1220 vassert(IS_VALID_VREGNO(m)); in doRegisterAllocation()
1223 vassert(vreg_lrs[m].reg_class != HRcINVALID); in doRegisterAllocation()
1229 vassert(spill1 || spill2); /* can't both be NULL */ in doRegisterAllocation()
1284 vassert(hregIsVirtual(vreg)); in doRegisterAllocation()
1289 vassert(IS_VALID_VREGNO(m)); in doRegisterAllocation()
1293 vassert(vreg_lrs[m].dead_before >= ii+1); in doRegisterAllocation()
1306 vassert(! sameHReg(reg_usage_arr[ii].vRegs[0], in doRegisterAllocation()
1337 vassert(hregIsVirtual(vreg)); in doRegisterAllocation()
1347 vassert(IS_VALID_VREGNO(m)); in doRegisterAllocation()
1350 vassert(rreg_state[n].disp == Bound); in doRegisterAllocation()
1358 vassert(n == INVALID_RREG_NO); in doRegisterAllocation()
1389 vassert(IS_VALID_VREGNO(p)); in doRegisterAllocation()
1399 vassert(vreg_lrs[p].reg_class != HRcINVALID); in doRegisterAllocation()
1404 vassert(reload1 || reload2); /* can't both be NULL */ in doRegisterAllocation()
1415 vassert(reg_usage_arr[ii].vMode[j] == HRmModify); in doRegisterAllocation()
1469 vassert(IS_VALID_RREGNO(spillee)); in doRegisterAllocation()
1470 vassert(rreg_state[spillee].disp == Bound); in doRegisterAllocation()
1472 vassert(hregClass(univ->regs[spillee]) == hregClass(vreg)); in doRegisterAllocation()
1475 vassert(! sameHReg(rreg_state[spillee].vreg, vreg)); in doRegisterAllocation()
1478 vassert(IS_VALID_VREGNO(m)); in doRegisterAllocation()
1482 vassert(vreg_lrs[m].dead_before > ii); in doRegisterAllocation()
1483 vassert(vreg_lrs[m].reg_class != HRcINVALID); in doRegisterAllocation()
1489 vassert(spill1 || spill2); /* can't both be NULL */ in doRegisterAllocation()
1504 vassert(IS_VALID_VREGNO(m)); in doRegisterAllocation()
1510 vassert(vreg_lrs[m].reg_class != HRcINVALID); in doRegisterAllocation()
1515 vassert(reload1 || reload2); /* can't both be NULL */ in doRegisterAllocation()
1526 vassert(reg_usage_arr[ii].vMode[j] == HRmModify); in doRegisterAllocation()
1563 vassert(rreg_lrs_db_next >= 0); in doRegisterAllocation()
1564 vassert(rreg_lrs_db_next <= rreg_lrs_used); in doRegisterAllocation()
1569 vassert(ii+1 == rreg_lrs_db[rreg_lrs_db_next].dead_before); in doRegisterAllocation()
1573 vassert(!hregIsVirtual(reg)); in doRegisterAllocation()
1575 vassert(IS_VALID_RREGNO(k)); in doRegisterAllocation()
1576 vassert(rreg_state[k].disp == Unavail); in doRegisterAllocation()
1600 vassert(rreg_lrs_la_next == rreg_lrs_used); in doRegisterAllocation()
1601 vassert(rreg_lrs_db_next == rreg_lrs_used); in doRegisterAllocation()