[Indigo]<PostCedar5.2>Lister>BcdCompare.mesa!1

BcdCompare.mesa

Russ Atkinson, October 26, 1983 3:44 pm

DIRECTORY

Basics USING [bytesPerWord, Word],

BasicTime USING [FromNSTime],

BcdDefs USING [

BCD, FTIndex, FTNull, FTRecord, FTSelf, Link, NameRecord, MTIndex, MTRecord, SGIndex, SGRecord, VersionStamp],

Commander USING [CommandProc, Handle, Register],

FS USING [Error],

IO USING [EndOfStream, GetTokenRope, IDProc, PutChar, PutF, PutFR, PutRope, RIS, STREAM],

Rope USING

[ActionType, Cat, Concat, Equal, Fetch, Flatten, Length, Map, Match, Substr, ROPE, Run],

RuntimeError USING [UNCAUGHT],

SymbolSegment USING [BlockDescriptor, FGHeader, STHeader],

RopeFile USING [SimpleCreate],

VM USING [wordsPerPage];

BcdCompare: CEDAR PROGRAM

IMPORTS BasicTime, Commander, FS, IO, Rope, RuntimeError, RopeFile

= BEGIN

T Y P E S & C O N S T A N T S

BCD: TYPE = BcdDefs.BCD;

BcdPtr: TYPE = LONG POINTER TO BCD;

BlockDescriptor: TYPE = SymbolSegment.BlockDescriptor;

Buffer: TYPE = REF BufferRep;

BufferRep: TYPE = RECORD [start: INT ← 0, len: NAT ← 0, words: SEQUENCE max: NAT OF Word];

FGHeader: TYPE = SymbolSegment.FGHeader;

NameRecord: TYPE = BcdDefs.NameRecord;

ROPE: TYPE = Rope.ROPE;

Stats: TYPE = REF StatsRep;

StatsRep: TYPE = RECORD [

debug, doCode, doSymbols, doAll: BOOL ← FALSE,

name1,name2: ROPE ← NIL,

rope1,rope2: ROPE ← NIL,

base1,base2: LONG POINTER ← NIL,

symOff1,symOff2: INT ← 0,

leader: ROPE ← NIL,

out: STREAM ← NIL,

maxTabLim1: INT ← 0,

maxTabLim2: INT ← 0,

errors: NAT ← 0,

maxErrors: NAT ← 0

];

STREAM: TYPE = IO.STREAM;

SymbolTableHeader: TYPE = REF SymbolSegment.STHeader;

VersionStamp: TYPE = BcdDefs.VersionStamp;

Word: TYPE = Basics.Word;

WordPtr: TYPE = LONG POINTER TO Word;

bytesPerWord: NAT = Basics.bytesPerWord;

wordsPerPage: NAT = VM.wordsPerPage;

bytesPerPage: NAT = wordsPerPage*bytesPerWord;

E R R O R S

GiveUp: ERROR [err: ROPE] = CODE;

F L A G S & V A R I A B L E S

initMaxErrors: NAT ← 24;

blockList: LIST OF ROPE = LIST[

"hvBlock", "htBlock", "ssBlock", "outerPackBlock", "innerPackBlock", "constBlock", "seBlock", "ctxBlock", "mdBlock", "bodyBlock", "extBlock", "treeBlock", "litBlock", "sLitBlock", "epMapBlock", "spareBlock"];

P R O C S

DoCompare: Commander.CommandProc = {

[cmd: Handle] RETURNS [result: REF ← NIL, msg: Rope.ROPE ← NIL]

in: STREAM = IO.RIS[cmd.commandLine];

name1,name2: ROPE;

name1 ← IO.GetTokenRope[in, IO.IDProc

! IO.EndOfStream => GO TO usage].token;

name2 ← IO.GetTokenRope[in, IO.IDProc

! IO.EndOfStream => GO TO usage].token;

CompareFilesAsBcds[

cmd, name1, name2

! GiveUp => {msg ← err; GO TO errOut};

FS.Error => {msg ← error.explanation; GO TO errOut}];

msg ← "No differences found.";

EXITS

errOut => result ← $Failure;

usage => {result ← $Failure; msg ← "Usage: CodeCompare file1 file2"};

};

