Lines Matching refs:k_lo
590 static void invalidateOverlaps ( HashHW* h, UInt k_lo, UInt k_hi ) in invalidateOverlaps() argument
594 vassert(k_lo <= k_hi); in invalidateOverlaps()
605 if (e_hi < k_lo || k_hi < e_lo) in invalidateOverlaps()
664 UInt k_lo, k_hi; in redundant_get_removal_BB() local
673 k_lo = (key >> 16) & 0xFFFF; in redundant_get_removal_BB()
675 invalidateOverlaps(env, k_lo, k_hi); in redundant_get_removal_BB()
752 UInt k_lo, k_hi; in handle_gets_Stmt() local
753 k_lo = (key >> 16) & 0xFFFF; in handle_gets_Stmt()
755 invalidateOverlaps(env, k_lo, k_hi); in handle_gets_Stmt()
851 HWord k_lo = (env->key[j] >> 16) & 0xFFFF; in handle_gets_Stmt() local
853 if (preciseMemExnsFn( k_lo, k_hi, pxControl )) in handle_gets_Stmt()