Lines Matching refs:Interval
4933 /* An interval. Used to record the bytes in the guest state accessed
4946 Interval;
4949 intervals_overlap(Interval i1, Interval i2)
4956 update_interval(Interval *i, Int low, Int high)
4980 Interval getInterval;
5004 static void setHints_Expr (Bool* doesLoad, Interval* getInterval, IRExpr* e )
5618 static Interval dirty_helper_puts (
5626 Interval interval;
5635 interval.present = True;
5636 interval.low = 0;
5637 interval.high = 0x7FFFFFFF;
5638 return interval;
5643 interval.present = False;
5644 interval.low = interval.high = -1;
5659 update_interval(&interval, offset,
5664 return interval;
5667 /* Return an interval if st modifies the guest state. Via
5670 static Interval stmt_modifies_guest_state (
5677 Interval interval;
5686 interval.present = True;
5687 interval.low = offset;
5688 interval.high = offset + size - 1;
5689 return interval;
5704 interval.present = True;
5705 interval.low = offset;
5706 interval.high = offset + descr->nElems * size - 1;
5707 return interval;
5717 interval.present = False;
5718 interval.low = -1;
5719 interval.high = -1;
5720 return interval;
5732 Interval putInterval;