CompareFilesAsBcds: PROC [cmd: Commander.Handle, name1,name2: ROPE] = {

rope1: ROPE = RopeFile.SimpleCreate[name1 ← ForceExtension[name1, ".bcd"]];

rope2: ROPE = RopeFile.SimpleCreate[name2 ← ForceExtension[name2, ".bcd"]];

stats: Stats = NEW[StatsRep];

ProcessOptions[stats, cmd.procData.clientData];

IF stats.debug THEN stats.maxErrors ← initMaxErrors*4 ELSE stats.maxErrors ← initMaxErrors;

stats.out ← cmd.out;

stats.name1 ← name1;

stats.name2 ← name2;

stats.rope1 ← rope1;

stats.rope2 ← rope2;

CompareRopesAsBcds[rope1, rope2, stats];

};

ProcessOptions: PROC [stats: Stats, data: REF] = {

WITH data SELECT FROM

atom: ATOM =>

SELECT atom FROM

$Code => stats.doCode ← TRUE;

$All => stats.doAll ← TRUE;

$Symbols => stats.doSymbols ← TRUE;

$Debug => stats.debug ← stats.doAll ← TRUE;

ENDCASE;

list: LIST OF REF =>

WHILE list # NIL DO

ProcessOptions[stats, list.first];

list ← list.rest;

ENDLOOP;

ENDCASE;

};

ForceExtension: PROC [name: ROPE, ext: ROPE] RETURNS [ROPE] = {

match: ROPE ← Rope.Concat["*", ext];

SELECT TRUE FROM

Rope.Match["*!*", name], match.Match[name, FALSE] => {};

ENDCASE => name ← name.Concat[ext];

RETURN [name];

};

CompareRopesAsBcds: PROC [rope1,rope2: ROPE, stats: Stats] = TRUSTED {

bcdBuf1: Buffer = NEW[BufferRep[SIZE[BCD]]];

bcd1: BcdPtr = LOOPHOLE[@bcdBuf1[0]];

bcdBuf2: Buffer = NEW[BufferRep[SIZE[BCD]]];

bcd2: BcdPtr = LOOPHOLE[@bcdBuf2[0]];

len: INT = MIN[rope1.Length[], rope2.Length[]];

GetWords[rope1, 0, SIZE[BCD], bcdBuf1];

GetWords[rope2, 0, SIZE[BCD], bcdBuf2];

stats.base1 ← bcd1;

stats.base2 ← bcd2;

IO.PutRope[stats.out, stats.name1];

IO.PutRope[stats.out, "\n version: "];

VersionOut[bcd1.version, stats, TRUE];

IO.PutF[stats.out, ", bytes: %g\n source: ", [integer[rope1.Length[]]]];

NameOut[rope1, bcd1.ssOffset, bcd1.source, stats];

IO.PutRope[stats.out, "\n sourceVersion: "];

VersionOut[bcd1.sourceVersion, stats];

IO.PutRope[stats.out, "\n"];

IO.PutRope[stats.out, stats.name2];

IO.PutRope[stats.out, "\n version: "];

VersionOut[bcd2.version, stats, TRUE];

IO.PutF[stats.out, ", bytes: %g\n source: ", [integer[rope2.Length[]]]];

NameOut[rope2, bcd2.ssOffset, bcd2.source, stats];

IO.PutRope[stats.out, "\n sourceVersion: "];

VersionOut[bcd2.sourceVersion, stats];

IO.PutRope[stats.out, "\n"];

IF rope1.Length[] # rope2.Length[] THEN {

IO.PutRope[stats.out, "Warning, files have different lengths.\n"];

stats.errors ← stats.errors +1;

};

CompareEntries[

"In versionIdent\n",

@bcd1.versionIdent, @bcd2.versionIdent, SIZE[CARDINAL], stats];

CompareEntries[

"In version\n",

@bcd1.version, @bcd2.version, SIZE[VersionStamp], stats];

CompareEntries[

"In creator\n", @bcd1.creator, @bcd2.creator, SIZE[VersionStamp], stats];

CompareEntries[

"In sourceVersion\n",

@bcd1.sourceVersion, @bcd2.sourceVersion, SIZE[VersionStamp], stats];

CompareEntries[

"In source\n",

@bcd1.source, @bcd2.source, SIZE[NameRecord], stats];

CompareEntries[

"In nPages\n",

@bcd1.nConfigs-1, @bcd2.nConfigs-1, SIZE[CARDINAL], stats];

CompareEntries[

"In nConfigs\n",

@bcd1.nConfigs, @bcd2.nConfigs, SIZE[CARDINAL], stats];

