|
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, 5800_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_0a7cf5
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
0000 000f | | .CONST 0x000f ; Version of machine code 0001 5800 |X | .CONST 0x5800 ; 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 8000 | | .CONST 0x8000 ; 0, wired, #pages in seg - 1) 0008 ; -------------------------------------------------------------------------------------- 0008 ; SUBPROGRAM 0008 ; -------------------------------------------------------------------------------------- 0008 002d | - | .CONST 0x002d ; Address of begin 0009 0004 | | .CONST 0x0004 ; Address of exception handler 000a 0013 | | .CONST 0x0013 ; Number of locals 000b INIT_0008: 000b 029a 0033 | 3| Declare_Subprogram INIT_0030,For_Outer_Call,Visible,Unelaborated 000d 029a 0043 | C| Declare_Subprogram INIT_0040,For_Outer_Call,Visible,Unelaborated 000f 029a 0053 | S| Declare_Subprogram INIT_0050,For_Outer_Call,Visible,Unelaborated 0011 00bf | | Action Accept_Activation 0012 e001 | | Load 0x0,0x1 0013 e002 | | Load 0x0,0x2 0014 e003 | | Load 0x0,0x3 0015 1b15 | | Execute Package,Field_Read,Field_Number 0x15 0016 e004 | | Load 0x0,0x4 0017 0387 | | Declare_Variable Package 0018 00d8 | | Load_Top At_Offset_0 0019 020f | | Execute Module,Activate 001a 00e4 | | Load_Encached Positive_Cache 001b 0266 | f | Execute Discrete,Bounds 001c 00da | | Load_Top At_Offset_2 001d 1b10 | | Execute Package,Field_Read,Field_Number 0x10 001e 02a0 | | Declare_Subprogram Null_Subprogram 001f 4801 |H | Short_Literal 0x1 0020 0350 | P | Declare_Type Array,Defined,Bounds_With_Object 0021 00d8 | | Load_Top At_Offset_0 0022 02a0 | | Declare_Subprogram Null_Subprogram 0023 4818 |H | Short_Literal 0x18 0024 03d3 | | Declare_Type Access,Defined,Accesses_Protected 0025 00d8 | | Load_Top At_Offset_0 0026 0007 | | Action Break_Optional 0027 1d0d | | Execute_Immediate Reference_Lex_1,0xd 0028 00c7 | | Action Elaborate_Subprogram 0029 1d0e | | Execute_Immediate Reference_Lex_1,0xe 002a 00c7 | | Action Elaborate_Subprogram 002b 1d0f | | Execute_Immediate Reference_Lex_1,0xf 002c 00c7 | | Action Elaborate_Subprogram 002d BODY_0008: 002d 00bc | | Action Signal_Activated 002e 00bb | | Action Signal_Completion 002f 0000 | | .XXX[0x1] 0030 ; -------------------------------------------------------------------------------------- 0030 ; SUBPROGRAM 0030 ; -------------------------------------------------------------------------------------- 0030 0033 | 3 | .CONST 0x0033 ; Address of begin 0031 0004 | | .CONST 0x0004 ; Address of exception handler 0032 0001 | | .CONST 0x0001 ; Number of locals 0033 BODY_0030: 0033 INIT_0030: 0033 4801 |H | Short_Literal 0x1 0034 00db | | Load_Top At_Offset_3 0035 e212 | | Load 0x1,0x12 0036 03ba | | Declare_Variable Access,By_Allocation,With_Constraint 0037 a213 | | Store_Unchecked 0x1,0x13 0038 4502 |E | Exit_Suprogram New_Top_Offset 0x2 0039 0000 0000 | | .BLANK 0000[0x7] 0040 ; -------------------------------------------------------------------------------------- 0040 ; SUBPROGRAM 0040 ; -------------------------------------------------------------------------------------- 0040 0045 | E | .CONST 0x0045 ; Address of begin 0041 0004 | | .CONST 0x0004 ; Address of exception handler 0042 0002 | | .CONST 0x0002 ; Number of locals 0043 INIT_0040: 0043 029f 00ab | | Declare_Subprogram INIT_00a8,For_Call 0045 BODY_0040: 0045 e5fe | | Load 0x2,-0x2 0046 e003 | | Load 0x0,0x3 0047 1817 | | Execute Package,Field_Execute,Field_Number 0x17 0048 7001 |p | Jump_Nonzero 0x4a 0049 8402 | | Call 0x2,0x2 004a 4503 |E | Exit_Suprogram New_Top_Offset 0x3 004b 0000 0000 | | .BLANK 0000[0x5] 0050 ; -------------------------------------------------------------------------------------- 0050 ; SUBPROGRAM 0050 ; -------------------------------------------------------------------------------------- 0050 005d | ] | .CONST 0x005d ; Address of begin 0051 0004 | | .CONST 0x0004 ; Address of exception handler 0052 0004 | | .CONST 0x0004 ; Number of locals 0053 INIT_0050: 0053 e210 | | Load 0x1,0x10 0054 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 0055 00db | | Load_Top At_Offset_3 0056 2e04 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x4 0057 e003 | | Load 0x0,0x3 0058 1829 | ) | Execute Package,Field_Execute,Field_Number 0x29 0059 00e4 | | Load_Encached Positive_Cache 005a 03ec | | Declare_Variable Discrete,With_Value,With_Constraint 005b 029f 00c3 | | Declare_Subprogram INIT_00c0,For_Call 005d BODY_0050: 005d 00d9 | | Load_Top At_Offset_1 005e e213 | | Load 0x1,0x13 005f 0227 | ' | Execute Access,All_Reference 0060 01d7 | | Execute Vector,Field_Read 0061 e210 | | Load 0x1,0x10 0062 1819 | | Execute Package,Field_Execute,Field_Number 0x19 0063 0c01 | | Execute_Immediate Greater_Equal,0x1 0064 682b |h+ | Jump_Zero 0x90 0065 4806 |H | Short_Literal 0x6 0066 e005 | | Load 0x0,0x5 0067 1862 | b | Execute Package,Field_Execute,Field_Number 0x62 0068 e005 | | Load 0x0,0x5 0069 1b65 | e | Execute Package,Field_Read,Field_Number 0x65 006a 0092 00f2 | | Action Push_String_Extended,0xf2 ; "Capabilities referencing special qualification test " 006c 4801 |H | Short_Literal 0x1 006d e5ff | | Load 0x2,-0x1 006e e005 | | Load 0x0,0x5 006f 1820 | | Execute Package,Field_Execute,Field_Number 0x20 0070 01cc | | Execute Vector,Catenate 0071 e005 | | Load 0x0,0x5 0072 1881 | | Execute Package,Field_Execute,Field_Number 0x81 0073 e210 | | Load 0x1,0x10 0074 1b1a | | Execute Package,Field_Read,Field_Number 0x1a 0075 00da | | Load_Top At_Offset_2 0076 e213 | | Load 0x1,0x13 0077 0227 | ' | Execute Access,All_Reference 0078 01d7 | | Execute Vector,Field_Read 0079 e210 | | Load 0x1,0x10 007a 181b | | Execute Package,Field_Execute,Field_Number 0x1b 007b 003b | ; | Store_Top Access,At_Offset_3 007c 00cf | | Action Mark_Auxiliary 007d 7806 |x | Jump 0x84 007e 8404 | | Call 0x2,0x4 007f 00db | | Load_Top At_Offset_3 0080 e210 | | Load 0x1,0x10 0081 181c | | Execute Package,Field_Execute,Field_Number 0x1c 0082 c402 | | Store 0x2,0x2 0083 00c9 | | Action Pop_Auxiliary_Loop 0084 00db | | Load_Top At_Offset_3 0085 e210 | | Load 0x1,0x10 0086 181e | | Execute Package,Field_Execute,Field_Number 0x1e 0087 6ff6 |o | Jump_Zero 0x7e 0088 00ce | | Action Pop_Auxiliary 0089 e005 | | Load 0x0,0x5 008a 1b64 | d | Execute Package,Field_Read,Field_Number 0x64 008b e005 | | Load 0x0,0x5 008c 1b65 | e | Execute Package,Field_Read,Field_Number 0x65 008d e005 | | Load 0x0,0x5 008e 186e | n | Execute Package,Field_Execute,Field_Number 0x6e 008f 4502 |E | Exit_Suprogram New_Top_Offset 0x2 0090 4801 |H | Short_Literal 0x1 0091 e006 | | Load 0x0,0x6 0092 e007 | | Load 0x0,0x7 0093 1b32 | 2 | Execute Package,Field_Read,Field_Number 0x32 0094 1820 | | Execute Package,Field_Execute,Field_Number 0x20 0095 4800 |H | Short_Literal 0x0 0096 480e |H | Short_Literal 0xe 0097 e005 | | Load 0x0,0x5 0098 1862 | b | Execute Package,Field_Execute,Field_Number 0x62 0099 e007 | | Load 0x0,0x7 009a 1b16 | | Execute Package,Field_Read,Field_Number 0x16 009b 0092 00f3 | | Action Push_String_Extended,0xf3 ; "Special qualification test " 009d 4801 |H | Short_Literal 0x1 009e e5ff | | Load 0x2,-0x1 009f e005 | | Load 0x0,0x5 00a0 1820 | | Execute Package,Field_Execute,Field_Number 0x20 00a1 01cc | | Execute Vector,Catenate 00a2 0092 00f4 | | Action Push_String_Extended,0xf4 ; " is not referenced by any capability." 00a4 01cc | | Execute Vector,Catenate 00a5 e005 | | Load 0x0,0x5 00a6 1886 | | Execute Package,Field_Execute,Field_Number 0x86 00a7 4502 |E | Exit_Suprogram New_Top_Offset 0x2 00a8 ; -------------------------------------------------------------------------------------- 00a8 ; SUBPROGRAM 00a8 ; -------------------------------------------------------------------------------------- 00a8 00b0 | | .CONST 0x00b0 ; Address of begin 00a9 0004 | | .CONST 0x0004 ; Address of exception handler 00aa 0002 | | .CONST 0x0002 ; Number of locals 00ab INIT_00a8: 00ab e5fe | | Load 0x2,-0x2 00ac e003 | | Load 0x0,0x3 00ad 1829 | ) | Execute Package,Field_Execute,Field_Number 0x29 00ae 00e4 | | Load_Encached Positive_Cache 00af 03ec | | Declare_Variable Discrete,With_Value,With_Constraint 00b0 BODY_00a8: 00b0 00d8 | | Load_Top At_Offset_0 00b1 e213 | | Load 0x1,0x13 00b2 0227 | ' | Execute Access,All_Reference 00b3 01d7 | | Execute Vector,Field_Read 00b4 e5ff | | Load 0x2,-0x1 00b5 e210 | | Load 0x1,0x10 00b6 1811 | | Execute Package,Field_Execute,Field_Number 0x11 00b7 00d9 | | Load_Top At_Offset_1 00b8 e213 | | Load 0x1,0x13 00b9 0227 | ' | Execute Access,All_Reference 00ba 01d6 | | Execute Vector,Field_Write 00bb 4501 |E | Exit_Suprogram New_Top_Offset 0x1 00bc 0000 0000 | | .BLANK 0000[0x4] 00c0 ; -------------------------------------------------------------------------------------- 00c0 ; SUBPROGRAM 00c0 ; -------------------------------------------------------------------------------------- 00c0 00df | | .CONST 0x00df ; Address of begin 00c1 0004 | | .CONST 0x0004 ; Address of exception handler 00c2 0004 | | .CONST 0x0004 ; Number of locals 00c3 INIT_00c0: 00c3 e005 | | Load 0x0,0x5 00c4 1b1d | | Execute Package,Field_Read,Field_Number 0x1d 00c5 02ff | | Declare_Variable Variant_Record 00c6 4803 |H | Short_Literal 0x3 00c7 e005 | | Load 0x0,0x5 00c8 1b1d | | Execute Package,Field_Read,Field_Number 0x1d 00c9 1c08 | | Execute_Immediate Run_Utility,0x8 00ca e402 | | Load 0x2,0x2 00cb e210 | | Load 0x1,0x10 00cc 181d | | Execute Package,Field_Execute,Field_Number 0x1d 00cd e005 | | Load 0x0,0x5 00ce 1b1d | | Execute Package,Field_Read,Field_Number 0x1d 00cf 2304 |# | Execute Variant_Record,Field_Type,Field_Number 0x4 00d0 0119 | | Execute Any,Check_In_Formal_Type 00d1 00d9 | | Load_Top At_Offset_1 00d2 2a04 |* | Execute Variant_Record,Field_Write,Variant,Direct,Field_Number 0x4 00d3 00d9 | | Load_Top At_Offset_1 00d4 016d | m | Execute Variant_Record,Structure_Write 00d5 00d8 | | Load_Top At_Offset_0 00d6 2e04 |. | Execute Variant_Record,Field_Read,Variant,Direct,Field_Number 0x4 00d7 e008 | | Load 0x0,0x8 00d8 180d | | Execute Package,Field_Execute,Field_Number 0xd 00d9 00ea | | Load_Encached Null_String_Cache 00da 00d9 | | Load_Top At_Offset_1 00db 00db | | Load_Top At_Offset_3 00dc 4806 |H | Short_Literal 0x6 00dd e005 | | Load 0x0,0x5 00de 183c | < | Execute Package,Field_Execute,Field_Number 0x3c 00df BODY_00c0: 00df 4807 |H | Short_Literal 0x7 00e0 e005 | | Load 0x0,0x5 00e1 1862 | b | Execute Package,Field_Execute,Field_Number 0x62 00e2 00d9 | | Load_Top At_Offset_1 00e3 4801 |H | Short_Literal 0x1 00e4 e602 | | Load 0x3,0x2 00e5 e005 | | Load 0x0,0x5 00e6 1820 | | Execute Package,Field_Execute,Field_Number 0x20 00e7 0092 00f5 | | Action Push_String_Extended,0xf5 ; " (SRS " 00e9 01cc | | Execute Vector,Catenate 00ea e603 | | Load 0x3,0x3 00eb 01cc | | Execute Vector,Catenate 00ec 0092 00f6 | | Action Push_String_Extended,0xf6 ; ")" 00ee 01cc | | Execute Vector,Catenate 00ef e005 | | Load 0x0,0x5 00f0 1882 | | Execute Package,Field_Execute,Field_Number 0x82 00f1 4501 |E | Exit_Suprogram New_Top_Offset 0x1 00f2 ; -------------------------------------------------------------------------------------- 00f2 ; STRING TABLE 00f2 ; -------------------------------------------------------------------------------------- 00f2 000c | | .STRTAB 0x000c->0x00f8 ; "Capabilities referencing special qualification test " 00f3 003e | > | .STRTAB 0x003e->0x0112 ; "Special qualification test " 00f4 0057 | W | .STRTAB 0x0057->0x011f ; " is not referenced by any capability." 00f5 007a | z | .STRTAB 0x007a->0x0132 ; " (SRS " 00f6 007e | ~ | .STRTAB 0x007e->0x0135 ; ")" 00f7 007d | } | .STREND 0x007d->0x0135 00f8 4361 7061 |Capa| .STRTAB_STRINGS 0136 0000 0000 | | .XXX[0x2] 0138 ; -------------------------------------------------------------------------------------- 0138 ; Debug Table 0138 ; -------------------------------------------------------------------------------------- 0138 0004 0012 | | .DEBUG4 0x0004,0x0012,0xfc7c,0x0000,0x0001,0x0000 013e 0000 0000 | | .BLANK 0000[0xc2]