fix newlines

1 files changed, 1964 insertions, 1964 deletions

diff --git a/thread/amark_prefetch.asm b/thread/amark_prefetch.asm
index 86ec2fe..2cd0977 100644
--- a/thread/amark_prefetch.asm
+++ b/thread/amark_prefetch.asm
@@ -1,1964 +1,1964 @@
-

-_TEXT	ends

-	_DATA segment

-n_queue_items:

-	dq	0

-queue_first:

-	dq	0

-queue:

-	dq	0,0,0,0,0,0,0,0

-	dq	0,0,0,0,0,0,0,0

-_DATA	ends

-	_TEXT segment

-

-pmark:

- if THREAD

-	mov	rax,qword ptr heap_size_65_offset[r9]

- else

-	mov	rax,qword ptr heap_size_65

- endif

-	xor	rbx,rbx 

-

- if THREAD

-	mov	qword ptr n_marked_words_offset[r9],rbx

- else

-	mov	qword ptr n_marked_words,rbx

- endif

-	shl	rax,6

-

-	mov	r11,rax

- if THREAD

-	mov	qword ptr lazy_array_list_offset[r9],rbx 

- else

-	mov	qword ptr lazy_array_list,rbx 

- endif

-	

-	lea	rsi,(-4000)[rsp]

-

-	mov	rax,qword ptr caf_list

-

- if THREAD

-	mov	qword ptr end_stack_offset[r9],rsi

- else

-	mov	qword ptr end_stack,rsi

- endif

-

-	mov	r15,0

-	mov	r8,0

-

- if THREAD

-	mov	r10,neg_heap_p3_offset[r9]

-	mov	r13,qword ptr end_stack_offset[r9]

- else

-	mov	r10,neg_heap_p3

-	mov	r13,qword ptr end_stack

- endif

-	mov	r14,0

-

-	test	rax,rax

-	je	end_pmark_cafs

-

-pmark_cafs_lp:

-	mov	rbx,qword ptr [rax]

-	mov	rbp,qword ptr (-8)[rax]

-

-	push	rbp

-	lea	rbp,8[rax]

-	lea	r12,8[rax+rbx*8]

-

-	call	pmark_stack_nodes

-

-	pop	rax

-	test	rax,rax 

-	jne	pmark_cafs_lp

-

-end_pmark_cafs:

- if THREAD

-	mov	rsi,qword ptr stack_top_offset[r9]

-	mov	rbp,qword ptr stack_p_offset[r9]

- else

-	mov	rsi,qword ptr stack_top

-	mov	rbp,qword ptr stack_p

- endif

-

-	mov	r12,rsi 

-	call	pmark_stack_nodes

-	jmp	continue_mark_after_pmark

-

-; %rbp : pointer to stack element

-; %rdi : heap_vector

-; %rax ,%rbx ,%rcx ,%rdx ,%rsi : free

-

-pmark_stack_nodes:

-	cmp	rbp,r12

-	je	end_pmark_nodes

-pmark_stack_nodes_:

-	mov	rcx,qword ptr [rbp]

-

-	add	rbp,8

-	lea	rdx,[r10+rcx] 

-

-	cmp	rdx,r11

-	jnc	pmark_stack_nodes

-

-	mov	rbx,rdx 

-	and	rdx,31*8

-

-	shr	rbx,8

-	mov	esi,dword ptr (bit_set_table2)[rdx]

-

-	test	esi,dword ptr [rdi+rbx*4]

-	jne	pmark_stack_nodes

-

-	push	rbp 

-

-	push	0

-

-	jmp	pmark_node_

-

-pmark_hnf_2:

-	cmp	rsi,20000000h

-	jbe	pmark_fits_in_word_6

-	or	dword ptr 4[rdi+rbx*4],1

-pmark_fits_in_word_6:

-	add	r14,3

-

-pmark_record_2_c:

-	mov	rbx,qword ptr 8[rcx]

-	push	rbx 

-

-	cmp	rsp,r13

-	jb	pmarkr_using_reversal

-

-pmark_node2:

-pmark_shared_argument_part:

-	mov	rcx,qword ptr [rcx]

-

-pmark_node:

-	lea	rdx,[r10+rcx]

-	cmp	rdx,r11

-	jnc	pmark_next_node

-

-	mov	rbx,rdx 

-	and	rdx,31*8

-

-	shr	rbx,8

-	mov	esi,dword ptr (bit_set_table2)[rdx]

-

-	test	esi,dword ptr [rdi+rbx*4]

-	jne	pmark_next_node

-

-pmark_node_:

-

-	prefetch	[rcx]

-

-	mov	qword ptr (queue)[r8],rcx 

-	lea	rdx,[r8+r15*8]

-	add	r8,8

-

-	and	r8,15*8

-	and	rdx,15*8

-

-	cmp	r15,-4

-	je	pmark_last_item_in_queue

-

-pmark_add_items:

-	mov	rcx,qword ptr [rsp]

-	test	rcx,rcx 

-	jne	pmark_add_stacked_item

-

-pmark_add_items2:

-	mov	rbp,qword ptr 8[rsp]

-	cmp	rbp,r12

-	je	pmark_last_item_in_queue

-

-	mov	rcx,qword ptr [rbp]

-	add	rbp,8

-	mov	qword ptr 8[rsp],rbp 

-

-	lea	rbp,[r10+rcx]

-	cmp	rbp,r11

-	jnc	pmark_add_items2

-	mov	rax,rbp 

-	and	rbp,31*8

-	shr	rax,8

-	mov	esi,dword ptr (bit_set_table2)[rbp]

-	test	esi,dword ptr [rdi+rax*4]

-	jne	pmark_add_items2

-

-	prefetch	[rcx]

-

-	mov	qword ptr (queue)[r8],rcx 

-	add	r8,8

-	and	r8,15*8

-

-	sub	r15,1

-	

-	cmp	r15,-4

-	jne	pmark_add_items2

-	jmp	pmark_last_item_in_queue

-

-pmark_add_stacked_item:

-	add	rsp ,8

-

-	lea	rbp,[r10+rcx]

-	cmp	rbp,r11

-	jnc	pmark_add_items

-	mov	rax,rbp 

-	and	rbp,31*8

-	shr	rax,8

-	mov	esi,dword ptr (bit_set_table2)[rbp]

-	test	esi,dword ptr [rdi+rax*4]

-	jne	pmark_add_items

-

-	prefetch	[rcx]

-

-	mov	qword ptr (queue)[r8],rcx 

-	add	r8,8

-	and	r8,15*8

-

-	sub	r15,1

-

-	cmp	r15,-4 

-	jne	pmark_add_items

-

-pmark_last_item_in_queue:

-	mov	rcx,qword ptr (queue)[rdx]

-

-	lea	rdx,[r10+rcx]

-

-	mov	rbx,rdx 

-	and	rdx,31*8

-	shr	rbx,8

-	mov	esi,dword ptr (bit_set_table2)[rdx]

-		

-	test	esi,dword ptr [rdi+rbx*4]

-	jne	pmark_next_node

-

-pmark_arguments:

-	mov	rax,qword ptr [rcx]

-	test	rax,2

-	je	pmark_lazy_node

-	

-	movzx	rbp,word ptr (-2)[rax]

-

-	test	rbp,rbp 

-	je	pmark_hnf_0

-

-	or	dword ptr [rdi+rbx*4],esi 

-	add	rcx,8

-

-	cmp	rbp,256

-	jae	pmark_record

-

-	sub	rbp,2

-	je	pmark_hnf_2

-	jb	pmark_hnf_1

-

-pmark_hnf_3:

-	mov	rdx,qword ptr 8[rcx]

-

-	cmp	rsi,20000000h

-	jbe	pmark_fits_in_word_1

-	or	dword ptr 4[rdi+rbx*4],1

-pmark_fits_in_word_1:	

-

-	add	r14,3

-	lea	rax,[r10+rdx]

-	mov	rbx,rax 

-

-	and	rax,31*8

-	shr	rbx,8

-

-	mov	esi,dword ptr (bit_set_table2)[rax]

-

-	test	esi,dword ptr [rdi+rbx*4]

-	jne	pmark_shared_argument_part

-

-pmark_no_shared_argument_part:

-	or	dword ptr [rdi+rbx*4],esi 

-	add	rbp,1

-

-	add	r14,rbp 

-	lea	rax,[rax+rbp*8]

-	lea	rdx,(-8)[rdx+rbp*8]

-

-	cmp	rax,32*8

-	jbe	pmark_fits_in_word_2

-	or	dword ptr 4[rdi+rbx*4],1

-pmark_fits_in_word_2:

-

-	mov	rbx,qword ptr [rdx]

-	sub	rbp,2

-	push	rbx 

-

-pmark_push_hnf_args:

-	mov	rbx,qword ptr (-8)[rdx]

-	sub	rdx,8

-	push	rbx 

-	sub	rbp,1

-	jge	pmark_push_hnf_args

-

-	cmp	rsp,r13

-	jae	pmark_node2

-

-	jmp	pmarkr_using_reversal

-

-pmark_hnf_1:

-	cmp	rsi,40000000h

-	jbe	pmark_fits_in_word_4

-	or	dword ptr 4[rdi+rbx*4],1

-pmark_fits_in_word_4:

-	add	r14,2

-	mov	rcx,qword ptr [rcx]

-	jmp	pmark_node

-

-pmark_lazy_node_1:

-	add	rcx,8

-	or	dword ptr [rdi+rbx*4],esi 

-	cmp	rsi,20000000h

-	jbe	pmark_fits_in_word_3

-	or	dword ptr 4[rdi+rbx*4],1

-pmark_fits_in_word_3:

-	add	r14,3

-

-	cmp	rbp,1

-	je	pmark_node2

-

-pmark_selector_node_1:

-	add	rbp,2

-	mov	rdx,qword ptr [rcx]

-	je	pmark_indirection_node

-

-	lea	rsi,[r10+rdx]

-	mov	rbx,rsi 

-

-	shr	rbx,8

-	and	rsi,31*8

-

-	add	rbp,1

-

-	mov	esi,dword ptr (bit_set_table2)[rsi]

-	jle	pmark_record_selector_node_1

-

-	test	esi,dword ptr [rdi+rbx*4]

-	jne	pmark_node3

-

-	mov	rbp,qword ptr [rdx]

-	test	rbp,2

-	je	pmark_node3

-

-	cmp	word ptr (-2)[rbp],2

-	jbe	pmark_small_tuple_or_record

-

-pmark_large_tuple_or_record:

-	mov	rbp,qword ptr 16[rdx]

- if THREAD

-	mov	rsi,rbp

- else

-	mov	r9,rbp

- endif

-

-	add	rbp,r10

-	mov	rbx,rbp

-	and	rbp,31*8

-	shr	rbx,8

-	mov	ebp,dword ptr (bit_set_table2)[rbp]

-	test	ebp,dword ptr [rdi+rbx*4]

-	jne	pmark_node3

-

- ifdef NEW_DESCRIPTORS

-	mov	eax,(-8)[rax]

-	lea	rbp,__indirection

-	mov	qword ptr (-8)[rcx],rbp

-	movzx	eax,word ptr 4[rax]

-	mov	rbp,rcx

-

-	cmp	rax,16

-	jl	pmark_tuple_selector_node_1

- if THREAD

-	mov	rdx,rsi

- else

-	mov	rdx,r9

- endif

-	je	pmark_tuple_selector_node_2

- if THREAD

-	mov	rcx,qword ptr (-24)[rsi+rax]

- else

-	mov	rcx,qword ptr (-24)[r9+rax]

- endif

-	mov	qword ptr [rbp],rcx

-	jmp	pmark_node

-

-pmark_tuple_selector_node_2:

- if THREAD

-	mov	rcx,qword ptr [rsi]

- else

-	mov	rcx,qword ptr [r9]

- endif

-	mov	qword ptr [rbp],rcx

-	jmp	pmark_node	

- endif

-

-pmark_small_tuple_or_record:

- ifdef NEW_DESCRIPTORS

-	mov	eax,(-8)[rax]

-	lea	rbp,__indirection

-	mov	qword ptr (-8)[rcx],rbp

-	movzx	eax,word ptr 4[rax]

-	mov	rbp,rcx

-pmark_tuple_selector_node_1:

-	mov	rcx,qword ptr [rdx+rax]

-	mov	qword ptr [rbp],rcx	

- else

-	mov	eax,(-8)[rax]

-	push	rcx

-	mov	rcx,rdx

-	mov	eax,4[rax]

-	call	near ptr rax

-	pop	rdx

-

-  if THREAD

-	lea	rbp,__indirection

-	mov	qword ptr (-8)[rdx],rbp

-  else

-	lea	r9,__indirection

-	mov	qword ptr (-8)[rdx],r9

-  endif

-	mov	qword ptr [rdx],rcx

- endif

-	jmp	pmark_node

-

-pmark_record_selector_node_1:

-	je	pmark_strict_record_selector_node_1

-

-	test	esi,dword ptr [rdi+rbx*4]

-	jne	pmark_node3

-

-	mov	rbp,qword ptr [rdx]

-	test	rbp,2

-	je	pmark_node3

-

-	cmp	word ptr (-2)[rbp],258

-	jbe	pmark_small_tuple_or_record

- ifdef NEW_DESCRIPTORS

-	mov	rbp,qword ptr 16[rdx]

-  if THREAD

-	mov	rsi,rbp

-  else

-	mov	r9,rbp

-  endif

-

-	add	rbp,r10

-	mov	rbx,rbp

-	and	rbp,31*8

-	shr	rbx,8

-	mov	ebp,dword ptr (bit_set_table2)[rbp]

-	test	ebp,dword ptr [rdi+rbx*4]

-	jne	pmark_node3

-

-	mov	eax,(-8)[rax]

-	lea	rbp,__indirection

-	mov	qword ptr (-8)[rcx],rbp

-	movzx	eax,word ptr 4[rax]

-	mov	rbp,rcx

-

-	cmp	rax,16

-	jle	pmark_record_selector_node_2

- if THREAD

-	mov	rdx,rsi

- else

-	mov	rdx,r9

- endif

-	sub	rax,24

-pmark_record_selector_node_2:

-	mov	rcx,qword ptr [rdx+rax]

-	mov	qword ptr [rbp],rcx

-	jmp	pmark_node

- else

-	jmp	pmark_large_tuple_or_record

- endif

-

-pmark_strict_record_selector_node_1:

-	test	esi,dword ptr [rdi+rbx*4]

-	jne	pmark_node3

-

-	mov	rbp,qword ptr [rdx]

-	test	rbp,2

-	je	pmark_node3

-

-	cmp	word ptr (-2)[rbp],258

-	jbe	pmark_select_from_small_record

-

-	mov	rbp,qword ptr 16[rdx]

- if THREAD

-	mov	rsi,rbp

- else

-	mov	r9,rbp

- endif

-

-	add	rbp,r10