CompareEntries[

"In nModules\n",

@bcd1.nModules, @bcd2.nModules, SIZE[CARDINAL], stats];

CompareEntries[

"In nImports\n",

@bcd1.nImports, @bcd2.nImports, SIZE[CARDINAL], stats];

CompareEntries[

"In options (definitions, repackaged, typeExported, tableCompiled, versions, extended)\n",

@bcd1.nDummies-1, @bcd2.nDummies-1, SIZE[CARDINAL], stats];

CompareEntries[

"In nDummies\n",

@bcd1.nDummies, @bcd2.nDummies, SIZE[CARDINAL], stats];

IF stats.debug THEN IO.PutRope[stats.out, "** Tables\n"];

CompareTables[

"string table", @bcd1.ssOffset, @bcd2.ssOffset, stats];

CompareTables[

"config table", @bcd1.ctOffset, @bcd2.ctOffset, stats];

CompareTables[

"module table", @bcd1.mtOffset, @bcd2.mtOffset, stats];

CompareTables[

"import table", @bcd1.impOffset, @bcd2.impOffset, stats];

CompareTables[

"export table", @bcd1.expOffset, @bcd2.expOffset, stats];

CompareTables[

"external variable table", @bcd1.evOffset, @bcd2.evOffset, stats];

CompareTables[

"segment table", @bcd1.sgOffset, @bcd2.sgOffset, stats];

CompareTables[

"file table", @bcd1.ftOffset, @bcd2.ftOffset, stats];

CompareTables[

"space table", @bcd1.spOffset, @bcd2.spOffset, stats];

CompareTables[

"name table", @bcd1.ntOffset, @bcd2.ntOffset, stats];

CompareTables[

"type table", @bcd1.typOffset, @bcd2.typOffset, stats];

CompareTables[

"type map table", @bcd1.tmOffset, @bcd2.tmOffset, stats];

CompareTables[

"frame pack table", @bcd1.fpOffset, @bcd2.fpOffset, stats];

IF bcd1.extended AND bcd2.extended THEN {

CompareTables[

"link fragment table", @bcd1.lfOffset, @bcd2.lfOffset, stats, TRUE];

CompareTables[

"ref literal fragment table", @bcd1.rfOffset, @bcd2.rfOffset, stats, TRUE];

CompareTables[

"type fragment table", @bcd1.tfOffset, @bcd2.tfOffset, stats, TRUE];

CompareEntries[

"In rtPages\n", @bcd1.rtPages, @bcd2.rtPages, SIZE[CARDINAL], stats];

};

IF stats.debug THEN {

IO.PutRope[stats.out, "** Segments for file 1\n"];

SegmentsOut[rope1, bcd1, stats];

IO.PutRope[stats.out, "** Segments for file 2\n"];

SegmentsOut[rope2, bcd2, stats];

};

IF stats.debug THEN {

IO.PutRope[stats.out, "** Files for file 1\n"];

FilesOut[rope1, bcd1, stats];

IO.PutRope[stats.out, "** Files for file 2\n"];

FilesOut[rope2, bcd2, stats];

};

