1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
|
; Assembler emulator of future mcpu-cc MODEL output.
;
; The lifecycle shape is a compact pendulum-style MODEL regression fixture.
; INIT snapshots CONTROL
; into DATA, LIFE advances one model step and publishes one TRACE frame, and
; fini() marks graceful model finalization.
;
; This reduced fixture tests the HLL MODEL/CRT protocol, not RK4 numerics.
.global init
.global life
.global fini
.control
.align 8
control_n:
.integer 64, 3
control_error_step:
.integer 64, 0
.data
.align 8
model_n:
.integer 64, 0
model_error_step:
.integer 64, 0
model_step:
.integer 64, 0
model_fini_marker:
.integer 64, 0
.trace
.align 8
trace_step:
.integer 64, 0
.text
; int32 init(int64 argc, PTR64 argv)
init:
LDI r64@0x70200, 2
ICMP r64@0x70000, r64@0x70200
JNZ .L_init_bad_order
; The test invokes the MODEL without extra arguments.
LDSP r64@0x70208, 8
LDI r64@0x70210, 1
ICMP r64@0x70208, r64@0x70210
JNZ .L_init_bad_args
; Negative CONTROL.n deliberately requests an init failure.
LEA r64@0x70218, control_n
LOADP r64@0x70220, r64@0x70218
CLR r64@0x70228
ICMP r64@0x70220, r64@0x70228
JS .L_init_fail
STORE model_n, r64@0x70220
LEA r64@0x70218, control_error_step
LOADP r64@0x70230, r64@0x70218
STORE model_error_step, r64@0x70230
CLR r64@0x70238
STORE model_step, r64@0x70238
STORE model_fini_marker, r64@0x70238
LDI r64@0x70000, 3
CLR r32@0x7fffc
RET
.L_init_fail:
LDI r64@0x70000, 3
LDI r32@0x7fffc, 17
RET
.L_init_bad_order:
LDI r64@0x70000, 910
LDI r32@0x7fffc, 18
RET
.L_init_bad_args:
LDI r64@0x70000, 911
LDI r32@0x7fffc, 19
RET
; int32 life(void)
life:
LOAD r64@0x70300, model_step
LDI r64@0x70308, 1
IADD r64@0x70300, r64@0x70300, r64@0x70308
STORE model_step, r64@0x70300
; Optional positive LIFE error requested by CONTROL.error_step.
LOAD r64@0x70310, model_error_step
CLR r64@0x70318
ICMP r64@0x70310, r64@0x70318
JZ .L_no_life_error
ICMP r64@0x70300, r64@0x70310
JNZ .L_no_life_error
LDI r32@0x7fffc, 9
RET
.L_no_life_error:
; Pendulum-style sequential stop: step == n + 1 means natural end.
LOAD r64@0x70320, model_n
IADD r64@0x70328, r64@0x70320, r64@0x70308
ICMP r64@0x70300, r64@0x70328
JZ .L_life_end
LEA r64@0x70330, trace_step
STOREP r64@0x70330, r64@0x70300
; LIFE_CONTINUE == INT32_MIN.
LDI r32@0x7fffc, -2147483648
RET
.L_life_end:
CLR r32@0x7fffc
RET
fini:
LDI r64@0x70200, 3
ICMP r64@0x70000, r64@0x70200
JNZ .L_model_fini_bad
LDI r64@0x70000, 4
LDI r64@0x70208, 1
STORE model_fini_marker, r64@0x70208
MOV r64@0x70010, r64@0x70208
RET
.L_model_fini_bad:
LDI r64@0x70000, 912
RET
|
