Mercurial > hg-old > index.cgi
annotate src/output.c @ 88:6460a1fb5f1f
Checkpoint: object format output
| author | lost |
|---|---|
| date | Sat, 17 Jan 2009 04:37:40 +0000 |
| parents | 41ff4686b46b |
| children | 718998b673ee |
| rev | line source |
|---|---|
| 0 | 1 /* |
|
4
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
2 output.c |
| 46 | 3 Copyright © 2009 William Astle |
|
4
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
4 |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
5 This file is part of LWASM. |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
6 |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
7 LWASM is free software: you can redistribute it and/or modify it under the |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
8 terms of the GNU General Public License as published by the Free Software |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
9 Foundation, either version 3 of the License, or (at your option) any later |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
10 version. |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
11 |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
12 This program is distributed in the hope that it will be useful, but WITHOUT |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
15 more details. |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
16 |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
17 You should have received a copy of the GNU General Public License along with |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
18 this program. If not, see <http://www.gnu.org/licenses/>. |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
19 |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
20 |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
21 Contains the code for actually outputting the assembled code |
|
34568fab6058
Fixed package to include all required files; also added copyright preamble to all source files
lost
parents:
0
diff
changeset
|
22 */ |
| 0 | 23 |
| 24 //#include <ctype.h> | |
| 25 #include <errno.h> | |
| 26 #include <stdio.h> | |
| 27 //#include <stdlib.h> | |
| 28 #include <string.h> | |
| 29 #include <unistd.h> | |
| 30 #define __output_c_seen__ | |
| 31 //#include "instab.h" | |
| 32 #include "lwasm.h" | |
| 85 | 33 #include "util.h" |
| 0 | 34 |
| 35 void write_code_raw(asmstate_t *as, FILE *of); | |
| 36 void write_code_decb(asmstate_t *as, FILE *of); | |
| 37 void write_code_rawrel(asmstate_t *as, FILE *of); | |
| 85 | 38 void write_code_obj(asmstate_t *as, FILE *of); |
| 0 | 39 |
|
48
6de358e7903f
Cleaned up warnings about the return value of fwrite() being ignored (it still is but now there's no warning)
lost
parents:
46
diff
changeset
|
40 // this prevents warnings about not using the return value of fwrite() |
|
6de358e7903f
Cleaned up warnings about the return value of fwrite() being ignored (it still is but now there's no warning)
lost
parents:
46
diff
changeset
|
41 #define writebytes(s, l, c, f) do { int r; r = fwrite((s), (l), (c), (f)); } while (0) |
|
6de358e7903f
Cleaned up warnings about the return value of fwrite() being ignored (it still is but now there's no warning)
lost
parents:
46
diff
changeset
|
42 |
| 46 | 43 void lwasm_output(asmstate_t *as) |
| 0 | 44 { |
| 45 FILE *of; | |
| 46 | |
| 47 if (as -> errorcount > 0) | |
| 48 { | |
| 49 fprintf(stderr, "Not doing output due to assembly errors.\n"); | |
| 50 return; | |
| 51 } | |
| 52 | |
| 53 of = fopen(as -> outfile, "wb"); | |
| 54 if (!of) | |
| 55 { | |
| 56 fprintf(stderr, "Cannot open '%s' for output", as -> outfile); | |
| 57 perror(""); | |
| 58 return; | |
| 59 } | |
| 60 | |
| 61 switch (as -> outformat) | |
| 62 { | |
| 63 case OUTPUT_RAW: | |
| 64 write_code_raw(as, of); | |
| 65 break; | |
| 66 | |
| 67 case OUTPUT_DECB: | |
| 68 write_code_decb(as, of); | |
| 69 break; | |
| 70 | |
| 71 case OUTPUT_RAWREL: | |
| 72 write_code_rawrel(as, of); | |
| 73 break; | |
| 85 | 74 |
| 75 case OUTPUT_OBJ: | |
| 76 write_code_obj(as, of); | |
| 77 break; | |
| 78 | |
| 0 | 79 default: |
| 80 fprintf(stderr, "BUG: unrecognized output format when generating output file\n"); | |
| 81 fclose(of); | |
| 82 unlink(as -> outfile); | |
| 83 return; | |
| 84 } | |
| 85 | |
| 86 fclose(of); | |
| 87 } | |
| 88 | |
| 89 /* | |
| 90 rawrel output treats an ORG directive as an offset from the start of the | |
| 91 file. Undefined results will occur if an ORG directive moves the output | |
| 92 pointer backward. This particular implementation uses "fseek" to handle | |
| 93 ORG requests and to skip over RMBs. | |
| 94 | |
| 95 This simple brain damanged method simply does an fseek before outputting | |
| 96 each instruction. | |
| 97 */ | |
| 98 void write_code_rawrel(asmstate_t *as, FILE *of) | |
| 99 { | |
| 46 | 100 lwasm_line_t *cl; |
| 0 | 101 |
| 46 | 102 for (cl = as -> lineshead; cl; cl = cl -> next) |
| 0 | 103 { |
| 46 | 104 if (cl -> codelen == 0) |
| 0 | 105 continue; |
| 106 | |
| 46 | 107 fseek(of, cl -> codeaddr, SEEK_SET); |
|
48
6de358e7903f
Cleaned up warnings about the return value of fwrite() being ignored (it still is but now there's no warning)
lost
parents:
46
diff
changeset
|
108 writebytes(cl -> bytes, cl -> codelen, 1, of); |
| 0 | 109 } |
| 110 } | |
| 111 | |
| 112 /* | |
| 113 raw merely writes all the bytes directly to the file as is. ORG is just a | |
| 114 reference for the assembler to handle absolute references. Multiple ORG | |
| 115 statements will produce mostly useless results | |
| 116 */ | |
| 117 void write_code_raw(asmstate_t *as, FILE *of) | |
| 118 { | |
| 46 | 119 lwasm_line_t *cl; |
| 0 | 120 |
| 46 | 121 for (cl = as -> lineshead; cl; cl = cl -> next) |
| 0 | 122 { |
| 46 | 123 if (cl -> nocodelen) |
| 0 | 124 { |
| 125 int i; | |
| 46 | 126 for (i = 0; i < cl -> nocodelen; i++) |
|
48
6de358e7903f
Cleaned up warnings about the return value of fwrite() being ignored (it still is but now there's no warning)
lost
parents:
46
diff
changeset
|
127 writebytes("\0", 1, 1, of); |
| 0 | 128 continue; |
| 129 } | |
|
48
6de358e7903f
Cleaned up warnings about the return value of fwrite() being ignored (it still is but now there's no warning)
lost
parents:
46
diff
changeset
|
130 writebytes(cl -> bytes, cl -> codelen, 1, of); |
| 0 | 131 } |
| 132 } | |
| 133 | |
| 134 void write_code_decb(asmstate_t *as, FILE *of) | |
| 135 { | |
| 136 long preambloc; | |
| 46 | 137 lwasm_line_t *cl; |
| 0 | 138 int blocklen = -1; |
| 139 int nextcalc = -1; | |
| 140 unsigned char outbuf[5]; | |
| 141 | |
| 46 | 142 for (cl = as -> lineshead; cl; cl = cl -> next) |
| 0 | 143 { |
| 46 | 144 if (cl -> nocodelen) |
| 0 | 145 continue; |
| 46 | 146 if (cl -> codeaddr != nextcalc && cl -> codelen > 0) |
| 0 | 147 { |
| 148 // need preamble here | |
| 149 if (blocklen > 0) | |
| 150 { | |
| 46 | 151 // update previous preamble if needed |
| 0 | 152 fseek(of, preambloc, SEEK_SET); |
| 153 outbuf[0] = (blocklen >> 8) & 0xFF; | |
| 154 outbuf[1] = blocklen & 0xFF; | |
|
48
6de358e7903f
Cleaned up warnings about the return value of fwrite() being ignored (it still is but now there's no warning)
lost
parents:
46
diff
changeset
|
155 writebytes(outbuf, 2, 1, of); |
| 0 | 156 fseek(of, 0, SEEK_END); |
| 157 } | |
| 158 blocklen = 0; | |
| 46 | 159 nextcalc = cl -> codeaddr; |
| 0 | 160 outbuf[0] = 0x00; |
| 161 outbuf[1] = 0x00; | |
| 162 outbuf[2] = 0x00; | |
| 163 outbuf[3] = (nextcalc >> 8) & 0xFF; | |
| 164 outbuf[4] = nextcalc & 0xFF; | |
| 165 preambloc = ftell(of) + 1; | |
|
48
6de358e7903f
Cleaned up warnings about the return value of fwrite() being ignored (it still is but now there's no warning)
lost
parents:
46
diff
changeset
|
166 writebytes(outbuf, 5, 1, of); |
| 0 | 167 } |
| 46 | 168 nextcalc += cl -> codelen; |
|
48
6de358e7903f
Cleaned up warnings about the return value of fwrite() being ignored (it still is but now there's no warning)
lost
parents:
46
diff
changeset
|
169 writebytes(cl -> bytes, cl -> codelen, 1, of); |
| 46 | 170 blocklen += cl -> codelen; |
| 0 | 171 } |
| 172 if (blocklen > 0) | |
| 173 { | |
| 174 fseek(of, preambloc, SEEK_SET); | |
| 175 outbuf[0] = (blocklen >> 8) & 0xFF; | |
| 176 outbuf[1] = blocklen & 0xFF; | |
|
48
6de358e7903f
Cleaned up warnings about the return value of fwrite() being ignored (it still is but now there's no warning)
lost
parents:
46
diff
changeset
|
177 writebytes(outbuf, 2, 1, of); |
| 0 | 178 fseek(of, 0, SEEK_END); |
| 179 } | |
| 180 | |
| 181 // now write postamble | |
| 182 outbuf[0] = 0xFF; | |
| 183 outbuf[1] = 0x00; | |
| 184 outbuf[2] = 0x00; | |
| 185 outbuf[3] = (as -> execaddr >> 8) & 0xFF; | |
| 186 outbuf[4] = (as -> execaddr) & 0xFF; | |
|
48
6de358e7903f
Cleaned up warnings about the return value of fwrite() being ignored (it still is but now there's no warning)
lost
parents:
46
diff
changeset
|
187 writebytes(outbuf, 5, 1, of); |
| 0 | 188 } |
| 85 | 189 |
| 190 void write_code_obj_sbadd(sectiontab_t *s, unsigned char b) | |
| 191 { | |
| 192 if (s -> oblen >= s -> obsize) | |
| 193 { | |
| 194 s -> obytes = lwasm_realloc(s -> obytes, s -> obsize + 128); | |
| 195 s -> obsize += 128; | |
| 196 } | |
| 197 s -> obytes[s -> oblen] = b; | |
| 198 s -> oblen += 1; | |
| 199 } | |
| 200 | |
| 201 void write_code_obj(asmstate_t *as, FILE *of) | |
| 202 { | |
| 203 lwasm_line_t *l; | |
| 87 | 204 sectiontab_t *s; |
| 88 | 205 lwasm_symbol_ent_t *se; |
| 206 | |
| 85 | 207 int i; |
| 87 | 208 unsigned char buf[16]; |
| 85 | 209 |
| 210 // output the magic number and file header | |
| 87 | 211 // the 8 is NOT an error |
| 212 writebytes("LWOBJ16", 8, 1, of); | |
| 85 | 213 |
| 214 // run through the entire system and build the byte streams for each | |
| 215 // section; at the same time, generate a list of "local" symbols to | |
| 216 // output for each section | |
| 217 // NOTE: for "local" symbols, we will append \x01 and the ascii string | |
| 218 // of the context identifier (so sym in context 1 would be "sym\x011" | |
| 219 // we can do this because the linker can handle symbols with any | |
| 220 // character other than NUL. | |
| 221 // also we will generate a list of incomplete references for each | |
| 222 // section along with the actual definition that will be output | |
| 223 | |
| 224 // once all this information is generated, we will output each section | |
| 225 // to the file | |
| 226 | |
| 227 // NOTE: we build everything in memory then output it because the | |
| 228 // assembler accepts multiple instances of the same section but the | |
| 229 // linker expects only one instance of each section in the object file | |
| 230 // so we need to collect all the various pieces of a section together | |
| 231 // (also, the assembler treated multiple instances of the same section | |
| 232 // as continuations of previous sections so we would need to collect | |
| 233 // them together anyway. | |
| 234 | |
| 235 for (l = as -> lineshead; l; l = l -> next) | |
| 236 { | |
| 237 if (l -> sect) | |
| 238 { | |
| 239 // we're in a section - need to output some bytes | |
| 240 for (i = 0; i < l -> codelen; i++) | |
| 241 write_code_obj_sbadd(l -> sect, l -> bytes[i]); | |
| 242 for (i = 0; i < l -> nocodelen; i++) | |
| 243 write_code_obj_sbadd(l -> sect, 0); | |
| 244 | |
| 245 // do we have a "relocation"? If so, add a reference to the | |
| 246 // relocation table | |
| 247 if (l -> relocoff >= 0) | |
| 248 { | |
| 86 | 249 section_reloc_list_t *re; |
| 250 | |
| 251 // build the relocation reference for the linker | |
| 252 re = lwasm_alloc(sizeof(section_reloc_list_t)); | |
| 253 re -> next = l -> sect -> rl; | |
| 254 l -> sect -> rl = re; | |
| 255 | |
| 256 re -> offset = l -> codeaddr + l -> relocoff; | |
| 257 re -> expr = l -> exprs[0]; | |
| 85 | 258 } |
| 259 } | |
| 260 } | |
| 87 | 261 |
| 262 // run through the sections | |
| 263 for (s = as -> sections; s; s = s -> next) | |
| 264 { | |
| 265 // write the name | |
| 266 writebytes(s -> name, strlen(s -> name) + 1, 1, of); | |
| 267 | |
| 268 // write the flags | |
| 269 if (s -> flags & SECTION_BSS) | |
| 270 writebytes("\x01", 1, 1, of); | |
| 271 | |
| 272 // indicate end of flags - the "" is NOT an error | |
| 273 writebytes("", 1, 1, of); | |
| 274 | |
| 275 | |
| 88 | 276 // now the local symbols |
| 277 for (se = as -> symhead; se; se = se -> next) | |
| 278 { | |
| 279 // ignore symbols not in this section | |
| 280 if (se -> sect != s) | |
| 281 continue; | |
| 282 | |
| 283 if (se -> flags & SYMBOL_SET) | |
| 284 continue; | |
| 285 | |
| 286 if (se -> flags & SYMBOL_EXTERN) | |
| 287 continue; | |
| 288 | |
| 289 writebytes(se -> sym, strlen(se -> sym), 1, of); | |
| 290 if (se -> context >= 0) | |
| 291 { | |
| 292 writebytes("\x01", 1, 1, of); | |
| 293 sprintf(buf, "%d", se -> context); | |
| 294 writebytes(buf, strlen(buf), 1, of); | |
| 295 } | |
| 296 // the "" is NOT an error | |
| 297 writebytes("", 1, 1, of); | |
| 298 | |
| 299 // write the address | |
| 300 buf[0] = (se -> value >> 8) & 0xff; | |
| 301 buf[1] = se -> value & 0xff; | |
| 302 writebytes(buf, 2, 1, of); | |
| 303 } | |
| 304 // flag end of local symbol table - "" is NOT an error | |
| 305 writebytes("", 1, 1, of); | |
| 306 | |
| 87 | 307 // now blast out the code |
| 308 | |
| 309 // length | |
| 310 buf[0] = s -> oblen >> 8 & 0xff; | |
| 311 buf[1] = s -> oblen & 0xff; | |
| 312 writebytes(buf, 2, 1, of); | |
| 313 | |
| 314 if (!(s -> flags & SECTION_BSS)) | |
| 315 { | |
| 316 writebytes(s -> obytes, s -> oblen, 1, of); | |
| 317 } | |
| 318 } | |
| 319 | |
| 320 // flag no more sections | |
| 321 // the "" is NOT an error | |
| 322 writebytes("", 1, 1, of); | |
| 85 | 323 } |