{-- compare the code in the various modules

mti1: CARDINAL ← LOOPHOLE[FIRST[BcdDefs.MTIndex], CARDINAL]+bcd1.mtOffset;

mti2: CARDINAL ← LOOPHOLE[FIRST[BcdDefs.MTIndex], CARDINAL]+bcd2.mtOffset;

FOR i: NAT IN [0..MIN[bcd1.nModules,bcd2.nModules]) DO

mtr1: BcdDefs.MTRecord;

mtr2: BcdDefs.MTRecord;

sgr1: BcdDefs.SGRecord;

sgr2: BcdDefs.SGRecord;

nw1,nw2,sgi1,sgi2: CARDINAL;

byteOff1,byteOff2: INT;

sb1,sb2: INT;

GetWordsToPtr[rope1, mti1, SIZE[BcdDefs.MTRecord], @mtr1];

GetWordsToPtr[rope2, mti2, SIZE[BcdDefs.MTRecord], @mtr2];

WITH m: mtr1 SELECT FROM

direct => nw1 ← SIZE[BcdDefs.MTRecord[direct]] + m.length*SIZE[BcdDefs.Link];

indirect => nw1 ← SIZE[BcdDefs.MTRecord[indirect]];

multiple => nw1 ← SIZE[BcdDefs.MTRecord[multiple]];

ENDCASE => ERROR;

WITH m: mtr2 SELECT FROM

direct => nw2 ← SIZE[BcdDefs.MTRecord[direct]] + m.length*SIZE[BcdDefs.Link];

indirect => nw2 ← SIZE[BcdDefs.MTRecord[indirect]];

multiple => nw2 ← SIZE[BcdDefs.MTRecord[multiple]];

ENDCASE => ERROR;

IF stats.doCode OR stats.doAll THEN {

Compare the code portions of this module.

First, get the proper SGRecords for the code

sgi1 ← bcd1.sgOffset + LOOPHOLE[mtr1.code.sgi, CARDINAL];

sgi2 ← bcd2.sgOffset + LOOPHOLE[mtr2.code.sgi, CARDINAL];

GetWordsToPtr[rope1, sgi1, SIZE[BcdDefs.SGRecord], @sgr1];

GetWordsToPtr[rope2, sgi2, SIZE[BcdDefs.SGRecord], @sgr2];

sb1 ← (sgr1.base-1)*INT[wordsPerPage];

sb2 ← (sgr2.base-1)*INT[wordsPerPage];

byteOff1 ← (mtr1.code.offset+sb1)*bytesPerWord;

byteOff2 ← (mtr2.code.offset+sb2)*bytesPerWord;

SELECT TRUE FROM

mtr1.code.length = 0 AND mtr2.code.length = 0 =>

IO.PutRope[stats.out, "No code.\n"];

mtr1.code.length = 0 =>

IO.PutF[

stats.out, "No code for file 1, %g bytes for file 2.\n",

[integer[mtr2.code.length]]];

mtr1.code.length = 0 =>

IO.PutF[

stats.out, "No code for file 2, %g bytes for file 1.\n",

[integer[mtr1.code.length]]];

ENDCASE =>

Finally, compare the code

CompareBytes[

IO.PutFR[

"In code for %g (module %g)\n",

[rope[GetName[rope1, bcd1.ssOffset, mtr1.name]]],

[integer[i]]],

byteOff1, byteOff2, MIN[mtr1.code.length, mtr2.code.length], stats];

};

IF stats.doSymbols OR stats.doAll THEN {

Compare the symbol portions of this module.

First, get the proper SGRecords for the symbols

sgi1 ← bcd1.sgOffset + LOOPHOLE[mtr1.sseg, CARDINAL];

sgi2 ← bcd2.sgOffset + LOOPHOLE[mtr2.sseg, CARDINAL];

GetWordsToPtr[rope1, sgi1, SIZE[BcdDefs.SGRecord], @sgr1];

GetWordsToPtr[rope2, sgi2, SIZE[BcdDefs.SGRecord], @sgr2];

sb1 ← (sgr1.base-1)*INT[wordsPerPage];

sb2 ← (sgr2.base-1)*INT[wordsPerPage];

Set the symbol offset in stats for use by Diagnose

stats.symOff1 ← sb1;

stats.symOff2 ← sb2;

Compare the basic symbols

CompareWords[

IO.PutFR[

"In basic symbols for %g (module %g)\n",

[rope[GetName[rope1, bcd1.ssOffset, mtr1.name]]], [integer[i]]],

sb1, sb2, MIN[sgr1.pages, sgr2.pages]*wordsPerPage, stats];

Compare the extended symbols

stats.symOff1 ← stats.symOff2 ← 0; -- inhibit Diagnose

CompareWords[

IO.PutFR[

"In extended symbols for %g (module %g)\n",

[rope[GetName[rope1, bcd1.ssOffset, mtr1.name]]],

[integer[i]]],

sb1+sgr1.pages*wordsPerPage,

sb2+sgr2.pages*wordsPerPage,

MIN[sgr1.extraPages, sgr2.extraPages]*wordsPerPage,

stats

];

};

mti1 ← mti1 + nw1;

mti2 ← mti2 + nw2;

ENDLOOP;

};

IF stats.debug THEN {

stats.maxTabLim1 ← stats.maxTabLim2 ← SIZE[BCD];

CompareWords[

"In whole file\n",

stats.maxTabLim1, stats.maxTabLim2,

MIN[len/bytesPerWord-stats.maxTabLim1, len/bytesPerWord-stats.maxTabLim2],

stats];

};

SELECT stats.errors FROM

0 => {};

1 => ERROR GiveUp["Too bad, only one little difference."];

ENDCASE =>

ERROR GiveUp[

IO.PutFR["%g differences encountered.", [integer[stats.errors]]]];

};

