summaryrefslogtreecommitdiff
path: root/thumb2compact_rmarkr.s
diff options
context:
space:
mode:
Diffstat (limited to 'thumb2compact_rmarkr.s')
-rw-r--r--thumb2compact_rmarkr.s1233
1 files changed, 616 insertions, 617 deletions
diff --git a/thumb2compact_rmarkr.s b/thumb2compact_rmarkr.s
index d684e3f..3256ca1 100644
--- a/thumb2compact_rmarkr.s
+++ b/thumb2compact_rmarkr.s
@@ -1,275 +1,274 @@
-
ZERO_ARITY_DESCRIPTOR_OFFSET = -4
NO_BIT_INSTRUCTIONS = 1
rmark_using_reversal:
- str r9,[sp,#-4]!
- str r9,[sp,#-4]!
- mov r9,#1
+ str ASTACK_PTR,[sp,#-4]!
+ str ASTACK_PTR,[sp,#-4]!
+ mov ASTACK_PTR,#1
b rmarkr_node
rmark_using_reversal_:
- subs r6,r6,#4
- str r3,[sp,#-4]!
- str r9,[sp,#-4]!
- cmp r6,r3
+ subs ASTACK_0,ASTACK_0,#4
+ str BSTACK_1,[sp,#-4]!
+ str ASTACK_PTR,[sp,#-4]!
+ cmp ASTACK_0,BSTACK_1
bhi rmark_no_undo_reverse_1
- str r6,[r9]
- str r4,[r6]
+ str ASTACK_0,[ASTACK_PTR]
+ str BSTACK_0,[ASTACK_0]
rmark_no_undo_reverse_1:
- mov r9,#1
+ mov ASTACK_PTR,#1
b rmarkr_arguments
rmark_array_using_reversal:
- str r3,[sp,#-4]!
- str r9,[sp,#-4]!
- cmp r6,r3
+ str BSTACK_1,[sp,#-4]!
+ str ASTACK_PTR,[sp,#-4]!
+ cmp ASTACK_0,BSTACK_1
bhi rmark_no_undo_reverse_2
- str r6,[r9]
- laol r12,__ARRAY__+2,__ARRAY___o_2,18
- otoa r12,__ARRAY___o_2,18
- str r12,[r6]
+ str ASTACK_0,[ASTACK_PTR]
+ laol SCRATCH_REG,__ARRAY__+2,__ARRAY___o_2,18
+ otoa SCRATCH_REG,__ARRAY___o_2,18
+ str SCRATCH_REG,[ASTACK_0]
rmark_no_undo_reverse_2:
- mov r9,#1
+ mov ASTACK_PTR,#1
b rmarkr_arguments
rmarkr_hnf_2:
- ldr r12,[r6]
- orr r12,r12,#2
- str r12,[r6]
- ldr r8,[r6,#4]
- str r9,[r6,#4]
- add r9,r6,#4
- mov r6,r8
+ ldr SCRATCH_REG,[ASTACK_0]
+ orr SCRATCH_REG,SCRATCH_REG,#2
+ str SCRATCH_REG,[ASTACK_0]
+ ldr ASTACK_2,[ASTACK_0,#4]
+ str ASTACK_PTR,[ASTACK_0,#4]
+ add ASTACK_PTR,ASTACK_0,#4
+ mov ASTACK_0,ASTACK_2
rmarkr_node:
- sub r4,r6,r11
- cmp r4,r2
+ sub BSTACK_0,ASTACK_0,ASTACK_3
+ cmp BSTACK_0,BSTACK_2
bhs rmarkr_next_node_after_static
- lsr r3,r4,#7
- lsr r4,r4,#2
- and r4,r4,#31
- mov r12,#1
- lsl r4,r12,r4
- ldr r8,[r10,r3,lsl #2]
- tst r8,r4
+ lsr BSTACK_1,BSTACK_0,#7
+ lsr BSTACK_0,BSTACK_0,#2
+ and BSTACK_0,BSTACK_0,#31
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr ASTACK_2,[HEAP_PTR,BSTACK_1,lsl #2]
+ tst ASTACK_2,BSTACK_0
bne rmarkr_next_node
- orr r8,r8,r4
- str r8,[r10,r3,lsl #2]
+ orr ASTACK_2,ASTACK_2,BSTACK_0
+ str ASTACK_2,[HEAP_PTR,BSTACK_1,lsl #2]
rmarkr_arguments:
- ldr r4,[r6]
- tst r4,#2
+ ldr BSTACK_0,[ASTACK_0]
+ tst BSTACK_0,#2
beq rmarkr_lazy_node
- ldrh r8,[r4,#-2]
- tst r8,r8
+ ldrh ASTACK_2,[BSTACK_0,#-2]
+ tst ASTACK_2,ASTACK_2
beq rmarkr_hnf_0
- add r6,r6,#4
+ add ASTACK_0,ASTACK_0,#4
- cmp r8,#256
+ cmp ASTACK_2,#256
bhs rmarkr_record
- subs r8,r8,#2
+ subs ASTACK_2,ASTACK_2,#2
beq rmarkr_hnf_2
blo rmarkr_hnf_1
rmarkr_hnf_3:
- ldr r7,[r6,#4]
+ ldr ASTACK_1,[ASTACK_0,#4]
- sub r4,r7,r11
+ sub BSTACK_0,ASTACK_1,ASTACK_3
- lsr r3,r4,#7
- lsr r4,r4,#2
- and r4,r4,#31
- mov r12,#1
- lsl r4,r12,r4
- ldr r12,[r10,r3,lsl #2]
- tst r4,r12
+ lsr BSTACK_1,BSTACK_0,#7
+ lsr BSTACK_0,BSTACK_0,#2
+ and BSTACK_0,BSTACK_0,#31
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
+ tst BSTACK_0,SCRATCH_REG
bne rmarkr_shared_argument_part
- orr r12,r12,r4
- str r12,[r10,r3,lsl #2]
+ orr SCRATCH_REG,SCRATCH_REG,BSTACK_0
+ str SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
rmarkr_no_shared_argument_part:
- ldr r12,[r6]
- orr r12,r12,#2
- str r12,[r6]
- str r9,[r6,#4]
- add r6,r6,#4
-
- ldr r12,[r7]
- orr r12,r12,#1
- str r12,[r7]
- add r7,r7,r8,lsl #2
-
- ldr r8,[r7]
- str r6,[r7]
- mov r9,r7
- mov r6,r8
+ ldr SCRATCH_REG,[ASTACK_0]
+ orr SCRATCH_REG,SCRATCH_REG,#2
+ str SCRATCH_REG,[ASTACK_0]
+ str ASTACK_PTR,[ASTACK_0,#4]
+ add ASTACK_0,ASTACK_0,#4
+
+ ldr SCRATCH_REG,[ASTACK_1]
+ orr SCRATCH_REG,SCRATCH_REG,#1
+ str SCRATCH_REG,[ASTACK_1]
+ add ASTACK_1,ASTACK_1,ASTACK_2,lsl #2
+
+ ldr ASTACK_2,[ASTACK_1]
+ str ASTACK_0,[ASTACK_1]
+ mov ASTACK_PTR,ASTACK_1
+ mov ASTACK_0,ASTACK_2
b rmarkr_node
rmarkr_shared_argument_part:
- cmp r7,r6
+ cmp ASTACK_1,ASTACK_0
bhi rmarkr_hnf_1
- ldr r3,[r7]
- add r4,r6,#4+2+1
- str r4,[r7]
- str r3,[r6,#4]
+ ldr BSTACK_1,[ASTACK_1]
+ add BSTACK_0,ASTACK_0,#4+2+1
+ str BSTACK_0,[ASTACK_1]
+ str BSTACK_1,[ASTACK_0,#4]
b rmarkr_hnf_1
rmarkr_record:
- mov r12,#258/2
- subs r8,r8,r12,lsl #1
+ mov SCRATCH_REG,#258/2
+ subs ASTACK_2,ASTACK_2,SCRATCH_REG,lsl #1
beq rmarkr_record_2
blo rmarkr_record_1
rmarkr_record_3:
- ldrh r8,[r4,#-2+2]
- subs r8,r8,#1
+ ldrh ASTACK_2,[BSTACK_0,#-2+2]
+ subs ASTACK_2,ASTACK_2,#1
blo rmarkr_record_3_bb
beq rmarkr_record_3_ab
- subs r8,r8,#1
+ subs ASTACK_2,ASTACK_2,#1
beq rmarkr_record_3_aab
b rmarkr_hnf_3
rmarkr_record_3_bb:
- ldr r7,[r6,#8-4]
- subs r6,r6,#4
+ ldr ASTACK_1,[ASTACK_0,#8-4]
+ subs ASTACK_0,ASTACK_0,#4
- sub r4,r7,r11
+ sub BSTACK_0,ASTACK_1,ASTACK_3
- lsr r8,r4,#7
- lsr r4,r4,#2
- and r4,r4,#31
- mov r12,#1
- lsl r4,r12,r4
- ldr r12,[r10,r8,lsl #2]
- orr r12,r12,r4
- str r12,[r10,r8,lsl #2]
+ lsr ASTACK_2,BSTACK_0,#7
+ lsr BSTACK_0,BSTACK_0,#2
+ and BSTACK_0,BSTACK_0,#31
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
+ orr SCRATCH_REG,SCRATCH_REG,BSTACK_0
+ str SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
- cmp r7,r6
+ cmp ASTACK_1,ASTACK_0
bhi rmarkr_next_node
- add r4,r4,r4
+ add BSTACK_0,BSTACK_0,BSTACK_0
bne rmarkr_bit_in_same_word1
- add r8,r8,#1
- mov r4,#1
+ add ASTACK_2,ASTACK_2,#1
+ mov BSTACK_0,#1
rmarkr_bit_in_same_word1:
- ldr r12,[r10,r8,lsl #2]
- tst r4,r12
+ ldr SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
+ tst BSTACK_0,SCRATCH_REG
beq rmarkr_not_yet_linked_bb
- sub r4,r6,r11
+ sub BSTACK_0,ASTACK_0,ASTACK_3
- add r4,r4,#2*4
- lsr r8,r4,#7
- lsr r4,r4,#2
- and r4,r4,#31
- mov r12,#1
- lsl r4,r12,r4
- ldr r12,[r10,r8,lsl #2]
+ add BSTACK_0,BSTACK_0,#2*4
+ lsr ASTACK_2,BSTACK_0,#7
+ lsr BSTACK_0,BSTACK_0,#2
+ and BSTACK_0,BSTACK_0,#31
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
rmarkr_not_yet_linked_bb:
- orr r12,r12,r4
- str r12,[r10,r8,lsl #2]
+ orr SCRATCH_REG,SCRATCH_REG,BSTACK_0
+ str SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
- ldr r8,[r7]
- add r4,r6,#8+2+1
- str r8,[r6,#8]
- str r4,[r7]
+ ldr ASTACK_2,[ASTACK_1]
+ add BSTACK_0,ASTACK_0,#8+2+1
+ str ASTACK_2,[ASTACK_0,#8]
+ str BSTACK_0,[ASTACK_1]
b rmarkr_next_node
rmarkr_record_3_ab:
- ldr r7,[r6,#4]
+ ldr ASTACK_1,[ASTACK_0,#4]
- sub r4,r7,r11
+ sub BSTACK_0,ASTACK_1,ASTACK_3
- lsr r8,r4,#7
- lsr r4,r4,#2
- and r4,r4,#31
- mov r12,#1
- lsl r4,r12,r4
- ldr r12,[r10,r8,lsl #2]
- orr r12,r12,r4
- str r12,[r10,r8,lsl #2]
+ lsr ASTACK_2,BSTACK_0,#7
+ lsr BSTACK_0,BSTACK_0,#2
+ and BSTACK_0,BSTACK_0,#31
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
+ orr SCRATCH_REG,SCRATCH_REG,BSTACK_0
+ str SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
- cmp r7,r6
+ cmp ASTACK_1,ASTACK_0
bhi rmarkr_hnf_1
- add r4,r4,r4
+ add BSTACK_0,BSTACK_0,BSTACK_0
bne rmarkr_bit_in_same_word2
- add r8,r8,#1
- mov r4,#1
+ add ASTACK_2,ASTACK_2,#1
+ mov BSTACK_0,#1
rmarkr_bit_in_same_word2:
- ldr r12,[r10,r8,lsl #2]
- tst r4,r12
+ ldr SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
+ tst BSTACK_0,SCRATCH_REG
beq rmarkr_not_yet_linked_ab
- sub r4,r6,r11
+ sub BSTACK_0,ASTACK_0,ASTACK_3
- add r4,r4,#4
- lsr r8,r4,#7
- lsr r4,r4,#2
- and r4,r4,#31
- mov r12,#1
- lsl r4,r12,r4
- ldr r12,[r10,r8,lsl #2]
+ add BSTACK_0,BSTACK_0,#4
+ lsr ASTACK_2,BSTACK_0,#7
+ lsr BSTACK_0,BSTACK_0,#2
+ and BSTACK_0,BSTACK_0,#31
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
rmarkr_not_yet_linked_ab:
- orr r12,r12,r4
- str r12,[r10,r8,lsl #2]
+ orr SCRATCH_REG,SCRATCH_REG,BSTACK_0
+ str SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
- ldr r8,[r7]
- add r4,r6,#4+2+1
- str r8,[r6,#4]
- str r4,[r7]
+ ldr ASTACK_2,[ASTACK_1]
+ add BSTACK_0,ASTACK_0,#4+2+1
+ str ASTACK_2,[ASTACK_0,#4]
+ str BSTACK_0,[ASTACK_1]
b rmarkr_hnf_1
rmarkr_record_3_aab:
- ldr r7,[r6,#4]
+ ldr ASTACK_1,[ASTACK_0,#4]
- sub r4,r7,r11
+ sub BSTACK_0,ASTACK_1,ASTACK_3
- lsr r8,r4,#7
- lsr r4,r4,#2
- and r4,r4,#31
- mov r12,#1
- lsl r4,r12,r4
- ldr r12,[r10,r8,lsl #2]
- tst r4,r12
+ lsr ASTACK_2,BSTACK_0,#7
+ lsr BSTACK_0,BSTACK_0,#2
+ and BSTACK_0,BSTACK_0,#31
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
+ tst BSTACK_0,SCRATCH_REG
bne rmarkr_shared_argument_part
- ldr r12,[r10,r8,lsl #2]
- orr r12,r12,r4
- str r12,[r10,r8,lsl #2]
-
- ldr r12,[r6]
- add r12,r12,#2
- str r12,[r6]
- str r9,[r6,#4]
- add r6,r6,#4
-
- ldr r9,[r7]
- str r6,[r7]
- mov r6,r9
- add r9,r7,#1
+ ldr SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
+ orr SCRATCH_REG,SCRATCH_REG,BSTACK_0
+ str SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
+
+ ldr SCRATCH_REG,[ASTACK_0]
+ add SCRATCH_REG,SCRATCH_REG,#2
+ str SCRATCH_REG,[ASTACK_0]
+ str ASTACK_PTR,[ASTACK_0,#4]
+ add ASTACK_0,ASTACK_0,#4
+
+ ldr ASTACK_PTR,[ASTACK_1]
+ str ASTACK_0,[ASTACK_1]
+ mov ASTACK_0,ASTACK_PTR
+ add ASTACK_PTR,ASTACK_1,#1
b rmarkr_node
rmarkr_record_2:
- ldrh r12,[r4,#-2+2]
- cmp r12,#1
+ ldrh SCRATCH_REG,[BSTACK_0,#-2+2]
+ cmp SCRATCH_REG,#1
bhi rmarkr_hnf_2
beq rmarkr_hnf_1
- subs r6,r6,#4
+ subs ASTACK_0,ASTACK_0,#4
b rmarkr_next_node
rmarkr_record_1:
- ldrh r12,[r4,#-2+2]
- cmp r12,#0
+ ldrh SCRATCH_REG,[BSTACK_0,#-2+2]
+ cmp SCRATCH_REG,#0
bne rmarkr_hnf_1
- subs r6,r6,#4
+ subs ASTACK_0,ASTACK_0,#4
b rmarkr_next_node
rmarkr_lazy_node_1:
@@ -277,757 +276,757 @@ rmarkr_lazy_node_1:
bne rmarkr_selector_node_1
rmarkr_hnf_1:
- ldr r8,[r6]
- str r9,[r6]
+ ldr ASTACK_2,[ASTACK_0]
+ str ASTACK_PTR,[ASTACK_0]
- add r9,r6,#2
- mov r6,r8
+ add ASTACK_PTR,ASTACK_0,#2
+ mov ASTACK_0,ASTACK_2
b rmarkr_node
@ selectors
rmarkr_indirection_node:
- add r12,r6,#-4
- sub r3,r12,r11
-
- and r4,r3,#31*4
- lsr r3,r3,#7
- lsr r12,r4,#2
- mov r4,#1
- lsl r4,r4,r12
- ldr r12,[r10,r3,lsl #2]
- bic r12,r12,r4
- str r12,[r10,r3,lsl #2]
-
- ldr r6,[r6]
+ add SCRATCH_REG,ASTACK_0,#-4
+ sub BSTACK_1,SCRATCH_REG,ASTACK_3
+
+ and BSTACK_0,BSTACK_1,#31*4
+ lsr BSTACK_1,BSTACK_1,#7
+ lsr SCRATCH_REG,BSTACK_0,#2
+ mov BSTACK_0,#1
+ lsl BSTACK_0,BSTACK_0,SCRATCH_REG
+ ldr SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
+ bic SCRATCH_REG,SCRATCH_REG,BSTACK_0
+ str SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
+
+ ldr ASTACK_0,[ASTACK_0]
b rmarkr_node
rmarkr_selector_node_1:
- cmp r8,#(-2)-1
+ cmp ASTACK_2,#(-2)-1
beq rmarkr_indirection_node
- ldr r7,[r6]
+ ldr ASTACK_1,[ASTACK_0]
- sub r3,r7,r11
- lsr r3,r3,#2
+ sub BSTACK_1,ASTACK_1,ASTACK_3
+ lsr BSTACK_1,BSTACK_1,#2
- cmp r8,#(-3)-1
+ cmp ASTACK_2,#(-3)-1
ble rmarkr_record_selector_node_1
- str r4,[sp,#-4]!
- and r4,r3,#31
- lsr r3,r3,#5
- mov r12,#1
- lsl r4,r12,r4
- ldr r3,[r10,r3,lsl #2]
- and r3,r3,r4
- ldr r4,[sp],#4
+ str BSTACK_0,[sp,#-4]!
+ and BSTACK_0,BSTACK_1,#31
+ lsr BSTACK_1,BSTACK_1,#5
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr BSTACK_1,[HEAP_PTR,BSTACK_1,lsl #2]
+ and BSTACK_1,BSTACK_1,BSTACK_0
+ ldr BSTACK_0,[sp],#4
bne rmarkr_hnf_1
- ldr r3,[r7]
- tst r3,#2
+ ldr BSTACK_1,[ASTACK_1]
+ tst BSTACK_1,#2
beq rmarkr_hnf_1
- ldrh r12,[r3,#-2]
- cmp r12,#2
+ ldrh SCRATCH_REG,[BSTACK_1,#-2]
+ cmp SCRATCH_REG,#2
bls rmarkr_small_tuple_or_record
rmarkr_large_tuple_or_record:
- ldr r3,[r7,#8]
- sub r3,r3,r11
- lsr r3,r3,#2
-
- str r4,[sp,#-4]!
- and r4,r3,#31
- lsr r3,r3,#5
- mov r12,#1
- lsl r4,r12,r4
- ldr r3,[r10,r3,lsl #2]
- and r3,r3,r4
- ldr r4,[sp],#4
+ ldr BSTACK_1,[ASTACK_1,#8]
+ sub BSTACK_1,BSTACK_1,ASTACK_3
+ lsr BSTACK_1,BSTACK_1,#2
+
+ str BSTACK_0,[sp,#-4]!
+ and BSTACK_0,BSTACK_1,#31
+ lsr BSTACK_1,BSTACK_1,#5
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr BSTACK_1,[HEAP_PTR,BSTACK_1,lsl #2]
+ and BSTACK_1,BSTACK_1,BSTACK_0
+ ldr BSTACK_0,[sp],#4
bne rmarkr_hnf_1
- add r12,r6,#-4
- sub r3,r12,r11
+ add SCRATCH_REG,ASTACK_0,#-4
+ sub BSTACK_1,SCRATCH_REG,ASTACK_3
- str r6,[sp,#-4]!
+ str ASTACK_0,[sp,#-4]!
.ifdef PIC
- add r12,r4,#-8+4
+ add SCRATCH_REG,BSTACK_0,#-8+4
.endif
- ldr r4,[r4,#-8]
+ ldr BSTACK_0,[BSTACK_0,#-8]
- and r6,r3,#31*4
- lsr r3,r3,#7
- lsr r6,r6,#2
+ and ASTACK_0,BSTACK_1,#31*4
+ lsr BSTACK_1,BSTACK_1,#7
+ lsr ASTACK_0,ASTACK_0,#2
.ifdef PIC
- ldrh r4,[r12,r4]
+ ldrh BSTACK_0,[SCRATCH_REG,BSTACK_0]
.endif
- mov r12,#1
- lsl r6,r12,r6
- ldr r12,[r10,r3,lsl #2]
- bic r12,r12,r6
- str r12,[r10,r3,lsl #2]
+ mov SCRATCH_REG,#1
+ lsl ASTACK_0,SCRATCH_REG,ASTACK_0
+ ldr SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
+ bic SCRATCH_REG,SCRATCH_REG,ASTACK_0
+ str SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
.ifndef PIC
- ldrh r4,[r4,#4]
+ ldrh BSTACK_0,[BSTACK_0,#4]
.endif
- cmp r4,#8
+ cmp BSTACK_0,#8
blt rmarkr_tuple_or_record_selector_node_2
- ldr r7,[r7,#8]
+ ldr ASTACK_1,[ASTACK_1,#8]
beq rmarkr_tuple_selector_node_2
- add r12,r4,#-12
- ldr r6,[r7,r12]
- ldr r7,[sp],#4
- lao r12,e__system__nind,20
- otoa r12,e__system__nind,20
- str r12,[r7,#-4]
- str r6,[r7]
+ add SCRATCH_REG,BSTACK_0,#-12
+ ldr ASTACK_0,[ASTACK_1,SCRATCH_REG]
+ ldr ASTACK_1,[sp],#4
+ lao SCRATCH_REG,e__system__nind,20
+ otoa SCRATCH_REG,e__system__nind,20
+ str SCRATCH_REG,[ASTACK_1,#-4]
+ str ASTACK_0,[ASTACK_1]
b rmarkr_node
rmarkr_tuple_selector_node_2:
- ldr r6,[r7]
- ldr r7,[sp],#4
- lao r12,e__system__nind,21
- otoa r12,e__system__nind,21
- str r12,[r7,#-4]
- str r6,[r7]
+ ldr ASTACK_0,[ASTACK_1]
+ ldr ASTACK_1,[sp],#4
+ lao SCRATCH_REG,e__system__nind,21
+ otoa SCRATCH_REG,e__system__nind,21
+ str SCRATCH_REG,[ASTACK_1,#-4]
+ str ASTACK_0,[ASTACK_1]
b rmarkr_node
rmarkr_record_selector_node_1:
beq rmarkr_strict_record_selector_node_1
- str r4,[sp,#-4]!
- and r4,r3,#31
- lsr r3,r3,#5
- mov r12,#1
- lsl r4,r12,r4
- ldr r3,[r10,r3,lsl #2]
- and r3,r3,r4
- ldr r4,[sp],#4
+ str BSTACK_0,[sp,#-4]!
+ and BSTACK_0,BSTACK_1,#31
+ lsr BSTACK_1,BSTACK_1,#5
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr BSTACK_1,[HEAP_PTR,BSTACK_1,lsl #2]
+ and BSTACK_1,BSTACK_1,BSTACK_0
+ ldr BSTACK_0,[sp],#4
bne rmarkr_hnf_1
- ldr r3,[r7]
- tst r3,#2
+ ldr BSTACK_1,[ASTACK_1]
+ tst BSTACK_1,#2
beq rmarkr_hnf_1
- ldrh r12,[r3,#-2]
- mov r3,#258/2
- cmp r12,r3,lsl #1
+ ldrh SCRATCH_REG,[BSTACK_1,#-2]
+ mov BSTACK_1,#258/2
+ cmp SCRATCH_REG,BSTACK_1,lsl #1
bls rmarkr_small_tuple_or_record
- ldr r3,[r7,#8]
- sub r3,r3,r11
- lsr r3,r3,#2
-
- str r4,[sp,#-4]!
- and r4,r3,#31
- lsr r3,r3,#5
- mov r12,#1
- lsl r4,r12,r4
- ldr r3,[r10,r3,lsl #2]
- and r3,r3,r4
- ldr r4,[sp],#4
+ ldr BSTACK_1,[ASTACK_1,#8]
+ sub BSTACK_1,BSTACK_1,ASTACK_3
+ lsr BSTACK_1,BSTACK_1,#2
+
+ str BSTACK_0,[sp,#-4]!
+ and BSTACK_0,BSTACK_1,#31
+ lsr BSTACK_1,BSTACK_1,#5
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr BSTACK_1,[HEAP_PTR,BSTACK_1,lsl #2]
+ and BSTACK_1,BSTACK_1,BSTACK_0
+ ldr BSTACK_0,[sp],#4
bne rmarkr_hnf_1
rmarkr_small_tuple_or_record:
- add r12,r6,#-4
- sub r3,r12,r11
+ add SCRATCH_REG,ASTACK_0,#-4
+ sub BSTACK_1,SCRATCH_REG,ASTACK_3
- str r6,[sp,#-4]!
+ str ASTACK_0,[sp,#-4]!
.ifdef PIC
- add r12,r4,#-8+4
+ add SCRATCH_REG,BSTACK_0,#-8+4
.endif
- ldr r4,[r4,#-8]
+ ldr BSTACK_0,[BSTACK_0,#-8]
- and r6,r3,#31*4
- lsr r3,r3,#7
- lsr r6,r6,#2
+ and ASTACK_0,BSTACK_1,#31*4
+ lsr BSTACK_1,BSTACK_1,#7
+ lsr ASTACK_0,ASTACK_0,#2
.ifdef PIC
- ldrh r4,[r12,r4]
+ ldrh BSTACK_0,[SCRATCH_REG,BSTACK_0]
.endif
- mov r12,#1
- lsl r6,r12,r6
- ldr r12,[r10,r3,lsl #2]
- bic r12,r12,r6
- str r12,[r10,r3,lsl #2]
+ mov SCRATCH_REG,#1
+ lsl ASTACK_0,SCRATCH_REG,ASTACK_0
+ ldr SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
+ bic SCRATCH_REG,SCRATCH_REG,ASTACK_0
+ str SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
.ifndef PIC
- ldrh r4,[r4,#4]
+ ldrh BSTACK_0,[BSTACK_0,#4]
.endif
- cmp r4,#8
+ cmp BSTACK_0,#8
ble rmarkr_tuple_or_record_selector_node_2
- ldr r7,[r7,#8]
- sub r4,r4,#12
+ ldr ASTACK_1,[ASTACK_1,#8]
+ sub BSTACK_0,BSTACK_0,#12
rmarkr_tuple_or_record_selector_node_2:
- ldr r6,[r7,r4]
- ldr r7,[sp],#4
- lao r12,e__system__nind,22
- otoa r12,e__system__nind,22
- str r12,[r7,#-4]
- str r6,[r7]
+ ldr ASTACK_0,[ASTACK_1,BSTACK_0]
+ ldr ASTACK_1,[sp],#4
+ lao SCRATCH_REG,e__system__nind,22
+ otoa SCRATCH_REG,e__system__nind,22
+ str SCRATCH_REG,[ASTACK_1,#-4]
+ str ASTACK_0,[ASTACK_1]
b rmarkr_node
rmarkr_strict_record_selector_node_1:
- str r4,[sp,#-4]!
- and r4,r3,#31
- lsr r3,r3,#5
- mov r12,#1
- lsl r4,r12,r4
- ldr r3,[r10,r3,lsl #2]
- and r3,r3,r4
- ldr r4,[sp],#4
+ str BSTACK_0,[sp,#-4]!
+ and BSTACK_0,BSTACK_1,#31
+ lsr BSTACK_1,BSTACK_1,#5
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr BSTACK_1,[HEAP_PTR,BSTACK_1,lsl #2]
+ and BSTACK_1,BSTACK_1,BSTACK_0
+ ldr BSTACK_0,[sp],#4
bne rmarkr_hnf_1
- ldr r3,[r7]
- tst r3,#2
+ ldr BSTACK_1,[ASTACK_1]
+ tst BSTACK_1,#2
beq rmarkr_hnf_1
- ldrh r12,[r3,#-2]
- mov r3,#258/2
- cmp r12,r3,lsl #1
+ ldrh SCRATCH_REG,[BSTACK_1,#-2]
+ mov BSTACK_1,#258/2
+ cmp SCRATCH_REG,BSTACK_1,lsl #1
bls rmarkr_select_from_small_record
- ldr r3,[r7,#8]
- sub r3,r3,r11
-
- str r4,[sp,#-4]!
- and r4,r3,#31*4
- lsr r3,r3,#7
- lsr r4,r4,#2
- mov r12,#1
- lsl r4,r12,r4
- ldr r3,[r10,r3,lsl #2]
- and r3,r3,r4
- ldr r4,[sp],#4
+ ldr BSTACK_1,[ASTACK_1,#8]
+ sub BSTACK_1,BSTACK_1,ASTACK_3
+
+ str BSTACK_0,[sp,#-4]!
+ and BSTACK_0,BSTACK_1,#31*4
+ lsr BSTACK_1,BSTACK_1,#7
+ lsr BSTACK_0,BSTACK_0,#2
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr BSTACK_1,[HEAP_PTR,BSTACK_1,lsl #2]
+ and BSTACK_1,BSTACK_1,BSTACK_0
+ ldr BSTACK_0,[sp],#4
bne rmarkr_hnf_1
rmarkr_select_from_small_record:
.ifdef PIC
- ldr r12,[r4,#-8]
- add r4,r4,#-8+4
+ ldr SCRATCH_REG,[BSTACK_0,#-8]
+ add BSTACK_0,BSTACK_0,#-8+4
.else
- ldr r4,[r4,#-8]
+ ldr BSTACK_0,[BSTACK_0,#-8]
.endif
- sub r6,r6,#4
+ sub ASTACK_0,ASTACK_0,#4
.ifdef PIC
- ldrh r3,[r4,r12]!
+ ldrh BSTACK_1,[BSTACK_0,SCRATCH_REG]!
.else
- ldrh r3,[r4,#4]
+ ldrh BSTACK_1,[BSTACK_0,#4]
.endif
- cmp r3,#8
+ cmp BSTACK_1,#8
ble rmarkr_strict_record_selector_node_2
- ldr r12,[r7,#8]
- add r3,r3,r12
- ldr r3,[r3,#-12]
+ ldr SCRATCH_REG,[ASTACK_1,#8]
+ add BSTACK_1,BSTACK_1,SCRATCH_REG
+ ldr BSTACK_1,[BSTACK_1,#-12]
b rmarkr_strict_record_selector_node_3
rmarkr_strict_record_selector_node_2:
- ldr r3,[r7,r3]
+ ldr BSTACK_1,[ASTACK_1,BSTACK_1]
rmarkr_strict_record_selector_node_3:
- str r3,[r6,#4]
+ str BSTACK_1,[ASTACK_0,#4]
.ifdef PIC
- ldrh r3,[r4,#6-4]
+ ldrh BSTACK_1,[BSTACK_0,#6-4]
.else
- ldrh r3,[r4,#6]
+ ldrh BSTACK_1,[BSTACK_0,#6]
.endif
- tst r3,r3
+ tst BSTACK_1,BSTACK_1
beq rmarkr_strict_record_selector_node_5
- cmp r3,#8
+ cmp BSTACK_1,#8
ble rmarkr_strict_record_selector_node_4
- ldr r7,[r7,#8]
- subs r3,r3,#12
+ ldr ASTACK_1,[ASTACK_1,#8]
+ subs BSTACK_1,BSTACK_1,#12
rmarkr_strict_record_selector_node_4:
- ldr r3,[r7,r3]
- str r3,[r6,#8]
+ ldr BSTACK_1,[ASTACK_1,BSTACK_1]
+ str BSTACK_1,[ASTACK_0,#8]
rmarkr_strict_record_selector_node_5:
.ifdef PIC
- ldr r4,[r4,#-4-4]
+ ldr BSTACK_0,[BSTACK_0,#-4-4]
.else
- ldr r4,[r4,#-4]
+ ldr BSTACK_0,[BSTACK_0,#-4]
.endif
- str r4,[r6]
+ str BSTACK_0,[ASTACK_0]
b rmarkr_next_node
@ a2,d1: free
rmarkr_next_node:
- tst r9,#3
+ tst ASTACK_PTR,#3
bne rmarkr_parent
- ldr r8,[r9,#-4]
- mov r3,#3
+ ldr ASTACK_2,[ASTACK_PTR,#-4]
+ mov BSTACK_1,#3
- and r3,r3,r8
- subs r9,r9,#4
+ and BSTACK_1,BSTACK_1,ASTACK_2
+ subs ASTACK_PTR,ASTACK_PTR,#4
- cmp r3,#3
+ cmp BSTACK_1,#3
beq rmarkr_argument_part_cycle1
- ldr r7,[r9,#4]
- str r7,[r9]
+ ldr ASTACK_1,[ASTACK_PTR,#4]
+ str ASTACK_1,[ASTACK_PTR]
rmarkr_c_argument_part_cycle1:
- cmp r6,r9
+ cmp ASTACK_0,ASTACK_PTR
bhi rmarkr_no_reverse_1
- ldr r7,[r6]
- add r4,r9,#4+1
- str r7,[r9,#4]
- str r4,[r6]
+ ldr ASTACK_1,[ASTACK_0]
+ add BSTACK_0,ASTACK_PTR,#4+1
+ str ASTACK_1,[ASTACK_PTR,#4]
+ str BSTACK_0,[ASTACK_0]
- orr r9,r9,r3
- mov r6,r8
- eor r6,r6,r3
+ orr ASTACK_PTR,ASTACK_PTR,BSTACK_1
+ mov ASTACK_0,ASTACK_2
+ eor ASTACK_0,ASTACK_0,BSTACK_1
b rmarkr_node
rmarkr_no_reverse_1:
- str r6,[r9,#4]
- mov r6,r8
- orr r9,r9,r3
- eor r6,r6,r3
+ str ASTACK_0,[ASTACK_PTR,#4]
+ mov ASTACK_0,ASTACK_2
+ orr ASTACK_PTR,ASTACK_PTR,BSTACK_1
+ eor ASTACK_0,ASTACK_0,BSTACK_1
b rmarkr_node
rmarkr_lazy_node:
- ldr r8,[r4,#-4]
- tst r8,r8
+ ldr ASTACK_2,[BSTACK_0,#-4]
+ tst ASTACK_2,ASTACK_2
beq rmarkr_next_node
- add r6,r6,#4
+ add ASTACK_0,ASTACK_0,#4
- subs r8,r8,#1
+ subs ASTACK_2,ASTACK_2,#1
ble rmarkr_lazy_node_1
- cmp r8,#255
+ cmp ASTACK_2,#255
bge rmarkr_closure_with_unboxed_arguments
rmarkr_closure_with_unboxed_arguments_:
- ldr r12,[r6]
- orr r12,r12,#2
- str r12,[r6]
- add r6,r6,r8,lsl #2
-
- ldr r8,[r6]
- str r9,[r6]
- mov r9,r6
- mov r6,r8
+ ldr SCRATCH_REG,[ASTACK_0]
+ orr SCRATCH_REG,SCRATCH_REG,#2
+ str SCRATCH_REG,[ASTACK_0]
+ add ASTACK_0,ASTACK_0,ASTACK_2,lsl #2
+
+ ldr ASTACK_2,[ASTACK_0]
+ str ASTACK_PTR,[ASTACK_0]
+ mov ASTACK_PTR,ASTACK_0
+ mov ASTACK_0,ASTACK_2
b rmarkr_node
rmarkr_closure_with_unboxed_arguments:
@ (a_size+b_size)+(b_size<<8)
@ addl $1,a2
- mov r4,r8
- and r8,r8,#255
- lsr r4,r4,#8
- subs r8,r8,r4
+ mov BSTACK_0,ASTACK_2
+ and ASTACK_2,ASTACK_2,#255
+ lsr BSTACK_0,BSTACK_0,#8
+ subs ASTACK_2,ASTACK_2,BSTACK_0
@ subl $1,a2
bgt rmarkr_closure_with_unboxed_arguments_
beq rmarkr_hnf_1
- subs r6,r6,#4
+ subs ASTACK_0,ASTACK_0,#4
b rmarkr_next_node
rmarkr_hnf_0:
- laol r12,INT+2,INT_o_2,12
- otoa r12,INT_o_2,12
- cmp r4,r12
+ laol SCRATCH_REG,INT+2,INT_o_2,12
+ otoa SCRATCH_REG,INT_o_2,12
+ cmp BSTACK_0,SCRATCH_REG
beq rmarkr_int_3
- laol r12,CHAR+2,CHAR_o_2,7
- otoa r12,CHAR_o_2,7
- cmp r4,r12
+ laol SCRATCH_REG,CHAR+2,CHAR_o_2,7
+ otoa SCRATCH_REG,CHAR_o_2,7
+ cmp BSTACK_0,SCRATCH_REG
beq rmarkr_char_3
blo rmarkr_no_normal_hnf_0
- sub r3,r6,r11
+ sub BSTACK_1,ASTACK_0,ASTACK_3
- and r6,r3,#31*4
- lsr r3,r3,#7
- lsr r12,r6,#2
- mov r6,#1
- lsl r6,r6,r12
- ldr r12,[r10,r3,lsl #2]
- bic r12,r12,r6
- str r12,[r10,r3,lsl #2]
+ and ASTACK_0,BSTACK_1,#31*4
+ lsr BSTACK_1,BSTACK_1,#7
+ lsr SCRATCH_REG,ASTACK_0,#2
+ mov ASTACK_0,#1
+ lsl ASTACK_0,ASTACK_0,SCRATCH_REG
+ ldr SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
+ bic SCRATCH_REG,SCRATCH_REG,ASTACK_0
+ str SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
- add r6,r4,#ZERO_ARITY_DESCRIPTOR_OFFSET-2
+ add ASTACK_0,BSTACK_0,#ZERO_ARITY_DESCRIPTOR_OFFSET-2
b rmarkr_next_node_after_static
rmarkr_int_3:
- ldr r8,[r6,#4]
- cmp r8,#33
+ ldr ASTACK_2,[ASTACK_0,#4]
+ cmp ASTACK_2,#33
bhs rmarkr_next_node
- sub r3,r6,r11
+ sub BSTACK_1,ASTACK_0,ASTACK_3
- and r6,r3,#31*4
- lsr r3,r3,#7
- lsr r12,r6,#2
- mov r6,#1
- lsl r6,r6,r12
- ldr r12,[r10,r3,lsl #2]
- bic r12,r12,r6
- str r12,[r10,r3,lsl #2]
+ and ASTACK_0,BSTACK_1,#31*4
+ lsr BSTACK_1,BSTACK_1,#7
+ lsr SCRATCH_REG,ASTACK_0,#2
+ mov ASTACK_0,#1
+ lsl ASTACK_0,ASTACK_0,SCRATCH_REG
+ ldr SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
+ bic SCRATCH_REG,SCRATCH_REG,ASTACK_0
+ str SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
- lao r12,small_integers,4
- otoa r12,small_integers,4
- add r6,r12,r8,lsl #3
+ lao SCRATCH_REG,small_integers,4
+ otoa SCRATCH_REG,small_integers,4
+ add ASTACK_0,SCRATCH_REG,ASTACK_2,lsl #3
b rmarkr_next_node_after_static
rmarkr_char_3:
- ldrb r4,[r6,#4]
- sub r3,r6,r11
-
- and r8,r3,#31*4
- lsr r3,r3,#7
- lsr r12,r8,#2
- mov r8,#1
- lsl r8,r8,r12
- ldr r12,[r10,r3,lsl #2]
- bic r12,r12,r8
- str r12,[r10,r3,lsl #2]
-
- lao r12,static_characters,4
- otoa r12,static_characters,4
- add r6,r12,r4,lsl #3
+ ldrb BSTACK_0,[ASTACK_0,#4]
+ sub BSTACK_1,ASTACK_0,ASTACK_3
+
+ and ASTACK_2,BSTACK_1,#31*4
+ lsr BSTACK_1,BSTACK_1,#7
+ lsr SCRATCH_REG,ASTACK_2,#2
+ mov ASTACK_2,#1
+ lsl ASTACK_2,ASTACK_2,SCRATCH_REG
+ ldr SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
+ bic SCRATCH_REG,SCRATCH_REG,ASTACK_2
+ str SCRATCH_REG,[HEAP_PTR,BSTACK_1,lsl #2]
+
+ lao SCRATCH_REG,static_characters,4
+ otoa SCRATCH_REG,static_characters,4
+ add ASTACK_0,SCRATCH_REG,BSTACK_0,lsl #3
b rmarkr_next_node_after_static
rmarkr_no_normal_hnf_0:
- laol r12,__ARRAY__+2,__ARRAY___o_2,19
- otoa r12,__ARRAY___o_2,19
- cmp r4,r12
+ laol SCRATCH_REG,__ARRAY__+2,__ARRAY___o_2,19
+ otoa SCRATCH_REG,__ARRAY___o_2,19
+ cmp BSTACK_0,SCRATCH_REG
bne rmarkr_next_node
- ldr r4,[r6,#8]
- cmp r4,#0
+ ldr BSTACK_0,[ASTACK_0,#8]
+ cmp BSTACK_0,#0
beq rmarkr_lazy_array
- ldrh r3,[r4,#-2+2]
- cmp r3,#0
+ ldrh BSTACK_1,[BSTACK_0,#-2+2]
+ cmp BSTACK_1,#0
beq rmarkr_b_array
- ldrh r4,[r4,#-2]
- cmp r4,#0
+ ldrh BSTACK_0,[BSTACK_0,#-2]
+ cmp BSTACK_0,#0
beq rmarkr_b_array
- subs r4,r4,#256
- cmp r3,r4
+ subs BSTACK_0,BSTACK_0,#256
+ cmp BSTACK_1,BSTACK_0
beq rmarkr_a_record_array
rmarkr_ab_record_array:
- ldr r7,[r6,#4]
- add r6,r6,#8
- str r6,[sp,#-4]!
+ ldr ASTACK_1,[ASTACK_0,#4]
+ add ASTACK_0,ASTACK_0,#8
+ str ASTACK_0,[sp,#-4]!
- mul r7,r4,r7
- lsl r7,r7,#2
+ mul ASTACK_1,BSTACK_0,ASTACK_1
+ lsl ASTACK_1,ASTACK_1,#2
- subs r4,r4,r3
- add r6,r6,#4
- add r7,r7,r6
+ subs BSTACK_0,BSTACK_0,BSTACK_1
+ add ASTACK_0,ASTACK_0,#4
+ add ASTACK_1,ASTACK_1,ASTACK_0
.align
add lr,pc,#9
str lr,[sp,#-4]!
bl reorder
- ldr r6,[sp],#4
- mov r4,r3
- ldr r12,[r6,#-4]
- mul r4,r12,r4
+ ldr ASTACK_0,[sp],#4
+ mov BSTACK_0,BSTACK_1
+ ldr SCRATCH_REG,[ASTACK_0,#-4]
+ mul BSTACK_0,SCRATCH_REG,BSTACK_0
b rmarkr_lr_array
rmarkr_b_array:
- sub r4,r6,r11
-
- add r4,r4,#4
- lsr r8,r4,#7
- lsr r4,r4,#2
- and r4,r4,#31
- mov r12,#1
- lsl r4,r12,r4
- ldr r12,[r10,r8,lsl #2]
- orr r12,r12,r4
- str r12,[r10,r8,lsl #2]
+ sub BSTACK_0,ASTACK_0,ASTACK_3
+
+ add BSTACK_0,BSTACK_0,#4
+ lsr ASTACK_2,BSTACK_0,#7
+ lsr BSTACK_0,BSTACK_0,#2
+ and BSTACK_0,BSTACK_0,#31
+ mov SCRATCH_REG,#1
+ lsl BSTACK_0,SCRATCH_REG,BSTACK_0
+ ldr SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
+ orr SCRATCH_REG,SCRATCH_REG,BSTACK_0
+ str SCRATCH_REG,[HEAP_PTR,ASTACK_2,lsl #2]
b rmarkr_next_node
rmarkr_a_record_array:
- ldr r4,[r6,#4]
- add r6,r6,#8
- cmp r3,#2
+ ldr BSTACK_0,[ASTACK_0,#4]
+ add ASTACK_0,ASTACK_0,#8
+ cmp BSTACK_1,#2
blo rmarkr_lr_array
- mul r4,r3,r4
+ mul BSTACK_0,BSTACK_1,BSTACK_0
b rmarkr_lr_array
rmarkr_lazy_array:
- ldr r4,[r6,#4]
- add r6,r6,#8
+ ldr BSTACK_0,[ASTACK_0,#4]
+ add ASTACK_0,ASTACK_0,#8
rmarkr_lr_array:
- sub r3,r6,r11
- lsr r3,r3,#2
- add r3,r3,r4
-
- lsr r7,r3,#5
- and r3,r3,#31
- mov r12,#1
- lsl r3,r12,r3
- ldr r12,[r10,r7,lsl #2]
- orr r12,r12,r3
- str r12,[r10,r7,lsl #2]
-
- cmp r4,#1
+ sub BSTACK_1,ASTACK_0,ASTACK_3
+ lsr BSTACK_1,BSTACK_1,#2
+ add BSTACK_1,BSTACK_1,BSTACK_0
+
+ lsr ASTACK_1,BSTACK_1,#5
+ and BSTACK_1,BSTACK_1,#31
+ mov SCRATCH_REG,#1
+ lsl BSTACK_1,SCRATCH_REG,BSTACK_1
+ ldr SCRATCH_REG,[HEAP_PTR,ASTACK_1,lsl #2]
+ orr SCRATCH_REG,SCRATCH_REG,BSTACK_1
+ str SCRATCH_REG,[HEAP_PTR,ASTACK_1,lsl #2]
+
+ cmp BSTACK_0,#1
bls rmarkr_array_length_0_1
- mov r7,r6
- add r6,r6,r4,lsl #2
-
- ldr r4,[r6]
- ldr r3,[r7]
- str r4,[r7]
- str r3,[r6]
-
- ldr r4,[r6,#-4]
- subs r6,r6,#4
- add r4,r4,#2
- ldr r3,[r7,#-4]
- subs r7,r7,#4
- str r3,[r6]
- str r4,[r7]
-
- ldr r4,[r6,#-4]
- subs r6,r6,#4
- str r9,[r6]
- mov r9,r6
- mov r6,r4
+ mov ASTACK_1,ASTACK_0
+ add ASTACK_0,ASTACK_0,BSTACK_0,lsl #2
+
+ ldr BSTACK_0,[ASTACK_0]
+ ldr BSTACK_1,[ASTACK_1]
+ str BSTACK_0,[ASTACK_1]
+ str BSTACK_1,[ASTACK_0]
+
+ ldr BSTACK_0,[ASTACK_0,#-4]
+ subs ASTACK_0,ASTACK_0,#4
+ add BSTACK_0,BSTACK_0,#2
+ ldr BSTACK_1,[ASTACK_1,#-4]
+ subs ASTACK_1,ASTACK_1,#4
+ str BSTACK_1,[ASTACK_0]
+ str BSTACK_0,[ASTACK_1]
+
+ ldr BSTACK_0,[ASTACK_0,#-4]
+ subs ASTACK_0,ASTACK_0,#4
+ str ASTACK_PTR,[ASTACK_0]
+ mov ASTACK_PTR,ASTACK_0
+ mov ASTACK_0,BSTACK_0
b rmarkr_node
rmarkr_array_length_0_1:
- add r6,r6,#-8
+ add ASTACK_0,ASTACK_0,#-8
blo rmarkr_next_node
- ldr r3,[r6,#12]
- ldr r8,[r6,#8]
- str r8,[r6,#12]
- ldr r8,[r6,#4]
- str r8,[r6,#8]
- str r3,[r6,#4]
- add r6,r6,#4
+ ldr BSTACK_1,[ASTACK_0,#12]
+ ldr ASTACK_2,[ASTACK_0,#8]
+ str ASTACK_2,[ASTACK_0,#12]
+ ldr ASTACK_2,[ASTACK_0,#4]
+ str ASTACK_2,[ASTACK_0,#8]
+ str BSTACK_1,[ASTACK_0,#4]
+ add ASTACK_0,ASTACK_0,#4
b rmarkr_hnf_1
@ a2: free
rmarkr_parent:
- and r3,r9,#3
+ and BSTACK_1,ASTACK_PTR,#3
- bics r9,r9,#3
+ bics ASTACK_PTR,ASTACK_PTR,#3
beq end_rmarkr
- subs r3,r3,#1
+ subs BSTACK_1,BSTACK_1,#1
beq rmarkr_argument_part_parent
- ldr r8,[r9]
+ ldr ASTACK_2,[ASTACK_PTR]
- cmp r6,r9
+ cmp ASTACK_0,ASTACK_PTR
bhi rmarkr_no_reverse_2
- mov r7,r6
- add r4,r9,#1
- ldr r6,[r7]
- str r4,[r7]
+ mov ASTACK_1,ASTACK_0
+ add BSTACK_0,ASTACK_PTR,#1
+ ldr ASTACK_0,[ASTACK_1]
+ str BSTACK_0,[ASTACK_1]
rmarkr_no_reverse_2:
- str r6,[r9]
- add r6,r9,#-4
- mov r9,r8
+ str ASTACK_0,[ASTACK_PTR]
+ add ASTACK_0,ASTACK_PTR,#-4
+ mov ASTACK_PTR,ASTACK_2
b rmarkr_next_node
rmarkr_argument_part_parent:
- ldr r8,[r9]
+ ldr ASTACK_2,[ASTACK_PTR]
- mov r7,r9
- mov r9,r6
- mov r6,r7
+ mov ASTACK_1,ASTACK_PTR
+ mov ASTACK_PTR,ASTACK_0
+ mov ASTACK_0,ASTACK_1
rmarkr_skip_upward_pointers:
- mov r4,r8
- and r4,r4,#3
- cmp r4,#3
+ mov BSTACK_0,ASTACK_2
+ and BSTACK_0,BSTACK_0,#3
+ cmp BSTACK_0,#3
bne rmarkr_no_upward_pointer
- add r7,r8,#-3
- ldr r8,[r8,#-3]
+ add ASTACK_1,ASTACK_2,#-3
+ ldr ASTACK_2,[ASTACK_2,#-3]
b rmarkr_skip_upward_pointers
rmarkr_no_upward_pointer:
- cmp r9,r6
+ cmp ASTACK_PTR,ASTACK_0
bhi rmarkr_no_reverse_3
- mov r3,r9
- ldr r9,[r9]
- add r4,r6,#1
- str r4,[r3]
+ mov BSTACK_1,ASTACK_PTR
+ ldr ASTACK_PTR,[ASTACK_PTR]
+ add BSTACK_0,ASTACK_0,#1
+ str BSTACK_0,[BSTACK_1]
rmarkr_no_reverse_3:
- str r9,[r7]
- add r9,r8,#-4
+ str ASTACK_PTR,[ASTACK_1]
+ add ASTACK_PTR,ASTACK_2,#-4
- and r9,r9,#-4
+ and ASTACK_PTR,ASTACK_PTR,#-4
- mov r7,r9
- mov r3,#3
+ mov ASTACK_1,ASTACK_PTR
+ mov BSTACK_1,#3
- ldr r8,[r9]
+ ldr ASTACK_2,[ASTACK_PTR]
- and r3,r3,r8
- ldr r4,[r7,#4]
+ and BSTACK_1,BSTACK_1,ASTACK_2
+ ldr BSTACK_0,[ASTACK_1,#4]
- orr r9,r9,r3
- str r4,[r7]
+ orr ASTACK_PTR,ASTACK_PTR,BSTACK_1
+ str BSTACK_0,[ASTACK_1]
- cmp r6,r7
+ cmp ASTACK_0,ASTACK_1
bhi rmarkr_no_reverse_4
- ldr r4,[r6]
- str r4,[r7,#4]
- add r4,r7,#4+2+1
- str r4,[r6]
- mov r6,r8
- and r6,r6,#-4
+ ldr BSTACK_0,[ASTACK_0]
+ str BSTACK_0,[ASTACK_1,#4]
+ add BSTACK_0,ASTACK_1,#4+2+1
+ str BSTACK_0,[ASTACK_0]
+ mov ASTACK_0,ASTACK_2
+ and ASTACK_0,ASTACK_0,#-4
b rmarkr_node
rmarkr_no_reverse_4:
- str r6,[r7,#4]
- mov r6,r8
- and r6,r6,#-4
+ str ASTACK_0,[ASTACK_1,#4]
+ mov ASTACK_0,ASTACK_2
+ and ASTACK_0,ASTACK_0,#-4
b rmarkr_node
rmarkr_argument_part_cycle1:
- ldr r4,[r9,#4]
- str r7,[sp,#-4]!
+ ldr BSTACK_0,[ASTACK_PTR,#4]
+ str ASTACK_1,[sp,#-4]!
rmarkr_skip_pointer_list1:
- mov r7,r8
- and r7,r7,#-4
- ldr r8,[r7]
- mov r3,#3
- and r3,r3,r8
- cmp r3,#3
+ mov ASTACK_1,ASTACK_2
+ and ASTACK_1,ASTACK_1,#-4
+ ldr ASTACK_2,[ASTACK_1]
+ mov BSTACK_1,#3
+ and BSTACK_1,BSTACK_1,ASTACK_2
+ cmp BSTACK_1,#3
beq rmarkr_skip_pointer_list1
- str r4,[r7]
- ldr r7,[sp],#4
+ str BSTACK_0,[ASTACK_1]
+ ldr ASTACK_1,[sp],#4
b rmarkr_c_argument_part_cycle1
rmarkr_next_node_after_static:
- tst r9,#3
+ tst ASTACK_PTR,#3
bne rmarkr_parent_after_static
- ldr r8,[r9,#-4]
- mov r3,#3
+ ldr ASTACK_2,[ASTACK_PTR,#-4]
+ mov BSTACK_1,#3
- and r3,r3,r8
- subs r9,r9,#4
+ and BSTACK_1,BSTACK_1,ASTACK_2
+ subs ASTACK_PTR,ASTACK_PTR,#4
- cmp r3,#3
+ cmp BSTACK_1,#3
beq rmarkr_argument_part_cycle2
- ldr r4,[r9,#4]
- str r4,[r9]
+ ldr BSTACK_0,[ASTACK_PTR,#4]
+ str BSTACK_0,[ASTACK_PTR]
rmarkr_c_argument_part_cycle2:
- str r6,[r9,#4]
- mov r6,r8
- orr r9,r9,r3
- eor r6,r6,r3
+ str ASTACK_0,[ASTACK_PTR,#4]
+ mov ASTACK_0,ASTACK_2
+ orr ASTACK_PTR,ASTACK_PTR,BSTACK_1
+ eor ASTACK_0,ASTACK_0,BSTACK_1
b rmarkr_node
rmarkr_parent_after_static:
- and r3,r9,#3
+ and BSTACK_1,ASTACK_PTR,#3
- ands r9,r9,#-4
+ ands ASTACK_PTR,ASTACK_PTR,#-4
beq end_rmarkr_after_static
- subs r3,r3,#1
+ subs BSTACK_1,BSTACK_1,#1
beq rmarkr_argument_part_parent_after_static
- ldr r8,[r9]
- str r6,[r9]
- add r6,r9,#-4
- mov r9,r8
+ ldr ASTACK_2,[ASTACK_PTR]
+ str ASTACK_0,[ASTACK_PTR]
+ add ASTACK_0,ASTACK_PTR,#-4
+ mov ASTACK_PTR,ASTACK_2
b rmarkr_next_node
rmarkr_argument_part_parent_after_static:
- ldr r8,[r9]
+ ldr ASTACK_2,[ASTACK_PTR]
- mov r7,r9
- mov r9,r6
- mov r6,r7
+ mov ASTACK_1,ASTACK_PTR
+ mov ASTACK_PTR,ASTACK_0
+ mov ASTACK_0,ASTACK_1
@ movl (a1),a2
rmarkr_skip_upward_pointers_2:
- mov r4,r8
- and r4,r4,#3
- cmp r4,#3
+ mov BSTACK_0,ASTACK_2
+ and BSTACK_0,BSTACK_0,#3
+ cmp BSTACK_0,#3
bne rmarkr_no_reverse_3
@ movl a2,a1
@ andl $-4,a1
@ movl (a1),a2
- add r7,r8,#-3
- ldr r8,[r8,#-3]
+ add ASTACK_1,ASTACK_2,#-3
+ ldr ASTACK_2,[ASTACK_2,#-3]
b rmarkr_skip_upward_pointers_2
rmarkr_argument_part_cycle2:
- ldr r4,[r9,#4]
- str r7,[sp,#-4]!
+ ldr BSTACK_0,[ASTACK_PTR,#4]
+ str ASTACK_1,[sp,#-4]!
rmarkr_skip_pointer_list2:
- mov r7,r8
- and r7,r7,#-4
- ldr r8,[r7]
- mov r3,#3
- and r3,r3,r8
- cmp r3,#3
+ mov ASTACK_1,ASTACK_2
+ and ASTACK_1,ASTACK_1,#-4
+ ldr ASTACK_2,[ASTACK_1]
+ mov BSTACK_1,#3
+ and BSTACK_1,BSTACK_1,ASTACK_2
+ cmp BSTACK_1,#3
beq rmarkr_skip_pointer_list2
- str r4,[r7]
- ldr r7,[sp],#4
+ str BSTACK_0,[ASTACK_1]
+ ldr ASTACK_1,[sp],#4
b rmarkr_c_argument_part_cycle2
end_rmarkr_after_static:
- ldr r9,[sp]
+ ldr ASTACK_PTR,[sp]
add sp,sp,#8
- str r6,[r9]
+ str ASTACK_0,[ASTACK_PTR]
b rmarkr_next_stack_node
end_rmarkr:
- ldr r9,[sp],#4
- ldr r3,[sp],#4
+ ldr ASTACK_PTR,[sp],#4
+ ldr BSTACK_1,[sp],#4
- cmp r6,r3
+ cmp ASTACK_0,BSTACK_1
bhi rmark_no_reverse_4
- mov r7,r6
- add r4,r9,#1
- ldr r6,[r6]
- str r4,[r7]
+ mov ASTACK_1,ASTACK_0
+ add BSTACK_0,ASTACK_PTR,#1
+ ldr ASTACK_0,[ASTACK_0]
+ str BSTACK_0,[ASTACK_1]
rmark_no_reverse_4:
- str r6,[r9]
+ str ASTACK_0,[ASTACK_PTR]
rmarkr_next_stack_node:
- cmp sp,r0
+ cmp sp,BSTACK_4
bhs rmark_next_node
- ldr r6,[sp]
- ldr r9,[sp,#4]
+ ldr ASTACK_0,[sp]
+ ldr ASTACK_PTR,[sp,#4]
add sp,sp,#8
- cmp r6,#1
+ cmp ASTACK_0,#1
bhi rmark_using_reversal
b rmark_next_node_
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-19 01:29:39 +0000