DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦80c818bc0⟧

    Length: 1024 (0x400)
    Notes: 00_class, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_b8bce8

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

Disassembly

0000 000f       |    |		.CONST	0x000f								; Version of machine code
0001 5900       |Y   |		.CONST	0x5900								; Diana Version, RCG Major Version, RCG minor version
0002 0000       |    |		.CONST	0x0000								; Zero
0003 00e8       |    |		.CONST	0x00e8								; Offset of debug table
0004 0100       |    |		.CONST	0x0100								; Default exception handler - raise instruction
0005 00bb       |    |		.CONST	0x00bb								; Module termination instruction - signal completion
0006 0000       |    |		.CONST	0x0000								; Offset to segment table (only in elab segments)
0007 0000       |    |		.CONST	0x0000								; 0, wired, #pages in seg - 1)
0008 ; --------------------------------------------------------------------------------------
0008 ; SUBPROGRAM
0008 ; --------------------------------------------------------------------------------------
0008 0040       | @  |		.CONST	0x0040								; Address of begin
0009 0004       |    |		.CONST	0x0004								; Address of exception handler
000a 0010       |    |		.CONST	0x0010								; Number of locals
000b			INIT_0008:
000b e004       |    |		Load	0x0,0x4
000c 00e3       |    |		Load_Encached	Natural_Cache
000d 4801       |H   |		Short_Literal	0x1
000e 6045       |`E  |		Indirect_Literal	Discrete,0x54,{0x00000000, 0x7fffffff}
000f e004       |    |		Load	0x0,0x4
0010 0269       | i  |		Execute	Discrete,Last
0011 026c       | l  |		Execute	Discrete,Minimum
0012 e003       |    |		Load	0x0,0x3
0013 034f       | O  |		Declare_Type	Array,Constrained,Visible,Bounds_With_Object
0014 029f 008b  |    |		Declare_Subprogram	INIT_0088,For_Call
0016 4800       |H   |		Short_Literal	0x0
0017 4801       |H   |		Short_Literal	0x1
0018 4801       |H   |		Short_Literal	0x1
0019 4800       |H   |		Short_Literal	0x0
001a 4801       |H   |		Short_Literal	0x1
001b 4801       |H   |		Short_Literal	0x1
001c 031e       |    |		Declare_Type	Variant_Record,Defined,Visible
001d 4800       |H   |		Short_Literal	0x0
001e 00d9       |    |		Load_Top	At_Offset_1
001f 1c08       |    |		Execute_Immediate	Run_Utility,0x8
0020 4800       |H   |		Short_Literal	0x0
0021 00d9       |    |		Load_Top	At_Offset_1
0022 2802       |(   |		Execute	Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
0023 e005       |    |		Load	0x0,0x5
0024 00d9       |    |		Load_Top	At_Offset_1
0025 00d8       |    |		Load_Top	At_Offset_0
0026 2503       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x3
0027 00da       |    |		Load_Top	At_Offset_2
0028 01da       |    |		Execute	Vector,Bounds
0029 00da       |    |		Load_Top	At_Offset_2
002a 01da       |    |		Execute	Vector,Bounds
002b 00da       |    |		Load_Top	At_Offset_2
002c 027f       |    |		Execute	Discrete,Equal
002d 7001       |p   |		Jump_Nonzero	0x2f
002e 08e0       |    |		Execute_Immediate	Raise,0xe0
002f 00cd       |    |		Action	Spare6_Action
0030 027f       |    |		Execute	Discrete,Equal
0031 7001       |p   |		Jump_Nonzero	0x33
0032 08e0       |    |		Execute_Immediate	Raise,0xe0
0033 00d2       |    |		Pop_Control	Pop_Count_2
0034 00d9       |    |		Load_Top	At_Offset_1
0035 2903       |)   |		Execute	Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x3
0036 0129       | )  |		Execute	Any,Make_Visible
0037 029a 004b  |   K|		Declare_Subprogram	INIT_0048,For_Outer_Call,Visible,Unelaborated
0039 029a 005b  |   [|		Declare_Subprogram	INIT_0058,For_Outer_Call,Visible,Unelaborated
003b 00bf       |    |		Action	Accept_Activation
003c 1d0f       |    |		Execute_Immediate	Reference_Lex_1,0xf
003d 00c7       |    |		Action	Elaborate_Subprogram
003e 1d10       |    |		Execute_Immediate	Reference_Lex_1,0x10
003f 00c7       |    |		Action	Elaborate_Subprogram
0040			BODY_0008:
0040 00bc       |    |		Action	Signal_Activated
0041 00bb       |    |		Action	Signal_Completion
0042 0000 0000  |    |		.BLANK	0000[0x6]
0048 ; --------------------------------------------------------------------------------------
0048 ; SUBPROGRAM
0048 ; --------------------------------------------------------------------------------------
0048 004b       | K  |		.CONST	0x004b								; Address of begin
0049 0004       |    |		.CONST	0x0004								; Address of exception handler
004a 0001       |    |		.CONST	0x0001								; Number of locals
004b			BODY_0048:
004b			INIT_0048:
004b 00da       |    |		Load_Top	At_Offset_2
004c 2c01       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
004d e5fe       |    |		Load	0x2,-0x2
004e 2c01       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
004f 027c       | |  |		Execute	Discrete,Less
0050 4402       |D   |		Exit_Subprogram	With_Value,New_Top_Offset 0x2
0051 0000 0000  |    |		.XXX[0x3]
0053 0000       |    |
0054 0000 0000  |    |		.LITERAL	{0x00000000, 0x7fffffff}
0058 ; --------------------------------------------------------------------------------------
0058 ; SUBPROGRAM
0058 ; --------------------------------------------------------------------------------------
0058 005b       | [  |		.CONST	0x005b								; Address of begin
0059 0004       |    |		.CONST	0x0004								; Address of exception handler
005a 0001       |    |		.CONST	0x0001								; Number of locals
005b			BODY_0058:
005b			INIT_0058:
005b 00db       |    |		Load_Top	At_Offset_3
005c 0092 00c8  |    |		Action	Push_String_Extended,0xc8					; "Rule_instance'("
005e 8006       |    |		Call	0x0,0x6
005f 00db       |    |		Load_Top	At_Offset_3
0060 8007       |    |		Call	0x0,0x7
0061 00db       |    |		Load_Top	At_Offset_3
0062 0092 00c9  |    |		Action	Push_String_Extended,0xc9					; "The_Rule =>"
0064 8008       |    |		Call	0x0,0x8
0065 00db       |    |		Load_Top	At_Offset_3
0066 00db       |    |		Load_Top	At_Offset_3
0067 2c02       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
0068 8009       |    |		Call	0x0,0x9
0069 00db       |    |		Load_Top	At_Offset_3
006a 482c       |H,  |		Short_Literal	0x2c
006b 800a       |    |		Call	0x0,0xa
006c 00db       |    |		Load_Top	At_Offset_3
006d 0092 00ca  |    |		Action	Push_String_Extended,0xca					; "The_facts =>"
006f 8006       |    |		Call	0x0,0x6
0070 00db       |    |		Load_Top	At_Offset_3
0071 8007       |    |		Call	0x0,0x7
0072 00db       |    |		Load_Top	At_Offset_3
0073 4801       |H   |		Short_Literal	0x1
0074 e5ff       |    |		Load	0x2,-0x1
0075 2c01       |,   |		Execute	Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
0076 e5ff       |    |		Load	0x2,-0x1
0077 2503       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x3
0078 01cf       |    |		Execute	Vector,Slice_Read
0079 800b       |    |		Call	0x0,0xb
007a 00db       |    |		Load_Top	At_Offset_3
007b 800c       |    |		Call	0x0,0xc
007c 00db       |    |		Load_Top	At_Offset_3
007d 800c       |    |		Call	0x0,0xc
007e 00db       |    |		Load_Top	At_Offset_3
007f 0092 00cb  |    |		Action	Push_String_Extended,0xcb					; ")"
0081 8006       |    |		Call	0x0,0x6
0082 4503       |E   |		Exit_Suprogram	New_Top_Offset 0x3
0083 0000 0000  |    |		.BLANK	0000[0x5]
0088 ; --------------------------------------------------------------------------------------
0088 ; SUBPROGRAM
0088 ; --------------------------------------------------------------------------------------
0088 008b       |    |		.CONST	0x008b								; Address of begin
0089 0004       |    |		.CONST	0x0004								; Address of exception handler
008a 0001       |    |		.CONST	0x0001								; Number of locals
008b			BODY_0088:
008b			INIT_0088:
008b 4609       |F   |		Jump_Case	0xa
008c 7809       |x   |		Jump	0x96								; case 0x0
008d 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2				; case 0x1
008e 7817       |x   |		Jump	0xa6								; case 0x2
008f 781a       |x   |		Jump	0xaa								; case 0x3
0090 7836       |x6  |		Jump	0xc7								; case 0x4
0091 7835       |x5  |		Jump	0xc7								; case 0x5
0092 7834       |x4  |		Jump	0xc7								; case 0x6
0093 781c       |x   |		Jump	0xb0								; case 0x7
0094 7824       |x$  |		Jump	0xb9								; case 0x8
0095 782d       |x-  |		Jump	0xc3								; case 0x9
0096 00da       |    |		Load_Top	At_Offset_2
0097 016c       | l  |		Execute	Variant_Record,Is_Constrained
0098 7009       |p   |		Jump_Nonzero	0xa2
0099 00cf       |    |		Action	Mark_Auxiliary
009a 4800       |H   |		Short_Literal	0x0
009b e5ff       |    |		Load	0x2,-0x1
009c 1c08       |    |		Execute_Immediate	Run_Utility,0x8
009d 00d8       |    |		Load_Top	At_Offset_0
009e 1c00       |    |		Execute_Immediate	Run_Utility,0x0
009f c5ff       |    |		Store	0x2,-0x1
00a0 00ce       |    |		Action	Pop_Auxiliary
00a1 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
00a2 00da       |    |		Load_Top	At_Offset_2
00a3 2503       |%   |		Execute	Variant_Record,Field_Reference,Indirect,Field_Number 0x3
00a4 1c00       |    |		Execute_Immediate	Run_Utility,0x0
00a5 4302       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x2
00a6 4801       |H   |		Short_Literal	0x1
00a7 4803       |H   |		Short_Literal	0x3
00a8 0311       |    |		Declare_Type	Variant_Record,Constrained_Incomplete
00a9 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
00aa e5fd       |    |		Load	0x2,-0x3
00ab 00db       |    |		Load_Top	At_Offset_3
00ac 1c07       |    |		Execute_Immediate	Run_Utility,0x7
00ad e5fe       |    |		Load	0x2,-0x2
00ae 0306       |    |		Complete_Type	Variant_Record,By_Renaming
00af 4304       |C   |		Exit_Subprogram	From_Utility,New_Top_Offset 0x4
00b0 00db       |    |		Load_Top	At_Offset_3
00b1 4801       |H   |		Short_Literal	0x1
00b2 e5fe       |    |		Load	0x2,-0x2
00b3 e003       |    |		Load	0x0,0x3
00b4 035b       | [  |		Declare_Type	Array,Constrained
00b5 4801       |H   |		Short_Literal	0x1
00b6 e5ff       |    |		Load	0x2,-0x1
00b7 031b       |    |		Declare_Type	Variant_Record,Constrained
00b8 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
00b9 00db       |    |		Load_Top	At_Offset_3
00ba 00db       |    |		Load_Top	At_Offset_3
00bb 02fc       |    |		Declare_Variable	Variant_Record,With_Constraint
00bc 4801       |H   |		Short_Literal	0x1
00bd e5fe       |    |		Load	0x2,-0x2
00be e003       |    |		Load	0x0,0x3
00bf 0334       | 4  |		Declare_Variable	Array,With_Constraint
00c0 2d03       |-   |		Execute	Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x3
00c1 016a       | j  |		QQ_execute	Variant_Record,XXX
00c2 4202       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x2
00c3 4800       |H   |		Short_Literal	0x0
00c4 00db       |    |		Load_Top	At_Offset_3
00c5 1c07       |    |		Execute_Immediate	Run_Utility,0x7
00c6 4201       |B   |		Exit_Subprogram	From_Utility,With_Result,New_Top_Offset 0x1
00c7 0869       | i  |		Execute_Immediate	Raise,0x69
00c8 ; --------------------------------------------------------------------------------------
00c8 ; STRING TABLE
00c8 ; --------------------------------------------------------------------------------------
00c8 000a       |    |		.STRTAB	0x000a->0x00cd							; "Rule_instance'("
00c9 0017       |    |		.STRTAB	0x0017->0x00d4							; "The_Rule =>"
00ca 0020       |    |		.STRTAB	0x0020->0x00da							; "The_facts =>"
00cb 002a       | *  |		.STRTAB	0x002a->0x00e0							; ")"
00cc 0029       | )  |		.STREND 0x0029->0x00e0
00cd 5275 6c65  |Rule|		.STRTAB_STRINGS
00e1 0000 0000  |    |		.BLANK	0000[0x7]
00e8 ; --------------------------------------------------------------------------------------
00e8 ; Debug Table
00e8 ; --------------------------------------------------------------------------------------
00e8 0004 0004  |    |		.DEBUG4	0x0004,0x0004,0x9034,0x0000,0x0001,0x0005
00ee 000b 0102  |    |		.DBG4T	0x000b,0x0102,0x0000,0x0000
00f2 003c 0108  | <  |		.DBG4T	0x003c,0x0108,0x0000,0x0000
00f6 004b 010c  | K  |		.DBG4T	0x004b,0x010c,0x0002,0x0000
00fa 005b 010f  | [  |		.DBG4T	0x005b,0x010f,0x0001,0x0000
00fe 008b 0000  |    |		.DBG4T	0x008b,0x0000,0x0005,0x0000
0102 ; --------------------------------------------------------------------------------------
0102 ; Debug chain
0102 ; --------------------------------------------------------------------------------------
0102 0004 0000  |    |		.DBGLEN	0x0004,0x0000
0104 000b 001d  |    |		.DBGLNO	0x000b,0x001d,0x0037,0x0039
0108 ; --------------------------------------------------------------------------------------
0108 ; Debug chain
0108 ; --------------------------------------------------------------------------------------
0108 0002 0000  |    |		.DBGLEN	0x0002,0x0000
010a 003c 003e  | < >|		.DBGLNO	0x003c,0x003e
010c ; --------------------------------------------------------------------------------------
010c ; Debug chain
010c ; --------------------------------------------------------------------------------------
010c 0000 0001  |    |		.DBGLEN	0x0000,0x0001
010e 004b       | K  |		.DBGLNO	0x004b
010f ; --------------------------------------------------------------------------------------
010f ; Debug chain
010f ; --------------------------------------------------------------------------------------
010f 0000 000b  |    |		.DBGLEN	0x0000,0x000b
0111 005b 005f  | [ _|		.DBGLNO	0x005b,0x005f,0x0061,0x0065,0x0069,0x006c,0x0070,0x0072,0x007a,0x007c,0x007e
011c 0000 0000  |    |		.BLANK	0000[0xe4]