CompareWords: PROC

[name: ROPE, offset1,offset2: INT, nWords: INT, stats: Stats] = TRUSTED {

r1: ROPE = Rope.Substr[stats.rope1, 0, (offset1+nWords)*bytesPerWord];

lim1: INT = Rope.Length[r1];

r2: ROPE = Rope.Substr[stats.rope2, 0, (offset2+nWords)*bytesPerWord];

lim2: INT = Rope.Length[r2];

sth1,sth2: SymbolTableHeader ← NIL;

off1: INT ← offset1*bytesPerWord;

off2: INT ← offset2*bytesPerWord;

IF stats.debug THEN

IO.PutF[

stats.out, "** %g CompareWords[offset1: %g, offset2: %g, nWords: %g]\n",

[rope[name]], [integer[offset1]], [integer[offset2]], [integer[nWords]]];

WHILE off1 < lim1 AND off2 < lim2 DO

nc: INT = Rope.Run[r1, off1, r2, off2];

nOff1: INT ← off1+nc;

nOff2: INT ← off2+nc;

nwOff1,nwOff2: INT;

w1,w2: Word;

f1,f2: ROPE;

which1,which2: ROPE ← NIL;

IF nOff1 >= lim1 OR nOff2 >= lim2 THEN EXIT;

IF name # NIL THEN {IO.PutRope[stats.out, name]; name ← NIL};

nwOff1 ← nOff1/bytesPerWord;

nwOff2 ← nOff2/bytesPerWord;

f1 ← Rope.Flatten[r1, nOff1 ← nwOff1*bytesPerWord, bytesPerWord];

w1 ← (LOOPHOLE[f1, WordPtr]+SIZE[TEXT])^;

f2 ← Rope.Flatten[r2, nOff2 ← nwOff2*bytesPerWord, bytesPerWord];

w2 ← (LOOPHOLE[f2, WordPtr]+SIZE[TEXT])^;

IF nOff1 = nOff2

THEN IO.PutF[stats.out, " at word offset %g", [integer[nwOff1]]]

ELSE IO.PutF[

stats.out, " at word offsets (%g, %g)", [integer[nwOff1]], [integer[nwOff2]]];

IO.PutF[

stats.out,

", %b # %b (\"%q\" # \"%q\")\n",

[cardinal[w1]], [cardinal[w2]], [rope[f1]], [rope[f2]]];

IF stats.symOff1 > 0 THEN {

IF sth1 = NIL THEN {

sth1 ← NEW[SymbolSegment.STHeader];

GetWordsToPtr[

stats.rope1, stats.symOff1, SIZE[SymbolSegment.STHeader], LOOPHOLE[sth1]];

};

Try to determine which block it is in

which1 ← Diagnose[stats.rope1, sth1, offset1, nwOff1];

IO.PutRope[stats.out, which1];

IO.PutRope[stats.out, "\n"];

};

IF stats.symOff2 > 0 THEN {

IF sth2 = NIL THEN {

sth2 ← NEW[SymbolSegment.STHeader];

GetWordsToPtr[

stats.rope2, stats.symOff2, SIZE[SymbolSegment.STHeader], LOOPHOLE[sth2]];

};

Try to determine which block it is in

which2 ← Diagnose[stats.rope2, sth2, offset2, nwOff2];

IF NOT which1.Equal[which2] THEN {

Different diagnoses for the two files!

IO.PutRope[stats.out, " (bcd1)\n"];

IO.PutRope[stats.out, which2];

IO.PutRope[stats.out, " (bcd2)\n"];

};

IF (stats.errors ← stats.errors + 1) > stats.maxErrors THEN {

ERROR GiveUp["Too many differences encountered."];

};

off1 ← nOff1 + bytesPerWord;

off2 ← nOff2 + bytesPerWord;

ENDLOOP;

};

CompareBytes: PROC

[name: ROPE, offset1,offset2: INT, nBytes: INT, stats: Stats] = TRUSTED {

r1: ROPE = Rope.Substr[stats.rope1, 0, offset1+nBytes];

lim1: INT = Rope.Length[r1];

r2: ROPE = Rope.Substr[stats.rope2, 0, offset2+nBytes];

lim2: INT = Rope.Length[r2];

IF stats.debug THEN

IO.PutF[

stats.out, "** %g CompareBytes[offset1: %g, offset2: %g, nBytes: %g]\n",

[rope[name]], [integer[offset1]], [integer[offset2]], [integer[nBytes]]];

WHILE offset1 < lim1 AND offset2 < lim2 DO

nc: INT = Rope.Run[r1, offset1, r2, offset2];

nOff1: INT = offset1+nc;

nOff2: INT = offset2+nc;

f1,f2: ROPE;

IF nOff1 >= lim1 OR nOff2 >= lim2 THEN EXIT;

IF name # NIL THEN {

IO.PutRope[stats.out, name];

name ← NIL;

};

f1 ← Rope.Flatten[r1, nOff1, 1];

f2 ← Rope.Flatten[r2, nOff2, 1];

IF nOff1 = nOff2

THEN

IO.PutF[

stats.out,

" at byte offset %g",

[integer[nOff1]]]

ELSE

IO.PutF[

stats.out,

" at byte offsets (%g, %g)",

[integer[nOff1]], [integer[nOff2]]];

IO.PutF[

stats.out,

", %b # %b ('%q # '%q)\n",

[cardinal[f1.Fetch[0]-0C]], [cardinal[f2.Fetch[0]-0C]], [rope[f1]], [rope[f2]]];

IF (stats.errors ← stats.errors + 1) > stats.maxErrors THEN {

ERROR GiveUp["Too many differences encountered."];

};

offset1 ← nOff1+1;

offset2 ← nOff2+1;

ENDLOOP;

};

