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
2782 Bool invalidate;
2804 might invalidate some of the expressions in aenv. So there is
2805 an invalidate-bindings check for each statement seen.
2810 /* ------ BEGIN invalidate aenv bindings ------ */
2840 invalidate = False;
2842 invalidate = True;
2852 invalidate = True;
2864 invalidate = True;
2870 if (invalidate) {
2877 /* ------ ENV invalidate aenv bindings ------ */
3135 need to check it doesn't invalidate the search by
4480 binding 'k', to see if they invalidate the binding. */
4489 invalidate trees containing loads if the Put in
