source: to-imperative/trunk/runtime/rf_common.hh @ 1010

Last change on this file since 1010 was 1010, checked in by pooh, 18 years ago
  • More work on long arithmetic.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 1.0 KB
Line 
1// $Source$
2// $Revision: 1010 $
3// $Date: 2003-07-15 12:12:14 +0000 (Tue, 15 Jul 2003) $
4
5#ifndef __rf_common_hh__
6#define __rf_common_hh__
7
8#include "pxx_common.hh"
9#include "pxx_heap_allocator.hh"
10#include "pxx_chunk_allocator.hh"
11#include <gmp.h>
12
13namespace rfrt
14{
15
16#ifdef ALL_INLINE
17#define INLINE inline
18#else
19#define INLINE
20#endif
21
22static const uint32_t hash_size = 1024 ;
23static uintptr_t const default_heap_size = uintptr_t(1ULL << 28) ;
24static void* const heap_start = (void*)0x60000000 ;
25extern uintptr_t heap_size ;
26extern pxx::HeapAllocator& allocator ;
27extern pxx::ChunkAllocator<mpz_t>& mpz_allocator ;
28static void* const stack_start = (void*)0x50000000 ;
29static uintptr_t const default_stack_size = uintptr_t(1ULL << 26) ;
30extern uintptr_t stack_size ;
31
32#if DEBUG
33extern uintptr_t empty_copy ;
34extern uintptr_t lt_copy ;
35extern uintptr_t rt_copy ;
36extern uintptr_t both_copy ;
37extern uintptr_t unifications ;
38extern uintptr_t identical ;
39#endif
40
41#ifdef TRACE_EXEC // trace of execution is wanted
42#   define D(x)   x
43#else
44#   define D(x)   /*empty*/
45#endif
46
47}
48
49#endif // __rf_common_hh__
Note: See TracBrowser for help on using the repository browser.