CompareEntries: PROC

[name: ROPE, src1,src2: LONG POINTER, nWords: NAT, stats: Stats] = TRUSTED {

WHILE nWords > 0 DO

w1: Word = LOOPHOLE[src1, WordPtr]^;

w2: Word = LOOPHOLE[src2, WordPtr]^;

IF w1 # w2 THEN {

IF name # NIL THEN {

IO.PutRope[stats.out, name];

name ← NIL;

};

IO.PutF[

stats.out,

" difference at %g, %g # %g\n",

[integer[src1-stats.base1]], [cardinal[w1]], [cardinal[w2]]];

IF (stats.errors ← stats.errors + 1) > stats.maxErrors THEN {

ERROR GiveUp["Too many differences encountered."];

};

src1 ← src1 + 1;

src2 ← src2 + 1;

nWords ← nWords - 1;

ENDLOOP;

};

CompareTables: PROC

[name: ROPE, ptr1,ptr2: LONG POINTER, stats: Stats, rt: BOOL ← FALSE] = TRUSTED {

src1: WordPtr ← LOOPHOLE[ptr1, WordPtr];

offset1: CARDINAL ← LOOPHOLE[src1, WordPtr]^;

len1: CARDINAL = (src1+1)^;

lim1: CARDINAL = len1+offset1;

src2: WordPtr ← LOOPHOLE[ptr2, WordPtr];

offset2: CARDINAL ← src2^;

len2: CARDINAL = (src2+1)^;

lim2: CARDINAL = len2+offset2;

nWords: CARDINAL = MIN[lim1, lim2];

oldErrors: CARDINAL;

rtOff1,rtOff2: INT ← 0;

IF stats.debug THEN {

IO.PutF[

stats.out, " %g, range1 = [%g, %g), range2 = [%g, %g).\n",

[rope[name]], [integer[offset1]], [integer[lim1]], [integer[offset2]], [integer[lim2]]];

};

stats.maxTabLim1 ← MAX[stats.maxTabLim1, lim1];

stats.maxTabLim2 ← MAX[stats.maxTabLim2, lim2];

IF offset1 # offset2 THEN {

IO.PutF[

stats.out,

"Offsets for %g not equal, %g # %g\n",

[rope[name]], [cardinal[offset1]], [cardinal[offset2]]];

IF (stats.errors ← stats.errors + 1) > stats.maxErrors THEN {

ERROR GiveUp["Too many differences encountered."];

};

IF len1 # len2 THEN {

IO.PutF[

stats.out,

"Lengths for %g not equal, %g # %g\n",

[rope[name]], [cardinal[len1]], [cardinal[len2]]];

IF (stats.errors ← stats.errors + 1) > stats.maxErrors THEN {

ERROR GiveUp["Too many differences encountered."];

};

oldErrors ← stats.errors;

IF rt THEN {

This table should be interpreted relative to the RTBcd extension

rtOff1 ← LOOPHOLE[stats.base1, BcdPtr].rtPages.relPageBase*wordsPerPage;

rtOff2 ← LOOPHOLE[stats.base2, BcdPtr].rtPages.relPageBase*wordsPerPage;

};

Now compare the words within the table.

CompareWords[

Rope.Cat["In ", name, "\n"],

rtOff1+offset1, rtOff2+offset2, MIN[len1, len2], stats

! GiveUp => {

stats.errors ← oldErrors+1;

IO.PutRope[stats.out, "... too many differences for this table.\n"];

CONTINUE}];

};

