| 1 |
70 |
Agner |
/**************************** loader.as ********************************
|
| 2 |
|
|
* Author: Agner Fog
|
| 3 |
|
|
* date created: 2020-12-04
|
| 4 |
|
|
* Last modified: 2021-07-30
|
| 5 |
|
|
* Version: 1.11
|
| 6 |
|
|
* Project: Loader for ForwardCom soft core
|
| 7 |
|
|
* Language: ForwardCom assembly
|
| 8 |
|
|
* Description:
|
| 9 |
|
|
* This loader is designed to run in a ForwardCom processor to load an
|
| 10 |
|
|
* executable file into code and data RAM before running the loaded program.
|
| 11 |
|
|
*
|
| 12 |
|
|
* Copyright 2020-2021 GNU General Public License v.3 http://www.gnu.org/licenses
|
| 13 |
|
|
******************************************************************************
|
| 14 |
|
|
|
| 15 |
|
|
Prerequisites:
|
| 16 |
|
|
The executable file to be loaded is structured as defined in the ForwardCom
|
| 17 |
|
|
ELF specification defined in the file elf_forwardcom.h.
|
| 18 |
|
|
The sections are sorted into blocks in the following order
|
| 19 |
|
|
(see CLinker::sortSections() in file linker.cpp):
|
| 20 |
|
|
* const (ip)
|
| 21 |
|
|
* code (ip)
|
| 22 |
|
|
* data (datap)
|
| 23 |
|
|
* bss (datap)
|
| 24 |
|
|
* data (threadp)
|
| 25 |
|
|
* bss (threadp)
|
| 26 |
|
|
The binary data sections are stored in the executable file in the same order
|
| 27 |
|
|
as the program headers.
|
| 28 |
|
|
The executable file is position-independent. No relocation of addresses in
|
| 29 |
|
|
the code is needed.
|
| 30 |
|
|
The program has only one thread.
|
| 31 |
|
|
The available RAM is sufficient.
|
| 32 |
|
|
The input is loaded as bytes through a serial input port (BAUD rate set in defines.vh)
|
| 33 |
|
|
|
| 34 |
|
|
The data will be stored in the processor memory in the following order:
|
| 35 |
|
|
|
| 36 |
|
|
1. data (at beginning of data memory. Addressed by datap)
|
| 37 |
|
|
2. bss (uninitialized data, immediately after data. Addressed by datap)
|
| 38 |
|
|
3. free space to use for heap and stack. (The stack pointer will point to the end of this space)
|
| 39 |
|
|
4. threadp data (immediately before const. Addressed by threadp)
|
| 40 |
|
|
5. const data (at end of data memory. Addressed by IP)
|
| 41 |
|
|
6. code (at beginning of code memory. Addressed by IP)
|
| 42 |
|
|
7. loader code (at end of code memory)
|
| 43 |
|
|
|
| 44 |
|
|
|
| 45 |
|
|
Instructions for how to modify and rebuild the loader:
|
| 46 |
|
|
-----------------------------------------------------------
|
| 47 |
|
|
|
| 48 |
|
|
1. The first instruction must be a direct jump to the loader code that
|
| 49 |
|
|
loads an executable program (*.ex file). The load button will go to this
|
| 50 |
|
|
address.
|
| 51 |
|
|
|
| 52 |
|
|
The second instruction at address 1 (word-based) must be an entry for the
|
| 53 |
|
|
restart code that will restart a previously loaded program. The reset button
|
| 54 |
|
|
will go to this address. The restart code must set datap, threadp, sp, and
|
| 55 |
|
|
the entry point to the values previously calculated by the loader.
|
| 56 |
|
|
The present version stores these values in instructions in the code section
|
| 57 |
|
|
in order to free the entire data memory for the running program.
|
| 58 |
|
|
Note that we have execute and write access (int32 only) to the code memory,
|
| 59 |
|
|
but not read access.
|
| 60 |
|
|
|
| 61 |
|
|
2. Assemble:
|
| 62 |
|
|
forw -ass -debug -binlist loader.as -list=loader.txt
|
| 63 |
|
|
|
| 64 |
|
|
3. Link:
|
| 65 |
|
|
forw -link -hex2 loader.mem loader.ob
|
| 66 |
|
|
|
| 67 |
|
|
4. Replace the file loader.mem in the softcore project with the new version.
|
| 68 |
|
|
|
| 69 |
|
|
5. Check size:
|
| 70 |
|
|
The size of the code section of the loader can be found from the address of
|
| 71 |
|
|
the last instruction in the file loader.txt produced by step 2.
|
| 72 |
|
|
If this size (in 32-bit words) exceeds the value MAX_LOADER_SIZE
|
| 73 |
|
|
defined in the file defines.vh, then the value of MAX_LOADER_SIZE must
|
| 74 |
|
|
be increased to at least the actual size. The value must be even.
|
| 75 |
|
|
|
| 76 |
|
|
The loader code will be placed at an address calculated as the end of the
|
| 77 |
|
|
code memory minus MAX_LOADER_SIZE.
|
| 78 |
|
|
|
| 79 |
|
|
6. Rebuild the soft core project.
|
| 80 |
|
|
|
| 81 |
|
|
*****************************************************************************/
|
| 82 |
|
|
|
| 83 |
|
|
// Definition of serial input ports
|
| 84 |
|
|
%serial_input_port = 8 // serial input port, read one byte at a time
|
| 85 |
|
|
%serial_input_status = 9 // serial input status. bit 0-15 = number of bytes in input buffer
|
| 86 |
|
|
|
| 87 |
|
|
|
| 88 |
|
|
// Definition of offsets in the file header (struct ElfFwcEhdr in elf_forwardcom.h):
|
| 89 |
|
|
%e_ident = 0x00 // uint8_t e_ident[16]; // Magic number and other info
|
| 90 |
|
|
%e_type = 0x10 // uint16_t e_type; // Object file type
|
| 91 |
|
|
%e_machine = 0x12 // uint16_t e_machine; // Architecture
|
| 92 |
|
|
%e_version = 0x14 // uint32_t e_version; // Object file version
|
| 93 |
|
|
%e_entry = 0x18 // uint64_t e_entry; // Entry point virtual address
|
| 94 |
|
|
%e_phoff = 0x20 // uint64_t e_phoff; // Program header table file offset
|
| 95 |
|
|
%e_shoff = 0x28 // uint64_t e_shoff; // Section header table file offset
|
| 96 |
|
|
%e_flags = 0x30 // uint32_t e_flags; // Processor-specific flags. We may define any values for these flags
|
| 97 |
|
|
%e_ehsize = 0x34 // uint16_t e_ehsize; // ELF header size in bytes
|
| 98 |
|
|
%e_phentsize = 0x36 // uint16_t e_phentsize; // Program header table entry size
|
| 99 |
|
|
%e_phnum = 0x38 // uint16_t e_phnum; // Program header table entry count
|
| 100 |
|
|
%e_shentsize = 0x3A // uint16_t e_shentsize; // Section header table entry size
|
| 101 |
|
|
%e_shnum = 0x3C // uint32_t e_shnum; // Section header table entry count (was uint16_t)
|
| 102 |
|
|
%e_shstrndx = 0x40 // uint32_t e_shstrndx; // Section header string table index (was uint16_t)
|
| 103 |
|
|
%e_stackvect = 0x44 // uint32_t e_stackvect; // number of vectors to store on stack. multiply by max vector length and add to stacksize
|
| 104 |
|
|
%e_stacksize = 0x48 // uint64_t e_stacksize; // size of stack for main thread
|
| 105 |
|
|
%e_ip_base = 0x50 // uint64_t e_ip_base; // __ip_base relative to first ip based segment
|
| 106 |
|
|
%e_datap_base = 0x58 // uint64_t e_datap_base; // __datap_base relative to first datap based segment
|
| 107 |
|
|
%e_threadp_base = 0x60 // uint64_t e_threadp_base; // __threadp_base relative to first threadp based segment
|
| 108 |
|
|
%file_header_size = 0x68 // size of file header
|
| 109 |
|
|
|
| 110 |
|
|
%ELFMAG = 0x464C457F // 0x7F 'E' 'L' 'F': identifying number at e_ident
|
| 111 |
|
|
|
| 112 |
|
|
|
| 113 |
|
|
// Definition of offsets in program headers (struct ElfFwcPhdr in elf_forwardcom.h):
|
| 114 |
|
|
%p_type = 0x00 // uint32_t p_type; // Segment type
|
| 115 |
|
|
%p_flags = 0x04 // uint32_t p_flags; // Segment flags
|
| 116 |
|
|
%p_offset = 0x08 // uint64_t p_offset; // Segment file offset
|
| 117 |
|
|
%p_vaddr = 0x10 // uint64_t p_vaddr; // Segment virtual address
|
| 118 |
|
|
%p_paddr = 0x18 // uint64_t p_paddr; // Segment physical address (not used. indicates first section instead)
|
| 119 |
|
|
%p_filesz = 0x20 // uint64_t p_filesz; // Segment size in file
|
| 120 |
|
|
%p_memsz = 0x28 // uint64_t p_memsz; // Segment size in memory
|
| 121 |
|
|
%p_align = 0x30 // uint8_t p_align; // Segment alignment
|
| 122 |
|
|
%p_unused = 0x31 // uint8_t unused[7];
|
| 123 |
|
|
|
| 124 |
|
|
// Definition of section flags
|
| 125 |
|
|
%SHF_EXEC = 0x0001 // Executable
|
| 126 |
|
|
%SHF_WRITE = 0x0002 // Writable
|
| 127 |
|
|
%SHF_READ = 0x0004 // Readable
|
| 128 |
|
|
%SHF_IP = 0x1000 // Addressed relative to IP (executable and read-only sections)
|
| 129 |
|
|
%SHF_DATAP = 0x2000 // Addressed relative to DATAP (writeable data sections)
|
| 130 |
|
|
%SHF_THREADP = 0x4000 // Addressed relative to THREADP (thread-local data sections)
|
| 131 |
|
|
|
| 132 |
|
|
// Start of RAM address
|
| 133 |
|
|
%ram_start_address = 0
|
| 134 |
|
|
|
| 135 |
|
|
// stack alignment
|
| 136 |
|
|
%stack_align = 1 << 4 // alignment of stack
|
| 137 |
|
|
|
| 138 |
|
|
|
| 139 |
|
|
/* Register use in this loader
|
| 140 |
|
|
r0: number of bytes to read from input
|
| 141 |
|
|
r1: current address in ram
|
| 142 |
|
|
r6: ram address of current program header
|
| 143 |
|
|
r10: ram_start_address
|
| 144 |
|
|
r11: number of bytes read from input = current position in input file
|
| 145 |
|
|
r12: size of each program header
|
| 146 |
|
|
r13: size of all threadp sections
|
| 147 |
|
|
r14: current program header index
|
| 148 |
|
|
r20: ram address of first program header
|
| 149 |
|
|
r21: number of program headers
|
| 150 |
|
|
r22: temporary start address for program data (later moved to 0)
|
| 151 |
|
|
r23: start address of const data
|
| 152 |
|
|
r24: start address of code section
|
| 153 |
|
|
r25: start address of threadp sections
|
| 154 |
|
|
r26: end of initialized data section, start of BSS
|
| 155 |
|
|
r27: size of code memory
|
| 156 |
|
|
r28: end of data and bss sections
|
| 157 |
|
|
r29: start address of loader
|
| 158 |
|
|
r30: error code
|
| 159 |
|
|
*/
|
| 160 |
|
|
|
| 161 |
|
|
|
| 162 |
|
|
/*********************************************
|
| 163 |
|
|
Program code for loader
|
| 164 |
|
|
*********************************************/
|
| 165 |
|
|
|
| 166 |
|
|
code section execute align = 8
|
| 167 |
|
|
|
| 168 |
|
|
__entry_point function public
|
| 169 |
|
|
_loader function public
|
| 170 |
|
|
|
| 171 |
|
|
// Loader entry:
|
| 172 |
|
|
jump LOADER
|
| 173 |
|
|
|
| 174 |
|
|
// Restart entry. This will restart a previously loaded program:
|
| 175 |
|
|
RESTART:
|
| 176 |
|
|
|
| 177 |
|
|
// Dummy constants make sure the following instructions are 2-word size.
|
| 178 |
|
|
// These constants will be changed by the loader
|
| 179 |
|
|
set_sp:
|
| 180 |
|
|
int32 sp = 0xDEADBEEF // will be replaced by calculated stack address
|
| 181 |
|
|
set_datap:
|
| 182 |
|
|
int32 r1 = 0xC001F001 // will be replaced by calculated 32-bit datap value
|
| 183 |
|
|
int64 datap = write_spec(r1) // save datap register
|
| 184 |
|
|
set_threadp:
|
| 185 |
|
|
int32 r2 = 0xFEE1600D // will be replaced by calculated 32-bit threadp value
|
| 186 |
|
|
int64 threadp = write_spec(r2) // save threadp register
|
| 187 |
|
|
|
| 188 |
|
|
// clear input buffer
|
| 189 |
|
|
do { // repeat until no more serial input coming
|
| 190 |
|
|
int r2 = 1
|
| 191 |
|
|
int output(r2, r2, serial_input_status) // clear input buffer
|
| 192 |
|
|
for (int r1 = 0; r1 < 1000000; r1++) {} // delay loop
|
| 193 |
|
|
int16 r2 = input(r2, serial_input_status) // check if there is more input
|
| 194 |
|
|
}
|
| 195 |
|
|
while (int16 r2 != 0)
|
| 196 |
|
|
|
| 197 |
|
|
// clear registers
|
| 198 |
|
|
int r0 = 0
|
| 199 |
|
|
int r1 = 0
|
| 200 |
|
|
int r2 = 0
|
| 201 |
|
|
int r3 = 0
|
| 202 |
|
|
int r4 = 0
|
| 203 |
|
|
int r5 = 0
|
| 204 |
|
|
int r6 = 0
|
| 205 |
|
|
int r7 = 0
|
| 206 |
|
|
int r8 = 0
|
| 207 |
|
|
int r9 = 0
|
| 208 |
|
|
int r10 = 0
|
| 209 |
|
|
int r11 = 0
|
| 210 |
|
|
int r12 = 0
|
| 211 |
|
|
int r13 = 0
|
| 212 |
|
|
int r14 = 0
|
| 213 |
|
|
int r15 = 0
|
| 214 |
|
|
int r16 = 0
|
| 215 |
|
|
int r17 = 0
|
| 216 |
|
|
int r18 = 0
|
| 217 |
|
|
int r19 = 0
|
| 218 |
|
|
int r20 = 0
|
| 219 |
|
|
int r21 = 0
|
| 220 |
|
|
int r22 = 0
|
| 221 |
|
|
int r23 = 0
|
| 222 |
|
|
int r24 = 0
|
| 223 |
|
|
int r25 = 0
|
| 224 |
|
|
int r26 = 0
|
| 225 |
|
|
int r27 = 0
|
| 226 |
|
|
int r28 = 0
|
| 227 |
|
|
int r29 = 0
|
| 228 |
|
|
int r30 = read_perf(perf0, -1) // clear all performance counters
|
| 229 |
|
|
int r30 = 0
|
| 230 |
|
|
|
| 231 |
|
|
// breakpoint
|
| 232 |
|
|
|
| 233 |
|
|
// To do: clear r0 - r30 using POP instruction if supported
|
| 234 |
|
|
|
| 235 |
|
|
set_entry_point:
|
| 236 |
|
|
jump LOADER // this will be replaced by 24-bit relative call to program entry
|
| 237 |
|
|
|
| 238 |
|
|
breakpoint // debug breakpoint in case main program returns
|
| 239 |
|
|
for (int;;){} // stop in infinite loop
|
| 240 |
|
|
|
| 241 |
|
|
|
| 242 |
|
|
/*********************************************
|
| 243 |
|
|
Loader starts here
|
| 244 |
|
|
*********************************************/
|
| 245 |
|
|
|
| 246 |
|
|
LOADER:
|
| 247 |
|
|
|
| 248 |
|
|
read_restart:
|
| 249 |
|
|
|
| 250 |
|
|
do { // wait until there are at least 4 bytes in input buffer
|
| 251 |
|
|
int16 r3 = input(r0, serial_input_status) // bit 15:0 of status = number of bytes in input buffer (r0 is dummy)
|
| 252 |
|
|
} while (int16+ r3 < 4) // repeat if not enough data
|
| 253 |
|
|
|
| 254 |
|
|
// Read serial input and search for file header beginning with 0x7F, 'E', 'L', 'F'
|
| 255 |
|
|
int8 r3 = input(r0, serial_input_port) // read first byte (r0 is dummy)
|
| 256 |
|
|
if (int8+ r3 != 0x7F) {jump read_restart}
|
| 257 |
|
|
int8 r3 = input(r0, serial_input_port) // read second byte
|
| 258 |
|
|
if (int8+ r3 != 'E') {jump read_restart}
|
| 259 |
|
|
int8 r3 = input(r0, serial_input_port) // read third byte
|
| 260 |
|
|
if (int8+ r3 != 'L') {jump read_restart}
|
| 261 |
|
|
int8 r3 = input(r0, serial_input_port) // read fourth byte
|
| 262 |
|
|
if (int8+ r3 != 'F') {jump read_restart}
|
| 263 |
|
|
|
| 264 |
|
|
// Store file header in memory at address 0
|
| 265 |
|
|
//int64 r1 = ram_start_address // Store file header in memory at address 0
|
| 266 |
|
|
//int32 [r1] = ELFMAG // store first word (superfluous. will not be used)
|
| 267 |
|
|
int r1 = 4 // we have read 4 bytes
|
| 268 |
|
|
|
| 269 |
|
|
// read_block function input:
|
| 270 |
|
|
// r0: number of bytes to read
|
| 271 |
|
|
// r1: pointer to memory block to write to
|
| 272 |
|
|
// return:
|
| 273 |
|
|
// r0: last byte read
|
| 274 |
|
|
// r1: end of memory block
|
| 275 |
|
|
|
| 276 |
|
|
int r0 = file_header_size - 4 // read program header (we have already read 4 bytes)
|
| 277 |
|
|
int r11 = r0 + r1 // count number of bytes read
|
| 278 |
|
|
call read_block
|
| 279 |
|
|
int64 r10 = ram_start_address // Store file header in memory at address 0
|
| 280 |
|
|
|
| 281 |
|
|
// read program headers
|
| 282 |
|
|
int32 r0 = [r10 + e_phoff] // file offset to first program header
|
| 283 |
|
|
int32 r0 -= r11 // number of bytes read so far
|
| 284 |
|
|
int r11 += r0 // count number of bytes read
|
| 285 |
|
|
call read_dummy // read any space between file header and first program header
|
| 286 |
|
|
|
| 287 |
|
|
// round up to align by 8
|
| 288 |
|
|
int r1 += 7
|
| 289 |
|
|
int r1 &= -8
|
| 290 |
|
|
|
| 291 |
|
|
int r20 = r1 // save address of first program header
|
| 292 |
|
|
int16 r21 = [r10 + e_phnum] // number of program headers
|
| 293 |
|
|
int16 r12 = [r10 + e_phentsize] // size of each program header
|
| 294 |
|
|
// int r0 = r21 * r12 // size of all program headers
|
| 295 |
|
|
int r0 = 0
|
| 296 |
|
|
for (int+ r14 = 0; r14 < r21; r14++) { // multiplication loop in case CPU does not support multiplication
|
| 297 |
|
|
int16 r0 += r12
|
| 298 |
|
|
}
|
| 299 |
|
|
int r11 += r0 // count number of bytes read
|
| 300 |
|
|
call read_block // read all program headers
|
| 301 |
|
|
|
| 302 |
|
|
int r22 = r1 + 7 // temporary program data start address
|
| 303 |
|
|
int r22 &= -8 // align by 8
|
| 304 |
|
|
|
| 305 |
|
|
// find first code section
|
| 306 |
|
|
int32 r6 = r20 // ram address of first program header
|
| 307 |
|
|
for (int+ r14 = 0; r14 < r21; r14++) { // loop through code sections
|
| 308 |
|
|
int r3 = [r6 + p_flags] // section flags
|
| 309 |
|
|
if (int8+ r3 & SHF_EXEC) {break} // search for SHF_EXEC flag
|
| 310 |
|
|
int r6 += r12 // next program header
|
| 311 |
|
|
}
|
| 312 |
|
|
|
| 313 |
|
|
int r24 = read_capabilities(capab5, 0) // get data cache size = start of code section
|
| 314 |
|
|
int r27 = read_capabilities(capab4, 0) // get code cache size = max size of code section
|
| 315 |
|
|
int64 r4 = [r6 + p_vaddr] // virtual address of first code section relative to first IP section
|
| 316 |
|
|
int64 r23 = r24 - r4 // start address of const data (ip-addressed)
|
| 317 |
|
|
|
| 318 |
|
|
// load binary data
|
| 319 |
|
|
|
| 320 |
|
|
// 1. const sections
|
| 321 |
|
|
int r1 = r23 // start address of const data
|
| 322 |
|
|
int32 r6 = r20 // ram address of first program header
|
| 323 |
|
|
for (int+ r14 = 0; r14 < r21; r14++) { // loop through program headers
|
| 324 |
|
|
int r3 = [r6 + p_flags] // section flags
|
| 325 |
|
|
int16+ test_bits_and(r3, SHF_IP | SHF_READ), jump_false LOOP3BREAK // skip if not readable IP
|
| 326 |
|
|
if (int16+ r3 & SHF_EXEC) {break} // stop if SHF_EXEC flag
|
| 327 |
|
|
int32 r0 = [r6 + p_offset] // file offset of this section
|
| 328 |
|
|
int32 r0 -= r11 // space between last program header and first binary data block
|
| 329 |
|
|
int r11 += r0 // count number of bytes read
|
| 330 |
|
|
call read_dummy // read any space
|
| 331 |
|
|
int32 r0 = [r6 + p_filesz] // file size of this section
|
| 332 |
|
|
int32 r0 += 3 // round up to nearest multiple of 4
|
| 333 |
|
|
int32 r0 &= -4
|
| 334 |
|
|
int r11 += r0 // count number of bytes read
|
| 335 |
|
|
call read_block // read const data section
|
| 336 |
|
|
int r6 += r12 // next program header
|
| 337 |
|
|
}
|
| 338 |
|
|
LOOP3BREAK:
|
| 339 |
|
|
|
| 340 |
|
|
// 2. code sections
|
| 341 |
|
|
for (int ; r14 < r21; r14++) { // continue loop through program headers
|
| 342 |
|
|
int r3 = [r6 + p_flags] // section flags
|
| 343 |
|
|
if (int16+ !(r3 & SHF_EXEC)) {break} // stop if not SHF_EXEC flag
|
| 344 |
|
|
int32 r0 = [r6 + p_offset] // file offset of this section
|
| 345 |
|
|
int32 r0 -= r11 // any space between last binary data and this
|
| 346 |
|
|
int r11 += r0 // count number of bytes read
|
| 347 |
|
|
call read_dummy // read any space
|
| 348 |
|
|
uint64 r1 = r23 + [r6 + p_vaddr] // address to place code
|
| 349 |
|
|
int32 r0 = [r6 + p_filesz] // file size of this section
|
| 350 |
|
|
int32 r0 += 3 // round up to nearest multiple of 4
|
| 351 |
|
|
int32 r0 &= -4
|
| 352 |
|
|
int r11 += r0 // count number of bytes read
|
| 353 |
|
|
call read_block // read code section
|
| 354 |
|
|
int r6 += r12 // next program header
|
| 355 |
|
|
}
|
| 356 |
|
|
|
| 357 |
|
|
int r30 = 1 // error code
|
| 358 |
|
|
int r29 = address([_loader])
|
| 359 |
|
|
if (uint32 r1 > r29) {jump ERROR} // out of code memory
|
| 360 |
|
|
|
| 361 |
|
|
// 3. datap sections
|
| 362 |
|
|
// align first data section
|
| 363 |
|
|
int r3 = [r6 + p_flags] // section flags
|
| 364 |
|
|
if (int+ r3 & SHF_DATAP) { // check if there is a data or bss section
|
| 365 |
|
|
int8 r4 = [r6 + p_align]
|
| 366 |
|
|
int r5 = 1
|
| 367 |
|
|
int64 r5 <<= r4 // alignment
|
| 368 |
|
|
int64 r5 -= 1
|
| 369 |
|
|
int64 r22 += r5
|
| 370 |
|
|
int64 r5 = ~r5
|
| 371 |
|
|
int64 r22 &= r5 // aligned start address of program data
|
| 372 |
|
|
}
|
| 373 |
|
|
|
| 374 |
|
|
// data section headers
|
| 375 |
|
|
for (int ; r14 < r21; r14++) { // continue loop through program headers
|
| 376 |
|
|
int r3 = [r6 + p_flags] // section flags
|
| 377 |
|
|
if (int16+ !(r3 & SHF_DATAP)) {break} // stop if not SHF_DATAP flag
|
| 378 |
|
|
int32 r0 = [r6 + p_offset] // file offset of this section
|
| 379 |
|
|
int32 r0 -= r11 // any space between last binary data and this
|
| 380 |
|
|
int r11 += r0 // count number of bytes read
|
| 381 |
|
|
call read_dummy // read any space
|
| 382 |
|
|
int r1 = r22 + [r6 + p_vaddr] // address to place code
|
| 383 |
|
|
int r27 = r1 + [r6 + p_memsz] // end of initialized and unitialized data section
|
| 384 |
|
|
int32 r0 = [r6 + p_filesz] // file size of this section
|
| 385 |
|
|
int32 r0 += 3 // round up to nearest multiple of 4
|
| 386 |
|
|
int32 r0 &= -4
|
| 387 |
|
|
int r11 += r0 // count number of bytes read. will be zero for BSS section
|
| 388 |
|
|
call read_block // read code section
|
| 389 |
|
|
int r6 += r12 // next program header
|
| 390 |
|
|
int r26 = r1 // end of initialized data section
|
| 391 |
|
|
}
|
| 392 |
|
|
|
| 393 |
|
|
// 4. threadp sections
|
| 394 |
|
|
int r13 = 0 // size of all threadp sections
|
| 395 |
|
|
int64 r25 = r23 // default if no threadp section. used for stack pointer
|
| 396 |
|
|
// find last threadp section
|
| 397 |
|
|
int r7 = r6
|
| 398 |
|
|
for (int r2 = r14; r2 < r21; r2++) { // continue loop through program headers
|
| 399 |
|
|
int r3 = [r7 + p_flags] // section flags
|
| 400 |
|
|
if (int16+ !(r3 & SHF_THREADP)) {break} // stop if not SHF_THREADP flag
|
| 401 |
|
|
int r7 += r12 // next program header
|
| 402 |
|
|
}
|
| 403 |
|
|
int r7 -= r12 // last threadp header, if any
|
| 404 |
|
|
if (int r7 >= r6) { // check if there is any threadp header
|
| 405 |
|
|
int r13 = [r7 + p_vaddr] // virtual address of last threadp section relative to first threadp section
|
| 406 |
|
|
int r13 += [r7 + p_memsz] // add size of last threadp section to get total size of threadp sections
|
| 407 |
|
|
// start of threadp section
|
| 408 |
|
|
int64 r25 = r23 - r13
|
| 409 |
|
|
// align start of threadp sections
|
| 410 |
|
|
int8 r4 = [r7 + p_align] // alignment of first threadp section
|
| 411 |
|
|
int r5 = 1
|
| 412 |
|
|
int64 r5 <<= r4 // alignment
|
| 413 |
|
|
int64 r5 = -r5
|
| 414 |
|
|
int64 r25 = r25 & r5 // aligned start address of first threadp section
|
| 415 |
|
|
}
|
| 416 |
|
|
|
| 417 |
|
|
int r30 = 2 // error code
|
| 418 |
|
|
if (uint32 r25 <= r27) {jump ERROR} // out of RAM memory
|
| 419 |
|
|
// r22 contains the amount or RAM used for headers during loading.
|
| 420 |
|
|
// This is included in the memory count above, but will be freed before the loaded program is run.
|
| 421 |
|
|
// This freed memory will be available for data stack or heap
|
| 422 |
|
|
|
| 423 |
|
|
// threadp section headers
|
| 424 |
|
|
for (int ; r14 < r21; r14++) { // continue loop through program headers
|
| 425 |
|
|
int r3 = [r6 + p_flags] // section flags
|
| 426 |
|
|
if (int16+ !(r3 & SHF_THREADP)) {break} // stop if not SHF_THREADP flag
|
| 427 |
|
|
uint64 r1 = r25 + [r6 + p_vaddr] // address to place code
|
| 428 |
|
|
int32 r0 = [r6 + p_offset] // file offset of this section
|
| 429 |
|
|
int32 r0 -= r11 // any space between last binary data and this
|
| 430 |
|
|
int r11 += r0 // count number of bytes read
|
| 431 |
|
|
call read_dummy // read any space
|
| 432 |
|
|
int32 r0 = [r6 + p_filesz] // file size of this section (0 if BSS)
|
| 433 |
|
|
int32 r0 += 3 // round up to nearest multiple of 4
|
| 434 |
|
|
int32 r0 &= -4
|
| 435 |
|
|
int r11 += r0 // count number of bytes read. will be zero for BSS section
|
| 436 |
|
|
call read_block // read code section
|
| 437 |
|
|
int r6 += r12 // next program header
|
| 438 |
|
|
}
|
| 439 |
|
|
|
| 440 |
|
|
int64 r10 = ram_start_address // Store file header temporarily in memory at address 0
|
| 441 |
|
|
|
| 442 |
|
|
// calculate entry point for loaded program
|
| 443 |
|
|
// r23 = const start = start of IP-addressed block
|
| 444 |
|
|
int64 r1 = r23 + [r10 + e_entry] // entry point
|
| 445 |
|
|
int64 r2 = address([set_entry_point+4]) // reference point
|
| 446 |
|
|
int32 r3 = r1 - r2 // relative address
|
| 447 |
|
|
int32 r4 = r3 << 6 // remove upper 8 bits and scale by 4
|
| 448 |
|
|
uint32 r5 = r4 >> 8 //
|
| 449 |
|
|
int32 r6 = r5 | 0x79000000 // code for direct call instruction
|
| 450 |
|
|
int32 [set_entry_point] = r6 // modify set_entry_point instruction to call calculated entry point
|
| 451 |
|
|
|
| 452 |
|
|
// get datap
|
| 453 |
|
|
int64 r7 = [r10 + e_datap_base] /* + r22 */ // temporary datap address is r7+r22, but moved down to r7
|
| 454 |
|
|
int32 [set_datap+4] = r7 // modify instruction that sets datap
|
| 455 |
|
|
|
| 456 |
|
|
// get threadp
|
| 457 |
|
|
int64 r8 = r25 + [r10 + e_threadp_base] // threadp register
|
| 458 |
|
|
int32 [set_threadp+4] = r8 // modify instruction that sets threadp
|
| 459 |
|
|
|
| 460 |
|
|
// get sp
|
| 461 |
|
|
int64 sp = r25 & -stack_align // align stack at end of datap ram = begin of threadp
|
| 462 |
|
|
int32 [set_sp+4] = sp // modify instruction that sets stack pointer
|
| 463 |
|
|
|
| 464 |
|
|
// Move data down from r22 to 0
|
| 465 |
|
|
int r2 = ram_start_address
|
| 466 |
|
|
for (int+ r3 = r22; r3 < r26; r3 += 4) {
|
| 467 |
|
|
int32 r4 = [r3]
|
| 468 |
|
|
int32 [r2] = r4
|
| 469 |
|
|
int32 r2 += 4
|
| 470 |
|
|
}
|
| 471 |
|
|
|
| 472 |
|
|
// Fill the rest with zeroes, including BSS and empty space or stack
|
| 473 |
|
|
int r0 = 0
|
| 474 |
|
|
for (int ; r2 < r25; r2 += 4) {
|
| 475 |
|
|
int32 [r2] = r0
|
| 476 |
|
|
}
|
| 477 |
|
|
|
| 478 |
|
|
// Initialize datap, threadp, sp. Jump to the entry point of the loaded program
|
| 479 |
|
|
jump RESTART
|
| 480 |
|
|
|
| 481 |
|
|
_loader end
|
| 482 |
|
|
|
| 483 |
|
|
|
| 484 |
|
|
// Error if out of memory or if input file sections are not in desired order
|
| 485 |
|
|
ERROR:
|
| 486 |
|
|
breakpoint
|
| 487 |
|
|
int r0 = r30 // show error code in debugger
|
| 488 |
|
|
jump ERROR
|
| 489 |
|
|
|
| 490 |
|
|
|
| 491 |
|
|
// Function to read a block of data into memory.
|
| 492 |
|
|
// input:
|
| 493 |
|
|
// r0: number of bytes to read. must be divisible by 4
|
| 494 |
|
|
// r1: pointer to memory block to write to. must be aligned by 4
|
| 495 |
|
|
// return:
|
| 496 |
|
|
// r0: last word read
|
| 497 |
|
|
// r1: end of memory block
|
| 498 |
|
|
read_block function
|
| 499 |
|
|
int r30 = 0x10 // error code
|
| 500 |
|
|
if (int32 r0 < 0) {jump ERROR} // check if negative
|
| 501 |
|
|
int64 r2 = r1 + r0 // end of memory block
|
| 502 |
|
|
for (uint64 ; r1 < r2; r1 += 4) { // loop n/4 times
|
| 503 |
|
|
do { // wait until there are at least 4 bytes in input buffer
|
| 504 |
|
|
int32 r3 = input(r0, serial_input_status) // bit 15:0 of status = number of bytes in input buffer
|
| 505 |
|
|
} while (int16 r3 < 4) // repeat if data not enough data
|
| 506 |
|
|
int8 r3 = input(r0, serial_input_port) // read first byte
|
| 507 |
|
|
int8 r4 = input(r0, serial_input_port) // read second byte
|
| 508 |
|
|
int32 r4 <<= 8;
|
| 509 |
|
|
int32 r3 |= r4
|
| 510 |
|
|
int8 r4 = input(r0, serial_input_port) // read third byte
|
| 511 |
|
|
int32 r4 <<= 16;
|
| 512 |
|
|
int32 r3 |= r4
|
| 513 |
|
|
int8 r4 = input(r0, serial_input_port) // read fourth byte
|
| 514 |
|
|
int32 r4 <<= 24;
|
| 515 |
|
|
int32 r3 |= r4
|
| 516 |
|
|
int32 [r1] = r3 // store byte to memory
|
| 517 |
|
|
}
|
| 518 |
|
|
return
|
| 519 |
|
|
read_block end
|
| 520 |
|
|
|
| 521 |
|
|
// Function to read a block of data and discard it
|
| 522 |
|
|
// input:
|
| 523 |
|
|
// r0: number of bytes to read
|
| 524 |
|
|
// return:
|
| 525 |
|
|
// r0: last byte read
|
| 526 |
|
|
read_dummy function
|
| 527 |
|
|
int r30 = 0x11 // error code
|
| 528 |
|
|
if (int32 r0 < 0) {jump ERROR} // check if negative
|
| 529 |
|
|
for (uint64 ; r0 > 0; r0--) { // loop n times
|
| 530 |
|
|
do {
|
| 531 |
|
|
int16 r3 = input(r0, serial_input_port) // read one byte. r0 is dummy
|
| 532 |
|
|
} while (int16+ !(r3 & 0x100)) // repeat if data not ready
|
| 533 |
|
|
}
|
| 534 |
|
|
//int8 r0 = r3 // return last byte read
|
| 535 |
|
|
return
|
| 536 |
|
|
read_dummy end
|
| 537 |
|
|
|
| 538 |
|
|
nop
|
| 539 |
|
|
|
| 540 |
|
|
code end
|