| 1 | /* @(#) pf_save.c 98/01/26 1.3 */\r |
| 2 | /***************************************************************\r |
| 3 | ** Save and Load Dictionary\r |
| 4 | ** for PForth based on 'C'\r |
| 5 | **\r |
| 6 | ** Compile file based version or static data based version\r |
| 7 | ** depending on PF_NO_FILEIO switch.\r |
| 8 | **\r |
| 9 | ** Author: Phil Burk\r |
| 10 | ** Copyright 1994 3DO, Phil Burk, Larry Polansky, David Rosenboom\r |
| 11 | **\r |
| 12 | ** The pForth software code is dedicated to the public domain,\r |
| 13 | ** and any third party may reproduce, distribute and modify\r |
| 14 | ** the pForth software code or any derivative works thereof\r |
| 15 | ** without any compensation or license. The pForth software\r |
| 16 | ** code is provided on an "as is" basis without any warranty\r |
| 17 | ** of any kind, including, without limitation, the implied\r |
| 18 | ** warranties of merchantability and fitness for a particular\r |
| 19 | ** purpose and their equivalents under the laws of any jurisdiction.\r |
| 20 | **\r |
| 21 | ****************************************************************\r |
| 22 | ** 940225 PLB Fixed CodePtr save, was using NAMEREL instead of CODEREL\r |
| 23 | ** This would only work if the relative location\r |
| 24 | ** of names and code was the same when saved and reloaded.\r |
| 25 | ** 940228 PLB Added PF_NO_FILEIO version\r |
| 26 | ** 961204 PLB Added PF_STATIC_DIC\r |
| 27 | ** 000623 PLB Cast chars as ucell_t before shifting for 16 bit systems.\r |
| 28 | ***************************************************************/\r |
| 29 | \r |
| 30 | #include <assert.h>\r |
| 31 | \r |
| 32 | #include "pf_all.h"\r |
| 33 | \r |
| 34 | /* If no File I/O, then force static dictionary. */\r |
| 35 | #ifdef PF_NO_FILEIO\r |
| 36 | #ifndef PF_STATIC_DIC\r |
| 37 | #define PF_STATIC_DIC\r |
| 38 | #endif\r |
| 39 | #endif\r |
| 40 | \r |
| 41 | #ifdef PF_STATIC_DIC\r |
| 42 | #include "pfdicdat.h"\r |
| 43 | #endif\r |
| 44 | \r |
| 45 | /*\r |
| 46 | Dictionary File Format based on IFF standard.\r |
| 47 | The chunk IDs, sizes, and data values are all Big Endian in conformance with the IFF standard.\r |
| 48 | The dictionaries may be big or little endian.\r |
| 49 | 'FORM'\r |
| 50 | size\r |
| 51 | 'P4TH' - Form Identifier\r |
| 52 | \r |
| 53 | Chunks\r |
| 54 | 'P4DI'\r |
| 55 | size\r |
| 56 | struct DictionaryInfoChunk\r |
| 57 | \r |
| 58 | 'P4NM'\r |
| 59 | size\r |
| 60 | Name and Header portion of dictionary. (Big or Little Endian) (Optional)\r |
| 61 | \r |
| 62 | 'P4CD'\r |
| 63 | size\r |
| 64 | Code portion of dictionary. (Big or Little Endian) \r |
| 65 | */\r |
| 66 | \r |
| 67 | \r |
| 68 | /***************************************************************/\r |
| 69 | /* Endian-ness tools. */\r |
| 70 | ucell_t ReadCellBigEndian( const uint8_t *addr )\r |
| 71 | {\r |
| 72 | ucell_t temp = (ucell_t)addr[0];\r |
| 73 | temp = (temp << 8) | ((ucell_t)addr[1]);\r |
| 74 | temp = (temp << 8) | ((ucell_t)addr[2]);\r |
| 75 | temp = (temp << 8) | ((ucell_t)addr[3]);\r |
| 76 | if( sizeof(ucell_t) == 8 )\r |
| 77 | {\r |
| 78 | temp = (temp << 8) | ((ucell_t)addr[4]);\r |
| 79 | temp = (temp << 8) | ((ucell_t)addr[5]);\r |
| 80 | temp = (temp << 8) | ((ucell_t)addr[6]);\r |
| 81 | temp = (temp << 8) | ((ucell_t)addr[7]);\r |
| 82 | }\r |
| 83 | \r |
| 84 | return temp;\r |
| 85 | }\r |
| 86 | /***************************************************************/\r |
| 87 | /* Endian-ness tools. */\r |
| 88 | uint32_t Read32BigEndian( const uint8_t *addr )\r |
| 89 | {\r |
| 90 | uint32_t temp = (uint32_t)addr[0];\r |
| 91 | temp = (temp << 8) | ((uint32_t)addr[1]);\r |
| 92 | temp = (temp << 8) | ((uint32_t)addr[2]);\r |
| 93 | temp = (temp << 8) | ((uint32_t)addr[3]);\r |
| 94 | return temp;\r |
| 95 | }\r |
| 96 | \r |
| 97 | /***************************************************************/\r |
| 98 | uint16_t Read16BigEndian( const uint8_t *addr )\r |
| 99 | {\r |
| 100 | return (uint16_t) ((addr[0]<<8) | addr[1]);\r |
| 101 | }\r |
| 102 | \r |
| 103 | /***************************************************************/\r |
| 104 | ucell_t ReadCellLittleEndian( const uint8_t *addr )\r |
| 105 | {\r |
| 106 | ucell_t temp = 0;\r |
| 107 | if( sizeof(ucell_t) == 8 )\r |
| 108 | {\r |
| 109 | temp = (temp << 8) | ((uint32_t)addr[7]);\r |
| 110 | temp = (temp << 8) | ((uint32_t)addr[6]);\r |
| 111 | temp = (temp << 8) | ((uint32_t)addr[5]);\r |
| 112 | temp = (temp << 8) | ((uint32_t)addr[4]);\r |
| 113 | }\r |
| 114 | temp = (temp << 8) | ((uint32_t)addr[3]);\r |
| 115 | temp = (temp << 8) | ((uint32_t)addr[2]);\r |
| 116 | temp = (temp << 8) | ((uint32_t)addr[1]);\r |
| 117 | temp = (temp << 8) | ((uint32_t)addr[0]);\r |
| 118 | return temp;\r |
| 119 | }\r |
| 120 | \r |
| 121 | /***************************************************************/\r |
| 122 | uint32_t Read32LittleEndian( const uint8_t *addr )\r |
| 123 | {\r |
| 124 | uint32_t temp = (uint32_t)addr[3];\r |
| 125 | temp = (temp << 8) | ((uint32_t)addr[2]);\r |
| 126 | temp = (temp << 8) | ((uint32_t)addr[1]);\r |
| 127 | temp = (temp << 8) | ((uint32_t)addr[0]);\r |
| 128 | return temp;\r |
| 129 | }\r |
| 130 | \r |
| 131 | /***************************************************************/\r |
| 132 | uint16_t Read16LittleEndian( const uint8_t *addr )\r |
| 133 | {\r |
| 134 | const unsigned char *bp = (const unsigned char *) addr;\r |
| 135 | return (uint16_t) ((bp[1]<<8) | bp[0]);\r |
| 136 | }\r |
| 137 | \r |
| 138 | #ifdef PF_SUPPORT_FP\r |
| 139 | \r |
| 140 | /***************************************************************/\r |
| 141 | static void ReverseCopyFloat( const PF_FLOAT *src, PF_FLOAT *dst );\r |
| 142 | \r |
| 143 | static void ReverseCopyFloat( const PF_FLOAT *src, PF_FLOAT *dst )\r |
| 144 | {\r |
| 145 | int i;\r |
| 146 | unsigned char *d = (unsigned char *) dst;\r |
| 147 | const unsigned char *s = (const unsigned char *) src;\r |
| 148 | \r |
| 149 | for( i=0; i<sizeof(PF_FLOAT); i++ )\r |
| 150 | {\r |
| 151 | d[i] = s[sizeof(PF_FLOAT) - 1 - i];\r |
| 152 | }\r |
| 153 | }\r |
| 154 | \r |
| 155 | /***************************************************************/\r |
| 156 | void WriteFloatBigEndian( PF_FLOAT *addr, PF_FLOAT data )\r |
| 157 | {\r |
| 158 | if( IsHostLittleEndian() )\r |
| 159 | {\r |
| 160 | ReverseCopyFloat( &data, addr );\r |
| 161 | }\r |
| 162 | else\r |
| 163 | {\r |
| 164 | *addr = data;\r |
| 165 | }\r |
| 166 | }\r |
| 167 | \r |
| 168 | /***************************************************************/\r |
| 169 | PF_FLOAT ReadFloatBigEndian( const PF_FLOAT *addr )\r |
| 170 | {\r |
| 171 | PF_FLOAT data;\r |
| 172 | if( IsHostLittleEndian() )\r |
| 173 | {\r |
| 174 | ReverseCopyFloat( addr, &data );\r |
| 175 | return data;\r |
| 176 | }\r |
| 177 | else\r |
| 178 | {\r |
| 179 | return *addr;\r |
| 180 | }\r |
| 181 | }\r |
| 182 | \r |
| 183 | /***************************************************************/\r |
| 184 | void WriteFloatLittleEndian( PF_FLOAT *addr, PF_FLOAT data )\r |
| 185 | {\r |
| 186 | if( IsHostLittleEndian() )\r |
| 187 | {\r |
| 188 | *addr = data;\r |
| 189 | }\r |
| 190 | else\r |
| 191 | {\r |
| 192 | ReverseCopyFloat( &data, addr );\r |
| 193 | }\r |
| 194 | }\r |
| 195 | \r |
| 196 | /***************************************************************/\r |
| 197 | PF_FLOAT ReadFloatLittleEndian( const PF_FLOAT *addr )\r |
| 198 | {\r |
| 199 | PF_FLOAT data;\r |
| 200 | if( IsHostLittleEndian() )\r |
| 201 | {\r |
| 202 | return *addr;\r |
| 203 | }\r |
| 204 | else\r |
| 205 | {\r |
| 206 | ReverseCopyFloat( addr, &data );\r |
| 207 | return data;\r |
| 208 | }\r |
| 209 | }\r |
| 210 | \r |
| 211 | #endif /* PF_SUPPORT_FP */\r |
| 212 | \r |
| 213 | /***************************************************************/\r |
| 214 | void WriteCellBigEndian( uint8_t *addr, ucell_t data )\r |
| 215 | {\r |
| 216 | // Write should be in order of increasing address\r |
| 217 | // to optimize for burst writes to DRAM.\r |
| 218 | if( sizeof(ucell_t) == 8 )\r |
| 219 | {\r |
| 220 | *addr++ = (uint8_t) (data>>56);\r |
| 221 | *addr++ = (uint8_t) (data>>48);\r |
| 222 | *addr++ = (uint8_t) (data>>40);\r |
| 223 | *addr++ = (uint8_t) (data>>32);\r |
| 224 | }\r |
| 225 | *addr++ = (uint8_t) (data>>24);\r |
| 226 | *addr++ = (uint8_t) (data>>16);\r |
| 227 | *addr++ = (uint8_t) (data>>8);\r |
| 228 | *addr = (uint8_t) (data);\r |
| 229 | }\r |
| 230 | \r |
| 231 | /***************************************************************/\r |
| 232 | void Write32BigEndian( uint8_t *addr, uint32_t data )\r |
| 233 | {\r |
| 234 | *addr++ = (uint8_t) (data>>24);\r |
| 235 | *addr++ = (uint8_t) (data>>16);\r |
| 236 | *addr++ = (uint8_t) (data>>8);\r |
| 237 | *addr = (uint8_t) (data);\r |
| 238 | }\r |
| 239 | \r |
| 240 | /***************************************************************/\r |
| 241 | void Write16BigEndian( uint8_t *addr, uint16_t data )\r |
| 242 | {\r |
| 243 | *addr++ = (uint8_t) (data>>8);\r |
| 244 | *addr = (uint8_t) (data);\r |
| 245 | }\r |
| 246 | \r |
| 247 | /***************************************************************/\r |
| 248 | void WriteCellLittleEndian( uint8_t *addr, ucell_t data )\r |
| 249 | {\r |
| 250 | // Write should be in order of increasing address\r |
| 251 | // to optimize for burst writes to DRAM.\r |
| 252 | if( sizeof(ucell_t) == 8 )\r |
| 253 | {\r |
| 254 | *addr++ = (uint8_t) data; // LSB at near end\r |
| 255 | data = data >> 8;\r |
| 256 | *addr++ = (uint8_t) data;\r |
| 257 | data = data >> 8;\r |
| 258 | *addr++ = (uint8_t) data;\r |
| 259 | data = data >> 8;\r |
| 260 | *addr++ = (uint8_t) data;\r |
| 261 | data = data >> 8;\r |
| 262 | }\r |
| 263 | *addr++ = (uint8_t) data;\r |
| 264 | data = data >> 8;\r |
| 265 | *addr++ = (uint8_t) data;\r |
| 266 | data = data >> 8;\r |
| 267 | *addr++ = (uint8_t) data;\r |
| 268 | data = data >> 8;\r |
| 269 | *addr = (uint8_t) data;\r |
| 270 | }\r |
| 271 | /***************************************************************/\r |
| 272 | void Write32LittleEndian( uint8_t *addr, uint32_t data )\r |
| 273 | {\r |
| 274 | *addr++ = (uint8_t) data;\r |
| 275 | data = data >> 8;\r |
| 276 | *addr++ = (uint8_t) data;\r |
| 277 | data = data >> 8;\r |
| 278 | *addr++ = (uint8_t) data;\r |
| 279 | data = data >> 8;\r |
| 280 | *addr = (uint8_t) data;\r |
| 281 | }\r |
| 282 | \r |
| 283 | /***************************************************************/\r |
| 284 | void Write16LittleEndian( uint8_t *addr, uint16_t data )\r |
| 285 | {\r |
| 286 | *addr++ = (uint8_t) data;\r |
| 287 | data = data >> 8;\r |
| 288 | *addr = (uint8_t) data;\r |
| 289 | }\r |
| 290 | \r |
| 291 | /***************************************************************/\r |
| 292 | /* Return 1 if host CPU is Little Endian */\r |
| 293 | int IsHostLittleEndian( void )\r |
| 294 | {\r |
| 295 | static int gEndianCheck = 1;\r |
| 296 | unsigned char *bp = (unsigned char *) &gEndianCheck;\r |
| 297 | return (int) (*bp); /* Return byte pointed to by address. If LSB then == 1 */\r |
| 298 | }\r |
| 299 | \r |
| 300 | #if defined(PF_NO_FILEIO) || defined(PF_NO_SHELL)\r |
| 301 | \r |
| 302 | cell_t ffSaveForth( const char *FileName, ExecToken EntryPoint, cell_t NameSize, cell_t CodeSize)\r |
| 303 | {\r |
| 304 | TOUCH(FileName);\r |
| 305 | TOUCH(EntryPoint);\r |
| 306 | TOUCH(NameSize);\r |
| 307 | TOUCH(CodeSize);\r |
| 308 | \r |
| 309 | pfReportError("ffSaveForth", PF_ERR_NOT_SUPPORTED);\r |
| 310 | return -1;\r |
| 311 | }\r |
| 312 | \r |
| 313 | #else /* PF_NO_FILEIO or PF_NO_SHELL */\r |
| 314 | \r |
| 315 | /***************************************************************/\r |
| 316 | static int Write32ToFile( FileStream *fid, uint32_t Val )\r |
| 317 | {\r |
| 318 | int numw;\r |
| 319 | uint8_t pad[4];\r |
| 320 | \r |
| 321 | Write32BigEndian(pad,Val);\r |
| 322 | numw = sdWriteFile( pad, 1, sizeof(pad), fid );\r |
| 323 | if( numw != sizeof(pad) ) return -1;\r |
| 324 | return 0;\r |
| 325 | }\r |
| 326 | \r |
| 327 | /***************************************************************/\r |
| 328 | static cell_t WriteChunkToFile( FileStream *fid, cell_t ID, char *Data, int32_t NumBytes )\r |
| 329 | {\r |
| 330 | cell_t numw;\r |
| 331 | cell_t EvenNumW;\r |
| 332 | \r |
| 333 | EvenNumW = EVENUP(NumBytes);\r |
| 334 | \r |
| 335 | if( Write32ToFile( fid, ID ) < 0 ) goto error;\r |
| 336 | if( Write32ToFile( fid, EvenNumW ) < 0 ) goto error;\r |
| 337 | \r |
| 338 | numw = sdWriteFile( Data, 1, EvenNumW, fid );\r |
| 339 | if( numw != EvenNumW ) goto error;\r |
| 340 | return 0;\r |
| 341 | error:\r |
| 342 | pfReportError("WriteChunkToFile", PF_ERR_WRITE_FILE);\r |
| 343 | return -1;\r |
| 344 | }\r |
| 345 | \r |
| 346 | /* Convert dictionary info chunk between native and on-disk (big-endian). */\r |
| 347 | static void\r |
| 348 | convertDictionaryInfoWrite (DictionaryInfoChunk *sd)\r |
| 349 | {\r |
| 350 | /* Convert all fields in DictionaryInfoChunk from Native to BigEndian. \r |
| 351 | * This assumes they are all 32-bit integers.\r |
| 352 | */\r |
| 353 | int i;\r |
| 354 | uint32_t *p = (uint32_t *) sd;\r |
| 355 | for (i=0; i<((int)(sizeof(*sd)/sizeof(uint32_t))); i++)\r |
| 356 | {\r |
| 357 | Write32BigEndian( (uint8_t *)&p[i], p[i] );\r |
| 358 | }\r |
| 359 | }\r |
| 360 | \r |
| 361 | static void\r |
| 362 | convertDictionaryInfoRead (DictionaryInfoChunk *sd)\r |
| 363 | {\r |
| 364 | /* Convert all fields in structure from BigEndian to Native. */\r |
| 365 | int i;\r |
| 366 | uint32_t *p = (uint32_t *) sd;\r |
| 367 | for (i=0; i<((int)(sizeof(*sd)/sizeof(uint32_t))); i++)\r |
| 368 | {\r |
| 369 | p[i] = Read32BigEndian( (uint8_t *)&p[i] );\r |
| 370 | }\r |
| 371 | }\r |
| 372 | \r |
| 373 | /****************************************************************\r |
| 374 | ** Save Dictionary in File.\r |
| 375 | ** If EntryPoint is NULL, save as development environment.\r |
| 376 | ** If EntryPoint is non-NULL, save as turnKey environment with no names.\r |
| 377 | */\r |
| 378 | cell_t ffSaveForth( const char *FileName, ExecToken EntryPoint, cell_t NameSize, cell_t CodeSize)\r |
| 379 | {\r |
| 380 | FileStream *fid;\r |
| 381 | DictionaryInfoChunk SD;\r |
| 382 | uint32_t FormSize;\r |
| 383 | uint32_t NameChunkSize = 0;\r |
| 384 | uint32_t CodeChunkSize;\r |
| 385 | uint32_t relativeCodePtr;\r |
| 386 | \r |
| 387 | fid = sdOpenFile( FileName, "wb" );\r |
| 388 | if( fid == NULL )\r |
| 389 | {\r |
| 390 | pfReportError("pfSaveDictionary", PF_ERR_OPEN_FILE);\r |
| 391 | return -1;\r |
| 392 | }\r |
| 393 | \r |
| 394 | /* Save in uninitialized form. */\r |
| 395 | pfExecIfDefined("AUTO.TERM");\r |
| 396 | \r |
| 397 | /* Write FORM Header ---------------------------- */\r |
| 398 | if( Write32ToFile( fid, ID_FORM ) < 0 ) goto error;\r |
| 399 | if( Write32ToFile( fid, 0 ) < 0 ) goto error;\r |
| 400 | if( Write32ToFile( fid, ID_P4TH ) < 0 ) goto error;\r |
| 401 | \r |
| 402 | /* Write P4DI Dictionary Info ------------------ */\r |
| 403 | SD.sd_Version = PF_FILE_VERSION;\r |
| 404 | \r |
| 405 | relativeCodePtr = ABS_TO_CODEREL(gCurrentDictionary->dic_CodePtr.Byte); /* 940225 */\r |
| 406 | SD.sd_RelCodePtr = relativeCodePtr; \r |
| 407 | SD.sd_UserStackSize = sizeof(cell_t) * (gCurrentTask->td_StackBase - gCurrentTask->td_StackLimit);\r |
| 408 | SD.sd_ReturnStackSize = sizeof(cell_t) * (gCurrentTask->td_ReturnBase - gCurrentTask->td_ReturnLimit);\r |
| 409 | SD.sd_NumPrimitives = gNumPrimitives; /* Must match compiled dictionary. */\r |
| 410 | \r |
| 411 | #ifdef PF_SUPPORT_FP\r |
| 412 | SD.sd_FloatSize = sizeof(PF_FLOAT); /* Must match compiled dictionary. */\r |
| 413 | #else\r |
| 414 | SD.sd_FloatSize = 0;\r |
| 415 | #endif\r |
| 416 | \r |
| 417 | SD.sd_CellSize = sizeof(cell_t);\r |
| 418 | \r |
| 419 | /* Set bit that specifies whether dictionary is BIG or LITTLE Endian. */\r |
| 420 | {\r |
| 421 | #if defined(PF_BIG_ENDIAN_DIC)\r |
| 422 | int eflag = SD_F_BIG_ENDIAN_DIC;\r |
| 423 | #elif defined(PF_LITTLE_ENDIAN_DIC)\r |
| 424 | int eflag = 0;\r |
| 425 | #else\r |
| 426 | int eflag = IsHostLittleEndian() ? 0 : SD_F_BIG_ENDIAN_DIC;\r |
| 427 | #endif\r |
| 428 | SD.sd_Flags = eflag;\r |
| 429 | }\r |
| 430 | \r |
| 431 | if( EntryPoint )\r |
| 432 | {\r |
| 433 | SD.sd_EntryPoint = EntryPoint; /* Turnkey! */\r |
| 434 | }\r |
| 435 | else\r |
| 436 | {\r |
| 437 | SD.sd_EntryPoint = 0;\r |
| 438 | }\r |
| 439 | \r |
| 440 | /* Do we save names? */\r |
| 441 | if( NameSize == 0 )\r |
| 442 | {\r |
| 443 | SD.sd_RelContext = 0;\r |
| 444 | SD.sd_RelHeaderPtr = 0;\r |
| 445 | SD.sd_NameSize = 0;\r |
| 446 | }\r |
| 447 | else\r |
| 448 | {\r |
| 449 | uint32_t relativeHeaderPtr;\r |
| 450 | /* Development mode. */\r |
| 451 | SD.sd_RelContext = ABS_TO_NAMEREL(gVarContext);\r |
| 452 | relativeHeaderPtr = ABS_TO_NAMEREL(gCurrentDictionary->dic_HeaderPtr);\r |
| 453 | SD.sd_RelHeaderPtr = relativeHeaderPtr;\r |
| 454 | \r |
| 455 | /* How much real name space is there? */\r |
| 456 | NameChunkSize = QUADUP(relativeHeaderPtr); /* Align */\r |
| 457 | \r |
| 458 | /* NameSize must be 0 or greater than NameChunkSize + 1K */\r |
| 459 | NameSize = QUADUP(NameSize); /* Align */\r |
| 460 | if( NameSize > 0 )\r |
| 461 | {\r |
| 462 | NameSize = MAX( NameSize, (NameChunkSize + 1024) );\r |
| 463 | }\r |
| 464 | SD.sd_NameSize = NameSize;\r |
| 465 | }\r |
| 466 | \r |
| 467 | /* How much real code is there? */\r |
| 468 | CodeChunkSize = QUADUP(relativeCodePtr);\r |
| 469 | CodeSize = QUADUP(CodeSize); /* Align */\r |
| 470 | CodeSize = MAX( CodeSize, (CodeChunkSize + 2048) );\r |
| 471 | SD.sd_CodeSize = CodeSize;\r |
| 472 | \r |
| 473 | \r |
| 474 | convertDictionaryInfoWrite (&SD);\r |
| 475 | \r |
| 476 | if( WriteChunkToFile( fid, ID_P4DI, (char *) &SD, sizeof(DictionaryInfoChunk) ) < 0 ) goto error;\r |
| 477 | \r |
| 478 | /* Write Name Fields if NameSize non-zero ------- */\r |
| 479 | if( NameSize > 0 )\r |
| 480 | {\r |
| 481 | if( WriteChunkToFile( fid, ID_P4NM, (char *) NAME_BASE,\r |
| 482 | NameChunkSize ) < 0 ) goto error;\r |
| 483 | }\r |
| 484 | \r |
| 485 | /* Write Code Fields ---------------------------- */\r |
| 486 | if( WriteChunkToFile( fid, ID_P4CD, (char *) CODE_BASE,\r |
| 487 | CodeChunkSize ) < 0 ) goto error;\r |
| 488 | \r |
| 489 | FormSize = sdTellFile( fid ) - 8;\r |
| 490 | sdSeekFile( fid, 4, PF_SEEK_SET );\r |
| 491 | if( Write32ToFile( fid, FormSize ) < 0 ) goto error;\r |
| 492 | \r |
| 493 | sdCloseFile( fid );\r |
| 494 | \r |
| 495 | /* Restore initialization. */\r |
| 496 | pfExecIfDefined("AUTO.INIT");\r |
| 497 | return 0;\r |
| 498 | \r |
| 499 | error:\r |
| 500 | sdSeekFile( fid, 0, PF_SEEK_SET );\r |
| 501 | Write32ToFile( fid, ID_BADF ); /* Mark file as bad. */\r |
| 502 | sdCloseFile( fid );\r |
| 503 | \r |
| 504 | /* Restore initialization. */\r |
| 505 | pfExecIfDefined("AUTO.INIT");\r |
| 506 | \r |
| 507 | return -1;\r |
| 508 | }\r |
| 509 | \r |
| 510 | #endif /* !PF_NO_FILEIO and !PF_NO_SHELL */\r |
| 511 | \r |
| 512 | \r |
| 513 | #ifndef PF_NO_FILEIO\r |
| 514 | \r |
| 515 | /***************************************************************/\r |
| 516 | static uint32_t Read32FromFile( FileStream *fid, uint32_t *ValPtr )\r |
| 517 | {\r |
| 518 | int32_t numr;\r |
| 519 | uint8_t pad[4];\r |
| 520 | numr = sdReadFile( pad, 1, sizeof(pad), fid );\r |
| 521 | if( numr != sizeof(pad) ) return -1;\r |
| 522 | *ValPtr = Read32BigEndian( pad );\r |
| 523 | return 0;\r |
| 524 | }\r |
| 525 | \r |
| 526 | /***************************************************************/\r |
| 527 | PForthDictionary pfLoadDictionary( const char *FileName, ExecToken *EntryPointPtr )\r |
| 528 | {\r |
| 529 | pfDictionary_t *dic = NULL;\r |
| 530 | FileStream *fid;\r |
| 531 | DictionaryInfoChunk *sd;\r |
| 532 | uint32_t ChunkID;\r |
| 533 | uint32_t ChunkSize;\r |
| 534 | uint32_t FormSize;\r |
| 535 | uint32_t BytesLeft;\r |
| 536 | uint32_t numr;\r |
| 537 | int isDicBigEndian;\r |
| 538 | \r |
| 539 | DBUG(("pfLoadDictionary( %s )\n", FileName ));\r |
| 540 | \r |
| 541 | /* Open file. */\r |
| 542 | fid = sdOpenFile( FileName, "rb" );\r |
| 543 | if( fid == NULL )\r |
| 544 | {\r |
| 545 | pfReportError("pfLoadDictionary", PF_ERR_OPEN_FILE);\r |
| 546 | goto xt_error;\r |
| 547 | }\r |
| 548 | \r |
| 549 | /* Read FORM, Size, ID */\r |
| 550 | if (Read32FromFile( fid, &ChunkID ) < 0) goto read_error;\r |
| 551 | if( ChunkID != ID_FORM )\r |
| 552 | {\r |
| 553 | pfReportError("pfLoadDictionary", PF_ERR_WRONG_FILE);\r |
| 554 | goto error;\r |
| 555 | }\r |
| 556 | \r |
| 557 | if (Read32FromFile( fid, &FormSize ) < 0) goto read_error;\r |
| 558 | BytesLeft = FormSize;\r |
| 559 | \r |
| 560 | if (Read32FromFile( fid, &ChunkID ) < 0) goto read_error;\r |
| 561 | BytesLeft -= 4;\r |
| 562 | if( ChunkID != ID_P4TH )\r |
| 563 | {\r |
| 564 | pfReportError("pfLoadDictionary", PF_ERR_BAD_FILE);\r |
| 565 | goto error;\r |
| 566 | }\r |
| 567 | \r |
| 568 | /* Scan and parse all chunks in file. */\r |
| 569 | while( BytesLeft > 0 )\r |
| 570 | {\r |
| 571 | if (Read32FromFile( fid, &ChunkID ) < 0) goto read_error;\r |
| 572 | if (Read32FromFile( fid, &ChunkSize ) < 0) goto read_error;\r |
| 573 | BytesLeft -= 8;\r |
| 574 | \r |
| 575 | DBUG(("ChunkID = %4s, Size = %d\n", (char *)&ChunkID, ChunkSize ));\r |
| 576 | \r |
| 577 | switch( ChunkID )\r |
| 578 | {\r |
| 579 | case ID_P4DI:\r |
| 580 | sd = (DictionaryInfoChunk *) pfAllocMem( ChunkSize );\r |
| 581 | if( sd == NULL ) goto nomem_error;\r |
| 582 | \r |
| 583 | numr = sdReadFile( sd, 1, ChunkSize, fid );\r |
| 584 | if( numr != ChunkSize ) goto read_error;\r |
| 585 | BytesLeft -= ChunkSize;\r |
| 586 | \r |
| 587 | convertDictionaryInfoRead (sd);\r |
| 588 | \r |
| 589 | isDicBigEndian = sd->sd_Flags & SD_F_BIG_ENDIAN_DIC;\r |
| 590 | \r |
| 591 | if( !gVarQuiet )\r |
| 592 | {\r |
| 593 | MSG("pForth loading dictionary from file "); MSG(FileName);\r |
| 594 | EMIT_CR;\r |
| 595 | MSG_NUM_D(" File format version is ", sd->sd_Version );\r |
| 596 | MSG_NUM_D(" Name space size = ", sd->sd_NameSize );\r |
| 597 | MSG_NUM_D(" Code space size = ", sd->sd_CodeSize );\r |
| 598 | MSG_NUM_D(" Entry Point = ", sd->sd_EntryPoint );\r |
| 599 | MSG_NUM_D(" Cell Size = ", sd->sd_CellSize );\r |
| 600 | MSG( (isDicBigEndian ? " Big Endian Dictionary" :\r |
| 601 | " Little Endian Dictionary") );\r |
| 602 | if( isDicBigEndian == IsHostLittleEndian() ) MSG(" !!!!");\r |
| 603 | EMIT_CR;\r |
| 604 | }\r |
| 605 | \r |
| 606 | if( sd->sd_Version > PF_FILE_VERSION )\r |
| 607 | {\r |
| 608 | pfReportError("pfLoadDictionary", PF_ERR_VERSION_FUTURE );\r |
| 609 | goto error;\r |
| 610 | }\r |
| 611 | if( sd->sd_Version < PF_EARLIEST_FILE_VERSION )\r |
| 612 | {\r |
| 613 | pfReportError("pfLoadDictionary", PF_ERR_VERSION_PAST );\r |
| 614 | goto error;\r |
| 615 | }\r |
| 616 | if( sd->sd_CellSize != sizeof(cell_t) )\r |
| 617 | {\r |
| 618 | pfReportError("pfLoadDictionary", PF_ERR_CELL_SIZE_CONFLICT );\r |
| 619 | goto error;\r |
| 620 | }\r |
| 621 | if( sd->sd_NumPrimitives > NUM_PRIMITIVES )\r |
| 622 | {\r |
| 623 | pfReportError("pfLoadDictionary", PF_ERR_NOT_SUPPORTED );\r |
| 624 | goto error;\r |
| 625 | }\r |
| 626 | \r |
| 627 | /* Check to make sure that EndianNess of dictionary matches mode of pForth. */\r |
| 628 | #if defined(PF_BIG_ENDIAN_DIC)\r |
| 629 | if(isDicBigEndian == 0)\r |
| 630 | #elif defined(PF_LITTLE_ENDIAN_DIC)\r |
| 631 | if(isDicBigEndian == 1)\r |
| 632 | #else\r |
| 633 | if( isDicBigEndian == IsHostLittleEndian() )\r |
| 634 | #endif\r |
| 635 | {\r |
| 636 | pfReportError("pfLoadDictionary", PF_ERR_ENDIAN_CONFLICT );\r |
| 637 | goto error;\r |
| 638 | }\r |
| 639 | \r |
| 640 | /* Check for compatible float size. */\r |
| 641 | #ifdef PF_SUPPORT_FP\r |
| 642 | if( sd->sd_FloatSize != sizeof(PF_FLOAT) )\r |
| 643 | #else\r |
| 644 | if( sd->sd_FloatSize != 0 )\r |
| 645 | #endif\r |
| 646 | {\r |
| 647 | pfReportError("pfLoadDictionary", PF_ERR_FLOAT_CONFLICT );\r |
| 648 | goto error;\r |
| 649 | }\r |
| 650 | \r |
| 651 | dic = pfCreateDictionary( sd->sd_NameSize, sd->sd_CodeSize );\r |
| 652 | if( dic == NULL ) goto nomem_error;\r |
| 653 | gCurrentDictionary = dic;\r |
| 654 | if( sd->sd_NameSize > 0 )\r |
| 655 | {\r |
| 656 | gVarContext = (char *) NAMEREL_TO_ABS(sd->sd_RelContext); /* Restore context. */\r |
| 657 | gCurrentDictionary->dic_HeaderPtr = (ucell_t)(uint8_t *)\r |
| 658 | NAMEREL_TO_ABS(sd->sd_RelHeaderPtr);\r |
| 659 | }\r |
| 660 | else\r |
| 661 | {\r |
| 662 | gVarContext = 0;\r |
| 663 | gCurrentDictionary->dic_HeaderPtr = (ucell_t)NULL;\r |
| 664 | }\r |
| 665 | gCurrentDictionary->dic_CodePtr.Byte = (uint8_t *) CODEREL_TO_ABS(sd->sd_RelCodePtr);\r |
| 666 | gNumPrimitives = sd->sd_NumPrimitives; /* Must match compiled dictionary. */\r |
| 667 | /* Pass EntryPoint back to caller. */\r |
| 668 | if( EntryPointPtr != NULL ) *EntryPointPtr = sd->sd_EntryPoint;\r |
| 669 | pfFreeMem(sd);\r |
| 670 | break;\r |
| 671 | \r |
| 672 | case ID_P4NM:\r |
| 673 | #ifdef PF_NO_SHELL\r |
| 674 | pfReportError("pfLoadDictionary", PF_ERR_NO_SHELL );\r |
| 675 | goto error;\r |
| 676 | #else\r |
| 677 | if( NAME_BASE == NULL )\r |
| 678 | {\r |
| 679 | pfReportError("pfLoadDictionary", PF_ERR_NO_NAMES );\r |
| 680 | goto error;\r |
| 681 | }\r |
| 682 | if( gCurrentDictionary == NULL )\r |
| 683 | {\r |
| 684 | pfReportError("pfLoadDictionary", PF_ERR_BAD_FILE );\r |
| 685 | goto error;\r |
| 686 | }\r |
| 687 | if( ChunkSize > NAME_SIZE )\r |
| 688 | {\r |
| 689 | pfReportError("pfLoadDictionary", PF_ERR_TOO_BIG);\r |
| 690 | goto error;\r |
| 691 | }\r |
| 692 | numr = sdReadFile( NAME_BASE, 1, ChunkSize, fid );\r |
| 693 | if( numr != ChunkSize ) goto read_error;\r |
| 694 | BytesLeft -= ChunkSize;\r |
| 695 | #endif /* PF_NO_SHELL */\r |
| 696 | break;\r |
| 697 | \r |
| 698 | case ID_P4CD:\r |
| 699 | if( gCurrentDictionary == NULL )\r |
| 700 | {\r |
| 701 | pfReportError("pfLoadDictionary", PF_ERR_BAD_FILE );\r |
| 702 | goto error;\r |
| 703 | }\r |
| 704 | if( ChunkSize > CODE_SIZE )\r |
| 705 | {\r |
| 706 | pfReportError("pfLoadDictionary", PF_ERR_TOO_BIG);\r |
| 707 | goto error;\r |
| 708 | }\r |
| 709 | numr = sdReadFile( CODE_BASE, 1, ChunkSize, fid );\r |
| 710 | if( numr != ChunkSize ) goto read_error;\r |
| 711 | BytesLeft -= ChunkSize;\r |
| 712 | break;\r |
| 713 | \r |
| 714 | default:\r |
| 715 | pfReportError("pfLoadDictionary", PF_ERR_BAD_FILE );\r |
| 716 | sdSeekFile( fid, ChunkSize, PF_SEEK_CUR );\r |
| 717 | break;\r |
| 718 | }\r |
| 719 | }\r |
| 720 | \r |
| 721 | sdCloseFile( fid );\r |
| 722 | \r |
| 723 | if( NAME_BASE != NULL)\r |
| 724 | {\r |
| 725 | cell_t Result;\r |
| 726 | /* Find special words in dictionary for global XTs. */\r |
| 727 | if( (Result = FindSpecialXTs()) < 0 )\r |
| 728 | {\r |
| 729 | pfReportError("pfLoadDictionary: FindSpecialXTs", Result);\r |
| 730 | goto error;\r |
| 731 | }\r |
| 732 | }\r |
| 733 | \r |
| 734 | DBUG(("pfLoadDictionary: return %p\n", dic));\r |
| 735 | return (PForthDictionary) dic;\r |
| 736 | \r |
| 737 | nomem_error:\r |
| 738 | pfReportError("pfLoadDictionary", PF_ERR_NO_MEM);\r |
| 739 | sdCloseFile( fid );\r |
| 740 | return NULL;\r |
| 741 | \r |
| 742 | read_error:\r |
| 743 | pfReportError("pfLoadDictionary", PF_ERR_READ_FILE);\r |
| 744 | error:\r |
| 745 | sdCloseFile( fid );\r |
| 746 | xt_error:\r |
| 747 | return NULL;\r |
| 748 | }\r |
| 749 | \r |
| 750 | #else\r |
| 751 | \r |
| 752 | PForthDictionary pfLoadDictionary( const char *FileName, ExecToken *EntryPointPtr )\r |
| 753 | {\r |
| 754 | (void) FileName;\r |
| 755 | (void) EntryPointPtr;\r |
| 756 | return NULL;\r |
| 757 | }\r |
| 758 | #endif /* !PF_NO_FILEIO */\r |
| 759 | \r |
| 760 | \r |
| 761 | \r |
| 762 | /***************************************************************/\r |
| 763 | PForthDictionary pfLoadStaticDictionary( void )\r |
| 764 | {\r |
| 765 | #ifdef PF_STATIC_DIC\r |
| 766 | cell_t Result;\r |
| 767 | pfDictionary_t *dic;\r |
| 768 | cell_t NewNameSize, NewCodeSize;\r |
| 769 | \r |
| 770 | if( IF_LITTLE_ENDIAN != IsHostLittleEndian() )\r |
| 771 | {\r |
| 772 | MSG( (IF_LITTLE_ENDIAN ?\r |
| 773 | "Little Endian Dictionary on " :\r |
| 774 | "Big Endian Dictionary on ") );\r |
| 775 | MSG( (IsHostLittleEndian() ?\r |
| 776 | "Little Endian CPU" :\r |
| 777 | "Big Endian CPU") );\r |
| 778 | EMIT_CR;\r |
| 779 | }\r |
| 780 | \r |
| 781 | /* Check to make sure that EndianNess of dictionary matches mode of pForth. */\r |
| 782 | #if defined(PF_BIG_ENDIAN_DIC)\r |
| 783 | if(IF_LITTLE_ENDIAN == 1)\r |
| 784 | #elif defined(PF_LITTLE_ENDIAN_DIC)\r |
| 785 | if(IF_LITTLE_ENDIAN == 0)\r |
| 786 | #else /* Code is native endian! */\r |
| 787 | if( IF_LITTLE_ENDIAN != IsHostLittleEndian() )\r |
| 788 | #endif\r |
| 789 | {\r |
| 790 | pfReportError("pfLoadStaticDictionary", PF_ERR_ENDIAN_CONFLICT );\r |
| 791 | goto error;\r |
| 792 | }\r |
| 793 | \r |
| 794 | \r |
| 795 | #ifndef PF_EXTRA_HEADERS\r |
| 796 | #define PF_EXTRA_HEADERS (20000)\r |
| 797 | #endif\r |
| 798 | #ifndef PF_EXTRA_CODE\r |
| 799 | #define PF_EXTRA_CODE (40000)\r |
| 800 | #endif\r |
| 801 | \r |
| 802 | /* Copy static const data to allocated dictionaries. */\r |
| 803 | NewNameSize = sizeof(MinDicNames) + PF_EXTRA_HEADERS;\r |
| 804 | NewCodeSize = sizeof(MinDicCode) + PF_EXTRA_CODE;\r |
| 805 | \r |
| 806 | DBUG_NUM_D( "static dic name size = ", NewNameSize );\r |
| 807 | DBUG_NUM_D( "static dic code size = ", NewCodeSize );\r |
| 808 | \r |
| 809 | gCurrentDictionary = dic = pfCreateDictionary( NewNameSize, NewCodeSize );\r |
| 810 | if( !dic ) goto nomem_error;\r |
| 811 | \r |
| 812 | pfCopyMemory( dic->dic_HeaderBase, MinDicNames, sizeof(MinDicNames) );\r |
| 813 | pfCopyMemory( dic->dic_CodeBase, MinDicCode, sizeof(MinDicCode) );\r |
| 814 | DBUG(("Static data copied to newly allocated dictionaries.\n"));\r |
| 815 | \r |
| 816 | dic->dic_CodePtr.Byte = (uint8_t *) CODEREL_TO_ABS(CODEPTR);\r |
| 817 | gNumPrimitives = NUM_PRIMITIVES;\r |
| 818 | \r |
| 819 | if( NAME_BASE != NULL)\r |
| 820 | {\r |
| 821 | /* Setup name space. */\r |
| 822 | dic->dic_HeaderPtr = (ucell_t)(uint8_t *) NAMEREL_TO_ABS(HEADERPTR);\r |
| 823 | gVarContext = (char *) NAMEREL_TO_ABS(RELCONTEXT); /* Restore context. */\r |
| 824 | \r |
| 825 | /* Find special words in dictionary for global XTs. */\r |
| 826 | if( (Result = FindSpecialXTs()) < 0 )\r |
| 827 | {\r |
| 828 | pfReportError("pfLoadStaticDictionary: FindSpecialXTs", Result);\r |
| 829 | goto error;\r |
| 830 | }\r |
| 831 | }\r |
| 832 | \r |
| 833 | return (PForthDictionary) dic;\r |
| 834 | \r |
| 835 | error:\r |
| 836 | return NULL;\r |
| 837 | \r |
| 838 | nomem_error:\r |
| 839 | pfReportError("pfLoadStaticDictionary", PF_ERR_NO_MEM);\r |
| 840 | #endif /* PF_STATIC_DIC */\r |
| 841 | \r |
| 842 | return NULL;\r |
| 843 | }\r |
| 844 | \r |