-	mov	rbx,rbp 

-	and	rbp,31*8

-	shr	rbx,8

-	mov	ebp,dword ptr (bit_set_table2)[rbp]

-	test	ebp,dword ptr [rdi+rbx*4]

-	jne	pmark_node3

-	

-pmark_select_from_small_record:

-	mov	eax,(-8)[rax]

-	sub	rcx,8

-

- ifdef NEW_DESCRIPTORS

-	movzx	ebx,word ptr 4[rax]

-	cmp	rbx,16

-	jle	pmark_strict_record_selector_node_2

-  if THREAD

-	mov	rbx,qword ptr (-24)[rsi+rbx]

-  else

-	mov	rbx,qword ptr (-24)[r9+rbx]

-  endif

-	jmp	pmark_strict_record_selector_node_3

-pmark_strict_record_selector_node_2:

-	mov	rbx,qword ptr [rdx+rbx]

-pmark_strict_record_selector_node_3:

-	mov	qword ptr 8[rcx],rbx

-

-	movzx	ebx,word ptr 6[rax]

-	test	rbx,rbx

-	je	pmark_strict_record_selector_node_5

-	cmp	rbx,16

-	jle	pmark_strict_record_selector_node_4

-  if THREAD

-	mov	rdx,rsi

-  else

-	mov	rdx,r9

-  endif

-	sub	rbx,24

-pmark_strict_record_selector_node_4:

-	mov	rbx,qword ptr [rdx+rbx]

-	mov	qword ptr 16[rcx],rbx

-pmark_strict_record_selector_node_5:

-

-	mov	rax,qword ptr (-8)[rax]

-	mov	qword ptr [rcx],rax

- else

-	mov	eax,4[rax]

-	call	near ptr rax

- endif

-	jmp	pmark_next_node

-

-pmark_indirection_node:

-pmark_node3:

-	mov	rcx,rdx 

-	jmp	pmark_node

-

-pmark_next_node:

-	pop	rcx 

-	test	rcx,rcx 

-	jne	pmark_node

-

-	pop	rbp 

-	cmp	rbp,r12

-	jne	pmark_stack_nodes_

-

-end_pmark_nodes:

-	test	r15,r15

-	je	end_pmark_nodes_

-

-	push	rbp 

-

-	push	0

-

-	lea	rdx,[r8+r15*8]

-	add	r15,1

-

-	and	rdx,15*8

-

-	jmp	pmark_last_item_in_queue

-

-end_pmark_nodes_:

-	ret

-

-pmark_lazy_node:

-	movsxd	rbp,dword ptr (-4)[rax]

-	test	rbp,rbp 

-	je	pmark_real_or_file

-

-	cmp	rbp,1

-	jle	pmark_lazy_node_1

-

-	cmp	rbp,256

-	jge	pmark_closure_with_unboxed_arguments

-	inc	rbp 

-	or	dword ptr [rdi+rbx*4],esi 

-

-	add	r14,rbp 

-	lea	rdx,[rdx+rbp*8]

-	lea	rcx,[rcx+rbp*8]

-

-	cmp	rdx,32*8

-	jbe	pmark_fits_in_word_7

-	or	dword ptr 4[rdi+rbx*4],1

-pmark_fits_in_word_7:

-	sub	rbp,3

-pmark_push_lazy_args:

-	mov	rbx,qword ptr (-8)[rcx]

-	sub	rcx,8

-	push	rbx 

-	sub	rbp,1

-	jge	pmark_push_lazy_args

-

-	sub	rcx,8

-

-	cmp	rsp,r13

-	jae	pmark_node2

-	

-	jmp	pmarkr_using_reversal

-

-pmark_closure_with_unboxed_arguments:

-	mov	rax,rbp 

-	and	rbp,255

-	sub	rbp,1

-	je	pmark_real_or_file

-

-	shr	rax,8

-	add	rbp,2

-	

-	or	dword ptr [rdi+rbx*4],esi 

-	add	r14,rbp 

-	lea	rdx,[rdx+rbp*8]

-

-	sub	rbp,rax 

-

-	cmp	rdx,32*8

-	jbe	pmark_fits_in_word_7_

-	or	dword ptr 4[rdi+rbx*4],1

-pmark_fits_in_word_7_:

-	sub	rbp,2

-	jl	pmark_next_node

-

-	lea	rcx,16[rcx+rbp*8]

-	jne	pmark_push_lazy_args

-

-pmark_closure_with_one_boxed_argument:

-	mov	rcx,qword ptr (-8)[rcx]

-	jmp	pmark_node

-

-pmark_hnf_0:

- if THREAD

-	cmp	rax,offset dINT+2

- else

-	lea	r9,dINT+2

-	cmp	rax,r9

- endif

-	jb	pmark_real_file_or_string

-

-	or	dword ptr [rdi+rbx*4],esi 

-

- if THREAD

-	cmp	rax,offset CHAR+2

- else

-	lea	r9,CHAR+2

-	cmp	rax,r9

- endif

-	ja	pmark_normal_hnf_0

-

-pmark_bool:

-	add	r14,2

-

-	cmp	rsi,40000000h

-	jbe	pmark_next_node

-

-	or	dword ptr 4[rdi+rbx*4],1

-	jmp	pmark_next_node

-

-pmark_normal_hnf_0:

-	inc	r14

-	jmp	pmark_next_node

-

-pmark_real_file_or_string:

- if THREAD

-	cmp	rax,offset __STRING__+2

- else

-	lea	r9,__STRING__+2

-	cmp	rax,r9

- endif

-	jbe	pmark_string_or_array

-

-pmark_real_or_file:

-	or	dword ptr [rdi+rbx*4],esi 

-	add	r14,3

-

-	cmp	rsi,20000000h

-	jbe	pmark_next_node

-

-	or	dword ptr 4[rdi+rbx*4],1

-	jmp	pmark_next_node

-

-pmark_record:

-	sub	rbp,258

-	je	pmark_record_2

-	jl	pmark_record_1

-

-pmark_record_3:

-	add	r14,3

-

-	cmp	rsi,20000000h

-	jbe	pmark_fits_in_word_13

-	or	dword ptr 4[rdi+rbx*4],1

-pmark_fits_in_word_13:

-	mov	rdx,qword ptr 8[rcx]

-

-	movzx	rbx,word ptr (-2+2)[rax]

-	lea	rsi,[r10+rdx] 

-

-	mov	rax,rsi 

-	and	rsi,31*8

-

-	shr	rax,8

-	sub	rbx,1

-

-	mov	edx,dword ptr (bit_set_table2)[rsi]

-	jb	pmark_record_3_bb

-

-	test	edx,dword ptr [rdi+rax*4]

-	jne	pmark_node2

-

-	add	rbp,1

-	or	dword ptr [rdi+rax*4],edx 

-	add	r14,rbp 

-	lea	rsi,[rsi+rbp*8]

-

-	cmp	rsi,32*8

-	jbe	pmark_push_record_arguments

-	or	dword ptr 4[rdi+rax*4],1

-pmark_push_record_arguments:

-	mov	rdx,qword ptr 8[rcx]

-	mov	rbp,rbx 

-	shl	rbx,3

-	add	rdx,rbx 

-	sub	rbp,1

-	jge	pmark_push_hnf_args

-

-	jmp	pmark_node2

-

-pmark_record_3_bb:

-	test	edx,dword ptr [rdi+rax*4]

-	jne	pmark_next_node

-

-	add	rbp,1

-	or	dword ptr [rdi+rax*4],edx 

-	add	r14,rbp 

-	lea	rsi,[rsi+rbp*8]

-	

-	cmp	rsi,32*8

-	jbe	pmark_next_node

-

-	or	dword ptr 4[rdi+rax*4],1

-	jmp	pmark_next_node

-

-pmark_record_2:

-	cmp	rsi,20000000h

-	jbe	pmark_fits_in_word_12

-	or	dword ptr 4[rdi+rbx*4],1

-pmark_fits_in_word_12:

-	add	r14,3

-

-	cmp	word ptr (-2+2)[rax],1

-	ja	pmark_record_2_c

-	je	pmark_node2

-	jmp	pmark_next_node

-

-pmark_record_1:

-	cmp	word ptr (-2+2)[rax],0

-	jne	pmark_hnf_1

-

-	jmp	pmark_bool

-

-pmark_string_or_array:

-	je	pmark_string_

-

-pmark_array:

-	mov	rbp,qword ptr 16[rcx]

-	test	rbp,rbp 

-	je	pmark_lazy_array

-

-	movzx	rax,word ptr (-2)[rbp]

-

-	test	rax,rax 

-	je	pmark_strict_basic_array

-

-	movzx	rbp,word ptr (-2+2)[rbp]

-	test	rbp,rbp 

-	je	pmark_b_record_array

-

-	cmp	rsp,r13

-	jb	pmark_array_using_reversal

-

-	sub	rax,256

-	cmp	rax,rbp 

-	je	pmark_a_record_array

-

-pmark_ab_record_array:

-	or	dword ptr [rdi+rbx*4],esi 

-	mov	rbp,qword ptr 8[rcx]

-

-	imul	rax,rbp 

-	add	rax,3

-

-	add	r14,rax 

-	lea	rax,(-8)[rcx+rax*8]

-

-	add	rax,r10

-	shr	rax,8

-	

-	cmp	rbx,rax 

-	jae	pmark_end_set_ab_array_bits

-

-	inc	rbx 

-	mov	rbp,1

-	cmp	rbx,rax 

-	jae	pmark_last_ab_array_bits

-

-pmark_ab_array_lp:

-	or	dword ptr [rdi+rbx*4],ebp 

-	inc	rbx 

-	cmp	rbx,rax

-	jb	pmark_ab_array_lp

-

-pmark_last_ab_array_bits:

-	or	dword ptr [rdi+rbx*4],ebp 

-

-pmark_end_set_ab_array_bits:

-	mov	rax,qword ptr 8[rcx]

-	mov	rdx,qword ptr 16[rcx]

-	movzx	rbx,word ptr (-2+2)[rdx]

-	movzx	rdx,word ptr (-2)[rdx]

-	shl	rbx,3

-	lea	rdx,(-2048)[rdx*8]

-	push	rbx 

-	push	rdx 

-	lea	rbp,24[rcx]

-	push	r12

-	jmp	pmark_ab_array_begin

-

-pmark_ab_array:

-	mov	rbx,qword ptr 16[rsp]

-	push	rax 

-	push	rbp 

-	lea	r12,[rbp+rbx]

-

-	call	pmark_stack_nodes

-

-	mov	rbx,qword ptr (8+16)[rsp]

-	pop	rbp 

-	pop	rax 

-	add	rbp,rbx 

-pmark_ab_array_begin:

-	sub	rax,1

-	jnc	pmark_ab_array

-

-	pop	r12

-	add	rsp,16

-	jmp	pmark_next_node

-

-pmark_a_record_array:

-	or	dword ptr [rdi+rbx*4],esi 

-	mov	rbp,qword ptr 8[rcx]

-

-	imul	rax,rbp 

-	push	rax 

-

-	add	rax,3

-

-	add	r14,rax 

-	lea	rax,(-8)[rcx+rax*8]

-

-	add	rax,r10

-	shr	rax,8

-	

-	cmp	rbx,rax 

-	jae	pmark_end_set_a_array_bits

-

-	inc	rbx 

-	mov	rbp,1

-	cmp	rbx,rax 

-	jae	pmark_last_a_array_bits

-

-pmark_a_array_lp:

-	or	dword ptr [rdi+rbx*4],ebp 

-	inc	rbx 

-	cmp	rbx,rax 

-	jb	pmark_a_array_lp

-

-pmark_last_a_array_bits:

-	or	dword ptr [rdi+rbx*4],ebp 

-

-pmark_end_set_a_array_bits:

-	pop	rax 

-	lea	rbp,24[rcx]

-

-	push	r12

-	lea	r12,24[rcx+rax*8]

-

-	call	pmark_stack_nodes

-

-	pop	r12

-	jmp	pmark_next_node

-

-pmark_lazy_array:

-	cmp	rsp,r13

-	jb	pmark_array_using_reversal

-

-	or	dword ptr [rdi+rbx*4],esi 

-	mov	rax,qword ptr 8[rcx]

-

-	add	rax,3

-

-	add	r14,rax 

-	lea	rax,(-8)[rcx+rax*8]

-

-	add	rax,r10

-	shr	rax,8

-	

-	cmp	rbx,rax 

-	jae	pmark_end_set_lazy_array_bits

-

-	inc	rbx 

-	mov	rbp,1

-	cmp	rbx,rax 

-	jae	pmark_last_lazy_array_bits

-

-pmark_lazy_array_lp:

-	or	dword ptr [rdi+rbx*4],ebp 

-	inc	rbx 

-	cmp	rbx,rax

-	jb	pmark_lazy_array_lp

-

-pmark_last_lazy_array_bits:

-	or	dword ptr [rdi+rbx*4],ebp 

-

-pmark_end_set_lazy_array_bits:

-	mov	rax,qword ptr 8[rcx]

-	lea	rbp,24[rcx]

-

-	push	r12

-	lea	r12,24[rcx+rax*8]

-

-	call	pmark_stack_nodes

-

-	pop	r12

-	jmp	pmark_next_node

-

-pmark_array_using_reversal:

-	push	0

-	mov	rsi,1

-	jmp	pmarkr_node

-

-pmark_strict_basic_array:

-	mov	rax,qword ptr 8[rcx]

-	cmp	rbp,offset dINT+2

-	jle	pmark_strict_int_or_real_array

-	cmp	rbp,offset BOOL+2

-	je	pmark_strict_bool_array

-	add	rax,6+1

-	shr	rax,1

-	jmp	pmark_basic_array_

-pmark_strict_int_or_real_array:

-	add	rax,3

-	jmp	pmark_basic_array_

-pmark_strict_bool_array:

-	add	rax,24+7

-	shr	rax,3

-	jmp	pmark_basic_array_

-

-pmark_b_record_array:

-	mov	rbp,qword ptr 8[rcx]

-	sub	rax,256

-	imul	rax,rbp 

-	add	rax,3

-	jmp	pmark_basic_array_

-

-pmark_string_:

-	mov	rax,qword ptr 8[rcx]

-	add	rax,16+7

-	shr	rax,3

-

-pmark_basic_array_:

-	or	dword ptr [rdi+rbx*4],esi 

-

-	add	r14,rax 

-	lea	rax,(-8)[rcx+rax*8]

-

-	add	rax,r10

-	shr	rax,8

-	

-	cmp	rbx,rax 

-	jae	pmark_next_node

-

-	inc	rbx 

-	mov	rbp,1

-	cmp	rbx,rax 

-	jae	pmark_last_string_bits

-

-pmark_string_lp:

-	or	dword ptr [rdi+rbx*4],ebp 

-	inc	rbx

-	cmp	rbx,rax 

-	jb	pmark_string_lp

