| 
									
										
										
										
											2015-01-28 08:27:20 -05:00
										 |  |  | using namespace std; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | namespace factor { | 
					
						
							| 
									
										
										
										
											2009-08-17 16:37:04 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-08-03 09:07:48 -04:00
										 |  |  | typedef void (*c_to_factor_func_type)(cell quot); | 
					
						
							|  |  |  | typedef void (*unwind_native_frames_func_type)(cell quot, cell to); | 
					
						
							|  |  |  | typedef cell (*get_fpu_state_func_type)(); | 
					
						
							|  |  |  | typedef void (*set_fpu_state_func_type)(cell state); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2009-10-15 06:51:11 -04:00
										 |  |  | struct growable_array; | 
					
						
							| 
									
										
										
										
											2009-11-02 19:10:34 -05:00
										 |  |  | struct code_root; | 
					
						
							| 
									
										
										
										
											2009-10-15 06:51:11 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | struct factor_vm { | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   //
 | 
					
						
							|  |  |  |   // vvvvvv
 | 
					
						
							|  |  |  |   // THESE FIELDS ARE ACCESSED DIRECTLY FROM FACTOR. See:
 | 
					
						
							|  |  |  |   //   basis/vm/vm.factor
 | 
					
						
							|  |  |  |   //   basis/compiler/constants/constants.factor
 | 
					
						
							| 
									
										
										
										
											2009-10-07 09:33:54 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Current context
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   context* ctx; | 
					
						
							| 
									
										
										
										
											2010-03-26 22:44:43 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Spare context -- for callbacks
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   context* spare_ctx; | 
					
						
							| 
									
										
										
										
											2010-03-26 22:44:43 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // New objects are allocated here, use the data->nursery reference
 | 
					
						
							|  |  |  |   // instead from c++ code.
 | 
					
						
							| 
									
										
										
										
											2014-11-21 04:34:23 -05:00
										 |  |  |   bump_allocator nursery; | 
					
						
							| 
									
										
										
										
											2009-10-07 09:33:54 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Add this to a shifted address to compute write barrier offsets
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell cards_offset; | 
					
						
							|  |  |  |   cell decks_offset; | 
					
						
							| 
									
										
										
										
											2009-09-03 14:41:19 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // cdecl signal handler address, used by signal handler subprimitives
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell signal_handler_addr; | 
					
						
							| 
									
										
										
										
											2011-10-25 02:46:34 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // are we handling a memory error? used to detect double faults
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell faulting_p; | 
					
						
							| 
									
										
										
										
											2011-11-12 15:57:24 -05:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Various special objects, accessed by special-object and
 | 
					
						
							|  |  |  |   // set-special-object primitives
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell special_objects[special_object_count]; | 
					
						
							| 
									
										
										
										
											2009-10-07 09:33:54 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // THESE FIELDS ARE ACCESSED DIRECTLY FROM FACTOR.
 | 
					
						
							|  |  |  |   // ^^^^^^
 | 
					
						
							|  |  |  |   //
 | 
					
						
							| 
									
										
										
										
											2011-10-25 02:46:34 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Handle to the main thread we run in
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   THREADHANDLE thread; | 
					
						
							| 
									
										
										
										
											2011-11-03 00:18:31 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Data stack and retain stack sizes
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell datastack_size, retainstack_size, callstack_size; | 
					
						
							| 
									
										
										
										
											2010-03-26 22:44:43 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Stack of callback IDs
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   std::vector<int> callback_ids; | 
					
						
							| 
									
										
										
										
											2010-03-26 22:44:43 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Next callback ID
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   int callback_id; | 
					
						
							| 
									
										
										
										
											2009-10-07 09:33:54 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // List of callback function descriptors for PPC
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   std::list<void**> function_descriptors; | 
					
						
							| 
									
										
										
										
											2011-05-20 18:11:50 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Pooling unused contexts to make context allocation cheaper
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   std::list<context*> unused_contexts; | 
					
						
							| 
									
										
										
										
											2010-03-26 22:44:43 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Active contexts, for tracing by the GC
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   std::set<context*> active_contexts; | 
					
						
							| 
									
										
										
										
											2009-09-27 15:09:09 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // External entry points
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   c_to_factor_func_type c_to_factor_func; | 
					
						
							| 
									
										
										
										
											2010-01-05 21:47:36 -05:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Is profiling enabled?
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   volatile cell sampling_profiler_p; | 
					
						
							|  |  |  |   fixnum samples_per_second; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Global variables used to pass fault handler state from signal handler
 | 
					
						
							|  |  |  |   // to VM
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   bool signal_resumable; | 
					
						
							|  |  |  |   cell signal_number; | 
					
						
							|  |  |  |   cell signal_fault_addr; | 
					
						
							|  |  |  |   cell signal_fault_pc; | 
					
						
							|  |  |  |   unsigned int signal_fpu_status; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Pipe used to notify Factor multiplexer of signals
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   int signal_pipe_input, signal_pipe_output; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // State kept by the sampling profiler
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   std::vector<profiling_sample> samples; | 
					
						
							| 
									
										
										
										
											2017-06-24 19:15:40 -04:00
										 |  |  |   volatile profiling_sample current_sample; | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // GC is off during heap walking
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   bool gc_off; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Data heap
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   data_heap* data; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Code heap
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   code_heap* code; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Pinned callback stubs
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   callback_heap* callbacks; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Only set if we're performing a GC
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   gc_state* current_gc; | 
					
						
							|  |  |  |   volatile cell current_gc_p; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Set if we're in the jit
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   volatile fixnum current_jit_count; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Mark stack used for mark & sweep GC
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   std::vector<cell> mark_stack; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // If not NULL, we push GC events here
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   std::vector<gc_event>* gc_events; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // If a runtime function needs to call another function which potentially
 | 
					
						
							|  |  |  |   // allocates memory, it must wrap any references to the data and code
 | 
					
						
							|  |  |  |   // heaps with data_root and code_root smart pointers, which register
 | 
					
						
							|  |  |  |   // themselves here. See data_roots.hpp and code_roots.hpp
 | 
					
						
							| 
									
										
										
										
											2014-06-11 14:33:33 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  |   std::vector<cell*> data_roots; | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   std::vector<code_root*> code_roots; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Debugger
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   bool fep_p; | 
					
						
							|  |  |  |   bool fep_help_was_shown; | 
					
						
							|  |  |  |   bool fep_disabled; | 
					
						
							|  |  |  |   bool full_output; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Method dispatch statistics
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   dispatch_statistics dispatch_stats; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Number of entries in a polymorphic inline cache
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell max_pic_size; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Incrementing object counter for identity hashing
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell object_counter; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Sanity check to ensure that monotonic counter doesn't decrease
 | 
					
						
							| 
									
										
										
										
											2013-05-13 00:28:25 -04:00
										 |  |  |   uint64_t last_nano_count; | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Stack for signal handlers, only used on Unix
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   segment* signal_callstack_seg; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Are we already handling a fault? Used to catch double memory faults
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   static bool fatal_erroring_p; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Two fep_p variants, one might be redundant.
 | 
					
						
							| 
									
										
										
										
											2016-08-15 09:13:30 -04:00
										 |  |  |   volatile cell safepoint_fep_p; | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-11-01 22:21:47 -04:00
										 |  |  |   // Allow Ctrl-Break a busy loop in the Listener, only used on Windows
 | 
					
						
							|  |  |  |   volatile bool stop_on_ctrl_break; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // contexts
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   context* new_context(); | 
					
						
							|  |  |  |   void init_context(context* ctx); | 
					
						
							| 
									
										
										
										
											2015-05-18 12:43:20 -04:00
										 |  |  |   void delete_context(); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell begin_callback(cell quot); | 
					
						
							|  |  |  |   void end_callback(); | 
					
						
							|  |  |  |   void primitive_current_callback(); | 
					
						
							|  |  |  |   void primitive_context_object(); | 
					
						
							|  |  |  |   void primitive_context_object_for(); | 
					
						
							|  |  |  |   void primitive_set_context_object(); | 
					
						
							| 
									
										
										
										
											2015-02-28 14:41:32 -05:00
										 |  |  |   cell stack_to_array(cell bottom, cell top, vm_error_type error); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell datastack_to_array(context* ctx); | 
					
						
							|  |  |  |   void primitive_datastack_for(); | 
					
						
							|  |  |  |   cell retainstack_to_array(context* ctx); | 
					
						
							|  |  |  |   void primitive_retainstack_for(); | 
					
						
							|  |  |  |   void primitive_set_datastack(); | 
					
						
							|  |  |  |   void primitive_set_retainstack(); | 
					
						
							|  |  |  |   void primitive_check_datastack(); | 
					
						
							|  |  |  |   void primitive_load_locals(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // run
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void primitive_exit(); | 
					
						
							|  |  |  |   void primitive_nano_count(); | 
					
						
							|  |  |  |   void primitive_sleep(); | 
					
						
							|  |  |  |   void primitive_set_slot(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // objects
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void primitive_special_object(); | 
					
						
							|  |  |  |   void primitive_set_special_object(); | 
					
						
							|  |  |  |   void primitive_identity_hashcode(); | 
					
						
							|  |  |  |   void primitive_compute_identity_hashcode(); | 
					
						
							|  |  |  |   void primitive_clone(); | 
					
						
							|  |  |  |   void primitive_become(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // sampling_profiler
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void record_sample(bool prolog_p); | 
					
						
							|  |  |  |   void start_sampling_profiler(fixnum rate); | 
					
						
							|  |  |  |   void end_sampling_profiler(); | 
					
						
							|  |  |  |   void set_sampling_profiler(fixnum rate); | 
					
						
							|  |  |  |   void primitive_sampling_profiler(); | 
					
						
							|  |  |  |   void primitive_get_samples(); | 
					
						
							| 
									
										
										
										
											2016-11-23 03:44:17 -05:00
										 |  |  |   array* allot_growarr(); | 
					
						
							|  |  |  |   void growarr_add(array *growarr_, cell value); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // errors
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void general_error(vm_error_type error, cell arg1, cell arg2); | 
					
						
							|  |  |  |   void type_error(cell type, cell tagged); | 
					
						
							| 
									
										
										
										
											2016-09-21 19:49:12 -04:00
										 |  |  |   void set_memory_protection_error(cell fault_addr, cell fault_pc); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void divide_by_zero_error(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // bignum
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   int bignum_equal_p(bignum* x, bignum* y); | 
					
						
							|  |  |  |   enum bignum_comparison bignum_compare(bignum* x, bignum* y); | 
					
						
							|  |  |  |   bignum* bignum_add(bignum* x, bignum* y); | 
					
						
							|  |  |  |   bignum* bignum_subtract(bignum* x, bignum* y); | 
					
						
							| 
									
										
										
										
											2014-06-16 18:30:23 -04:00
										 |  |  |   bignum* bignum_square(bignum* x_); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   bignum* bignum_multiply(bignum* x, bignum* y); | 
					
						
							|  |  |  |   void bignum_divide(bignum* numerator, bignum* denominator, bignum** quotient, | 
					
						
							|  |  |  |                      bignum** remainder); | 
					
						
							|  |  |  |   bignum* bignum_quotient(bignum* numerator, bignum* denominator); | 
					
						
							|  |  |  |   bignum* bignum_remainder(bignum* numerator, bignum* denominator); | 
					
						
							| 
									
										
										
										
											2014-06-12 12:13:18 -04:00
										 |  |  |   fixnum bignum_to_fixnum_strict(bignum* bn); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   bignum* double_to_bignum(double x); | 
					
						
							|  |  |  |   int bignum_equal_p_unsigned(bignum* x, bignum* y); | 
					
						
							|  |  |  |   enum bignum_comparison bignum_compare_unsigned(bignum* x, bignum* y); | 
					
						
							| 
									
										
										
										
											2014-06-16 18:30:23 -04:00
										 |  |  |   bignum* bignum_add_unsigned(bignum* x_, bignum* y_, int negative_p); | 
					
						
							|  |  |  |   bignum* bignum_subtract_unsigned(bignum* x_, bignum* y_); | 
					
						
							|  |  |  |   bignum* bignum_multiply_unsigned(bignum* x_, bignum* y_, int negative_p); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   bignum* bignum_multiply_unsigned_small_factor(bignum* x, bignum_digit_type y, | 
					
						
							|  |  |  |                                                 int negative_p); | 
					
						
							| 
									
										
										
										
											2014-06-12 12:13:18 -04:00
										 |  |  |   void bignum_destructive_add(bignum* bn, bignum_digit_type n); | 
					
						
							|  |  |  |   void bignum_destructive_scale_up(bignum* bn, bignum_digit_type factor); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void bignum_divide_unsigned_large_denominator( | 
					
						
							| 
									
										
										
										
											2014-11-17 19:55:42 -05:00
										 |  |  |       bignum* numerator_, bignum* denominator_, bignum** quotient, | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |       bignum** remainder, int q_negative_p, int r_negative_p); | 
					
						
							|  |  |  |   void bignum_divide_unsigned_normalized(bignum* u, bignum* v, bignum* q); | 
					
						
							|  |  |  |   bignum_digit_type bignum_divide_subtract(bignum_digit_type* v_start, | 
					
						
							|  |  |  |                                            bignum_digit_type* v_end, | 
					
						
							|  |  |  |                                            bignum_digit_type guess, | 
					
						
							|  |  |  |                                            bignum_digit_type* u_start); | 
					
						
							|  |  |  |   void bignum_divide_unsigned_medium_denominator( | 
					
						
							| 
									
										
										
										
											2014-06-17 08:17:56 -04:00
										 |  |  |       bignum* numerator_, bignum_digit_type denominator, bignum** quotient, | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |       bignum** remainder, int q_negative_p, int r_negative_p); | 
					
						
							|  |  |  |   void bignum_destructive_normalization(bignum* source, bignum* target, | 
					
						
							|  |  |  |                                         int shift_left); | 
					
						
							| 
									
										
										
										
											2014-06-12 12:13:18 -04:00
										 |  |  |   void bignum_destructive_unnormalization(bignum* bn, int shift_right); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   bignum_digit_type bignum_digit_divide( | 
					
						
							|  |  |  |       bignum_digit_type uh, bignum_digit_type ul, bignum_digit_type v, | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |       bignum_digit_type* q); // return value
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   bignum_digit_type bignum_digit_divide_subtract(bignum_digit_type v1, | 
					
						
							|  |  |  |                                                  bignum_digit_type v2, | 
					
						
							|  |  |  |                                                  bignum_digit_type guess, | 
					
						
							|  |  |  |                                                  bignum_digit_type* u); | 
					
						
							|  |  |  |   void bignum_divide_unsigned_small_denominator( | 
					
						
							| 
									
										
										
										
											2014-06-17 08:17:56 -04:00
										 |  |  |       bignum* numerator_, bignum_digit_type denominator, bignum** quotient, | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |       bignum** remainder, int q_negative_p, int r_negative_p); | 
					
						
							|  |  |  |   bignum_digit_type bignum_destructive_scale_down( | 
					
						
							| 
									
										
										
										
											2014-06-12 12:13:18 -04:00
										 |  |  |       bignum* bn, bignum_digit_type denominator); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   bignum* bignum_remainder_unsigned_small_denominator(bignum* n, | 
					
						
							|  |  |  |                                                       bignum_digit_type d, | 
					
						
							|  |  |  |                                                       int negative_p); | 
					
						
							|  |  |  |   bignum* bignum_digit_to_bignum(bignum_digit_type digit, int negative_p); | 
					
						
							|  |  |  |   bignum* allot_bignum(bignum_length_type length, int negative_p); | 
					
						
							|  |  |  |   bignum* allot_bignum_zeroed(bignum_length_type length, int negative_p); | 
					
						
							| 
									
										
										
										
											2014-06-12 12:13:18 -04:00
										 |  |  |   bignum* bignum_shorten_length(bignum* bn, bignum_length_type length); | 
					
						
							|  |  |  |   bignum* bignum_trim(bignum* bn); | 
					
						
							| 
									
										
										
										
											2014-06-17 05:05:51 -04:00
										 |  |  |   bignum* bignum_new_sign(bignum* x_, int negative_p); | 
					
						
							|  |  |  |   bignum* bignum_maybe_new_sign(bignum* x_, int negative_p); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void bignum_destructive_copy(bignum* source, bignum* target); | 
					
						
							| 
									
										
										
										
											2014-06-16 18:30:23 -04:00
										 |  |  |   bignum* bignum_bitwise_not(bignum* x_); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   bignum* bignum_arithmetic_shift(bignum* arg1, fixnum n); | 
					
						
							|  |  |  |   bignum* bignum_bitwise_and(bignum* arg1, bignum* arg2); | 
					
						
							|  |  |  |   bignum* bignum_bitwise_ior(bignum* arg1, bignum* arg2); | 
					
						
							|  |  |  |   bignum* bignum_bitwise_xor(bignum* arg1, bignum* arg2); | 
					
						
							| 
									
										
										
										
											2014-06-17 05:05:51 -04:00
										 |  |  |   bignum* bignum_magnitude_ash(bignum* arg1_, fixnum n); | 
					
						
							| 
									
										
										
										
											2014-06-17 08:17:56 -04:00
										 |  |  |   bignum* bignum_pospos_bitwise_op(int op, bignum* arg1_, bignum* arg2_); | 
					
						
							|  |  |  |   bignum* bignum_posneg_bitwise_op(int op, bignum* arg1_, bignum* arg2_); | 
					
						
							|  |  |  |   bignum* bignum_negneg_bitwise_op(int op, bignum* arg1_, bignum* arg2_); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void bignum_negate_magnitude(bignum* arg); | 
					
						
							| 
									
										
										
										
											2014-06-17 08:17:56 -04:00
										 |  |  |   bignum* bignum_integer_length(bignum* x_); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   int bignum_logbitp(int shift, bignum* arg); | 
					
						
							| 
									
										
										
										
											2014-06-12 12:13:18 -04:00
										 |  |  |   int bignum_unsigned_logbitp(int shift, bignum* bn); | 
					
						
							| 
									
										
										
										
											2014-06-17 11:03:50 -04:00
										 |  |  |   bignum* bignum_gcd(bignum* a_, bignum* b_); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   //data heap
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void set_data_heap(data_heap* data_); | 
					
						
							|  |  |  |   void primitive_size(); | 
					
						
							|  |  |  |   data_heap_room data_room(); | 
					
						
							|  |  |  |   void primitive_data_room(); | 
					
						
							|  |  |  |   cell instances(cell type); | 
					
						
							|  |  |  |   void primitive_all_instances(); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   template <typename Generation, typename Iterator> | 
					
						
							|  |  |  |   inline void each_object(Generation* gen, Iterator& iterator) { | 
					
						
							|  |  |  |     cell obj = gen->first_object(); | 
					
						
							|  |  |  |     while (obj) { | 
					
						
							|  |  |  |       iterator((object*)obj); | 
					
						
							|  |  |  |       obj = gen->next_object_after(obj); | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   template <typename Iterator> inline void each_object(Iterator& iterator) { | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |     // The nursery can't be iterated because there may be gaps between
 | 
					
						
							|  |  |  |     // the objects (see factor_vm::reallot_array) so we require it to
 | 
					
						
							|  |  |  |     // be empty first.
 | 
					
						
							| 
									
										
										
										
											2014-11-21 02:52:33 -05:00
										 |  |  |     FACTOR_ASSERT(data->nursery->occupied_space() == 0); | 
					
						
							| 
									
										
										
										
											2014-11-20 17:30:43 -05:00
										 |  |  | 
 | 
					
						
							|  |  |  |     gc_off = true; | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |     each_object(data->tenured, iterator); | 
					
						
							|  |  |  |     each_object(data->aging, iterator); | 
					
						
							|  |  |  |     gc_off = false; | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-08-18 01:55:36 -04:00
										 |  |  |   template <typename Iterator> | 
					
						
							|  |  |  |   inline void each_object_each_slot(Iterator& iterator) { | 
					
						
							|  |  |  |     auto each_object_func = [&](object* obj) { | 
					
						
							|  |  |  |       auto each_slot_func = [&](cell* slot) { | 
					
						
							|  |  |  |         iterator(obj, slot); | 
					
						
							|  |  |  |       }; | 
					
						
							|  |  |  |       obj->each_slot(each_slot_func); | 
					
						
							|  |  |  |     }; | 
					
						
							|  |  |  |     each_object(each_object_func); | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // the write barrier must be called any time we are potentially storing a
 | 
					
						
							|  |  |  |   // pointer from an older generation to a younger one
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   inline void write_barrier(cell* slot_ptr) { | 
					
						
							| 
									
										
										
										
											2016-03-30 18:29:09 -04:00
										 |  |  |     *(unsigned char*)(cards_offset + ((cell)slot_ptr >> card_bits)) = card_mark_mask; | 
					
						
							|  |  |  |     *(unsigned char*)(decks_offset + ((cell)slot_ptr >> deck_bits)) = card_mark_mask; | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   inline void write_barrier(object* obj, cell size) { | 
					
						
							| 
									
										
										
										
											2013-05-13 00:53:47 -04:00
										 |  |  |     cell start = (cell)obj & (~card_size + 1); | 
					
						
							|  |  |  |     cell end = ((cell)obj + size + card_size - 1) & (~card_size + 1); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  |     for (cell offset = start; offset < end; offset += card_size) | 
					
						
							|  |  |  |       write_barrier((cell*)offset); | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // data heap checker
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void check_data_heap(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // gc
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void set_current_gc_op(gc_op op); | 
					
						
							|  |  |  |   void start_gc_again(); | 
					
						
							|  |  |  |   void collect_nursery(); | 
					
						
							|  |  |  |   void collect_aging(); | 
					
						
							|  |  |  |   void collect_to_tenured(); | 
					
						
							|  |  |  |   void update_code_roots_for_compaction(); | 
					
						
							| 
									
										
										
										
											2015-01-12 01:19:06 -05:00
										 |  |  |   void collect_mark_impl(); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void collect_sweep_impl(); | 
					
						
							| 
									
										
										
										
											2015-01-12 01:19:06 -05:00
										 |  |  |   void collect_full(); | 
					
						
							|  |  |  |   void collect_compact_impl(); | 
					
						
							|  |  |  |   void collect_compact(); | 
					
						
							| 
									
										
										
										
											2016-10-12 19:46:52 -04:00
										 |  |  |   void collect_growing_data_heap(cell requested_size); | 
					
						
							| 
									
										
										
										
											2015-01-12 01:19:06 -05:00
										 |  |  |   void gc(gc_op op, cell requested_size); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void primitive_minor_gc(); | 
					
						
							|  |  |  |   void primitive_full_gc(); | 
					
						
							|  |  |  |   void primitive_compact_gc(); | 
					
						
							|  |  |  |   void primitive_enable_gc_events(); | 
					
						
							|  |  |  |   void primitive_disable_gc_events(); | 
					
						
							|  |  |  |   object* allot_object(cell type, cell size); | 
					
						
							|  |  |  |   object* allot_large_object(cell type, cell size); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-21 10:26:04 -04:00
										 |  |  |   // Allocates memory
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   template <typename Type> Type* allot(cell size) { | 
					
						
							|  |  |  |     return (Type*)allot_object(Type::type_number, size); | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // generic arrays
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   template <typename Array> Array* allot_uninitialized_array(cell capacity); | 
					
						
							|  |  |  |   template <typename Array> | 
					
						
							|  |  |  |   bool reallot_array_in_place_p(Array* array, cell capacity); | 
					
						
							|  |  |  |   template <typename Array> Array* reallot_array(Array* array_, cell capacity); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // debug
 | 
					
						
							| 
									
										
										
										
											2015-01-28 08:27:20 -05:00
										 |  |  |   void print_chars(ostream& out, string* str); | 
					
						
							|  |  |  |   void print_word(ostream& out, word* word, cell nesting); | 
					
						
							|  |  |  |   void print_factor_string(ostream& out, string* str); | 
					
						
							|  |  |  |   void print_array(ostream& out, array* array, cell nesting); | 
					
						
							|  |  |  |   void print_byte_array(ostream& out, byte_array* array, cell nesting); | 
					
						
							|  |  |  |   void print_tuple(ostream& out, tuple* tuple, cell nesting); | 
					
						
							|  |  |  |   void print_alien(ostream& out, alien* alien, cell nesting); | 
					
						
							|  |  |  |   void print_nested_obj(ostream& out, cell obj, fixnum nesting); | 
					
						
							|  |  |  |   void print_obj(ostream& out, cell obj); | 
					
						
							|  |  |  |   void print_objects(ostream& out, cell* start, cell* end); | 
					
						
							|  |  |  |   void print_datastack(ostream& out); | 
					
						
							|  |  |  |   void print_retainstack(ostream& out); | 
					
						
							|  |  |  |   void print_callstack(ostream& out); | 
					
						
							|  |  |  |   void print_callstack_object(ostream& out, callstack* obj); | 
					
						
							|  |  |  |   void dump_cell(ostream& out, cell x); | 
					
						
							|  |  |  |   void dump_memory(ostream& out, cell from, cell to); | 
					
						
							| 
									
										
										
										
											2015-10-08 10:25:35 -04:00
										 |  |  |   void dump_memory_layout(ostream& out); | 
					
						
							| 
									
										
										
										
											2015-01-28 08:27:20 -05:00
										 |  |  |   void dump_objects(ostream& out, cell type); | 
					
						
							|  |  |  |   void dump_edges(ostream& out); | 
					
						
							|  |  |  |   void find_data_references(ostream& out, cell look_for_); | 
					
						
							|  |  |  |   void dump_code_heap(ostream& out); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void factorbug_usage(bool advanced_p); | 
					
						
							|  |  |  |   void factorbug(); | 
					
						
							|  |  |  |   void primitive_die(); | 
					
						
							| 
									
										
										
										
											2016-06-15 10:12:13 -04:00
										 |  |  |   void primitive_enable_ctrl_break(); | 
					
						
							|  |  |  |   void primitive_disable_ctrl_break(); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // arrays
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   inline void set_array_nth(array* array, cell slot, cell value); | 
					
						
							|  |  |  |   array* allot_array(cell capacity, cell fill_); | 
					
						
							|  |  |  |   void primitive_array(); | 
					
						
							|  |  |  |   cell allot_array_4(cell v1_, cell v2_, cell v3_, cell v4_); | 
					
						
							|  |  |  |   void primitive_resize_array(); | 
					
						
							|  |  |  |   cell std_vector_to_array(std::vector<cell>& elements); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // strings
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   string* allot_string_internal(cell capacity); | 
					
						
							|  |  |  |   void fill_string(string* str_, cell start, cell capacity, cell fill); | 
					
						
							|  |  |  |   string* allot_string(cell capacity, cell fill); | 
					
						
							|  |  |  |   void primitive_string(); | 
					
						
							|  |  |  |   bool reallot_string_in_place_p(string* str, cell capacity); | 
					
						
							|  |  |  |   string* reallot_string(string* str_, cell capacity); | 
					
						
							|  |  |  |   void primitive_resize_string(); | 
					
						
							|  |  |  |   void primitive_set_string_nth_fast(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // booleans
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell tag_boolean(cell untagged) { | 
					
						
							| 
									
										
										
										
											2015-12-10 04:07:57 -05:00
										 |  |  |     return untagged ? special_objects[OBJ_CANONICAL_TRUE] : false_object; | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // byte arrays
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   byte_array* allot_byte_array(cell size); | 
					
						
							|  |  |  |   void primitive_byte_array(); | 
					
						
							|  |  |  |   void primitive_uninitialized_byte_array(); | 
					
						
							|  |  |  |   void primitive_resize_byte_array(); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   template <typename Type> byte_array* byte_array_from_value(Type* value); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // tuples
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void primitive_tuple(); | 
					
						
							|  |  |  |   void primitive_tuple_boa(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // words
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   word* allot_word(cell name_, cell vocab_, cell hashcode_); | 
					
						
							|  |  |  |   void primitive_word(); | 
					
						
							|  |  |  |   void primitive_word_code(); | 
					
						
							| 
									
										
										
										
											2015-07-15 14:13:52 -04:00
										 |  |  |   void primitive_word_optimized_p(); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void primitive_wrapper(); | 
					
						
							|  |  |  |   void jit_compile_word(cell word_, cell def_, bool relocating); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // math
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void primitive_bignum_to_fixnum(); | 
					
						
							| 
									
										
										
										
											2014-06-07 12:46:05 -04:00
										 |  |  |   void primitive_bignum_to_fixnum_strict(); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void primitive_float_to_fixnum(); | 
					
						
							|  |  |  |   void primitive_fixnum_divint(); | 
					
						
							|  |  |  |   void primitive_fixnum_divmod(); | 
					
						
							|  |  |  |   bignum* fixnum_to_bignum(fixnum); | 
					
						
							|  |  |  |   bignum* cell_to_bignum(cell); | 
					
						
							| 
									
										
										
										
											2013-05-13 00:28:25 -04:00
										 |  |  |   bignum* long_long_to_bignum(int64_t n); | 
					
						
							|  |  |  |   bignum* ulong_long_to_bignum(uint64_t n); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   inline fixnum sign_mask(fixnum x); | 
					
						
							|  |  |  |   inline fixnum branchless_max(fixnum x, fixnum y); | 
					
						
							|  |  |  |   inline fixnum branchless_abs(fixnum x); | 
					
						
							|  |  |  |   void primitive_fixnum_shift(); | 
					
						
							|  |  |  |   void primitive_fixnum_to_bignum(); | 
					
						
							|  |  |  |   void primitive_float_to_bignum(); | 
					
						
							|  |  |  |   void primitive_bignum_eq(); | 
					
						
							|  |  |  |   void primitive_bignum_add(); | 
					
						
							|  |  |  |   void primitive_bignum_subtract(); | 
					
						
							|  |  |  |   void primitive_bignum_multiply(); | 
					
						
							|  |  |  |   void primitive_bignum_divint(); | 
					
						
							|  |  |  |   void primitive_bignum_divmod(); | 
					
						
							|  |  |  |   void primitive_bignum_mod(); | 
					
						
							|  |  |  |   void primitive_bignum_gcd(); | 
					
						
							|  |  |  |   void primitive_bignum_and(); | 
					
						
							|  |  |  |   void primitive_bignum_or(); | 
					
						
							|  |  |  |   void primitive_bignum_xor(); | 
					
						
							|  |  |  |   void primitive_bignum_shift(); | 
					
						
							|  |  |  |   void primitive_bignum_less(); | 
					
						
							|  |  |  |   void primitive_bignum_lesseq(); | 
					
						
							|  |  |  |   void primitive_bignum_greater(); | 
					
						
							|  |  |  |   void primitive_bignum_greatereq(); | 
					
						
							|  |  |  |   void primitive_bignum_not(); | 
					
						
							|  |  |  |   void primitive_bignum_bitp(); | 
					
						
							|  |  |  |   void primitive_bignum_log2(); | 
					
						
							|  |  |  |   inline cell unbox_array_size(); | 
					
						
							|  |  |  |   void primitive_fixnum_to_float(); | 
					
						
							|  |  |  |   void primitive_format_float(); | 
					
						
							|  |  |  |   void primitive_float_eq(); | 
					
						
							|  |  |  |   void primitive_float_add(); | 
					
						
							|  |  |  |   void primitive_float_subtract(); | 
					
						
							|  |  |  |   void primitive_float_multiply(); | 
					
						
							|  |  |  |   void primitive_float_divfloat(); | 
					
						
							|  |  |  |   void primitive_float_less(); | 
					
						
							|  |  |  |   void primitive_float_lesseq(); | 
					
						
							|  |  |  |   void primitive_float_greater(); | 
					
						
							|  |  |  |   void primitive_float_greatereq(); | 
					
						
							|  |  |  |   void primitive_float_bits(); | 
					
						
							|  |  |  |   void primitive_bits_float(); | 
					
						
							|  |  |  |   void primitive_double_bits(); | 
					
						
							|  |  |  |   void primitive_bits_double(); | 
					
						
							|  |  |  |   fixnum to_fixnum(cell tagged); | 
					
						
							| 
									
										
										
										
											2014-06-07 15:06:03 -04:00
										 |  |  |   fixnum to_fixnum_strict(cell tagged); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell to_cell(cell tagged); | 
					
						
							| 
									
										
										
										
											2013-05-13 00:28:25 -04:00
										 |  |  |   cell from_signed_8(int64_t n); | 
					
						
							|  |  |  |   int64_t to_signed_8(cell obj); | 
					
						
							|  |  |  |   cell from_unsigned_8(uint64_t n); | 
					
						
							|  |  |  |   uint64_t to_unsigned_8(cell obj); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   float to_float(cell value); | 
					
						
							|  |  |  |   double to_double(cell value); | 
					
						
							|  |  |  |   inline void overflow_fixnum_add(fixnum x, fixnum y); | 
					
						
							|  |  |  |   inline void overflow_fixnum_subtract(fixnum x, fixnum y); | 
					
						
							|  |  |  |   inline void overflow_fixnum_multiply(fixnum x, fixnum y); | 
					
						
							|  |  |  |   inline cell from_signed_cell(fixnum x); | 
					
						
							|  |  |  |   inline cell from_unsigned_cell(cell x); | 
					
						
							|  |  |  |   inline cell allot_float(double n); | 
					
						
							|  |  |  |   inline bignum* float_to_bignum(cell tagged); | 
					
						
							|  |  |  |   inline double untag_float(cell tagged); | 
					
						
							|  |  |  |   inline double untag_float_check(cell tagged); | 
					
						
							|  |  |  |   inline fixnum float_to_fixnum(cell tagged); | 
					
						
							|  |  |  |   inline double fixnum_to_float(cell tagged); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // tagged
 | 
					
						
							| 
									
										
										
										
											2016-11-08 20:07:56 -05:00
										 |  |  |   template <typename Type> void check_tagged(tagged<Type> t) { | 
					
						
							|  |  |  |     if (!t.type_p()) | 
					
						
							|  |  |  |       type_error(Type::type_number, t.value_); | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   template <typename Type> Type* untag_check(cell value) { | 
					
						
							|  |  |  |     tagged<Type> t(value); | 
					
						
							|  |  |  |     check_tagged(t); | 
					
						
							|  |  |  |     return t.untagged(); | 
					
						
							|  |  |  |   } | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // io
 | 
					
						
							| 
									
										
										
										
											2015-06-03 17:35:48 -04:00
										 |  |  |   void io_error_if_not_EINTR(); | 
					
						
							| 
									
										
										
										
											2015-09-30 22:03:39 -04:00
										 |  |  |   FILE* safe_fopen(char* filename, const char* mode); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   int safe_fgetc(FILE* stream); | 
					
						
							| 
									
										
										
										
											2015-06-04 20:11:28 -04:00
										 |  |  |   size_t safe_fread(void* ptr, size_t size, size_t nitems, FILE* stream); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void safe_fputc(int c, FILE* stream); | 
					
						
							|  |  |  |   size_t safe_fwrite(void* ptr, size_t size, size_t nitems, FILE* stream); | 
					
						
							|  |  |  |   int safe_ftell(FILE* stream); | 
					
						
							|  |  |  |   void safe_fseek(FILE* stream, off_t offset, int whence); | 
					
						
							|  |  |  |   void safe_fflush(FILE* stream); | 
					
						
							|  |  |  |   void primitive_fopen(); | 
					
						
							|  |  |  |   FILE* pop_file_handle(); | 
					
						
							|  |  |  |   FILE* peek_file_handle(); | 
					
						
							|  |  |  |   void primitive_fgetc(); | 
					
						
							|  |  |  |   void primitive_fread(); | 
					
						
							|  |  |  |   void primitive_fputc(); | 
					
						
							|  |  |  |   void primitive_fwrite(); | 
					
						
							|  |  |  |   void primitive_ftell(); | 
					
						
							|  |  |  |   void primitive_fseek(); | 
					
						
							|  |  |  |   void primitive_fflush(); | 
					
						
							|  |  |  |   void primitive_fclose(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // code_block
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell compute_entry_point_pic_address(word* w, cell tagged_quot); | 
					
						
							|  |  |  |   cell compute_entry_point_pic_address(cell w_); | 
					
						
							|  |  |  |   cell compute_entry_point_pic_tail_address(cell w_); | 
					
						
							| 
									
										
										
										
											2015-07-30 19:14:38 -04:00
										 |  |  |   cell compute_external_address(instruction_operand op); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void update_word_references(code_block* compiled, bool reset_inline_caches); | 
					
						
							|  |  |  |   void undefined_symbol(); | 
					
						
							| 
									
										
										
										
											2015-08-18 03:47:11 -04:00
										 |  |  |   cell compute_dlsym_address(array* literals, cell index, bool toc); | 
					
						
							| 
									
										
										
										
											2015-01-28 09:40:12 -05:00
										 |  |  |   cell lookup_external_address(relocation_type rel_type, | 
					
						
							|  |  |  |                                code_block* compiled, | 
					
						
							|  |  |  |                                array* parameters, | 
					
						
							|  |  |  |                                cell index); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void initialize_code_block(code_block* compiled, cell literals); | 
					
						
							|  |  |  |   void initialize_code_block(code_block* compiled); | 
					
						
							|  |  |  |   void fixup_labels(array* labels, code_block* compiled); | 
					
						
							|  |  |  |   code_block* allot_code_block(cell size, code_block_type type); | 
					
						
							|  |  |  |   code_block* add_code_block(code_block_type type, cell code_, cell labels_, | 
					
						
							|  |  |  |                              cell owner_, cell relocation_, cell parameters_, | 
					
						
							|  |  |  |                              cell literals_, cell frame_size_untagged); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   //code heap
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   template <typename Iterator> void each_code_block(Iterator& iter) { | 
					
						
							| 
									
										
										
										
											2016-09-22 11:03:38 -04:00
										 |  |  |     code->allocator->iterate(iter, no_fixup()); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   void update_code_heap_words(bool reset_inline_caches); | 
					
						
							|  |  |  |   void primitive_modify_code_heap(); | 
					
						
							|  |  |  |   void primitive_code_room(); | 
					
						
							|  |  |  |   void primitive_strip_stack_traces(); | 
					
						
							|  |  |  |   void primitive_code_blocks(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // callbacks
 | 
					
						
							| 
									
										
										
										
											2014-09-15 12:20:22 -04:00
										 |  |  |   void primitive_free_callback(); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void primitive_callback(); | 
					
						
							| 
									
										
										
										
											2014-09-10 11:01:48 -04:00
										 |  |  |   void primitive_callback_room(); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // image
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void load_data_heap(FILE* file, image_header* h, vm_parameters* p); | 
					
						
							|  |  |  |   void load_code_heap(FILE* file, image_header* h, vm_parameters* p); | 
					
						
							|  |  |  |   bool save_image(const vm_char* saving_filename, const vm_char* filename); | 
					
						
							|  |  |  |   void primitive_save_image(); | 
					
						
							| 
									
										
										
										
											2016-04-22 19:07:25 -04:00
										 |  |  |   void fixup_heaps(cell data_offset, cell code_offset); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void load_image(vm_parameters* p); | 
					
						
							|  |  |  |   bool read_embedded_image_footer(FILE* file, embedded_image_footer* footer); | 
					
						
							|  |  |  |   bool embedded_image_p(); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   template <typename Iterator, typename Fixup> | 
					
						
							|  |  |  |   void iterate_callstack_object(callstack* stack_, Iterator& iterator, | 
					
						
							|  |  |  |                                 Fixup& fixup); | 
					
						
							|  |  |  |   template <typename Iterator> | 
					
						
							|  |  |  |   void iterate_callstack_object(callstack* stack_, Iterator& iterator); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   callstack* allot_callstack(cell size); | 
					
						
							| 
									
										
										
										
											2015-01-05 06:59:54 -05:00
										 |  |  |   cell second_from_top_stack_frame(context* ctx); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell capture_callstack(context* ctx); | 
					
						
							|  |  |  |   void primitive_callstack_for(); | 
					
						
							|  |  |  |   void primitive_callstack_to_array(); | 
					
						
							|  |  |  |   void primitive_innermost_stack_frame_executing(); | 
					
						
							|  |  |  |   void primitive_innermost_stack_frame_scan(); | 
					
						
							| 
									
										
										
										
											2015-07-15 14:13:52 -04:00
										 |  |  |   void primitive_set_innermost_stack_frame_quotation(); | 
					
						
							| 
									
										
										
										
											2018-06-03 22:38:53 -04:00
										 |  |  |   void primitive_callstack_bounds(); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  |   template <typename Iterator, typename Fixup> | 
					
						
							|  |  |  |   void iterate_callstack(context* ctx, Iterator& iterator, Fixup& fixup); | 
					
						
							|  |  |  |   template <typename Iterator> | 
					
						
							|  |  |  |   void iterate_callstack(context* ctx, Iterator& iterator); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // cpu-*
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void dispatch_signal_handler(cell* sp, cell* pc, cell newpc); | 
					
						
							| 
									
										
										
										
											2015-08-12 22:59:14 -04:00
										 |  |  | #if defined(FACTOR_X86) || defined(FACTOR_64)
 | 
					
						
							|  |  |  |   void dispatch_non_resumable_signal(cell* sp, cell* pc, | 
					
						
							|  |  |  |                                      cell handler, | 
					
						
							|  |  |  |                                      cell limit); | 
					
						
							|  |  |  |   void dispatch_resumable_signal(cell* sp, cell* pc, cell handler); | 
					
						
							|  |  |  | #endif
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // alien
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   char* pinned_alien_offset(cell obj); | 
					
						
							|  |  |  |   cell allot_alien(cell delegate_, cell displacement); | 
					
						
							| 
									
										
										
										
											2015-08-18 02:18:41 -04:00
										 |  |  |   cell allot_alien(cell address); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void primitive_displaced_alien(); | 
					
						
							|  |  |  |   void primitive_alien_address(); | 
					
						
							|  |  |  |   void* alien_pointer(); | 
					
						
							|  |  |  |   void primitive_dlopen(); | 
					
						
							|  |  |  |   void primitive_dlsym(); | 
					
						
							|  |  |  |   void primitive_dlsym_raw(); | 
					
						
							|  |  |  |   void primitive_dlclose(); | 
					
						
							|  |  |  |   void primitive_dll_validp(); | 
					
						
							|  |  |  |   char* alien_offset(cell obj); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // quotations
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void primitive_jit_compile(); | 
					
						
							| 
									
										
										
										
											2015-01-07 05:51:19 -05:00
										 |  |  |   cell lazy_jit_compile_entry_point(); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void primitive_array_to_quotation(); | 
					
						
							|  |  |  |   void primitive_quotation_code(); | 
					
						
							| 
									
										
										
										
											2015-07-15 14:13:52 -04:00
										 |  |  |   code_block* jit_compile_quotation(cell owner_, cell quot_, bool relocating); | 
					
						
							|  |  |  |   void jit_compile_quotation(cell quot_, bool relocating); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   fixnum quot_code_offset_to_scan(cell quot_, cell offset); | 
					
						
							|  |  |  |   cell lazy_jit_compile(cell quot); | 
					
						
							| 
									
										
										
										
											2015-07-15 14:13:52 -04:00
										 |  |  |   bool quotation_compiled_p(quotation* quot); | 
					
						
							|  |  |  |   void primitive_quotation_compiled_p(); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // dispatch
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell lookup_tuple_method(cell obj, cell methods); | 
					
						
							|  |  |  |   cell lookup_method(cell obj, cell methods); | 
					
						
							|  |  |  |   void primitive_lookup_method(); | 
					
						
							|  |  |  |   cell object_class(cell obj); | 
					
						
							|  |  |  |   void update_method_cache(cell cache, cell klass, cell method); | 
					
						
							|  |  |  |   void primitive_mega_cache_miss(); | 
					
						
							|  |  |  |   void primitive_reset_dispatch_stats(); | 
					
						
							|  |  |  |   void primitive_dispatch_stats(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // inline cache
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void deallocate_inline_cache(cell return_address); | 
					
						
							|  |  |  |   void update_pic_count(cell type); | 
					
						
							|  |  |  |   cell add_inline_cache_entry(cell cache_entries_, cell klass_, cell method_); | 
					
						
							|  |  |  |   void update_pic_transitions(cell pic_size); | 
					
						
							| 
									
										
										
										
											2015-01-07 05:51:19 -05:00
										 |  |  |   cell inline_cache_miss(cell return_address); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // entry points
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void c_to_factor(cell quot); | 
					
						
							| 
									
										
										
										
											2015-01-05 06:59:54 -05:00
										 |  |  |   void unwind_native_frames(cell quot, cell to); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   cell get_fpu_state(); | 
					
						
							|  |  |  |   void set_fpu_state(cell state); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // safepoints
 | 
					
						
							| 
									
										
										
										
											2016-08-15 09:13:30 -04:00
										 |  |  |   void handle_safepoint(cell pc); | 
					
						
							|  |  |  |   void enqueue_samples(cell samples, cell pc, bool foreign_thread_p); | 
					
						
							|  |  |  |   void enqueue_fep(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // factor
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void prepare_boot_image(); | 
					
						
							|  |  |  |   void init_factor(vm_parameters* p); | 
					
						
							|  |  |  |   void pass_args_to_factor(int argc, vm_char** argv); | 
					
						
							|  |  |  |   void stop_factor(); | 
					
						
							|  |  |  |   void start_standalone_factor(int argc, vm_char** argv); | 
					
						
							|  |  |  |   char* factor_eval_string(char* string); | 
					
						
							|  |  |  |   void factor_eval_free(char* result); | 
					
						
							|  |  |  |   void factor_yield(); | 
					
						
							|  |  |  |   void factor_sleep(long us); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  |   // os-*
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void primitive_existsp(); | 
					
						
							|  |  |  |   void init_ffi(); | 
					
						
							|  |  |  |   void ffi_dlopen(dll* dll); | 
					
						
							| 
									
										
										
										
											2015-08-18 02:18:41 -04:00
										 |  |  |   cell ffi_dlsym(dll* dll, symbol_char* symbol); | 
					
						
							|  |  |  |   cell ffi_dlsym_raw(dll* dll, symbol_char* symbol); | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void ffi_dlclose(dll* dll); | 
					
						
							|  |  |  |   void c_to_factor_toplevel(cell quot); | 
					
						
							|  |  |  |   void init_signals(); | 
					
						
							|  |  |  |   void start_sampling_profiler_timer(); | 
					
						
							|  |  |  |   void end_sampling_profiler_timer(); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  | // os-windows
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | #if defined(WINDOWS)
 | 
					
						
							| 
									
										
										
										
											2016-06-15 09:19:52 -04:00
										 |  |  |   /* Id of the main thread we run in. Used for Ctrl-Break handling. */ | 
					
						
							|  |  |  |   DWORD thread_id; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   HANDLE ctrl_break_thread; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   HANDLE sampler_thread; | 
					
						
							|  |  |  |   void sampler_thread_loop(); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   const vm_char* vm_executable_path(); | 
					
						
							|  |  |  |   const vm_char* default_image_path(); | 
					
						
							|  |  |  |   BOOL windows_stat(vm_char* path); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   LONG exception_handler(PEXCEPTION_RECORD e, void* frame, PCONTEXT c, | 
					
						
							|  |  |  |                          void* dispatch); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-08-05 08:44:37 -04:00
										 |  |  | #else  // UNIX
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  |   void dispatch_signal(void* uap, void(handler)()); | 
					
						
							|  |  |  |   void unix_init_signals(); | 
					
						
							| 
									
										
										
										
											2011-05-20 18:11:50 -04:00
										 |  |  | #endif
 | 
					
						
							| 
									
										
										
										
											2013-05-11 22:31:48 -04:00
										 |  |  | 
 | 
					
						
							|  |  |  | #ifdef __APPLE__
 | 
					
						
							|  |  |  |   void call_fault_handler(exception_type_t exception, | 
					
						
							|  |  |  |                           exception_data_type_t code, | 
					
						
							|  |  |  |                           MACH_EXC_STATE_TYPE* exc_state, | 
					
						
							|  |  |  |                           MACH_THREAD_STATE_TYPE* thread_state, | 
					
						
							|  |  |  |                           MACH_FLOAT_STATE_TYPE* float_state); | 
					
						
							|  |  |  | #endif
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   factor_vm(THREADHANDLE thread_id); | 
					
						
							|  |  |  |   ~factor_vm(); | 
					
						
							| 
									
										
										
										
											2009-08-17 16:37:04 -04:00
										 |  |  | }; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | } |