Lines Matching refs:interval
4802 /* An interval. Used to record the bytes in the guest state accessed
4815 Interval;
4818 intervals_overlap(Interval i1, Interval i2)
4825 update_interval(Interval *i, Int low, Int high)
4849 Interval getInterval;
4873 static void setHints_Expr (Bool* doesLoad, Interval* getInterval, IRExpr* e )
5482 static Interval dirty_helper_puts ( const IRDirty *d,
5487 Interval interval;
5496 interval.present = True;
5497 interval.low = 0;
5498 interval.high = 0x7FFFFFFF;
5499 return interval;
5504 interval.present = False;
5505 interval.low = interval.high = -1;
5519 update_interval(&interval, offset,
5524 return interval;
5527 /* Return an interval if st modifies the guest state. Via requiresPreciseMemExns
5529 static Interval stmt_modifies_guest_state ( IRSB *bb, const IRStmt *st,
5533 Interval interval;
5541 interval.present = True;
5542 interval.low = offset;
5543 interval.high = offset + size - 1;
5544 return interval;
5558 interval.present = True;
5559 interval.low = offset;
5560 interval.high = offset + descr->nElems * size - 1;
5561 return interval;
5570 interval.present = False;
5571 interval.low = -1;
5572 interval.high = -1;
5573 return interval;
5582 Interval putInterval;