-

-pmark_last_string_bits:

-	or	dword ptr [rdi+rbx*4],ebp 

-	jmp	pmark_next_node

-

-end_pmarkr_using_reversal:

-	pop	rdx

- if THREAD

-	mov	r13,qword ptr end_stack_offset[r9]

- else

-	mov	r13,qword ptr end_stack

- endif

-	test	rdx,rdx 

-	je	pmark_next_node

-	mov	qword ptr [rdx],rcx 

-	jmp	pmark_next_node

-

-

-pmarkr_using_reversal:

-	push	rcx 

-	mov	rsi,1

-	mov	rcx,qword ptr [rcx]

-	jmp	pmarkr_node

-

-pmarkr_arguments:

-	mov	rax,qword ptr [rcx]

-	test	al,2

-	je	pmarkr_lazy_node

-

-	movzx	rbp,word ptr (-2)[rax]

-	test	rbp,rbp 

-	je	pmarkr_hnf_0

-

-	add	rcx,8

-

-	cmp	rbp,256

-	jae	pmarkr_record

-

-	sub	rbp,2

-	je	pmarkr_hnf_2

-	jb	pmarkr_hnf_1

-

-pmarkr_hnf_3:

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	add	r14,3

-

-	or	dword ptr [rdi+rbx*4],edx 

-

-	cmp	rdx,20000000h

-

-	mov	rax,qword ptr 8[rcx]

-

-	jbe	pmarkr_fits_in_word_1

-	or	dword ptr 4[rdi+rbx*4],1

-pmarkr_fits_in_word_1:

-	add	rax,r10

-

-	mov	rbx,rax 

-	and	rax,31*8

-

-	shr	rbx,8

-

-	mov	edx,dword ptr (bit_set_table2)[rax]

-	test	edx,dword ptr [rdi+rbx*4]

-	jne	pmarkr_shared_argument_part

-

-pmarkr_no_shared_argument_part:

-	or	dword ptr [rdi+rbx*4],edx 

-	mov	rdx,qword ptr 8[rcx]

-

-	add	rbp,1

-	mov	qword ptr 8[rcx],rsi 

-

-	add	r14,rbp 

-	add	rcx,8

-

-	shl	rbp,3

-	or	qword ptr [rdx],1

-

-	add	rax,rbp

-	add	rdx,rbp

-

-	cmp	rax,32*8

-	jbe	pmarkr_fits_in_word_2

-	or	dword ptr 4[rdi+rbx*4],1

-pmarkr_fits_in_word_2:

-

-	mov	rbp ,qword ptr (-8)[rdx]

-	mov	qword ptr (-8)[rdx],rcx 

-	lea	rsi,(-8)[rdx]

-	mov	rcx,rbp 

-	jmp	pmarkr_node

-

-pmarkr_hnf_1:

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	add	r14,2

-	or	dword ptr [rdi+rbx*4],edx 

-	cmp	rdx,40000000h

-	jbe	pmarkr_shared_argument_part

-	or	dword ptr 4[rdi+rbx*4],1

-pmarkr_shared_argument_part:

-	mov	rbp,qword ptr [rcx]

-	mov	qword ptr [rcx],rsi 

-	lea	rsi,2[rcx]

-	mov	rcx,rbp

-	jmp	pmarkr_node

-

-pmarkr_no_selector_2:

-	pop	rbx 

-pmarkr_no_selector_1:

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	add	r14,3

-	or	dword ptr [rdi+rbx*4],edx 

-	cmp	rdx,20000000h

-	jbe	pmarkr_shared_argument_part

-

-	or	dword ptr 4[rdi+rbx*4],1

-	jmp	pmarkr_shared_argument_part

-

-pmarkr_lazy_node_1:

-	je	pmarkr_no_selector_1

-

-pmarkr_selector_node_1:

-	add	rbp,2

-	je	pmarkr_indirection_node

-

-	add	rbp,1

-

-	push	rbx 

-	mov	rbp,qword ptr [rcx]

-	push	rax 

-	lea	rax,[r10+rbp]

-

-	jle	pmarkr_record_selector_node_1

-

-	mov	rbx,rax 

-	and	rax,31*8

-	shr	rbx,8

-	mov	eax,dword ptr (bit_set_table2)[rax]

-	test	eax,dword ptr [rdi+rbx*4]

-	pop	rax 

-	jne	pmarkr_no_selector_2

-

-	mov	rbx,qword ptr [rbp]

-	test	bl,2

-	je	pmarkr_no_selector_2

-

-	cmp	word ptr (-2)[rbx],2

-	jbe	pmarkr_small_tuple_or_record

-

-pmarkr_large_tuple_or_record:

- if THREAD

-	mov	r13,qword ptr 16[rbp]

-	add	r13,r10

-	mov	rbx,r13

-	and	r13,31*8

- else

-	mov	r8,qword ptr 16[rbp]

-	mov	r9,r8

-

-	add	r8,r10

-	mov	rbx,r8

-	and	r8,31*8

- endif

-	shr	rbx,8

- if THREAD

-	mov	r13d,dword ptr (bit_set_table2)[r13]

-	test	r13d,dword ptr [rdi+rbx*4]

- else

-	mov	r8d,dword ptr (bit_set_table2)[r8]

-	test	r8d,dword ptr [rdi+rbx*4]

- endif

-	jne	pmarkr_no_selector_2

-

- ifdef NEW_DESCRIPTORS

-  if THREAD

-	mov	rbx,qword ptr 16[rbp]

-  endif

-	mov	eax,dword ptr (-8)[rax]

-	lea	rdx,__indirection

-  if THREAD

-  else

-	pop	rbx 

-  endif

-

-	mov	qword ptr (-8)[rcx],rdx

-	movzx	eax,word ptr 4[rax]

- if THREAD

-	mov	r13,rcx

- else

-	mov	r8,rcx

- endif

-

-	cmp	rax,16

-	jl	pmarkr_tuple_selector_node_1

-  if THREAD

-  else

-	mov	rdx,r9

-  endif

-	je	pmarkr_tuple_selector_node_2

-  if THREAD

-	mov	rcx,qword ptr (-24)[rbx+rax]

-	mov	qword ptr [r13],rcx

-	pop	rbx

-  else

-	mov	rcx,qword ptr (-24)[r9+rax]

-	mov	qword ptr [r8],rcx

-  endif

-	jmp	pmarkr_node

-

-pmarkr_tuple_selector_node_2:

-  if THREAD

-	mov	rcx,qword ptr [rbx]

-	mov	qword ptr [r13],rcx

-	pop	rbx

-  else

-	mov	rcx,qword ptr [r9]

-	mov	qword ptr [r8],rcx

-  endif

-	jmp	pmarkr_node

- endif

-

-pmarkr_small_tuple_or_record:

- ifdef NEW_DESCRIPTORS

-	mov	eax,(-8)[rax]

-	lea	rdx,__indirection

-  if THREAD

-  else

-	pop	rbx 

-  endif

-

-	mov	qword ptr (-8)[rcx],rdx

-	movzx	eax,word ptr 4[rax]

- if THREAD

-	mov	r13,rcx

- else

-	mov	r8,rcx

- endif

-pmarkr_tuple_selector_node_1:

-	mov	rcx,qword ptr [rbp+rax]

- if THREAD

-	mov	qword ptr [r13],rcx

-	pop	rbx

- else

-	mov	qword ptr [r8],rcx

- endif

-	jmp	pmarkr_node

- else

-	mov	eax,(-8)[rax]

-	pop	rbx 

-

-	push	rcx

-	mov	rcx,qword ptr [rcx]

-	mov	eax,4[rax]

-	call	near ptr rax

-	pop	rdx 

-

-	mov	qword ptr (-8)[rdx],offset __indirection

-	mov	qword ptr [rdx],rcx 

- endif

-	jmp	pmarkr_node

-

-pmarkr_record_selector_node_1:

-	je	pmarkr_strict_record_selector_node_1

-

-	mov	rbx,rax

-	and	rax,31*8

-	shr	rbx,8

-	mov	eax,dword ptr (bit_set_table2)[rax]

-	test	eax,dword ptr [rdi+rbx*4]

-	pop	rax

-	jne	pmarkr_no_selector_2

-

-	mov	rbx,qword ptr [rbp]

-	test	bl,2

-	je	pmarkr_no_selector_2

-	

-	cmp	word ptr (-2)[rbx],258

- ifdef NEW_DESCRIPTORS

-	jbe	pmarkr_small_record

-

-  if THREAD

-	mov	r13,qword ptr 16[rbp]

-	add	r13,r10

-	mov	rbx,r13

-	and	r13,31*8

-  else

-	mov	r8,qword ptr 16[rbp]

-	mov	r9,r8

-

-	add	r8,r10

-	mov	rbx,r8

-	and	r8,31*8

-  endif

-	shr	rbx,8

-  if THREAD

-	mov	r13d,dword ptr (bit_set_table2)[r13]

-	test	r13d,dword ptr [rdi+rbx*4]

-  else

-	mov	r8d,dword ptr (bit_set_table2)[r8]

-	test	r8d,dword ptr [rdi+rbx*4]

-  endif

-	jne	pmarkr_no_selector_2

-

-  if THREAD

-	mov	rbx,qword ptr 16[rbp]

-  endif

-

-pmarkr_small_record:

-	mov	eax,dword ptr (-8)[rax]

-	lea	rdx,__indirection

-  if THREAD

-  else

-	pop	rbx 

-  endif

-

-	mov	qword ptr (-8)[rcx],rdx

-	movzx	eax,word ptr 4[rax]

-  if THREAD

-	mov	r13,rcx

-  else

-	mov	r8,rcx

-  endif

-

-	cmp	rax,16

-	jle	pmarkr_record_selector_node_2

-  if THREAD

-	mov	rbp,rbx

-  else

-	mov	rdx,r9

-  endif

-	sub	rax,24

-pmarkr_record_selector_node_2:

-	mov	rcx,qword ptr [rbp+rax]

-  if THREAD

-	mov	qword ptr [r13],rcx

-	pop	rbx

-  else

-	mov	qword ptr [r8],rcx

-  endif

-	jmp	pmarkr_node

- else

-	jbe	pmarkr_small_tuple_or_record

-	jmp	pmarkr_large_tuple_or_record

- endif

-

-pmarkr_strict_record_selector_node_1:

-	mov	rbx,rax 

-	and	rax,31*8

-	shr	rbx,8

-	mov	eax,dword ptr (bit_set_table2)[rax]

-	test	eax,dword ptr [rdi+rbx*4]

-	pop	rax 

-	jne	pmarkr_no_selector_2

-

-	mov	rbx,qword ptr [rbp]

-	test	bl,2

-	je	pmarkr_no_selector_2

-

-	cmp	word ptr (-2)[rbx],258

-	jle	pmarkr_select_from_small_record

-

- if THREAD

-	mov	r13,qword ptr 16[rbp]

-	add	r13,r10

-	mov	rbx,r13 

-	and	r13,31*8

- else

-	mov	r8,qword ptr 16[rbp]

-	mov	r9,r8

-

-	add	r8,r10

-	mov	rbx,r8 

-	and	r8,31*8

- endif

-	shr	rbx,8

- if THREAD

-	mov	r13d,dword ptr (bit_set_table2)[r13]

-	test	r13d,dword ptr [rdi+rbx*4]

- else

-	mov	r8d,dword ptr (bit_set_table2)[r8]

-	test	r8d,dword ptr [rdi+rbx*4]

- endif

-	jne	pmarkr_no_selector_2

- if THREAD

-	mov	r13,qword ptr 16[rbp]

- endif

-

-pmarkr_select_from_small_record:

- ifdef NEW_DESCRIPTORS

-	mov	eax,(-8)[rax]

-	sub	rcx,8

-

-	movzx	ebx,word ptr 4[rax]

-	cmp	rbx,16

-	jle	pmarkr_strict_record_selector_node_2

- if THREAD

-	mov	rbx,qword ptr (-24)[r13+rbx]

- else

-	mov	rbx,qword ptr (-24)[r9+rbx]

- endif

-	jmp	pmarkr_strict_record_selector_node_3

-pmarkr_strict_record_selector_node_2:

-	mov	rbx,qword ptr [rdx+rbx]

-pmarkr_strict_record_selector_node_3:

-	mov	qword ptr 8[rcx],rbx

-

-	movzx	ebx,word ptr 6[rax]

-	test	rbx,rbx

-	je	pmarkr_strict_record_selector_node_5

-	cmp	rbx,16

-	jle	pmarkr_strict_record_selector_node_4

- if THREAD

-	mov	rbp,r13

- else

-	mov	rbp,r9

- endif

-	sub	rbx,24

-pmarkr_strict_record_selector_node_4:

-	mov	rbx,qword ptr [rbp+rbx]

-	mov	qword ptr 16[rcx],rbx

-pmarkr_strict_record_selector_node_5:

-	mov	rax,qword ptr (-8)[rax]

-	mov	qword ptr [rcx],rax

-	pop	rbx

- else

-	mov	eax,(-8)[rax]

-	pop	rbx 

-	mov	rdx,qword ptr [rcx]

-	sub	rcx,8

-	mov	eax,4[rax]

-	call	near ptr rax

- endif

-	jmp	pmarkr_node

-

-pmarkr_indirection_node:

-	mov	rcx,qword ptr [rcx]

-	jmp	pmarkr_node

-

-pmarkr_hnf_2:

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	add	r14,3

-	or	dword ptr [rdi+rbx*4],edx 

-	cmp	rdx,20000000h

-	jbe	pmarkr_fits_in_word_6

-	or	dword ptr 4[rdi+rbx*4],1

-pmarkr_fits_in_word_6:

-

-pmarkr_record_2_c:

-	mov	rax,qword ptr [rcx]

-	mov	rbp,qword ptr 8[rcx]

-	or	rax,2

-	mov	qword ptr 8[rcx],rsi 

-	mov	qword ptr [rcx],rax 

-	lea	rsi,8[rcx]

-	mov	rcx,rbp 

-

-pmarkr_node:

-	lea	rdx,[r10+rcx] 

-

-	cmp	rdx,r11

-	jae	pmarkr_next_node

-

-	mov	rbx,rdx 

-	and	rdx,31*8

-	shr	rbx,8

-	mov	ebp,dword ptr (bit_set_table2)[rdx]

-	test	ebp,dword ptr [rdi+rbx*4]

-	je	pmarkr_arguments

-

-pmarkr_next_node:

-	test	rsi,3

-	jne	pmarkr_parent

-

-	mov	rbp,qword ptr (-8)[rsi]

-	mov	rdx,qword ptr [rsi]

-	mov	qword ptr [rsi],rcx 

-	mov	qword ptr (-8)[rsi],rdx 

-	sub	rsi,8

-

-	mov	rcx,rbp 

-	and	rbp,3

-	and	rcx,-4

-	or	rsi,rbp 

