|
From: <sv...@va...> - 2011-05-28 11:11:04
|
Author: sewardj
Date: 2011-05-28 12:06:14 +0100 (Sat, 28 May 2011)
New Revision: 2154
Log:
Comment-only change.
Modified:
trunk/pub/libvex_trc_values.h
Modified: trunk/pub/libvex_trc_values.h
===================================================================
--- trunk/pub/libvex_trc_values.h 2011-05-27 13:20:56 UTC (rev 2153)
+++ trunk/pub/libvex_trc_values.h 2011-05-28 11:06:14 UTC (rev 2154)
@@ -46,6 +46,11 @@
These values should be 61 or above so as not to conflict
with Valgrind's VG_TRC_ values, which are 60 or below.
+
+ These values *must* be odd (have bit 0 set) because the dispatchers
+ (coregrind/m_dispatch/dispatch-*-*.S) use this fact to distinguish
+ a TRC value from the unchanged baseblock pointer -- which has 0 as
+ its lowest bit.
*/
#define VEX_TRC_JMP_TINVAL 61 /* invalidate translations before
|