TOPS-10/20 nonsharable/compressed SAVE file format.

Author: larsbrinkhoff

Makefile

@@ -4,7 +4,7 @@ CFLAGS = -g -W -Wall
 FILES =  sblk-file.o pdump-file.o dmp-file.o raw-file.o exe-file.o \
 	 mdl-file.o rim10-file.o fasl-file.o palx-file.o lda-file.o \
 	 cross-file.o hex-file.o atari-file.o iml-file.o exb-file.o \
-	 tenex-file.o
+	 tenex-file.o csave-file.o
 
 WORDS =  aa-word.o bin-word.o cadr-word.o core-word.o data8-word.o \
 	 dta-word.o its-word.o oct-word.o pt-word.o sail-word.o tape-word.o \

README.md

@@ -48,6 +48,7 @@ Most tools that work with executable programs support these formats:
 - Raw files.
 - Read-in mode.
 - Stanford WAITS .DMP files.
+- TOPS-10 and TOPS-20 nonsharable/compressed save .SAV files.
 - TOPS-20 and TOPS-10 sharable save .EXE files.
 - TENEX sharable save .SAV files.
 

check.sh

@@ -73,6 +73,7 @@ test_dis10 system.dmp     "-Fdmp -Woct -mka10sail -Sall"
 test_dis10 dired.dmp      "-6 -mka10sail -Wascii -Sddt"
 test_dis10 two.tapes      "-r -Wtape"
 test_dis10 boot.exb       "-Fexb -Wascii"
+test_dis10 cerber.sav     "-Sall -Fcsave -Wascii"
 
 test_itsarc arc.code
 test_ipak stink.-ipak-

csave-file.c

@@ -0,0 +1,109 @@
+/* Copyright (C) 2022 Lars Brinkhoff <lars@nocrew.org>
+
+    This program is free software: you can redistribute it and/or modify
+    it under the terms of the GNU General Public License as published by
+    the Free Software Foundation, either version 2 of the License, or
+    (at your option) any later version.
+
+    This program is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU General Public License for more details.
+
+    You should have received a copy of the GNU General Public License
+    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
+
+#include <stdio.h>
+#include <stdlib.h>
+
+#include "dis.h"
+#include "memory.h"
+#include "symbols.h"
+
+static void
+read_csave (FILE *f, struct pdp10_memory *memory, int cpu_model)
+{
+  int address, length;
+  word_t word;
+  int i;
+
+  fprintf (output_file, "Nonsharable/compressed SAVE format\n");
+
+  while ((word = get_word (f)) & SIGNBIT)
+    {
+      word_t *data, *ptr;
+
+      length = 01000000 - ((word >> 18) & 0777777);
+      address = (word & 0777777) + 1;
+
+      data = malloc (length * sizeof (word_t));
+      if (data == NULL)
+	{
+	  fprintf (stderr, "out of memory\n");
+	  exit (1);
+	}
+
+      ptr = data;
+      for (i = 0; i < length; i++)
+	*ptr++ = get_word (f);
+      add_memory (memory, address, length, data);
+    }
+
+  length = (word >> 18) & 0777777;
+  address = word & 0777777;
+
+  fprintf (output_file, "\n");
+  dec_info (memory, length, address, cpu_model);
+}
+
+void
+write_dec_symbols (struct pdp10_memory *memory)
+{
+}
+
+static void
+write_block (FILE *f, struct pdp10_memory *memory, int address, int length)
+{
+  word_t word;
+  word = -length << 18;
+  word |= address - 1;
+  word &= WORDMASK;
+  write_word (f, word);
+
+  while (length-- > 0)
+    write_word (f, get_word_at (memory, address++));
+}
+
+static void
+write_core (FILE *f, struct pdp10_memory *memory)
+{
+  int start, length;
+  int i, n;
+
+  for (i = 0; i < memory->areas; i++)
+    {
+      start = memory->area[i].start;
+      length = memory->area[i].end - start;
+      while (length > 0)
+	{
+	  n = length > 512 ? 512 : length;
+	  write_block (f, memory, start, n);
+	  start += n;
+	  length -= n;
+	}
+    }
+}
+
+static void
+write_csave (FILE *f, struct pdp10_memory *memory)
+{
+  write_dec_symbols (memory);
+  write_core (f, memory);
+  write_word (f, JRST + (start_instruction & 0777777));
+}
+
+struct file_format csave_file_format = {
+  "csave",
+  read_csave,
+  write_csave
+};

dis.h

@@ -65,6 +65,7 @@ extern struct file_format *input_file_format;
 extern struct file_format *output_file_format;
 extern struct file_format atari_file_format;
 extern struct file_format cross_file_format;
+extern struct file_format csave_file_format;
 extern struct file_format dmp_file_format;
 extern struct file_format exb_file_format;
 extern struct file_format exe_file_format;
@@ -123,6 +124,7 @@ extern void	write_raw_at (FILE *f, struct pdp10_memory *memory,
 			      int address);
 extern void	write_sblk_core (FILE *f, struct pdp10_memory *memory);
 extern void	write_sblk_symbols (FILE *f);
+extern void	write_dec_symbols (struct pdp10_memory *memory);
 extern void	sblk_info (FILE *f, word_t word0, int cpu_model);
 extern void     dmp_info (struct pdp10_memory *memory, int cpu_model);
 extern void     dec_info (struct pdp10_memory *memory,

file.c

@@ -25,6 +25,7 @@ struct file_format *output_file_format = NULL;
 static struct file_format *file_formats[] = {
   &atari_file_format,
   &cross_file_format,
+  &csave_file_format,
   &dmp_file_format,
   &exb_file_format,
   &fasl_file_format,

info.c

@@ -562,16 +562,35 @@ dec_info (struct pdp10_memory *memory,
 
   if (entry_vec_addr == -1 || entry_vec_len == 0254000)
     {
-      word = get_word_at (memory, JBSA) & 0777777;
+      word = get_word_at (memory, JBREL);
+      if (word != -1 && (word & 0777777) != 0)
+	fprintf (output_file, "Highest lowseg location: %llo\n",
+		 word & 0777777);
+
+      word = get_word_at (memory, JBREL);
+      if (GOOD (word))
+	fprintf (output_file, "DDT from %o to %o\n",
+		 word & 0777777, (word >> 18) & 0777777);
+
+      word = get_word_at (memory, JBHRL);
+      if (word != -1 && (word & 0777777) != 0)
+	fprintf (output_file, "Highest hiseg location: %llo\n",
+		 word & 0777777);
+
+      if (entry_vec_addr != 0)
+	word = entry_vec_addr;
+      else
+	word = get_word_at (memory, JBSA);
       if (GOOD (word))
 	{
+	  word &= 0777777;
 	  fprintf (output_file, "Start address: %06llo\n", word);
 	  start_instruction = JRST + word;
 	}
 
-      word = get_word_at (memory, JBREN) & 0777777;
+      word = get_word_at (memory, JBREN);
       if (GOOD (word))
-	fprintf (output_file, "Reentry address: %06llo\n", word);
+	fprintf (output_file, "Reentry address: %06llo\n", word & 0777777);
 
       word = get_word_at (memory, JBVER);
       if (GOOD (word))

jobdat.h

@@ -1,5 +1,7 @@
 /* Low segment job area. */
 #define JB41   0041
+#define JBREL  0044
+#define JBDDT  0074
 #define JBHRL  0115
 #define JBSYM  0116
 #define JBSA   0120