-	jmp	pmarkr_node

-

-pmarkr_parent:

-	mov	rbx,rsi 

-	and	rsi,-4

-	je	end_pmarkr_using_reversal

-

-	and	rbx,3

-	mov	rbp,qword ptr [rsi]

-	mov	qword ptr [rsi],rcx 

-

-	sub	rbx,1

-	je	pmarkr_argument_part_parent

-

-	lea	rcx,(-8)[rsi]

-	mov	rsi,rbp 

-	jmp	pmarkr_next_node

-	

-pmarkr_argument_part_parent:

-	and	rbp,-4

-	mov	rdx,rsi 

-	mov	rcx,qword ptr (-8)[rbp]

-	mov	rbx,qword ptr [rbp]

-	mov	qword ptr (-8)[rbp],rbx 

-	mov	qword ptr [rbp],rdx 

-	lea	rsi,(2-8)[rbp]

-	jmp	pmarkr_node

-

-pmarkr_lazy_node:

-	movsxd	rbp,dword ptr (-4)[rax]

-	test	rbp,rbp 

-	je	pmarkr_real_or_file

-

-	add	rcx,8

-	cmp	rbp,1

-	jle	pmarkr_lazy_node_1

-	cmp	rbp,256

-	jge	pmarkr_closure_with_unboxed_arguments

-

-	add	rbp,1

-	mov	rax,rdx 

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	add	r14,rbp 

-

-	lea	rax,[rax+rbp*8]

-	sub	rbp,2

-

-	or	dword ptr [rdi+rbx*4],edx 

-

-	cmp	rax,32*8

-	jbe	pmarkr_fits_in_word_7

-	or	dword ptr 4[rdi+rbx*4],1

-pmarkr_fits_in_word_7:

-pmarkr_closure_with_unboxed_arguments_2:

-	lea	rdx,[rcx+rbp*8]

-	mov	rax,qword ptr [rcx]

-	or	rax,2

-	mov	qword ptr [rcx],rax 

-	mov	rcx,qword ptr [rdx]

-	mov	qword ptr [rdx],rsi 

-	mov	rsi,rdx 

-	jmp	pmarkr_node

-

-pmarkr_closure_with_unboxed_arguments:

-	mov	rax,rbp 

-	and	rbp,255

-

-	sub	rbp,1

-	je	pmarkr_closure_1_with_unboxed_argument

-	add	rbp,2

-

-	shr	rax,8

-	add	r14,rbp 

-

-	push	rcx 

-	lea	rcx,[rdx+rbp*8]

-

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	sub	rbp,rax 

-

-	or	dword ptr [rdi+rbx*4],edx 

-	cmp	rcx,32*8

-	jbe	pmarkr_fits_in_word_7_

-	or	dword ptr 4[rdi+rbx*4],1

-pmarkr_fits_in_word_7_:

-	pop	rcx

-	sub	rbp,2

-	jg	pmarkr_closure_with_unboxed_arguments_2

-	je	pmarkr_shared_argument_part

-	sub	rcx,8

-	jmp	pmarkr_next_node

-

-pmarkr_closure_1_with_unboxed_argument:

-	sub	rcx,8

-	jmp	pmarkr_real_or_file

-

-pmarkr_hnf_0:

-	cmp	rax,offset dINT+2

-	jne	pmarkr_no_int_3

-

-	mov	rbp,qword ptr 8[rcx]

-	cmp	rbp,33

-

-	jb	pmarkr_small_int

-

-pmarkr_bool_or_small_string:

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	add	r14,2

-	or	dword ptr [rdi+rbx*4],edx 

-	cmp	rdx,40000000h

-	jbe	pmarkr_next_node

-	or	dword ptr 4[rdi+rbx*4],1

-	jmp	pmarkr_next_node

-

-pmarkr_small_int:

-	shl	rbp,4

-	lea	rcx,(small_integers)[rbp]

-	jmp	pmarkr_next_node

-

-pmarkr_no_int_3:

-	jb	pmarkr_real_file_or_string

-

- 	cmp	rax,offset CHAR+2

- 	jne	pmarkr_no_char_3

-

-	movzx	rbp,byte ptr 8[rcx]

-	shl	rbp,4

-	lea	rcx,(static_characters)[rbp]

-	jmp	pmarkr_next_node

-

-pmarkr_no_char_3:

-	jb	pmarkr_bool_or_small_string

-

- ifdef NEW_DESCRIPTORS

-	lea	rcx,((-8)-2)[rax]

- else

-	lea	rcx,((-12)-2)[rax]

- endif

-	jmp	pmarkr_next_node

-

-pmarkr_real_file_or_string:

- if THREAD

-	cmp	rax,offset __STRING__+2 

- else

-	lea	r9,__STRING__+2

-	cmp	rax,r9

- endif

-	jbe	pmarkr_string_or_array

-

-pmarkr_real_or_file:

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	add	r14,3

-

-	or	dword ptr [rdi+rbx*4],edx 

-	

-	cmp	rdx,20000000h

-	jbe	pmarkr_next_node

-

-	or	dword ptr 4[rdi+rbx*4],1

-	jmp	pmarkr_next_node

-

-pmarkr_record:

-	sub	rbp,258

-	je	pmarkr_record_2

-	jl	pmarkr_record_1

-

-pmarkr_record_3:

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	add	r14,3

-	or	dword ptr [rdi+rbx*4],edx 

-	cmp	rdx,20000000h

-	jbe	pmarkr_fits_in_word_13

-	or	dword ptr 4[rdi+rbx*4],1

-pmarkr_fits_in_word_13:

-	movzx	rbx,word ptr (-2+2)[rax]

-

-	mov	rdx,qword ptr 8[rcx]

-	lea	rdx,[r10+rdx]

-	mov	rax,rdx 

-	and	rdx,31*8

-	shr	rax,8

-

-	push	rsi 

-

-	mov	esi,dword ptr (bit_set_table2)[rdx]

-	test	esi,dword ptr [rdi+rax*4]

-	jne	pmarkr_shared_record_argument_part

-

-	add	rbp,1

-	or	dword ptr [rdi+rax*4],esi 

-

-	lea	rdx,[rdx+rbp*8]

-	add	r14,rbp 

-

-	pop	rsi 

-

-	cmp	rdx,32*8

-	jbe	pmarkr_fits_in_word_14

-	or	dword ptr 4[rdi+rax*4],1

-pmarkr_fits_in_word_14:

-	sub	rbx,1

-	mov	rdx,qword ptr 8[rcx]

-	jl	pmarkr_record_3_bb

-	je	pmarkr_shared_argument_part

-

-	mov	qword ptr 8[rcx],rsi 

-	add	rcx,8

-

-	sub	rbx,1

-	je	pmarkr_record_3_aab

-

-	lea	rsi,[rdx+rbx*8]

-	mov	rax,qword ptr [rdx]

-	or	rax,1

-	mov	rbp,qword ptr [rsi]

-	mov	qword ptr [rdx],rax 

-	mov	qword ptr [rsi],rcx 

-	mov	rcx,rbp

-	jmp	pmarkr_node

-

-pmarkr_record_3_bb:

-	sub	rcx,8

-	jmp	pmarkr_next_node

-

-pmarkr_record_3_aab:

-	mov	rbp,qword ptr [rdx]

-	mov	qword ptr [rdx],rcx 

-	lea	rsi,1[rdx]

-	mov	rcx,rbp 

-	jmp	pmarkr_node

-

-pmarkr_shared_record_argument_part:

-	mov	rdx,qword ptr 8[rcx]

-

-	pop	rsi 

-

-	test	rbx,rbx 

-	jne	pmarkr_shared_argument_part

-	sub	rcx,8

-	jmp	pmarkr_next_node

-

-pmarkr_record_2:

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	add	r14,3

-	or	dword ptr [rdi+rbx*4],edx 

-	cmp	rdx,20000000h

-	jbe	pmarkr_fits_in_word_12

-	or	dword ptr 4[rdi+rbx*4],1

-pmarkr_fits_in_word_12:

-	cmp	word ptr (-2+2)[rax],1

-	ja	pmarkr_record_2_c

-	je	pmarkr_shared_argument_part

-	sub	rcx,8

-	jmp	pmarkr_next_node

-

-pmarkr_record_1:

-	cmp	word ptr (-2+2)[rax],0

-	jne	pmarkr_hnf_1

-	sub	rcx,8

-	jmp	pmarkr_bool_or_small_string

-

-pmarkr_string_or_array:

-	je	pmarkr_string_

-

-pmarkr_array:

-	mov	rbp,qword ptr 16[rcx]

-	test	rbp,rbp 

-	je	pmarkr_lazy_array

-

-	movzx	rax,word ptr (-2)[rbp]

-	test	rax,rax 

-	je	pmarkr_strict_basic_array

-

-	movzx	rbp,word ptr (-2+2)[rbp]

-	test	rbp,rbp

-	je	pmarkr_b_record_array

-

-	sub	rax,256

-	cmp	rax,rbp 

-	je	pmarkr_a_record_array

-

-pmarkr_ab_record_array:

-	push	rdx 

-	push	rbx 

-	mov	rbx,rbp 

-

-	mov	rbp,qword ptr 8[rcx]

-	add	rcx,16

-	push	rcx 

-

-	shl	rbp,3

-	mov	rdx,rax 

-	imul	rdx,rbp 

-

-	sub	rax,rbx 

-	add	rcx,8

-	add	rdx,rcx 

-

-	call	reorder

-	

-	pop	rcx 

-

-	xchg	rax,rbx 

-	mov	rbp,qword ptr (-8)[rcx]

-	imul	rax,rbp 

-	imul	rbx,rbp 

-	add	r14,rbx 

-	add	rbx,rax 

-

-	shl	rbx,3

-	lea	rbp,[r10+rcx]

-	add	rbp,rbx 

-

-	pop	rbx 

-	pop	rdx 

-

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	or	dword ptr [rdi+rbx*4],edx 

-

-	lea	rdx,[rcx+rax*8]

-	jmp	pmarkr_r_array

-

-pmarkr_a_record_array:

-	imul	rax,qword ptr 8[rcx]

-	add	rcx,16

-	jmp	pmarkr_lr_array

-

-pmarkr_lazy_array:

-	mov	rax,qword ptr 8[rcx]

-	add	rcx,16

-

-pmarkr_lr_array:

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	mov	rbp,r10

-	or	dword ptr [rdi+rbx*4],edx

-	lea	rdx,[rcx+rax*8]

-	add	rbp,rdx 

-pmarkr_r_array:

-	shr	rbp,8

-

-	cmp	rbx,rbp 

-	jae	pmarkr_skip_mark_lazy_array_bits

-

-	inc	rbx 

-

-pmarkr_lazy_array_bits:

-	or	dword ptr [rdi+rbx*4],1

-	inc	rbx 

-	cmp	rbx,rbp 

-	jbe	pmarkr_lazy_array_bits

-

-pmarkr_skip_mark_lazy_array_bits:

-	add	r14,3

-	add	r14,rax 

-

-	cmp	rax,1

-	jbe	pmarkr_array_length_0_1

-

-	mov	rbp,qword ptr [rdx]

-	mov	rbx,qword ptr [rcx]

-	mov	qword ptr [rdx],rbx 

-	mov	qword ptr [rcx],rbp 

-	

-	mov	rbp,qword ptr (-8)[rdx]

-	sub	rdx,8

- if THREAD

-	mov	rbx,qword ptr lazy_array_list_offset[r9]

- else

-	mov	rbx,qword ptr lazy_array_list

- endif

-	add	rbp,2

-	mov	qword ptr [rdx],rbx 

-	mov	qword ptr (-8)[rcx],rbp 

-	mov	qword ptr (-16)[rcx],rax 

-	sub	rcx,16

- if THREAD

-	mov	qword ptr lazy_array_list_offset[r9],rcx 

- else

-	mov	qword ptr lazy_array_list,rcx 

- endif

-

-	mov	rcx,qword ptr (-8)[rdx]

-	mov	qword ptr (-8)[rdx],rsi 

-	lea	rsi,(-8)[rdx]

-	jmp	pmarkr_node

-

-pmarkr_array_length_0_1:

-	lea	rcx,(-16)[rcx]

-	jb	pmarkr_next_node

-

-	mov	rbx,qword ptr 24[rcx]

-	mov	rbp,qword ptr 16[rcx]

- if THREAD

-	mov	rdx,qword ptr lazy_array_list_offset[r9]

- else

-	mov	rdx,qword ptr lazy_array_list

- endif

-	mov	qword ptr 24[rcx],rbp 

-	mov	qword ptr 16[rcx],rdx 

-	mov	qword ptr [rcx],rax

- if THREAD

-	mov	qword ptr lazy_array_list_offset[r9],rcx 

- else

-	mov	qword ptr lazy_array_list,rcx 

- endif

-	mov	qword ptr 8[rcx],rbx

-	add	rcx,8

-

-	mov	rbp,qword ptr [rcx]

-	mov	qword ptr [rcx],rsi 

-	lea	rsi,2[rcx]

-	mov	rcx,rbp 

-	jmp	pmarkr_node

-	

-pmarkr_b_record_array:

-	mov	rbp,qword ptr 8[rcx]

-	sub	rax,256

-	imul	rax,rbp 

-	add	rax,3

-	jmp	pmarkr_basic_array

-

-pmarkr_strict_basic_array:

-	mov	rax,qword ptr 8[rcx]

-	cmp	rbp,offset dINT+2

-	jle	pmarkr_strict_int_or_real_array

-	cmp	rbp,offset BOOL+2

-	je	pmarkr_strict_bool_array

-	add	rax,6+1

-	shr	rax,1

-	jmp	pmarkr_basic_array

-pmarkr_strict_int_or_real_array:

-	add	rax,3

-	jmp	pmarkr_basic_array

-pmarkr_strict_bool_array:

-	add	rax,24+7

-	shr	rax,3

-	jmp	pmarkr_basic_array

-

-pmarkr_string_:

-	mov	rax,qword ptr 8[rcx]

-	add	rax,16+7

-	shr	rax,3

-

-pmarkr_basic_array:

-	mov	edx,dword ptr (bit_set_table2)[rdx]

-	add	r14,rax 

-

-	or	dword ptr [rdi+rbx*4],edx 

-	lea	rax,(-8)[rcx+rax*8]

-	

-	add	rax,r10

-	shr	rax,8

-

-	cmp	rbx,rax 

-	jae	pmarkr_next_node

-

-	inc	rbx 

-	mov	rbp,1

-

-	cmp	rbx,rax 

-	jae	pmarkr_last_string_bits

-

-pmarkr_string_lp:

-	or	dword ptr [rdi+rbx*4],ebp 

-	inc	rbx 

-	cmp	rbx,rax 

-	jb	pmarkr_string_lp

-

-pmarkr_last_string_bits:

-	or	dword ptr [rdi+rbx*4],ebp 

