Lines Matching full:invalidate
542 mk_key_GetIPutI, invalidate any key which overlaps (k_lo
550 /* invalidate any env entries which in any way overlap (k_lo
552 /* vex_printf("invalidate %d .. %d\n", k_lo, k_hi ); */
563 /* overlap; invalidate */
616 /* Deal with Puts: invalidate any env entries overlapped by this
635 Invalidate the entire env. We could do a lot better
667 /* Find any Get uses in st and invalidate any partially or fully
2666 Bool invalidate;
2688 might invalidate some of the expressions in aenv. So there is
2689 an invalidate-bindings check for each statement seen.
2694 /* ------ BEGIN invalidate aenv bindings ------ */
2724 invalidate = False;
2726 invalidate = True;
2736 invalidate = True;
2748 invalidate = True;
2754 if (invalidate) {
2761 /* ------ ENV invalidate aenv bindings ------ */
3019 need to check it doesn't invalidate the search by
4346 binding 'k', to see if they invalidate the binding. */
4355 invalidate trees containing loads if the Put in
