reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
90 CHECK(MEM_IS_SHADOW(MEM_TO_SHADOW(addr))); 91 CHECK(MEM_IS_ORIGIN(MEM_TO_ORIGIN(addr))); 92 CHECK_EQ(MEM_TO_ORIGIN(addr), SHADOW_TO_ORIGIN(MEM_TO_SHADOW(addr))); 92 CHECK_EQ(MEM_TO_ORIGIN(addr), SHADOW_TO_ORIGIN(MEM_TO_SHADOW(addr))); 94 addr = (start + end) / 2; 95 CHECK(MEM_IS_SHADOW(MEM_TO_SHADOW(addr))); 96 CHECK(MEM_IS_ORIGIN(MEM_TO_ORIGIN(addr))); 97 CHECK_EQ(MEM_TO_ORIGIN(addr), SHADOW_TO_ORIGIN(MEM_TO_SHADOW(addr))); 97 CHECK_EQ(MEM_TO_ORIGIN(addr), SHADOW_TO_ORIGIN(MEM_TO_SHADOW(addr))); 99 addr = end - 1; 100 CHECK(MEM_IS_SHADOW(MEM_TO_SHADOW(addr))); 101 CHECK(MEM_IS_ORIGIN(MEM_TO_ORIGIN(addr))); 102 CHECK_EQ(MEM_TO_ORIGIN(addr), SHADOW_TO_ORIGIN(MEM_TO_SHADOW(addr))); 102 CHECK_EQ(MEM_TO_ORIGIN(addr), SHADOW_TO_ORIGIN(MEM_TO_SHADOW(addr)));