GetWords: PROC [rope: ROPE, wordOffset: INT, nWords: NAT, buffer: Buffer] = TRUSTED {

wordIndex: NAT ← 0;

byteIndex: [0..bytesPerWord) ← 0;

word: PACKED ARRAY [0..bytesPerWord) OF CHAR ← ALL[0C];

action: Rope.ActionType = TRUSTED {

word[byteIndex] ← c;

IF byteIndex = bytesPerWord-1

THEN {

byteIndex ← 0;

buffer[wordIndex] ← LOOPHOLE[word];

wordIndex ← wordIndex + 1}

ELSE

byteIndex ← byteIndex + 1;

};

buffer.start ← wordOffset;

buffer.len ← nWords;

[] ← Rope.Map[rope, wordOffset*bytesPerWord, nWords*bytesPerWord, action];

};

GetWordsToPtr: UNSAFE PROC

[rope: ROPE, wordOffset: INT, nWords: NAT, ptr: LONG POINTER] = TRUSTED {

byteIndex: [0..bytesPerWord) ← 0;

word: PACKED ARRAY [0..bytesPerWord) OF CHAR ← ALL[0C];

action: Rope.ActionType = TRUSTED {

word[byteIndex] ← c;

IF byteIndex = bytesPerWord-1

THEN {

byteIndex ← 0;

LOOPHOLE[ptr, WordPtr]^ ← LOOPHOLE[word];

ptr ← ptr + 1}

ELSE

byteIndex ← byteIndex + 1;

};

[] ← Rope.Map[rope, wordOffset*bytesPerWord, nWords*bytesPerWord, action];

};

GetWord: PROC [rope: ROPE, wordOffset: INT] RETURNS [Word] = {

byteIndex: NAT ← 0;

word: PACKED ARRAY [0..bytesPerWord) OF CHAR ← ALL[0C];

action: Rope.ActionType = TRUSTED {

word[byteIndex] ← c;

byteIndex ← byteIndex + 1;

};

[] ← Rope.Map[rope, wordOffset*bytesPerWord, bytesPerWord, action];

RETURN [LOOPHOLE[word]];

};

Diagnose: PROC

[rope: ROPE, sth: SymbolTableHeader, base,offset: INT]

RETURNS [which: ROPE ← NIL] = TRUSTED {

ptr: LONG POINTER TO BlockDescriptor ← @sth.hvBlock;

list: LIST OF ROPE ← blockList;

fromBase: INT = offset-base;

First look at the fine grain table (if any).

IF sth.fgPgCount # 0 THEN {

fgOffset: INT = base+sth.fgRelPgBase*INT[wordsPerPage];

IF (fgOffset+SIZE[FGHeader])*bytesPerWord <= rope.Length[] THEN {

fgHeader: FGHeader;

inner: INT;

GetWordsToPtr[rope, fgOffset, SIZE[FGHeader], @fgHeader];

inner ← offset - fgHeader.offset;

IF inner >= 0 AND inner < fgHeader.length THEN

The difference is in the fine grain table

RETURN [

IO.PutFR[

" at offset %g in fine grain table (%g)",

[integer[fromBase]], [integer[inner]]]];

};

Now try the block descriptors

WHILE list # NIL DO

inner: INT = fromBase - ptr.offset;

IF inner >= 0 AND inner < ptr.size THEN

RETURN [

IO.PutFR[

" at offset %g in %g (%g)",

[integer[fromBase]], [rope[list.first]], [integer[inner]]]];

list ← list.rest;

ptr ← ptr + SIZE[BlockDescriptor];

ENDLOOP;

which ← IO.PutFR[" at offset %g in symbols ??", [integer[fromBase]]];

};

NameOut: PROC [rope: ROPE, base: CARDINAL, nameRecord: INT, stats: Stats] = {

byteIndex: INT = base*bytesPerWord+nameRecord+4;

length: CARDINAL = MIN[64, rope.Fetch[byteIndex-1]-0C];

action: Rope.ActionType = {

IO.PutChar[stats.out, c];

};

[] ← Rope.Map[rope, byteIndex, length, action];

};

