Lines Matching full:interval
4932 /* An interval. Used to record the bytes in the guest state accessed
4945 Interval;
4948 intervals_overlap(Interval i1, Interval i2)
4955 update_interval(Interval *i, Int low, Int high)
4979 Interval getInterval;
5003 static void setHints_Expr (Bool* doesLoad, Interval* getInterval, IRExpr* e )
5617 static Interval dirty_helper_puts (
5625 Interval interval;
5634 interval.present = True;
5635 interval.low = 0;
5636 interval.high = 0x7FFFFFFF;
5637 return interval;
5642 interval.present = False;
5643 interval.low = interval.high = -1;
5658 update_interval(&interval, offset,
5663 return interval;
5666 /* Return an interval if st modifies the guest state. Via
5669 static Interval stmt_modifies_guest_state (
5676 Interval interval;
5685 interval.present = True;
5686 interval.low = offset;
5687 interval.high = offset + size - 1;
5688 return interval;
5703 interval.present = True;
5704 interval.low = offset;
5705 interval.high = offset + descr->nElems * size - 1;
5706 return interval;
5716 interval.present = False;
5717 interval.low = -1;
5718 interval.high = -1;
5719 return interval;
5731 Interval putInterval;
