|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 1024 (0x400)
Notes: 00_class, 5900_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_0444f7
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
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 0138 | 8 | .CONST 0x0138 ; 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 004f | O | .CONST 0x004f ; Address of begin
0009 0004 | | .CONST 0x0004 ; Address of exception handler
000a 0013 | | .CONST 0x0013 ; Number of locals
000b INIT_0008:
000b 0007 | | Action Break_Optional
000c 00c4 | | Action Make_Default
000d 029a 005b | [| Declare_Subprogram INIT_0058,For_Outer_Call,Visible,Unelaborated
000f 029a 006b | k| Declare_Subprogram INIT_0068,For_Outer_Call,Visible,Unelaborated
0011 029a 009b | | Declare_Subprogram INIT_0098,For_Outer_Call,Visible,Unelaborated
0013 029a 00a3 | | Declare_Subprogram INIT_00a0,For_Outer_Call,Visible,Unelaborated
0015 029a 00ab | | Declare_Subprogram INIT_00a8,For_Outer_Call,Visible,Unelaborated
0017 e004 | | Load 0x0,0x4
0018 00e3 | | Load_Encached Natural_Cache
0019 4801 |H | Short_Literal 0x1
001a 6049 |`I | Indirect_Literal Discrete,0x64,{0x00000000, 0x7fffffff}
001b e004 | | Load 0x0,0x4
001c 0269 | i | Execute Discrete,Last
001d 026c | l | Execute Discrete,Minimum
001e e003 | | Load 0x0,0x3
001f 034f | O | Declare_Type Array,Constrained,Visible,Bounds_With_Object
0020 029f 00db | | Declare_Subprogram INIT_00d8,For_Call
0022 4800 |H | Short_Literal 0x0
0023 4801 |H | Short_Literal 0x1
0024 4801 |H | Short_Literal 0x1
0025 4800 |H | Short_Literal 0x0
0026 4801 |H | Short_Literal 0x1
0027 4801 |H | Short_Literal 0x1
0028 031e | | Declare_Type Variant_Record,Defined,Visible
0029 4800 |H | Short_Literal 0x0
002a 00d9 | | Load_Top At_Offset_1
002b 1c08 | | Execute_Immediate Run_Utility,0x8
002c 4800 |H | Short_Literal 0x0
002d 00d9 | | Load_Top At_Offset_1
002e 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
002f e005 | | Load 0x0,0x5
0030 00d9 | | Load_Top At_Offset_1
0031 00d8 | | Load_Top At_Offset_0
0032 2503 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x3
0033 00da | | Load_Top At_Offset_2
0034 01da | | Execute Vector,Bounds
0035 00da | | Load_Top At_Offset_2
0036 01da | | Execute Vector,Bounds
0037 00da | | Load_Top At_Offset_2
0038 027f | | Execute Discrete,Equal
0039 7001 |p | Jump_Nonzero 0x3b
003a 08e0 | | Execute_Immediate Raise,0xe0
003b 00cd | | Action Spare6_Action
003c 027f | | Execute Discrete,Equal
003d 7001 |p | Jump_Nonzero 0x3f
003e 08e0 | | Execute_Immediate Raise,0xe0
003f 00d2 | | Pop_Control Pop_Count_2
0040 00d9 | | Load_Top At_Offset_1
0041 2903 |) | Execute Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x3
0042 0129 | ) | Execute Any,Make_Visible
0043 c20d | | Store 0x1,0xd
0044 00bf | | Action Accept_Activation
0045 1d0e | | Execute_Immediate Reference_Lex_1,0xe
0046 00c7 | | Action Elaborate_Subprogram
0047 1d0f | | Execute_Immediate Reference_Lex_1,0xf
0048 00c7 | | Action Elaborate_Subprogram
0049 1d10 | | Execute_Immediate Reference_Lex_1,0x10
004a 00c7 | | Action Elaborate_Subprogram
004b 1d11 | | Execute_Immediate Reference_Lex_1,0x11
004c 00c7 | | Action Elaborate_Subprogram
004d 1d12 | | Execute_Immediate Reference_Lex_1,0x12
004e 00c7 | | Action Elaborate_Subprogram
004f BODY_0008:
004f 00bc | | Action Signal_Activated
0050 00bb | | Action Signal_Completion
0051 0000 0000 | | .BLANK 0000[0x7]
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 00da | | Load_Top At_Offset_2
005c 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
005d e5fe | | Load 0x2,-0x2
005e 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
005f 027c | | | Execute Discrete,Less
0060 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
0061 0000 0000 | | .XXX[0x3]
0063 0000 | |
0064 0000 0000 | | .LITERAL {0x00000000, 0x7fffffff}
0068 ; --------------------------------------------------------------------------------------
0068 ; SUBPROGRAM
0068 ; --------------------------------------------------------------------------------------
0068 0073 | s | .CONST 0x0073 ; Address of begin
0069 0004 | | .CONST 0x0004 ; Address of exception handler
006a 0002 | | .CONST 0x0002 ; Number of locals
006b INIT_0068:
006b 00db | | Load_Top At_Offset_3
006c 01dc | | Execute Vector,Last
006d e5fe | | Load 0x2,-0x2
006e 01dd | | Execute Vector,First
006f 0272 | r | Execute Discrete,Minus
0070 0a01 | | Execute_Immediate Plus,0x1
0071 00e3 | | Load_Encached Natural_Cache
0072 03ec | | Declare_Variable Discrete,With_Value,With_Constraint
0073 BODY_0068:
0073 00d8 | | Load_Top At_Offset_0
0074 00d8 | | Load_Top At_Offset_0
0075 e004 | | Load 0x0,0x4
0076 0260 | ` | Execute Discrete,In_Type
0077 7001 |p | Jump_Nonzero 0x79
0078 0801 | | Execute_Immediate Raise,0x1
0079 e213 | | Load 0x1,0x13
007a 1c08 | | Execute_Immediate Run_Utility,0x8
007b e5ff | | Load 0x2,-0x1
007c 00d9 | | Load_Top At_Offset_1
007d 2802 |( | Execute Variant_Record,Field_Write,Fixed,Direct,Field_Number 0x2
007e e5fe | | Load 0x2,-0x2
007f 00d9 | | Load_Top At_Offset_1
0080 00d8 | | Load_Top At_Offset_0
0081 2503 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x3
0082 00da | | Load_Top At_Offset_2
0083 01da | | Execute Vector,Bounds
0084 00da | | Load_Top At_Offset_2
0085 01da | | Execute Vector,Bounds
0086 00da | | Load_Top At_Offset_2
0087 027f | | Execute Discrete,Equal
0088 7001 |p | Jump_Nonzero 0x8a
0089 08e0 | | Execute_Immediate Raise,0xe0
008a 00cd | | Action Spare6_Action
008b 027f | | Execute Discrete,Equal
008c 7001 |p | Jump_Nonzero 0x8e
008d 08e0 | | Execute_Immediate Raise,0xe0
008e 00d2 | | Pop_Control Pop_Count_2
008f 00d9 | | Load_Top At_Offset_1
0090 2903 |) | Execute Variant_Record,Field_Write,Fixed,Indirect,Field_Number 0x3
0091 4402 |D | Exit_Subprogram With_Value,New_Top_Offset 0x2
0092 0000 0000 | | .BLANK 0000[0x6]
0098 ; --------------------------------------------------------------------------------------
0098 ; SUBPROGRAM
0098 ; --------------------------------------------------------------------------------------
0098 009b | | .CONST 0x009b ; Address of begin
0099 0004 | | .CONST 0x0004 ; Address of exception handler
009a 0001 | | .CONST 0x0001 ; Number of locals
009b BODY_0098:
009b INIT_0098:
009b 00da | | Load_Top At_Offset_2
009c 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
009d 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
009e 0000 0000 | | .XXX[0x2]
00a0 ; --------------------------------------------------------------------------------------
00a0 ; SUBPROGRAM
00a0 ; --------------------------------------------------------------------------------------
00a0 00a3 | | .CONST 0x00a3 ; Address of begin
00a1 0004 | | .CONST 0x0004 ; Address of exception handler
00a2 0001 | | .CONST 0x0001 ; Number of locals
00a3 BODY_00a0:
00a3 INIT_00a0:
00a3 00da | | Load_Top At_Offset_2
00a4 2503 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x3
00a5 0335 | 5 | Declare_Variable Array,Duplicate
00a6 00cd | | Action Spare6_Action
00a7 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1
00a8 ; --------------------------------------------------------------------------------------
00a8 ; SUBPROGRAM
00a8 ; --------------------------------------------------------------------------------------
00a8 00ab | | .CONST 0x00ab ; Address of begin
00a9 0004 | | .CONST 0x0004 ; Address of exception handler
00aa 0001 | | .CONST 0x0001 ; Number of locals
00ab BODY_00a8:
00ab INIT_00a8:
00ab 00db | | Load_Top At_Offset_3
00ac 0092 0118 | | Action Push_String_Extended,0x118 ; "Rule_instance'("
00ae 8006 | | Call 0x0,0x6
00af 00db | | Load_Top At_Offset_3
00b0 8007 | | Call 0x0,0x7
00b1 00db | | Load_Top At_Offset_3
00b2 0092 0119 | | Action Push_String_Extended,0x119 ; "The_Rule =>"
00b4 8008 | | Call 0x0,0x8
00b5 00db | | Load_Top At_Offset_3
00b6 00db | | Load_Top At_Offset_3
00b7 2c02 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x2
00b8 8009 | | Call 0x0,0x9
00b9 00db | | Load_Top At_Offset_3
00ba 482c |H, | Short_Literal 0x2c
00bb 800a | | Call 0x0,0xa
00bc 00db | | Load_Top At_Offset_3
00bd 0092 011a | | Action Push_String_Extended,0x11a ; "The_facts =>"
00bf 8006 | | Call 0x0,0x6
00c0 00db | | Load_Top At_Offset_3
00c1 8007 | | Call 0x0,0x7
00c2 00db | | Load_Top At_Offset_3
00c3 4801 |H | Short_Literal 0x1
00c4 e5ff | | Load 0x2,-0x1
00c5 2c01 |, | Execute Variant_Record,Field_Read,Fixed,Direct,Field_Number 0x1
00c6 e5ff | | Load 0x2,-0x1
00c7 2503 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x3
00c8 01cf | | Execute Vector,Slice_Read
00c9 800b | | Call 0x0,0xb
00ca 00db | | Load_Top At_Offset_3
00cb 800c | | Call 0x0,0xc
00cc 00db | | Load_Top At_Offset_3
00cd 800c | | Call 0x0,0xc
00ce 00db | | Load_Top At_Offset_3
00cf 0092 011b | | Action Push_String_Extended,0x11b ; ")"
00d1 8006 | | Call 0x0,0x6
00d2 4503 |E | Exit_Suprogram New_Top_Offset 0x3
00d3 0000 0000 | | .BLANK 0000[0x5]
00d8 ; --------------------------------------------------------------------------------------
00d8 ; SUBPROGRAM
00d8 ; --------------------------------------------------------------------------------------
00d8 00db | | .CONST 0x00db ; Address of begin
00d9 0004 | | .CONST 0x0004 ; Address of exception handler
00da 0001 | | .CONST 0x0001 ; Number of locals
00db BODY_00d8:
00db INIT_00d8:
00db 4609 |F | Jump_Case 0xa
00dc 7809 |x | Jump 0xe6 ; case 0x0
00dd 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x1
00de 7817 |x | Jump 0xf6 ; case 0x2
00df 781a |x | Jump 0xfa ; case 0x3
00e0 7836 |x6 | Jump 0x117 ; case 0x4
00e1 7835 |x5 | Jump 0x117 ; case 0x5
00e2 7834 |x4 | Jump 0x117 ; case 0x6
00e3 781c |x | Jump 0x100 ; case 0x7
00e4 7824 |x$ | Jump 0x109 ; case 0x8
00e5 782d |x- | Jump 0x113 ; case 0x9
00e6 00da | | Load_Top At_Offset_2
00e7 016c | l | Execute Variant_Record,Is_Constrained
00e8 7009 |p | Jump_Nonzero 0xf2
00e9 00cf | | Action Mark_Auxiliary
00ea 4800 |H | Short_Literal 0x0
00eb e5ff | | Load 0x2,-0x1
00ec 1c08 | | Execute_Immediate Run_Utility,0x8
00ed 00d8 | | Load_Top At_Offset_0
00ee 1c00 | | Execute_Immediate Run_Utility,0x0
00ef c5ff | | Store 0x2,-0x1
00f0 00ce | | Action Pop_Auxiliary
00f1 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
00f2 00da | | Load_Top At_Offset_2
00f3 2503 |% | Execute Variant_Record,Field_Reference,Indirect,Field_Number 0x3
00f4 1c00 | | Execute_Immediate Run_Utility,0x0
00f5 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2
00f6 4801 |H | Short_Literal 0x1
00f7 4803 |H | Short_Literal 0x3
00f8 0311 | | Declare_Type Variant_Record,Constrained_Incomplete
00f9 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
00fa e5fd | | Load 0x2,-0x3
00fb 00db | | Load_Top At_Offset_3
00fc 1c07 | | Execute_Immediate Run_Utility,0x7
00fd e5fe | | Load 0x2,-0x2
00fe 0306 | | Complete_Type Variant_Record,By_Renaming
00ff 4304 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x4
0100 00db | | Load_Top At_Offset_3
0101 4801 |H | Short_Literal 0x1
0102 e5fe | | Load 0x2,-0x2
0103 e003 | | Load 0x0,0x3
0104 035b | [ | Declare_Type Array,Constrained
0105 4801 |H | Short_Literal 0x1
0106 e5ff | | Load 0x2,-0x1
0107 031b | | Declare_Type Variant_Record,Constrained
0108 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
0109 00db | | Load_Top At_Offset_3
010a 00db | | Load_Top At_Offset_3
010b 02fc | | Declare_Variable Variant_Record,With_Constraint
010c 4801 |H | Short_Literal 0x1
010d e5fe | | Load 0x2,-0x2
010e e003 | | Load 0x0,0x3
010f 0334 | 4 | Declare_Variable Array,With_Constraint
0110 2d03 |- | Execute Variant_Record,Field_Append,Fixed,Indirect,Field_Number 0x3
0111 016a | j | QQ_execute Variant_Record,XXX
0112 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2
0113 4800 |H | Short_Literal 0x0
0114 00db | | Load_Top At_Offset_3
0115 1c07 | | Execute_Immediate Run_Utility,0x7
0116 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1
0117 0869 | i | Execute_Immediate Raise,0x69
0118 ; --------------------------------------------------------------------------------------
0118 ; STRING TABLE
0118 ; --------------------------------------------------------------------------------------
0118 000a | | .STRTAB 0x000a->0x011d ; "Rule_instance'("
0119 0017 | | .STRTAB 0x0017->0x0124 ; "The_Rule =>"
011a 0020 | | .STRTAB 0x0020->0x012a ; "The_facts =>"
011b 002a | * | .STRTAB 0x002a->0x0130 ; ")"
011c 0029 | ) | .STREND 0x0029->0x0130
011d 5275 6c65 |Rule| .STRTAB_STRINGS
0131 0000 0000 | | .BLANK 0000[0x7]
0138 ; --------------------------------------------------------------------------------------
0138 ; Debug Table
0138 ; --------------------------------------------------------------------------------------
0138 0004 0006 | | .DEBUG4 0x0004,0x0006,0xa045,0x0000,0x0001,0x0008
013e 000b 015e | ^| .DBG4T 0x000b,0x015e,0x0000,0x0000
0142 0045 0169 | E i| .DBG4T 0x0045,0x0169,0x0000,0x0000
0146 005b 0170 | [ p| .DBG4T 0x005b,0x0170,0x0002,0x0000
014a 006b 0173 | k s| .DBG4T 0x006b,0x0173,0x0002,0x0000
014e 009b 0177 | w| .DBG4T 0x009b,0x0177,0x0002,0x0000
0152 00a3 017a | z| .DBG4T 0x00a3,0x017a,0x0002,0x0000
0156 00ab 017d | }| .DBG4T 0x00ab,0x017d,0x0001,0x0000
015a 00db 0000 | | .DBG4T 0x00db,0x0000,0x0005,0x0000
015e ; --------------------------------------------------------------------------------------
015e ; Debug chain
015e ; --------------------------------------------------------------------------------------
015e 0009 0000 | | .DBGLEN 0x0009,0x0000
0160 000b 000c | | .DBGLNO 0x000b,0x000c,0x000d,0x000f,0x0011,0x0013,0x0015,0x0017,0x0029
0169 ; --------------------------------------------------------------------------------------
0169 ; Debug chain
0169 ; --------------------------------------------------------------------------------------
0169 0005 0000 | | .DBGLEN 0x0005,0x0000
016b 0045 0047 | E G| .DBGLNO 0x0045,0x0047,0x0049,0x004b,0x004d
0170 ; --------------------------------------------------------------------------------------
0170 ; Debug chain
0170 ; --------------------------------------------------------------------------------------
0170 0000 0001 | | .DBGLEN 0x0000,0x0001
0172 005b | [ | .DBGLNO 0x005b
0173 ; --------------------------------------------------------------------------------------
0173 ; Debug chain
0173 ; --------------------------------------------------------------------------------------
0173 0001 0001 | | .DBGLEN 0x0001,0x0001
0175 006b 0073 | k s| .DBGLNO 0x006b,0x0073
0177 ; --------------------------------------------------------------------------------------
0177 ; Debug chain
0177 ; --------------------------------------------------------------------------------------
0177 0000 0001 | | .DBGLEN 0x0000,0x0001
0179 009b | | .DBGLNO 0x009b
017a ; --------------------------------------------------------------------------------------
017a ; Debug chain
017a ; --------------------------------------------------------------------------------------
017a 0000 0001 | | .DBGLEN 0x0000,0x0001
017c 00a3 | | .DBGLNO 0x00a3
017d ; --------------------------------------------------------------------------------------
017d ; Debug chain
017d ; --------------------------------------------------------------------------------------
017d 0000 000b | | .DBGLEN 0x0000,0x000b
017f 00ab 00af | | .DBGLNO 0x00ab,0x00af,0x00b1,0x00b5,0x00b9,0x00bc,0x00c0,0x00c2,0x00ca,0x00cc,0x00ce
018a 0000 0000 | | .BLANK 0000[0x76]