[hcoop/debian/mlton.git] / runtime / util / pointer.h

/* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
 *    Jagannathan, and Stephen Weeks.
 * Copyright (C) 1997-2000 NEC Research Institute.
 *
 * MLton is released under a BSD-style license.
 * See the file MLton-LICENSE for details.
 */

// typedef void* pointer;
// typedef unsigned char* pointer;
typedef unsigned char pointerAux __attribute__ ((may_alias));
typedef pointerAux* pointer;

#if POINTER_BITS == 32
#define FMTPTR "0x%08"PRIxPTR
#elif POINTER_BITS == 64
#define FMTPTR "0x%016"PRIxPTR
#else
#error POINTER_BITS undefined
#endif

typedef const unsigned char* code_pointer;
Commit	Line	Data
7f918cf1 CE	1	/* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
	2	* Jagannathan, and Stephen Weeks.
	3	* Copyright (C) 1997-2000 NEC Research Institute.
	4	*
	5	* MLton is released under a BSD-style license.
	6	* See the file MLton-LICENSE for details.
	7	*/
	8
	9	// typedef void* pointer;
	10	// typedef unsigned char* pointer;
	11	typedef unsigned char pointerAux __attribute__ ((may_alias));
	12	typedef pointerAux* pointer;
	13
	14	#if POINTER_BITS == 32
	15	#define FMTPTR "0x%08"PRIxPTR
	16	#elif POINTER_BITS == 64
	17	#define FMTPTR "0x%016"PRIxPTR
	18	#else
	19	#error POINTER_BITS undefined
	20	#endif
	21
	22	typedef const unsigned char* code_pointer;