+#ifdef x86_64_TARGET_ARCH
+ tableEntry = CmmMachOp (MO_S_Conv I32 I64) [CmmLoad slot I32]
+ -- offsets are 32-bits on x86-64, due to the inability of
+ -- the tools to handle 64-bit PC-relative relocations. See also
+ -- PprMach.pprDataItem, and InfoTables.h:OFFSET_FIELD().
+#else