Lines Matching full:invalidate
560 mk_key_GetIPutI, invalidate any key which overlaps (k_lo
568 /* invalidate any env entries which in any way overlap (k_lo
570 /* vex_printf("invalidate %d .. %d\n", k_lo, k_hi ); */
581 /* overlap; invalidate */
634 /* Deal with Puts: invalidate any env entries overlapped by this
653 Invalidate the entire env. We could do a lot better
685 /* Find any Get uses in st and invalidate any partially or fully
3358 Bool invalidate;
3380 might invalidate some of the expressions in aenv. So there is
3381 an invalidate-bindings check for each statement seen.
3386 /* ------ BEGIN invalidate aenv bindings ------ */
3416 invalidate = False;
3418 invalidate = True;
3428 invalidate = True;
3441 invalidate = True;
3447 if (invalidate) {
3454 /* ------ ENV invalidate aenv bindings ------ */
3712 need to check it doesn't invalidate the search by
5118 binding 'k', to see if they invalidate the binding. */
5127 invalidate trees containing loads if the Put in