-	jmp	pmarkr_next_node

+
+_TEXT	ends
+	_DATA segment
+n_queue_items:
+	dq	0
+queue_first:
+	dq	0
+queue:
+	dq	0,0,0,0,0,0,0,0
+	dq	0,0,0,0,0,0,0,0
+_DATA	ends
+	_TEXT segment
+
+pmark:
+ if THREAD
+	mov	rax,qword ptr heap_size_65_offset[r9]
+ else
+	mov	rax,qword ptr heap_size_65
+ endif
+	xor	rbx,rbx 
+
+ if THREAD
+	mov	qword ptr n_marked_words_offset[r9],rbx
+ else
+	mov	qword ptr n_marked_words,rbx
+ endif
+	shl	rax,6
+
+	mov	r11,rax
+ if THREAD
+	mov	qword ptr lazy_array_list_offset[r9],rbx 
+ else
+	mov	qword ptr lazy_array_list,rbx 
+ endif
+	
+	lea	rsi,(-4000)[rsp]
+
+	mov	rax,qword ptr caf_list
+
+ if THREAD
+	mov	qword ptr end_stack_offset[r9],rsi
+ else
+	mov	qword ptr end_stack,rsi
+ endif
+
+	mov	r15,0
+	mov	r8,0
+
+ if THREAD
+	mov	r10,neg_heap_p3_offset[r9]
+	mov	r13,qword ptr end_stack_offset[r9]
+ else
+	mov	r10,neg_heap_p3
+	mov	r13,qword ptr end_stack
+ endif
+	mov	r14,0
+
+	test	rax,rax
+	je	end_pmark_cafs
+
+pmark_cafs_lp:
+	mov	rbx,qword ptr [rax]
+	mov	rbp,qword ptr (-8)[rax]
+
+	push	rbp
+	lea	rbp,8[rax]
+	lea	r12,8[rax+rbx*8]
+
+	call	pmark_stack_nodes
+
+	pop	rax
+	test	rax,rax 
+	jne	pmark_cafs_lp
+
+end_pmark_cafs:
+ if THREAD
+	mov	rsi,qword ptr stack_top_offset[r9]
+	mov	rbp,qword ptr stack_p_offset[r9]
+ else
+	mov	rsi,qword ptr stack_top
+	mov	rbp,qword ptr stack_p
+ endif
+
+	mov	r12,rsi 
+	call	pmark_stack_nodes
+	jmp	continue_mark_after_pmark
+
+; %rbp : pointer to stack element
+; %rdi : heap_vector
+; %rax ,%rbx ,%rcx ,%rdx ,%rsi : free
+
+pmark_stack_nodes:
+	cmp	rbp,r12
+	je	end_pmark_nodes
+pmark_stack_nodes_:
+	mov	rcx,qword ptr [rbp]
+
+	add	rbp,8
+	lea	rdx,[r10+rcx] 
+
+	cmp	rdx,r11
+	jnc	pmark_stack_nodes
+
+	mov	rbx,rdx 
+	and	rdx,31*8
+
+	shr	rbx,8
+	mov	esi,dword ptr (bit_set_table2)[rdx]
+
+	test	esi,dword ptr [rdi+rbx*4]
+	jne	pmark_stack_nodes
+
+	push	rbp 
+
+	push	0
+
+	jmp	pmark_node_
+
+pmark_hnf_2:
+	cmp	rsi,20000000h
+	jbe	pmark_fits_in_word_6
+	or	dword ptr 4[rdi+rbx*4],1
+pmark_fits_in_word_6:
+	add	r14,3
+
+pmark_record_2_c:
+	mov	rbx,qword ptr 8[rcx]
+	push	rbx 
+
+	cmp	rsp,r13
+	jb	pmarkr_using_reversal
+
+pmark_node2:
+pmark_shared_argument_part:
+	mov	rcx,qword ptr [rcx]
+
+pmark_node:
+	lea	rdx,[r10+rcx]
+	cmp	rdx,r11
+	jnc	pmark_next_node
+
+	mov	rbx,rdx 
+	and	rdx,31*8
+
+	shr	rbx,8
+	mov	esi,dword ptr (bit_set_table2)[rdx]
+
+	test	esi,dword ptr [rdi+rbx*4]
+	jne	pmark_next_node
+
+pmark_node_:
+
+	prefetch	[rcx]
+
+	mov	qword ptr (queue)[r8],rcx 
+	lea	rdx,[r8+r15*8]
+	add	r8,8
+
+	and	r8,15*8
+	and	rdx,15*8
+
+	cmp	r15,-4
+	je	pmark_last_item_in_queue
+
+pmark_add_items:
+	mov	rcx,qword ptr [rsp]
+	test	rcx,rcx 
+	jne	pmark_add_stacked_item
+
+pmark_add_items2:
+	mov	rbp,qword ptr 8[rsp]
+	cmp	rbp,r12
+	je	pmark_last_item_in_queue
+
+	mov	rcx,qword ptr [rbp]
+	add	rbp,8
+	mov	qword ptr 8[rsp],rbp 
+
+	lea	rbp,[r10+rcx]
+	cmp	rbp,r11
+	jnc	pmark_add_items2
+	mov	rax,rbp 
+	and	rbp,31*8
+	shr	rax,8
+	mov	esi,dword ptr (bit_set_table2)[rbp]
+	test	esi,dword ptr [rdi+rax*4]
+	jne	pmark_add_items2
+
+	prefetch	[rcx]
+
+	mov	qword ptr (queue)[r8],rcx 
+	add	r8,8
+	and	r8,15*8
+
+	sub	r15,1
+	
+	cmp	r15,-4
+	jne	pmark_add_items2
+	jmp	pmark_last_item_in_queue
+
+pmark_add_stacked_item:
+	add	rsp ,8
+
+	lea	rbp,[r10+rcx]
+	cmp	rbp,r11
+	jnc	pmark_add_items
+	mov	rax,rbp 
+	and	rbp,31*8
+	shr	rax,8
+	mov	esi,dword ptr (bit_set_table2)[rbp]
+	test	esi,dword ptr [rdi+rax*4]
+	jne	pmark_add_items
+
+	prefetch	[rcx]
+
+	mov	qword ptr (queue)[r8],rcx 
+	add	r8,8
+	and	r8,15*8
+
+	sub	r15,1
+
+	cmp	r15,-4 
+	jne	pmark_add_items
+
+pmark_last_item_in_queue:
+	mov	rcx,qword ptr (queue)[rdx]
+
+	lea	rdx,[r10+rcx]
+
+	mov	rbx,rdx 
+	and	rdx,31*8
+	shr	rbx,8
+	mov	esi,dword ptr (bit_set_table2)[rdx]
+		
+	test	esi,dword ptr [rdi+rbx*4]
+	jne	pmark_next_node
+
+pmark_arguments:
+	mov	rax,qword ptr [rcx]
+	test	rax,2
+	je	pmark_lazy_node
+	
+	movzx	rbp,word ptr (-2)[rax]
+
+	test	rbp,rbp 
+	je	pmark_hnf_0
+
+	or	dword ptr [rdi+rbx*4],esi 
+	add	rcx,8
+
+	cmp	rbp,256
+	jae	pmark_record
+
+	sub	rbp,2
+	je	pmark_hnf_2
+	jb	pmark_hnf_1
+
+pmark_hnf_3:
+	mov	rdx,qword ptr 8[rcx]
+
+	cmp	rsi,20000000h
+	jbe	pmark_fits_in_word_1
+	or	dword ptr 4[rdi+rbx*4],1
+pmark_fits_in_word_1:	
+
+	add	r14,3
+	lea	rax,[r10+rdx]
+	mov	rbx,rax 
+
+	and	rax,31*8
+	shr	rbx,8
+
+	mov	esi,dword ptr (bit_set_table2)[rax]
+
+	test	esi,dword ptr [rdi+rbx*4]
+	jne	pmark_shared_argument_part
+
+pmark_no_shared_argument_part:
+	or	dword ptr [rdi+rbx*4],esi 
+	add	rbp,1
+
+	add	r14,rbp 
+	lea	rax,[rax+rbp*8]
+	lea	rdx,(-8)[rdx+rbp*8]
+
+	cmp	rax,32*8
+	jbe	pmark_fits_in_word_2
+	or	dword ptr 4[rdi+rbx*4],1
+pmark_fits_in_word_2:
+
+	mov	rbx,qword ptr [rdx]
+	sub	rbp,2
+	push	rbx 
+
+pmark_push_hnf_args:
+	mov	rbx,qword ptr (-8)[rdx]
+	sub	rdx,8
+	push	rbx 
+	sub	rbp,1
+	jge	pmark_push_hnf_args
+
+	cmp	rsp,r13
+	jae	pmark_node2
+
+	jmp	pmarkr_using_reversal
+
+pmark_hnf_1:
+	cmp	rsi,40000000h
+	jbe	pmark_fits_in_word_4
+	or	dword ptr 4[rdi+rbx*4],1
+pmark_fits_in_word_4:
+	add	r14,2
+	mov	rcx,qword ptr [rcx]
+	jmp	pmark_node
+
+pmark_lazy_node_1:
+	add	rcx,8
+	or	dword ptr [rdi+rbx*4],esi 
+	cmp	rsi,20000000h
+	jbe	pmark_fits_in_word_3
+	or	dword ptr 4[rdi+rbx*4],1
+pmark_fits_in_word_3:
+	add	r14,3
+
+	cmp	rbp,1
+	je	pmark_node2
+
+pmark_selector_node_1:
+	add	rbp,2
+	mov	rdx,qword ptr [rcx]
+	je	pmark_indirection_node
+
+	lea	rsi,[r10+rdx]
+	mov	rbx,rsi 
+
+	shr	rbx,8
+	and	rsi,31*8
+
+	add	rbp,1
+
+	mov	esi,dword ptr (bit_set_table2)[rsi]
+	jle	pmark_record_selector_node_1
+
+	test	esi,dword ptr [rdi+rbx*4]
+	jne	pmark_node3
+
+	mov	rbp,qword ptr [rdx]
+	test	rbp,2
+	je	pmark_node3
+
+	cmp	word ptr (-2)[rbp],2
+	jbe	pmark_small_tuple_or_record
+
+pmark_large_tuple_or_record:
+	mov	rbp,qword ptr 16[rdx]
+ if THREAD
+	mov	rsi,rbp
+ else
+	mov	r9,rbp
+ endif
+
+	add	rbp,r10
+	mov	rbx,rbp
+	and	rbp,31*8
+	shr	rbx,8
+	mov	ebp,dword ptr (bit_set_table2)[rbp]
+	test	ebp,dword ptr [rdi+rbx*4]
+	jne	pmark_node3
+
+ ifdef NEW_DESCRIPTORS
+	mov	eax,(-8)[rax]
+	lea	rbp,__indirection
+	mov	qword ptr (-8)[rcx],rbp
+	movzx	eax,word ptr 4[rax]
+	mov	rbp,rcx
+
+	cmp	rax,16
+	jl	pmark_tuple_selector_node_1
+ if THREAD
+	mov	rdx,rsi
+ else
+	mov	rdx,r9
+ endif
+	je	pmark_tuple_selector_node_2
+ if THREAD
+	mov	rcx,qword ptr (-24)[rsi+rax]
+ else
+	mov	rcx,qword ptr (-24)[r9+rax]
+ endif
+	mov	qword ptr [rbp],rcx
+	jmp	pmark_node
+
+pmark_tuple_selector_node_2:
+ if THREAD
+	mov	rcx,qword ptr [rsi]
+ else
+	mov	rcx,qword ptr [r9]
+ endif
+	mov	qword ptr [rbp],rcx
+	jmp	pmark_node	
+ endif
+
+pmark_small_tuple_or_record:
+ ifdef NEW_DESCRIPTORS
+	mov	eax,(-8)[rax]
+	lea	rbp,__indirection
+	mov	qword ptr (-8)[rcx],rbp
+	movzx	eax,word ptr 4[rax]
+	mov	rbp,rcx
+pmark_tuple_selector_node_1:
+	mov	rcx,qword ptr [rdx+rax]
+	mov	qword ptr [rbp],rcx	
+ else
+	mov	eax,(-8)[rax]
+	push	rcx
+	mov	rcx,rdx
+	mov	eax,4[rax]
+	call	near ptr rax
+	pop	rdx
+
+  if THREAD
+	lea	rbp,__indirection
+	mov	qword ptr (-8)[rdx],rbp
+  else
+	lea	r9,__indirection
+	mov	qword ptr (-8)[rdx],r9
+  endif
+	mov	qword ptr [rdx],rcx
+ endif
+	jmp	pmark_node
+
+pmark_record_selector_node_1:
+	je	pmark_strict_record_selector_node_1
+
+	test	esi,dword ptr [rdi+rbx*4]
+	jne	pmark_node3
+
+	mov	rbp,qword ptr [rdx]
+	test	rbp,2
+	je	pmark_node3
+
+	cmp	word ptr (-2)[rbp],258
+	jbe	pmark_small_tuple_or_record
+ ifdef NEW_DESCRIPTORS
+	mov	rbp,qword ptr 16[rdx]
+  if THREAD
+	mov	rsi,rbp
+  else
+	mov	r9,rbp
+  endif
+
+	add	rbp,r10
+	mov	rbx,rbp
+	and	rbp,31*8
+	shr	rbx,8
+	mov	ebp,dword ptr (bit_set_table2)[rbp]
+	test	ebp,dword ptr [rdi+rbx*4]
+	jne	pmark_node3
+
+	mov	eax,(-8)[rax]
+	lea	rbp,__indirection
+	mov	qword ptr (-8)[rcx],rbp
+	movzx	eax,word ptr 4[rax]
+	mov	rbp,rcx
+
+	cmp	rax,16
+	jle	pmark_record_selector_node_2
+ if THREAD
+	mov	rdx,rsi
+ else
+	mov	rdx,r9
+ endif
+	sub	rax,24
+pmark_record_selector_node_2:
+	mov	rcx,qword ptr [rdx+rax]
+	mov	qword ptr [rbp],rcx
+	jmp	pmark_node
+ else
+	jmp	pmark_large_tuple_or_record
+ endif
+
+pmark_strict_record_selector_node_1:
+	test	esi,dword ptr [rdi+rbx*4]
+	jne	pmark_node3
+
+	mov	rbp,qword ptr [rdx]
+	test	rbp,2
+	je	pmark_node3
+
+	cmp	word ptr (-2)[rbp],258
+	jbe	pmark_select_from_small_record
+
+	mov	rbp,qword ptr 16[rdx]
+ if THREAD
+	mov	rsi,rbp
+ else
+	mov	r9,rbp
+ endif
+
+	add	rbp,r10
+	mov	rbx,rbp 
+	and	rbp,31*8
+	shr	rbx,8
+	mov	ebp,dword ptr (bit_set_table2)[rbp]
+	test	ebp,dword ptr [rdi+rbx*4]
+	jne	pmark_node3
+	
+pmark_select_from_small_record:
+	mov	eax,(-8)[rax]
+	sub	rcx,8
+
+ ifdef NEW_DESCRIPTORS
+	movzx	ebx,word ptr 4[rax]
+	cmp	rbx,16
+	jle	pmark_strict_record_selector_node_2
+  if THREAD
+	mov	rbx,qword ptr (-24)[rsi+rbx]
+  else
+	mov	rbx,qword ptr (-24)[r9+rbx]
+  endif
+	jmp	pmark_strict_record_selector_node_3
+pmark_strict_record_selector_node_2:
+	mov	rbx,qword ptr [rdx+rbx]
+pmark_strict_record_selector_node_3:
+	mov	qword ptr 8[rcx],rbx
+
+	movzx	ebx,word ptr 6[rax]
+	test	rbx,rbx
+	je	pmark_strict_record_selector_node_5
+	cmp	rbx,16
+	jle	pmark_strict_record_selector_node_4
+  if THREAD
+	mov	rdx,rsi
+  else
+	mov	rdx,r9
+  endif
+	sub	rbx,24
+pmark_strict_record_selector_node_4:
+	mov	rbx,qword ptr [rdx+rbx]
+	mov	qword ptr 16[rcx],rbx
+pmark_strict_record_selector_node_5:
+
+	mov	rax,qword ptr (-8)[rax]
+	mov	qword ptr [rcx],rax
+ else
+	mov	eax,4[rax]
+	call	near ptr rax
+ endif
+	jmp	pmark_next_node
+
+pmark_indirection_node:
+pmark_node3:
+	mov	rcx,rdx 
+	jmp	pmark_node
+
+pmark_next_node:
+	pop	rcx 
+	test	rcx,rcx 
+	jne	pmark_node
+
+	pop	rbp 
+	cmp	rbp,r12
+	jne	pmark_stack_nodes_
+
+end_pmark_nodes:
+	test	r15,r15
+	je	end_pmark_nodes_
+
+	push	rbp 
+
+	push	0
+
+	lea	rdx,[r8+r15*8]
+	add	r15,1
+
+	and	rdx,15*8
+
+	jmp	pmark_last_item_in_queue
+
+end_pmark_nodes_:
+	ret
+
+pmark_lazy_node:
+	movsxd	rbp,dword ptr (-4)[rax]
+	test	rbp,rbp 
+	je	pmark_real_or_file
+
+	cmp	rbp,1
+	jle	pmark_lazy_node_1
+
+	cmp	rbp,256
+	jge	pmark_closure_with_unboxed_arguments
+	inc	rbp 
+	or	dword ptr [rdi+rbx*4],esi 
+
+	add	r14,rbp 
+	lea	rdx,[rdx+rbp*8]
+	lea	rcx,[rcx+rbp*8]
+
+	cmp	rdx,32*8
+	jbe	pmark_fits_in_word_7
+	or	dword ptr 4[rdi+rbx*4],1
+pmark_fits_in_word_7:
+	sub	rbp,3
+pmark_push_lazy_args:
+	mov	rbx,qword ptr (-8)[rcx]
+	sub	rcx,8
+	push	rbx 
+	sub	rbp,1
+	jge	pmark_push_lazy_args
+
+	sub	rcx,8
+
+	cmp	rsp,r13
+	jae	pmark_node2
+	
+	jmp	pmarkr_using_reversal
+
+pmark_closure_with_unboxed_arguments:
+	mov	rax,rbp 
+	and	rbp,255
+	sub	rbp,1
+	je	pmark_real_or_file
+
+	shr	rax,8
+	add	rbp,2
+	
+	or	dword ptr [rdi+rbx*4],esi 
+	add	r14,rbp 
+	lea	rdx,[rdx+rbp*8]
+
+	sub	rbp,rax 
+
+	cmp	rdx,32*8
+	jbe	pmark_fits_in_word_7_
+	or	dword ptr 4[rdi+rbx*4],1
+pmark_fits_in_word_7_:
+	sub	rbp,2
+	jl	pmark_next_node
+
+	lea	rcx,16[rcx+rbp*8]
+	jne	pmark_push_lazy_args
+
+pmark_closure_with_one_boxed_argument:
+	mov	rcx,qword ptr (-8)[rcx]
+	jmp	pmark_node
+
+pmark_hnf_0:
+ if THREAD
+	cmp	rax,offset dINT+2
+ else
+	lea	r9,dINT+2
+	cmp	rax,r9
+ endif
+	jb	pmark_real_file_or_string
+
+	or	dword ptr [rdi+rbx*4],esi 
+
+ if THREAD
+	cmp	rax,offset CHAR+2
+ else
+	lea	r9,CHAR+2
+	cmp	rax,r9
+ endif
+	ja	pmark_normal_hnf_0
+
+pmark_bool:
+	add	r14,2
+
+	cmp	rsi,40000000h
+	jbe	pmark_next_node
+
+	or	dword ptr 4[rdi+rbx*4],1
+	jmp	pmark_next_node
+
+pmark_normal_hnf_0:
+	inc	r14
+	jmp	pmark_next_node
+
+pmark_real_file_or_string:
+ if THREAD
+	cmp	rax,offset __STRING__+2
+ else
+	lea	r9,__STRING__+2
+	cmp	rax,r9
+ endif
+	jbe	pmark_string_or_array
+
+pmark_real_or_file:
+	or	dword ptr [rdi+rbx*4],esi 
+	add	r14,3
+
+	cmp	rsi,20000000h
+	jbe	pmark_next_node
+
+	or	dword ptr 4[rdi+rbx*4],1
+	jmp	pmark_next_node
+
+pmark_record:
+	sub	rbp,258
+	je	pmark_record_2
+	jl	pmark_record_1
+
+pmark_record_3:
+	add	r14,3
+
+	cmp	rsi,20000000h
+	jbe	pmark_fits_in_word_13
+	or	dword ptr 4[rdi+rbx*4],1
+pmark_fits_in_word_13:
+	mov	rdx,qword ptr 8[rcx]
+
+	movzx	rbx,word ptr (-2+2)[rax]
+	lea	rsi,[r10+rdx] 
+
+	mov	rax,rsi 
+	and	rsi,31*8
+
+	shr	rax,8
+	sub	rbx,1
+
+	mov	edx,dword ptr (bit_set_table2)[rsi]
+	jb	pmark_record_3_bb
+
+	test	edx,dword ptr [rdi+rax*4]
+	jne	pmark_node2
+
+	add	rbp,1
+	or	dword ptr [rdi+rax*4],edx 
+	add	r14,rbp 
+	lea	rsi,[rsi+rbp*8]
+
+	cmp	rsi,32*8
+	jbe	pmark_push_record_arguments
+	or	dword ptr 4[rdi+rax*4],1
+pmark_push_record_arguments:
+	mov	rdx,qword ptr 8[rcx]
+	mov	rbp,rbx 
+	shl	rbx,3
+	add	rdx,rbx 
+	sub	rbp,1
+	jge	pmark_push_hnf_args
+
+	jmp	pmark_node2
+
+pmark_record_3_bb:
+	test	edx,dword ptr [rdi+rax*4]
+	jne	pmark_next_node
+
+	add	rbp,1
+	or	dword ptr [rdi+rax*4],edx 
+	add	r14,rbp 
+	lea	rsi,[rsi+rbp*8]
+	
+	cmp	rsi,32*8
+	jbe	pmark_next_node
+
+	or	dword ptr 4[rdi+rax*4],1
+	jmp	pmark_next_node
+
+pmark_record_2:
+	cmp	rsi,20000000h
+	jbe	pmark_fits_in_word_12
+	or	dword ptr 4[rdi+rbx*4],1
+pmark_fits_in_word_12:
+	add	r14,3
+
+	cmp	word ptr (-2+2)[rax],1
+	ja	pmark_record_2_c
+	je	pmark_node2
+	jmp	pmark_next_node
+
+pmark_record_1:
+	cmp	word ptr (-2+2)[rax],0
+	jne	pmark_hnf_1
+
+	jmp	pmark_bool
+
+pmark_string_or_array:
+	je	pmark_string_
+
+pmark_array:
+	mov	rbp,qword ptr 16[rcx]
+	test	rbp,rbp 
+	je	pmark_lazy_array
+
+	movzx	rax,word ptr (-2)[rbp]
+
+	test	rax,rax 
+	je	pmark_strict_basic_array
+
+	movzx	rbp,word ptr (-2+2)[rbp]
+	test	rbp,rbp 
+	je	pmark_b_record_array
+
+	cmp	rsp,r13
+	jb	pmark_array_using_reversal
+
+	sub	rax,256
+	cmp	rax,rbp 
+	je	pmark_a_record_array
+
+pmark_ab_record_array:
+	or	dword ptr [rdi+rbx*4],esi 
+	mov	rbp,qword ptr 8[rcx]
+
+	imul	rax,rbp 
+	add	rax,3
+
+	add	r14,rax 
+	lea	rax,(-8)[rcx+rax*8]
+
+	add	rax,r10
+	shr	rax,8
+	
+	cmp	rbx,rax 
+	jae	pmark_end_set_ab_array_bits
+
+	inc	rbx 
+	mov	rbp,1
+	cmp	rbx,rax 
+	jae	pmark_last_ab_array_bits
+
+pmark_ab_array_lp:
+	or	dword ptr [rdi+rbx*4],ebp 
+	inc	rbx 
+	cmp	rbx,rax
+	jb	pmark_ab_array_lp
+
+pmark_last_ab_array_bits:
+	or	dword ptr [rdi+rbx*4],ebp 
+
+pmark_end_set_ab_array_bits:
+	mov	rax,qword ptr 8[rcx]
+	mov	rdx,qword ptr 16[rcx]
+	movzx	rbx,word ptr (-2+2)[rdx]
+	movzx	rdx,word ptr (-2)[rdx]
+	shl	rbx,3
+	lea	rdx,(-2048)[rdx*8]
+	push	rbx 
+	push	rdx 
+	lea	rbp,24[rcx]
+	push	r12
+	jmp	pmark_ab_array_begin
+
+pmark_ab_array:
+	mov	rbx,qword ptr 16[rsp]
+	push	rax 
+	push	rbp 
+	lea	r12,[rbp+rbx]
+
+	call	pmark_stack_nodes
+
+	mov	rbx,qword ptr (8+16)[rsp]
+	pop	rbp 
+	pop	rax 
+	add	rbp,rbx 
+pmark_ab_array_begin:
+	sub	rax,1
+	jnc	pmark_ab_array
+
+	pop	r12
+	add	rsp,16
+	jmp	pmark_next_node
+
+pmark_a_record_array:
+	or	dword ptr [rdi+rbx*4],esi 
+	mov	rbp,qword ptr 8[rcx]
+
+	imul	rax,rbp 
+	push	rax 
+
+	add	rax,3
+
+	add	r14,rax 
+	lea	rax,(-8)[rcx+rax*8]
+
+	add	rax,r10
+	shr	rax,8
+	
+	cmp	rbx,rax 
+	jae	pmark_end_set_a_array_bits
+
+	inc	rbx 
+	mov	rbp,1
+	cmp	rbx,rax 
+	jae	pmark_last_a_array_bits
+
+pmark_a_array_lp:
+	or	dword ptr [rdi+rbx*4],ebp 
+	inc	rbx 
+	cmp	rbx,rax 
+	jb	pmark_a_array_lp
+
+pmark_last_a_array_bits:
+	or	dword ptr [rdi+rbx*4],ebp 
+
+pmark_end_set_a_array_bits:
+	pop	rax 
+	lea	rbp,24[rcx]
+
+	push	r12
+	lea	r12,24[rcx+rax*8]
+
+	call	pmark_stack_nodes
+
+	pop	r12
+	jmp	pmark_next_node
+
+pmark_lazy_array:
+	cmp	rsp,r13
+	jb	pmark_array_using_reversal
+
+	or	dword ptr [rdi+rbx*4],esi 
+	mov	rax,qword ptr 8[rcx]
+
+	add	rax,3
+
+	add	r14,rax 
+	lea	rax,(-8)[rcx+rax*8]
+
+	add	rax,r10
+	shr	rax,8
+	
+	cmp	rbx,rax 
+	jae	pmark_end_set_lazy_array_bits
+
+	inc	rbx 
+	mov	rbp,1
+	cmp	rbx,rax 
+	jae	pmark_last_lazy_array_bits
+
+pmark_lazy_array_lp:
+	or	dword ptr [rdi+rbx*4],ebp 
+	inc	rbx 
+	cmp	rbx,rax
+	jb	pmark_lazy_array_lp
+
+pmark_last_lazy_array_bits:
+	or	dword ptr [rdi+rbx*4],ebp 
+
+pmark_end_set_lazy_array_bits:
+	mov	rax,qword ptr 8[rcx]
+	lea	rbp,24[rcx]
+
+	push	r12
+	lea	r12,24[rcx+rax*8]
+
+	call	pmark_stack_nodes
+
+	pop	r12
+	jmp	pmark_next_node
+
+pmark_array_using_reversal:
+	push	0
+	mov	rsi,1
+	jmp	pmarkr_node
+
+pmark_strict_basic_array:
+	mov	rax,qword ptr 8[rcx]
+	cmp	rbp,offset dINT+2
+	jle	pmark_strict_int_or_real_array
+	cmp	rbp,offset BOOL+2
+	je	pmark_strict_bool_array
+	add	rax,6+1
+	shr	rax,1
+	jmp	pmark_basic_array_
+pmark_strict_int_or_real_array:
+	add	rax,3
+	jmp	pmark_basic_array_
+pmark_strict_bool_array:
+	add	rax,24+7
+	shr	rax,3
+	jmp	pmark_basic_array_
+
+pmark_b_record_array:
+	mov	rbp,qword ptr 8[rcx]
+	sub	rax,256
+	imul	rax,rbp 
+	add	rax,3
+	jmp	pmark_basic_array_
+
+pmark_string_:
+	mov	rax,qword ptr 8[rcx]
+	add	rax,16+7
+	shr	rax,3
+
+pmark_basic_array_:
+	or	dword ptr [rdi+rbx*4],esi 
+
+	add	r14,rax 
+	lea	rax,(-8)[rcx+rax*8]
+
+	add	rax,r10
+	shr	rax,8
+	
+	cmp	rbx,rax 
+	jae	pmark_next_node
+
+	inc	rbx 
+	mov	rbp,1
+	cmp	rbx,rax 
+	jae	pmark_last_string_bits
+
+pmark_string_lp:
+	or	dword ptr [rdi+rbx*4],ebp 
+	inc	rbx
+	cmp	rbx,rax 
+	jb	pmark_string_lp
+
+pmark_last_string_bits:
+	or	dword ptr [rdi+rbx*4],ebp 
+	jmp	pmark_next_node
+
+end_pmarkr_using_reversal:
+	pop	rdx
+ if THREAD
+	mov	r13,qword ptr end_stack_offset[r9]
+ else
+	mov	r13,qword ptr end_stack
+ endif
+	test	rdx,rdx 
+	je	pmark_next_node
+	mov	qword ptr [rdx],rcx 
+	jmp	pmark_next_node
+
+
+pmarkr_using_reversal:
+	push	rcx 
+	mov	rsi,1
+	mov	rcx,qword ptr [rcx]
+	jmp	pmarkr_node
+
+pmarkr_arguments:
+	mov	rax,qword ptr [rcx]
+	test	al,2
+	je	pmarkr_lazy_node
+
+	movzx	rbp,word ptr (-2)[rax]
+	test	rbp,rbp 
+	je	pmarkr_hnf_0
+
+	add	rcx,8
+
+	cmp	rbp,256
+	jae	pmarkr_record
+
+	sub	rbp,2
+	je	pmarkr_hnf_2
+	jb	pmarkr_hnf_1
+
+pmarkr_hnf_3:
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	add	r14,3
+
+	or	dword ptr [rdi+rbx*4],edx 
+
+	cmp	rdx,20000000h
+
+	mov	rax,qword ptr 8[rcx]
+
+	jbe	pmarkr_fits_in_word_1
+	or	dword ptr 4[rdi+rbx*4],1
+pmarkr_fits_in_word_1:
+	add	rax,r10
+
+	mov	rbx,rax 
+	and	rax,31*8
+
+	shr	rbx,8
+
+	mov	edx,dword ptr (bit_set_table2)[rax]
+	test	edx,dword ptr [rdi+rbx*4]
+	jne	pmarkr_shared_argument_part
+
+pmarkr_no_shared_argument_part:
+	or	dword ptr [rdi+rbx*4],edx 
+	mov	rdx,qword ptr 8[rcx]
+
+	add	rbp,1
+	mov	qword ptr 8[rcx],rsi 
+
+	add	r14,rbp 
+	add	rcx,8
+
+	shl	rbp,3
+	or	qword ptr [rdx],1
+
+	add	rax,rbp
+	add	rdx,rbp
+
+	cmp	rax,32*8
+	jbe	pmarkr_fits_in_word_2
+	or	dword ptr 4[rdi+rbx*4],1
+pmarkr_fits_in_word_2:
+
+	mov	rbp ,qword ptr (-8)[rdx]
+	mov	qword ptr (-8)[rdx],rcx 
+	lea	rsi,(-8)[rdx]
+	mov	rcx,rbp 
+	jmp	pmarkr_node
+
+pmarkr_hnf_1:
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	add	r14,2
+	or	dword ptr [rdi+rbx*4],edx 
+	cmp	rdx,40000000h
+	jbe	pmarkr_shared_argument_part
+	or	dword ptr 4[rdi+rbx*4],1
+pmarkr_shared_argument_part:
+	mov	rbp,qword ptr [rcx]
+	mov	qword ptr [rcx],rsi 
+	lea	rsi,2[rcx]
+	mov	rcx,rbp
+	jmp	pmarkr_node
+
+pmarkr_no_selector_2:
+	pop	rbx 
+pmarkr_no_selector_1:
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	add	r14,3
+	or	dword ptr [rdi+rbx*4],edx 
+	cmp	rdx,20000000h
+	jbe	pmarkr_shared_argument_part
+
+	or	dword ptr 4[rdi+rbx*4],1
+	jmp	pmarkr_shared_argument_part
+
+pmarkr_lazy_node_1:
+	je	pmarkr_no_selector_1
+
+pmarkr_selector_node_1:
+	add	rbp,2
+	je	pmarkr_indirection_node
+
+	add	rbp,1
+
+	push	rbx 
+	mov	rbp,qword ptr [rcx]
+	push	rax 
+	lea	rax,[r10+rbp]
+
+	jle	pmarkr_record_selector_node_1
+
+	mov	rbx,rax 
+	and	rax,31*8
+	shr	rbx,8
+	mov	eax,dword ptr (bit_set_table2)[rax]
+	test	eax,dword ptr [rdi+rbx*4]
+	pop	rax 
+	jne	pmarkr_no_selector_2
+
+	mov	rbx,qword ptr [rbp]
+	test	bl,2
+	je	pmarkr_no_selector_2
+
+	cmp	word ptr (-2)[rbx],2
+	jbe	pmarkr_small_tuple_or_record
+
+pmarkr_large_tuple_or_record:
+ if THREAD
+	mov	r13,qword ptr 16[rbp]
+	add	r13,r10
+	mov	rbx,r13
+	and	r13,31*8
+ else
+	mov	r8,qword ptr 16[rbp]
+	mov	r9,r8
+
+	add	r8,r10
+	mov	rbx,r8
+	and	r8,31*8
+ endif
+	shr	rbx,8
+ if THREAD
+	mov	r13d,dword ptr (bit_set_table2)[r13]
+	test	r13d,dword ptr [rdi+rbx*4]
+ else
+	mov	r8d,dword ptr (bit_set_table2)[r8]
+	test	r8d,dword ptr [rdi+rbx*4]
+ endif
+	jne	pmarkr_no_selector_2
+
+ ifdef NEW_DESCRIPTORS
+  if THREAD
+	mov	rbx,qword ptr 16[rbp]
+  endif
+	mov	eax,dword ptr (-8)[rax]
+	lea	rdx,__indirection
+  if THREAD
+  else
+	pop	rbx 
+  endif
+
+	mov	qword ptr (-8)[rcx],rdx
+	movzx	eax,word ptr 4[rax]
+ if THREAD
+	mov	r13,rcx
+ else
+	mov	r8,rcx
+ endif
+
+	cmp	rax,16
+	jl	pmarkr_tuple_selector_node_1
+  if THREAD
+  else
+	mov	rdx,r9
+  endif
+	je	pmarkr_tuple_selector_node_2
+  if THREAD
+	mov	rcx,qword ptr (-24)[rbx+rax]
+	mov	qword ptr [r13],rcx
+	pop	rbx
+  else
+	mov	rcx,qword ptr (-24)[r9+rax]
+	mov	qword ptr [r8],rcx
+  endif
+	jmp	pmarkr_node
+
+pmarkr_tuple_selector_node_2:
+  if THREAD
+	mov	rcx,qword ptr [rbx]
+	mov	qword ptr [r13],rcx
+	pop	rbx
+  else
+	mov	rcx,qword ptr [r9]
+	mov	qword ptr [r8],rcx
+  endif
+	jmp	pmarkr_node
+ endif
+
+pmarkr_small_tuple_or_record:
+ ifdef NEW_DESCRIPTORS
+	mov	eax,(-8)[rax]
+	lea	rdx,__indirection
+  if THREAD
+  else
+	pop	rbx 
+  endif
+
+	mov	qword ptr (-8)[rcx],rdx
+	movzx	eax,word ptr 4[rax]
+ if THREAD
+	mov	r13,rcx
+ else
+	mov	r8,rcx
+ endif
+pmarkr_tuple_selector_node_1:
+	mov	rcx,qword ptr [rbp+rax]
+ if THREAD
+	mov	qword ptr [r13],rcx
+	pop	rbx
+ else
+	mov	qword ptr [r8],rcx
+ endif
+	jmp	pmarkr_node
+ else
+	mov	eax,(-8)[rax]
+	pop	rbx 
+
+	push	rcx
+	mov	rcx,qword ptr [rcx]
+	mov	eax,4[rax]
+	call	near ptr rax
+	pop	rdx 
+
+	mov	qword ptr (-8)[rdx],offset __indirection
+	mov	qword ptr [rdx],rcx 
+ endif
+	jmp	pmarkr_node
+
+pmarkr_record_selector_node_1:
+	je	pmarkr_strict_record_selector_node_1
+
+	mov	rbx,rax
+	and	rax,31*8
+	shr	rbx,8
+	mov	eax,dword ptr (bit_set_table2)[rax]
+	test	eax,dword ptr [rdi+rbx*4]
+	pop	rax
+	jne	pmarkr_no_selector_2
+
+	mov	rbx,qword ptr [rbp]
+	test	bl,2
+	je	pmarkr_no_selector_2
+	
+	cmp	word ptr (-2)[rbx],258
+ ifdef NEW_DESCRIPTORS
+	jbe	pmarkr_small_record
+
+  if THREAD
+	mov	r13,qword ptr 16[rbp]
+	add	r13,r10
+	mov	rbx,r13
+	and	r13,31*8
+  else
+	mov	r8,qword ptr 16[rbp]
+	mov	r9,r8
+
+	add	r8,r10
+	mov	rbx,r8
+	and	r8,31*8
+  endif
+	shr	rbx,8
+  if THREAD
+	mov	r13d,dword ptr (bit_set_table2)[r13]
+	test	r13d,dword ptr [rdi+rbx*4]
+  else
+	mov	r8d,dword ptr (bit_set_table2)[r8]
+	test	r8d,dword ptr [rdi+rbx*4]
+  endif
+	jne	pmarkr_no_selector_2
+
+  if THREAD
+	mov	rbx,qword ptr 16[rbp]
+  endif
+
+pmarkr_small_record:
+	mov	eax,dword ptr (-8)[rax]
+	lea	rdx,__indirection
+  if THREAD
+  else
+	pop	rbx 
+  endif
+
+	mov	qword ptr (-8)[rcx],rdx
+	movzx	eax,word ptr 4[rax]
+  if THREAD
+	mov	r13,rcx
+  else
+	mov	r8,rcx
+  endif
+
+	cmp	rax,16
+	jle	pmarkr_record_selector_node_2
+  if THREAD
+	mov	rbp,rbx
+  else
+	mov	rdx,r9
+  endif
+	sub	rax,24
+pmarkr_record_selector_node_2:
+	mov	rcx,qword ptr [rbp+rax]
+  if THREAD
+	mov	qword ptr [r13],rcx
+	pop	rbx
+  else
+	mov	qword ptr [r8],rcx
+  endif
+	jmp	pmarkr_node
+ else
+	jbe	pmarkr_small_tuple_or_record
+	jmp	pmarkr_large_tuple_or_record
+ endif
+
+pmarkr_strict_record_selector_node_1:
+	mov	rbx,rax 
+	and	rax,31*8
+	shr	rbx,8
+	mov	eax,dword ptr (bit_set_table2)[rax]
+	test	eax,dword ptr [rdi+rbx*4]
+	pop	rax 
+	jne	pmarkr_no_selector_2
+
+	mov	rbx,qword ptr [rbp]
+	test	bl,2
+	je	pmarkr_no_selector_2
+
+	cmp	word ptr (-2)[rbx],258
+	jle	pmarkr_select_from_small_record
+
+ if THREAD
+	mov	r13,qword ptr 16[rbp]
+	add	r13,r10
+	mov	rbx,r13 
+	and	r13,31*8
+ else
+	mov	r8,qword ptr 16[rbp]
+	mov	r9,r8
+
+	add	r8,r10
+	mov	rbx,r8 
+	and	r8,31*8
+ endif
+	shr	rbx,8
+ if THREAD
+	mov	r13d,dword ptr (bit_set_table2)[r13]
+	test	r13d,dword ptr [rdi+rbx*4]
+ else
+	mov	r8d,dword ptr (bit_set_table2)[r8]
+	test	r8d,dword ptr [rdi+rbx*4]
+ endif
+	jne	pmarkr_no_selector_2
+ if THREAD
+	mov	r13,qword ptr 16[rbp]
+ endif
+
+pmarkr_select_from_small_record:
+ ifdef NEW_DESCRIPTORS
+	mov	eax,(-8)[rax]
+	sub	rcx,8
+
+	movzx	ebx,word ptr 4[rax]
+	cmp	rbx,16
+	jle	pmarkr_strict_record_selector_node_2
+ if THREAD
+	mov	rbx,qword ptr (-24)[r13+rbx]
+ else
+	mov	rbx,qword ptr (-24)[r9+rbx]
+ endif
+	jmp	pmarkr_strict_record_selector_node_3
+pmarkr_strict_record_selector_node_2:
+	mov	rbx,qword ptr [rdx+rbx]
+pmarkr_strict_record_selector_node_3:
+	mov	qword ptr 8[rcx],rbx
+
+	movzx	ebx,word ptr 6[rax]
+	test	rbx,rbx
+	je	pmarkr_strict_record_selector_node_5
+	cmp	rbx,16
+	jle	pmarkr_strict_record_selector_node_4
+ if THREAD
+	mov	rbp,r13
+ else
+	mov	rbp,r9
+ endif
+	sub	rbx,24
+pmarkr_strict_record_selector_node_4:
+	mov	rbx,qword ptr [rbp+rbx]
+	mov	qword ptr 16[rcx],rbx
+pmarkr_strict_record_selector_node_5:
+	mov	rax,qword ptr (-8)[rax]
+	mov	qword ptr [rcx],rax
+	pop	rbx
+ else
+	mov	eax,(-8)[rax]
+	pop	rbx 
+	mov	rdx,qword ptr [rcx]
+	sub	rcx,8
+	mov	eax,4[rax]
+	call	near ptr rax
+ endif
+	jmp	pmarkr_node
+
+pmarkr_indirection_node:
+	mov	rcx,qword ptr [rcx]
+	jmp	pmarkr_node
+
+pmarkr_hnf_2:
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	add	r14,3
+	or	dword ptr [rdi+rbx*4],edx 
+	cmp	rdx,20000000h
+	jbe	pmarkr_fits_in_word_6
+	or	dword ptr 4[rdi+rbx*4],1
+pmarkr_fits_in_word_6:
+
+pmarkr_record_2_c:
+	mov	rax,qword ptr [rcx]
+	mov	rbp,qword ptr 8[rcx]
+	or	rax,2
+	mov	qword ptr 8[rcx],rsi 
+	mov	qword ptr [rcx],rax 
+	lea	rsi,8[rcx]
+	mov	rcx,rbp 
+
+pmarkr_node:
+	lea	rdx,[r10+rcx] 
+
+	cmp	rdx,r11
+	jae	pmarkr_next_node
+
+	mov	rbx,rdx 
+	and	rdx,31*8
+	shr	rbx,8
+	mov	ebp,dword ptr (bit_set_table2)[rdx]
+	test	ebp,dword ptr [rdi+rbx*4]
+	je	pmarkr_arguments
+
+pmarkr_next_node:
+	test	rsi,3
+	jne	pmarkr_parent
+
+	mov	rbp,qword ptr (-8)[rsi]
+	mov	rdx,qword ptr [rsi]
+	mov	qword ptr [rsi],rcx 
+	mov	qword ptr (-8)[rsi],rdx 
+	sub	rsi,8
+
+	mov	rcx,rbp 
+	and	rbp,3
+	and	rcx,-4
+	or	rsi,rbp 
+	jmp	pmarkr_node
+
+pmarkr_parent:
+	mov	rbx,rsi 
+	and	rsi,-4
+	je	end_pmarkr_using_reversal
+
+	and	rbx,3
+	mov	rbp,qword ptr [rsi]
+	mov	qword ptr [rsi],rcx 
+
+	sub	rbx,1
+	je	pmarkr_argument_part_parent
+
+	lea	rcx,(-8)[rsi]
+	mov	rsi,rbp 
+	jmp	pmarkr_next_node
+	
+pmarkr_argument_part_parent:
+	and	rbp,-4
+	mov	rdx,rsi 
+	mov	rcx,qword ptr (-8)[rbp]
+	mov	rbx,qword ptr [rbp]
+	mov	qword ptr (-8)[rbp],rbx 
+	mov	qword ptr [rbp],rdx 
+	lea	rsi,(2-8)[rbp]
+	jmp	pmarkr_node
+
+pmarkr_lazy_node:
+	movsxd	rbp,dword ptr (-4)[rax]
+	test	rbp,rbp 
+	je	pmarkr_real_or_file
+
+	add	rcx,8
+	cmp	rbp,1
+	jle	pmarkr_lazy_node_1
+	cmp	rbp,256
+	jge	pmarkr_closure_with_unboxed_arguments
+
+	add	rbp,1
+	mov	rax,rdx 
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	add	r14,rbp 
+
+	lea	rax,[rax+rbp*8]
+	sub	rbp,2
+
+	or	dword ptr [rdi+rbx*4],edx 
+
+	cmp	rax,32*8
+	jbe	pmarkr_fits_in_word_7
+	or	dword ptr 4[rdi+rbx*4],1
+pmarkr_fits_in_word_7:
+pmarkr_closure_with_unboxed_arguments_2:
+	lea	rdx,[rcx+rbp*8]
+	mov	rax,qword ptr [rcx]
+	or	rax,2
+	mov	qword ptr [rcx],rax 
+	mov	rcx,qword ptr [rdx]
+	mov	qword ptr [rdx],rsi 
+	mov	rsi,rdx 
+	jmp	pmarkr_node
+
+pmarkr_closure_with_unboxed_arguments:
+	mov	rax,rbp 
+	and	rbp,255
+
+	sub	rbp,1
+	je	pmarkr_closure_1_with_unboxed_argument
+	add	rbp,2
+
+	shr	rax,8
+	add	r14,rbp 
+
+	push	rcx 
+	lea	rcx,[rdx+rbp*8]
+
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	sub	rbp,rax 
+
+	or	dword ptr [rdi+rbx*4],edx 
+	cmp	rcx,32*8
+	jbe	pmarkr_fits_in_word_7_
+	or	dword ptr 4[rdi+rbx*4],1
+pmarkr_fits_in_word_7_:
+	pop	rcx
+	sub	rbp,2
+	jg	pmarkr_closure_with_unboxed_arguments_2
+	je	pmarkr_shared_argument_part
+	sub	rcx,8
+	jmp	pmarkr_next_node
+
+pmarkr_closure_1_with_unboxed_argument:
+	sub	rcx,8
+	jmp	pmarkr_real_or_file
+
+pmarkr_hnf_0:
+	cmp	rax,offset dINT+2
+	jne	pmarkr_no_int_3
+
+	mov	rbp,qword ptr 8[rcx]
+	cmp	rbp,33
+
+	jb	pmarkr_small_int
+
+pmarkr_bool_or_small_string:
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	add	r14,2
+	or	dword ptr [rdi+rbx*4],edx 
+	cmp	rdx,40000000h
+	jbe	pmarkr_next_node
+	or	dword ptr 4[rdi+rbx*4],1
+	jmp	pmarkr_next_node
+
+pmarkr_small_int:
+	shl	rbp,4
+	lea	rcx,(small_integers)[rbp]
+	jmp	pmarkr_next_node
+
+pmarkr_no_int_3:
+	jb	pmarkr_real_file_or_string
+
+ 	cmp	rax,offset CHAR+2
+ 	jne	pmarkr_no_char_3
+
+	movzx	rbp,byte ptr 8[rcx]
+	shl	rbp,4
+	lea	rcx,(static_characters)[rbp]
+	jmp	pmarkr_next_node
+
+pmarkr_no_char_3:
+	jb	pmarkr_bool_or_small_string
+
+ ifdef NEW_DESCRIPTORS
+	lea	rcx,((-8)-2)[rax]
+ else
+	lea	rcx,((-12)-2)[rax]
+ endif
+	jmp	pmarkr_next_node
+
+pmarkr_real_file_or_string:
+ if THREAD
+	cmp	rax,offset __STRING__+2 
+ else
+	lea	r9,__STRING__+2
+	cmp	rax,r9
+ endif
+	jbe	pmarkr_string_or_array
+
+pmarkr_real_or_file:
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	add	r14,3
+
+	or	dword ptr [rdi+rbx*4],edx 
+	
+	cmp	rdx,20000000h
+	jbe	pmarkr_next_node
+
+	or	dword ptr 4[rdi+rbx*4],1
+	jmp	pmarkr_next_node
+
+pmarkr_record:
+	sub	rbp,258
+	je	pmarkr_record_2
+	jl	pmarkr_record_1
+
+pmarkr_record_3:
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	add	r14,3
+	or	dword ptr [rdi+rbx*4],edx 
+	cmp	rdx,20000000h
+	jbe	pmarkr_fits_in_word_13
+	or	dword ptr 4[rdi+rbx*4],1
+pmarkr_fits_in_word_13:
+	movzx	rbx,word ptr (-2+2)[rax]
+
+	mov	rdx,qword ptr 8[rcx]
+	lea	rdx,[r10+rdx]
+	mov	rax,rdx 
+	and	rdx,31*8
+	shr	rax,8
+
+	push	rsi 
+
+	mov	esi,dword ptr (bit_set_table2)[rdx]
+	test	esi,dword ptr [rdi+rax*4]
+	jne	pmarkr_shared_record_argument_part
+
+	add	rbp,1
+	or	dword ptr [rdi+rax*4],esi 
+
+	lea	rdx,[rdx+rbp*8]
+	add	r14,rbp 
+
+	pop	rsi 
+
+	cmp	rdx,32*8
+	jbe	pmarkr_fits_in_word_14
+	or	dword ptr 4[rdi+rax*4],1
+pmarkr_fits_in_word_14:
+	sub	rbx,1
+	mov	rdx,qword ptr 8[rcx]
+	jl	pmarkr_record_3_bb
+	je	pmarkr_shared_argument_part
+
+	mov	qword ptr 8[rcx],rsi 
+	add	rcx,8
+
+	sub	rbx,1
+	je	pmarkr_record_3_aab
+
+	lea	rsi,[rdx+rbx*8]
+	mov	rax,qword ptr [rdx]
+	or	rax,1
+	mov	rbp,qword ptr [rsi]
+	mov	qword ptr [rdx],rax 
+	mov	qword ptr [rsi],rcx 
+	mov	rcx,rbp
+	jmp	pmarkr_node
+
+pmarkr_record_3_bb:
+	sub	rcx,8
+	jmp	pmarkr_next_node
+
+pmarkr_record_3_aab:
+	mov	rbp,qword ptr [rdx]
+	mov	qword ptr [rdx],rcx 
+	lea	rsi,1[rdx]
+	mov	rcx,rbp 
+	jmp	pmarkr_node
+
+pmarkr_shared_record_argument_part:
+	mov	rdx,qword ptr 8[rcx]
+
+	pop	rsi 
+
+	test	rbx,rbx 
+	jne	pmarkr_shared_argument_part
+	sub	rcx,8
+	jmp	pmarkr_next_node
+
+pmarkr_record_2:
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	add	r14,3
+	or	dword ptr [rdi+rbx*4],edx 
+	cmp	rdx,20000000h
+	jbe	pmarkr_fits_in_word_12
+	or	dword ptr 4[rdi+rbx*4],1
+pmarkr_fits_in_word_12:
+	cmp	word ptr (-2+2)[rax],1
+	ja	pmarkr_record_2_c
+	je	pmarkr_shared_argument_part
+	sub	rcx,8
+	jmp	pmarkr_next_node
+
+pmarkr_record_1:
+	cmp	word ptr (-2+2)[rax],0
+	jne	pmarkr_hnf_1
+	sub	rcx,8
+	jmp	pmarkr_bool_or_small_string
+
+pmarkr_string_or_array:
+	je	pmarkr_string_
+
+pmarkr_array:
+	mov	rbp,qword ptr 16[rcx]
+	test	rbp,rbp 
+	je	pmarkr_lazy_array
+
+	movzx	rax,word ptr (-2)[rbp]
+	test	rax,rax 
+	je	pmarkr_strict_basic_array
+
+	movzx	rbp,word ptr (-2+2)[rbp]
+	test	rbp,rbp
+	je	pmarkr_b_record_array
+
+	sub	rax,256
+	cmp	rax,rbp 
+	je	pmarkr_a_record_array
+
+pmarkr_ab_record_array:
+	push	rdx 
+	push	rbx 
+	mov	rbx,rbp 
+
+	mov	rbp,qword ptr 8[rcx]
+	add	rcx,16
+	push	rcx 
+
+	shl	rbp,3
+	mov	rdx,rax 
+	imul	rdx,rbp 
+
+	sub	rax,rbx 
+	add	rcx,8
+	add	rdx,rcx 
+
+	call	reorder
+	
+	pop	rcx 
+
+	xchg	rax,rbx 
+	mov	rbp,qword ptr (-8)[rcx]
+	imul	rax,rbp 
+	imul	rbx,rbp 
+	add	r14,rbx 
+	add	rbx,rax 
+
+	shl	rbx,3
+	lea	rbp,[r10+rcx]
+	add	rbp,rbx 
+
+	pop	rbx 
+	pop	rdx 
+
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	or	dword ptr [rdi+rbx*4],edx 
+
+	lea	rdx,[rcx+rax*8]
+	jmp	pmarkr_r_array
+
+pmarkr_a_record_array:
+	imul	rax,qword ptr 8[rcx]
+	add	rcx,16
+	jmp	pmarkr_lr_array
+
+pmarkr_lazy_array:
+	mov	rax,qword ptr 8[rcx]
+	add	rcx,16
+
+pmarkr_lr_array:
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	mov	rbp,r10
+	or	dword ptr [rdi+rbx*4],edx
+	lea	rdx,[rcx+rax*8]
+	add	rbp,rdx 
+pmarkr_r_array:
+	shr	rbp,8
+
+	cmp	rbx,rbp 
+	jae	pmarkr_skip_mark_lazy_array_bits
+
+	inc	rbx 
+
+pmarkr_lazy_array_bits:
+	or	dword ptr [rdi+rbx*4],1
+	inc	rbx 
+	cmp	rbx,rbp 
+	jbe	pmarkr_lazy_array_bits
+
+pmarkr_skip_mark_lazy_array_bits:
+	add	r14,3
+	add	r14,rax 
+
+	cmp	rax,1
+	jbe	pmarkr_array_length_0_1
+
+	mov	rbp,qword ptr [rdx]
+	mov	rbx,qword ptr [rcx]
+	mov	qword ptr [rdx],rbx 
+	mov	qword ptr [rcx],rbp 
+	
+	mov	rbp,qword ptr (-8)[rdx]
+	sub	rdx,8
+ if THREAD
+	mov	rbx,qword ptr lazy_array_list_offset[r9]
+ else
+	mov	rbx,qword ptr lazy_array_list
+ endif
+	add	rbp,2
+	mov	qword ptr [rdx],rbx 
+	mov	qword ptr (-8)[rcx],rbp 
+	mov	qword ptr (-16)[rcx],rax 
+	sub	rcx,16
+ if THREAD
+	mov	qword ptr lazy_array_list_offset[r9],rcx 
+ else
+	mov	qword ptr lazy_array_list,rcx 
+ endif
+
+	mov	rcx,qword ptr (-8)[rdx]
+	mov	qword ptr (-8)[rdx],rsi 
+	lea	rsi,(-8)[rdx]
+	jmp	pmarkr_node
+
+pmarkr_array_length_0_1:
+	lea	rcx,(-16)[rcx]
+	jb	pmarkr_next_node
+
+	mov	rbx,qword ptr 24[rcx]
+	mov	rbp,qword ptr 16[rcx]
+ if THREAD
+	mov	rdx,qword ptr lazy_array_list_offset[r9]
+ else
+	mov	rdx,qword ptr lazy_array_list
+ endif
+	mov	qword ptr 24[rcx],rbp 
+	mov	qword ptr 16[rcx],rdx 
+	mov	qword ptr [rcx],rax
+ if THREAD
+	mov	qword ptr lazy_array_list_offset[r9],rcx 
+ else
+	mov	qword ptr lazy_array_list,rcx 
+ endif
+	mov	qword ptr 8[rcx],rbx
+	add	rcx,8
+
+	mov	rbp,qword ptr [rcx]
+	mov	qword ptr [rcx],rsi 
+	lea	rsi,2[rcx]
+	mov	rcx,rbp 
+	jmp	pmarkr_node
+	
+pmarkr_b_record_array:
+	mov	rbp,qword ptr 8[rcx]
+	sub	rax,256
+	imul	rax,rbp 
+	add	rax,3
+	jmp	pmarkr_basic_array
+
+pmarkr_strict_basic_array:
+	mov	rax,qword ptr 8[rcx]
+	cmp	rbp,offset dINT+2
+	jle	pmarkr_strict_int_or_real_array
+	cmp	rbp,offset BOOL+2
+	je	pmarkr_strict_bool_array
+	add	rax,6+1
+	shr	rax,1
+	jmp	pmarkr_basic_array
+pmarkr_strict_int_or_real_array:
+	add	rax,3
+	jmp	pmarkr_basic_array
+pmarkr_strict_bool_array:
+	add	rax,24+7
+	shr	rax,3
+	jmp	pmarkr_basic_array
+
+pmarkr_string_:
+	mov	rax,qword ptr 8[rcx]
+	add	rax,16+7
+	shr	rax,3
+
+pmarkr_basic_array:
+	mov	edx,dword ptr (bit_set_table2)[rdx]
+	add	r14,rax 
+
+	or	dword ptr [rdi+rbx*4],edx 
+	lea	rax,(-8)[rcx+rax*8]
+	
+	add	rax,r10
+	shr	rax,8
+
+	cmp	rbx,rax 
+	jae	pmarkr_next_node
+
+	inc	rbx 
+	mov	rbp,1
+
+	cmp	rbx,rax 
+	jae	pmarkr_last_string_bits
+
+pmarkr_string_lp:
+	or	dword ptr [rdi+rbx*4],ebp 
+	inc	rbx 
+	cmp	rbx,rax 
+	jb	pmarkr_string_lp
+
+pmarkr_last_string_bits:
+	or	dword ptr [rdi+rbx*4],ebp 
+	jmp	pmarkr_next_node