X-Git-Url: http://de.git.xonotic.org/?a=blobdiff_plain;f=prvm_execprogram.h;h=52da1343afc1f36a3a446c4824da653aef4b9c7f;hb=cf7140c9799cb2d2f40f6dbfd6abeb9694645ad5;hp=97f50b94f6e64157c0d05c6c356c8d074b8ed98f;hpb=2e45bcb55c7a64d75ffec7e1ad7a4490b754dea6;p=xonotic%2Fdarkplaces.git diff --git a/prvm_execprogram.h b/prvm_execprogram.h index 97f50b94..52da1343 100644 --- a/prvm_execprogram.h +++ b/prvm_execprogram.h @@ -8,6 +8,9 @@ #if PRVMTRACE PRVM_PrintStatement(st); #endif +#if PRVMSTATEMENTPROFILING + prog->statement_profile[st - prog->statements]++; +#endif switch (st->op) { @@ -44,7 +47,21 @@ OPC->vector[2] = OPB->_float * OPA->vector[2]; break; case OP_DIV_F: - OPC->_float = OPA->_float / OPB->_float; + if( OPB->_float != 0.0f ) + { + OPC->_float = OPA->_float / OPB->_float; + } + else + { + if( developer.integer >= 1 ) + { + prog->xfunction->profile += (st - startst); + startst = st; + prog->xstatement = st - prog->statements; + VM_Warning( "Attempted division by zero in %s\n", PRVM_NAME ); + } + OPC->_float = 0.0f; + } break; case OP_BITAND: OPC->_float = (int)OPA->_float & (int)OPB->_float; @@ -65,13 +82,13 @@ OPC->_float = OPA->_float < OPB->_float; break; case OP_AND: - OPC->_float = OPA->_float && OPB->_float; + OPC->_float = FLOAT_IS_TRUE_FOR_INT(OPA->_int) && FLOAT_IS_TRUE_FOR_INT(OPB->_int); // TODO change this back to float, and add AND_I to be used by fteqcc for anything not a float break; case OP_OR: - OPC->_float = OPA->_float || OPB->_float; + OPC->_float = FLOAT_IS_TRUE_FOR_INT(OPA->_int) || FLOAT_IS_TRUE_FOR_INT(OPB->_int); // TODO change this back to float, and add OR_I to be used by fteqcc for anything not a float break; case OP_NOT_F: - OPC->_float = !OPA->_float; + OPC->_float = !FLOAT_IS_TRUE_FOR_INT(OPA->_int); break; case OP_NOT_V: OPC->_float = !OPA->vector[0] && !OPA->vector[1] && !OPA->vector[2]; @@ -141,7 +158,7 @@ prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR("%s attempted to write to an out of bounds edict (%i)", PRVM_NAME, OPB->_int); - return; + goto cleanup; } #endif ptr = (prvm_eval_t *)((unsigned char *)prog->edictsfields + OPB->_int); @@ -154,23 +171,30 @@ prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR("%s attempted to write to an out of bounds edict (%i)", PRVM_NAME, OPB->_int); - return; + goto cleanup; } #endif ptr = (prvm_eval_t *)((unsigned char *)prog->edictsfields + OPB->_int); - ptr->vector[0] = OPA->vector[0]; - ptr->vector[1] = OPA->vector[1]; - ptr->vector[2] = OPA->vector[2]; + ptr->ivector[0] = OPA->ivector[0]; + ptr->ivector[1] = OPA->ivector[1]; + ptr->ivector[2] = OPA->ivector[2]; break; case OP_ADDRESS: #if PRVMBOUNDSCHECK + if (OPA->edict < 0 || OPA->edict >= prog->max_edicts) + { + prog->xfunction->profile += (st - startst); + prog->xstatement = st - prog->statements; + PRVM_ERROR ("%s Progs attempted to address an out of bounds edict number", PRVM_NAME); + goto cleanup; + } if ((unsigned int)(OPB->_int) >= (unsigned int)(prog->progs->entityfields)) { prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR("%s attempted to address an invalid field (%i) in an edict", PRVM_NAME, OPB->_int); - return; + goto cleanup; } #endif if (OPA->edict == 0 && !prog->allowworldwrites) @@ -178,7 +202,7 @@ prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR("forbidden assignment to null/world entity in %s", PRVM_NAME); - return; + goto cleanup; } ed = PRVM_PROG_TO_EDICT(OPA->edict); OPC->_int = (unsigned char *)((int *)ed->fields.vp + OPB->_int) - (unsigned char *)prog->edictsfields; @@ -190,12 +214,19 @@ case OP_LOAD_S: case OP_LOAD_FNC: #if PRVMBOUNDSCHECK + if (OPA->edict < 0 || OPA->edict >= prog->max_edicts) + { + prog->xfunction->profile += (st - startst); + prog->xstatement = st - prog->statements; + PRVM_ERROR ("%s Progs attempted to read an out of bounds edict number", PRVM_NAME); + goto cleanup; + } if ((unsigned int)(OPB->_int) >= (unsigned int)(prog->progs->entityfields)) { prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR("%s attempted to read an invalid field in an edict (%i)", PRVM_NAME, OPB->_int); - return; + goto cleanup; } #endif ed = PRVM_PROG_TO_EDICT(OPA->edict); @@ -204,47 +235,68 @@ case OP_LOAD_V: #if PRVMBOUNDSCHECK + if (OPA->edict < 0 || OPA->edict >= prog->max_edicts) + { + prog->xfunction->profile += (st - startst); + prog->xstatement = st - prog->statements; + PRVM_ERROR ("%s Progs attempted to read an out of bounds edict number", PRVM_NAME); + goto cleanup; + } if (OPB->_int < 0 || OPB->_int + 2 >= prog->progs->entityfields) { prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR("%s attempted to read an invalid field in an edict (%i)", PRVM_NAME, OPB->_int); - return; + goto cleanup; } #endif ed = PRVM_PROG_TO_EDICT(OPA->edict); - OPC->vector[0] = ((prvm_eval_t *)((int *)ed->fields.vp + OPB->_int))->vector[0]; - OPC->vector[1] = ((prvm_eval_t *)((int *)ed->fields.vp + OPB->_int))->vector[1]; - OPC->vector[2] = ((prvm_eval_t *)((int *)ed->fields.vp + OPB->_int))->vector[2]; + OPC->ivector[0] = ((prvm_eval_t *)((int *)ed->fields.vp + OPB->_int))->ivector[0]; + OPC->ivector[1] = ((prvm_eval_t *)((int *)ed->fields.vp + OPB->_int))->ivector[1]; + OPC->ivector[2] = ((prvm_eval_t *)((int *)ed->fields.vp + OPB->_int))->ivector[2]; break; //================== case OP_IFNOT: - if (!OPA->_int) + if(!FLOAT_IS_TRUE_FOR_INT(OPA->_int)) + // TODO add an "int-if", and change this one to OPA->_float + // although mostly unneeded, thanks to the only float being false being 0x0 and 0x80000000 (negative zero) + // and entity, string, field values can never have that value { prog->xfunction->profile += (st - startst); st += st->b - 1; // offset the s++ startst = st; - if (++jumpcount> 1000000) + // no bounds check needed, it is done when loading progs +#if PRVMRUNAWAYCHECK + if (++jumpcount == 10000000) { prog->xstatement = st - prog->statements; - PRVM_ERROR("runaway loop counter hit limit of %d jumps\ntip: if having trouble identifying the problem, try typing profile now in %s", jumpcount, PRVM_NAME); + PRVM_Profile(1<<30, 1000000); + PRVM_ERROR("%s runaway loop counter hit limit of %d jumps\ntip: read above for list of most-executed functions", PRVM_NAME, jumpcount); } +#endif } break; case OP_IF: - if (OPA->_int) + if(FLOAT_IS_TRUE_FOR_INT(OPA->_int)) + // TODO add an "int-if", and change this one, as well as the FLOAT_IS_TRUE_FOR_INT usages, to OPA->_float + // although mostly unneeded, thanks to the only float being false being 0x0 and 0x80000000 (negative zero) + // and entity, string, field values can never have that value { prog->xfunction->profile += (st - startst); st += st->b - 1; // offset the s++ startst = st; - if (++jumpcount> 1000000) + // no bounds check needed, it is done when loading progs +#if PRVMRUNAWAYCHECK + if (++jumpcount == 10000000) { prog->xstatement = st - prog->statements; - PRVM_ERROR("runaway loop counter hit limit of %d jumps\ntip: if having trouble identifying the problem, try typing profile now in %s", jumpcount, PRVM_NAME); + PRVM_Profile(1<<30, 1000000); + PRVM_ERROR("%s runaway loop counter hit limit of %d jumps\ntip: read above for list of most-executed functions", PRVM_NAME, jumpcount); } +#endif } break; @@ -252,11 +304,15 @@ prog->xfunction->profile += (st - startst); st += st->a - 1; // offset the s++ startst = st; - if (++jumpcount> 1000000) + // no bounds check needed, it is done when loading progs +#if PRVMRUNAWAYCHECK + if (++jumpcount == 10000000) { prog->xstatement = st - prog->statements; - PRVM_ERROR("runaway loop counter hit limit of %d jumps\ntip: if having trouble identifying the problem, try typing profile now in %s", jumpcount, PRVM_NAME); + PRVM_Profile(1<<30, 1000000); + PRVM_ERROR("%s runaway loop counter hit limit of %d jumps\ntip: read above for list of most-executed functions", PRVM_NAME, jumpcount); } +#endif break; case OP_CALL0: @@ -275,6 +331,16 @@ if (!OPA->function) PRVM_ERROR("NULL function in %s", PRVM_NAME); +#if PRVMBOUNDSCHECK + if(!OPA->function || OPA->function >= (unsigned int)prog->progs->numfunctions) + { + prog->xfunction->profile += (st - startst); + prog->xstatement = st - prog->statements; // we better stay on the previously executed statement + PRVM_ERROR("%s CALL outside the program", PRVM_NAME); + goto cleanup; + } +#endif + newf = &prog->functions[OPA->function]; newf->callcount++; @@ -286,7 +352,7 @@ if (builtinnumber < prog->numbuiltins && prog->builtins[builtinnumber]) prog->builtins[builtinnumber](); else - PRVM_ERROR("No such builtin #%i in %s", builtinnumber, PRVM_NAME); + PRVM_ERROR("No such builtin #%i in %s; most likely cause: outdated engine build. Try updating!", builtinnumber, PRVM_NAME); } else st = prog->statements + PRVM_EnterFunction(newf); @@ -305,7 +371,7 @@ st = prog->statements + PRVM_LeaveFunction(); startst = st; if (prog->depth <= exitdepth) - return; // all done + goto cleanup; // all done if (prog->trace != cachedpr_trace) goto chooseexecprogram; break; @@ -313,10 +379,10 @@ case OP_STATE: if(prog->flag & PRVM_OP_STATE) { - ed = PRVM_PROG_TO_EDICT(PRVM_G_INT(prog->self->ofs)); - PRVM_E_FLOAT(ed,PRVM_ED_FindField ("nextthink")->ofs) = *prog->time + 0.1; - PRVM_E_FLOAT(ed,PRVM_ED_FindField ("frame")->ofs) = OPA->_float; - *(func_t *)((float*)ed->fields.vp + PRVM_ED_FindField ("think")->ofs) = OPB->function; + ed = PRVM_PROG_TO_EDICT(PRVM_GLOBALFIELDVALUE(prog->globaloffsets.self)->edict); + PRVM_EDICTFIELDVALUE(ed,prog->fieldoffsets.nextthink)->_float = PRVM_GLOBALFIELDVALUE(prog->globaloffsets.time)->_float + 0.1; + PRVM_EDICTFIELDVALUE(ed,prog->fieldoffsets.frame)->_float = OPA->_float; + PRVM_EDICTFIELDVALUE(ed,prog->fieldoffsets.think)->function = OPB->function; } else { @@ -486,7 +552,7 @@ prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR ("%s Progs attempted to write to an out of bounds edict", PRVM_NAME); - return; + goto cleanup; } #endif ptr = (prvm_eval_t *)((unsigned char *)prog->edictsfields + OPB->_int); @@ -494,19 +560,19 @@ break; case OP_LOAD_I: #if PRBOUNDSCHECK - if (OPA->edict < 0 || OPA->edict >= pr_edictareasize) + if (OPA->edict < 0 || OPA->edict >= prog->max_edicts) { prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR ("%s Progs attempted to read an out of bounds edict number", PRVM_NAME); - return; + goto cleanup; } if (OPB->_int < 0 || OPB->_int >= progs->entityfields) { prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR ("%s Progs attempted to read an invalid field in an edict", PRVM_NAME); - return; + goto cleanup; } #endif ed = PRVM_PROG_TO_EDICT(OPA->edict); @@ -525,10 +591,10 @@ prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR ("%s Progs attempted to write to an invalid indexed global", PRVM_NAME); - return; + goto cleanup; } #endif - pr_globals[OPB->_int] = OPA->_float; + pr_iglobals[OPB->_int] = OPA->_int; break; case OP_GSTOREP_V: #if PRBOUNDSCHECK @@ -537,12 +603,12 @@ prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR ("%s Progs attempted to write to an invalid indexed global", PRVM_NAME); - return; + goto cleanup; } #endif - pr_globals[OPB->_int ] = OPA->vector[0]; - pr_globals[OPB->_int+1] = OPA->vector[1]; - pr_globals[OPB->_int+2] = OPA->vector[2]; + pr_iglobals[OPB->_int ] = OPA->ivector[0]; + pr_iglobals[OPB->_int+1] = OPA->ivector[1]; + pr_iglobals[OPB->_int+2] = OPA->ivector[2]; break; case OP_GADDRESS: @@ -553,10 +619,10 @@ prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR ("%s Progs attempted to address an out of bounds global", PRVM_NAME); - return; + goto cleanup; } #endif - OPC->_float = pr_globals[i]; + OPC->_int = pr_iglobals[i]; break; case OP_GLOAD_I: @@ -571,10 +637,10 @@ prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR ("%s Progs attempted to read an invalid indexed global", PRVM_NAME); - return; + goto cleanup; } #endif - OPC->_float = pr_globals[OPA->_int]; + OPC->_int = pr_iglobals[OPA->_int]; break; case OP_GLOAD_V: @@ -584,12 +650,12 @@ prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR ("%s Progs attempted to read an invalid indexed global", PRVM_NAME); - return; + goto cleanup; } #endif - OPC->vector[0] = pr_globals[OPA->_int ]; - OPC->vector[1] = pr_globals[OPA->_int+1]; - OPC->vector[2] = pr_globals[OPA->_int+2]; + OPC->ivector[0] = pr_iglobals[OPA->_int ]; + OPC->ivector[1] = pr_iglobals[OPA->_int+1]; + OPC->ivector[2] = pr_iglobals[OPA->_int+2]; break; case OP_BOUNDCHECK: @@ -598,7 +664,7 @@ prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR ("%s Progs boundcheck failed at line number %d, value is < 0 or >= %d", PRVM_NAME, st->b, st->c); - return; + goto cleanup; } break; @@ -608,6 +674,7 @@ prog->xfunction->profile += (st - startst); prog->xstatement = st - prog->statements; PRVM_ERROR ("Bad opcode %i in %s", st->op, PRVM_NAME); + goto cleanup; } }