Lines Matching refs:interval
4928 /* An interval. Used to record the bytes in the guest state accessed
4941 Interval;
4944 intervals_overlap(Interval i1, Interval i2)
4951 update_interval(Interval *i, Int low, Int high)
4975 Interval getInterval;
4999 static void setHints_Expr (Bool* doesLoad, Interval* getInterval, IRExpr* e )
5613 static Interval dirty_helper_puts (
5621 Interval interval;
5630 interval.present = True;
5631 interval.low = 0;
5632 interval.high = 0x7FFFFFFF;
5633 return interval;
5638 interval.present = False;
5639 interval.low = interval.high = -1;
5654 update_interval(&interval, offset,
5659 return interval;
5662 /* Return an interval if st modifies the guest state. Via
5665 static Interval stmt_modifies_guest_state (
5672 Interval interval;
5681 interval.present = True;
5682 interval.low = offset;
5683 interval.high = offset + size - 1;
5684 return interval;
5699 interval.present = True;
5700 interval.low = offset;
5701 interval.high = offset + descr->nElems * size - 1;
5702 return interval;
5712 interval.present = False;
5713 interval.low = -1;
5714 interval.high = -1;
5715 return interval;
5727 Interval putInterval;