GetName: PROC [rope: ROPE, base: CARDINAL, nameRecord: INT] RETURNS [ROPE] = {

byteIndex: INT = base*bytesPerWord+nameRecord+4;

length: CARDINAL = MIN[64, rope.Fetch[byteIndex-1]-0C];

RETURN [Rope.Substr[rope, byteIndex, length]];

};

FilesOut: PROC [rope: ROPE, bcd: BcdPtr, stats: Stats] = TRUSTED {

fti: CARDINAL ← LOOPHOLE[FIRST[BcdDefs.FTIndex]];

ftr: BcdDefs.FTRecord;

WHILE fti < LOOPHOLE[bcd.ftLimit, CARDINAL] DO

GetWordsToPtr[rope, fti+bcd.ftOffset, SIZE[BcdDefs.FTRecord], @ftr];

IO.PutF[stats.out, " file #%g: ", [integer[fti]]];

NameOut[rope, bcd.ssOffset, ftr.name, stats];

IO.PutRope[stats.out, ", {"];

VersionOut[ftr.version, stats, TRUE];

IO.PutRope[stats.out, "}\n"];

fti ← fti + SIZE[BcdDefs.FTRecord];

ENDLOOP;

};

SegmentsOut: PROC [rope: ROPE, bcd: BcdPtr, stats: Stats] = TRUSTED {

sgi: CARDINAL ← LOOPHOLE[FIRST[BcdDefs.SGIndex], CARDINAL];

sgr: BcdDefs.SGRecord;

WHILE sgi < LOOPHOLE[bcd.sgLimit, CARDINAL] DO

GetWordsToPtr[rope, sgi+bcd.sgOffset, SIZE[BcdDefs.SGRecord], @sgr];

IO.PutF[stats.out, " seg #%g", [integer[sgi]]];

SELECT sgr.class FROM

code => IO.PutRope[stats.out, " (code)"];

symbols => IO.PutRope[stats.out, " (symbols)"];

acMap => IO.PutRope[stats.out, " (acMap)"];

other => IO.PutRope[stats.out, " (other)"];

ENDCASE => ERROR;

SELECT sgr.file FROM

BcdDefs.FTNull =>

IO.PutRope[stats.out, ", file: null"];

BcdDefs.FTSelf =>

IO.PutRope[stats.out, ", file: self"];

ENDCASE =>

IO.PutF[stats.out, ", file: %g", [integer[LOOPHOLE[sgr.file, CARDINAL]]]];

IO.PutF[

stats.out, ", base: %g, pages: %g, extraPages: %g\n",

[integer[sgr.base]], [integer[sgr.pages]], [integer[sgr.extraPages]]];

sgi ← sgi + SIZE[BcdDefs.SGRecord];

ENDLOOP;

};

VersionOut: PROC [version: VersionStamp, stats: Stats, stampOnly: BOOL ← FALSE] = {

versionNibbles: PACKED ARRAY [0..12) OF [0..16) = LOOPHOLE[version];

FOR i: NAT IN [0..12) DO

nibble: [0..16) ← versionNibbles[i];

IF nibble < 10

THEN IO.PutChar[stats.out, '0+nibble]

ELSE IO.PutChar[stats.out, 'a+(nibble-10)];

ENDLOOP;

IF stampOnly THEN RETURN;

IF version.net # 0 OR version.host # 0

THEN IO.PutF[stats.out, " (%g, %g, ", [cardinal[version.net]], [cardinal[version.host]]]

ELSE IO.PutRope[stats.out, " ("];

This next statement is separate to deal with potential errors in time conversion.

{ENABLE RuntimeError.UNCAUGHT => GO TO dreck;

IO.PutF[

stats.out, "%g)",

[time[BasicTime.FromNSTime[version.time]]]

];

EXITS

dreck => IO.PutRope[stats.out, "??)"];

};

Commander.Register[

"CompareCode", DoCompare,

"Compare the code of two bcd files, reporting the differences.", $Code];

Commander.Register[

"CompareBcd", DoCompare,

"Compare two bcd files, reporting the differences.", $All];

Commander.Register[

"CompareSymbol", DoCompare,

"Compare the symbols two bcd files, reporting the differences.", $Symbols];

Commander.Register[

"CompareDebug", DoCompare,

"Compare two bcd files, reporting the differences.", $Debug];

END.