|
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: 4096 (0x1000) Notes: 00_class, 5800_R1K_CODE, 74_tag, NULL, R1k_Segment, seg_779ce4
└─⟦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 5800 |X | .CONST 0x5800 ; Diana Version, RCG Major Version, RCG minor version 0002 0000 | | .CONST 0x0000 ; Zero 0003 0630 | 0 | .CONST 0x0630 ; 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 8004 | | .CONST 0x8004 ; 0, wired, #pages in seg - 1) 0008 ; -------------------------------------------------------------------------------------- 0008 ; SUBPROGRAM 0008 ; -------------------------------------------------------------------------------------- 0008 0062 | b | .CONST 0x0062 ; Address of begin 0009 0004 | | .CONST 0x0004 ; Address of exception handler 000a 002c | , | .CONST 0x002c ; Number of locals 000b INIT_0008: 000b 4800 |H | Short_Literal 0x0 000c 4802 |H | Short_Literal 0x2 000d 029f 006b | k| Declare_Subprogram INIT_0068,For_Call 000f 03fe | | Declare_Type Discrete,Defined,Visible 0010 029a 009b | | Declare_Subprogram INIT_0098,For_Outer_Call,Visible,Unelaborated 0012 029a 00cb | | Declare_Subprogram INIT_00c8,For_Outer_Call,Visible,Unelaborated 0014 029a 00f3 | | Declare_Subprogram INIT_00f0,For_Outer_Call,Visible,Unelaborated 0016 029a 0133 | 3| Declare_Subprogram INIT_0130,For_Outer_Call,Visible,Unelaborated 0018 e20d | | Load 0x1,0xd 0019 0129 | ) | Execute Any,Make_Visible 001a e002 | | Load 0x0,0x2 001b 0129 | ) | Execute Any,Make_Visible 001c e002 | | Load 0x0,0x2 001d 0129 | ) | Execute Any,Make_Visible 001e e003 | | Load 0x0,0x3 001f 1b23 | # | Execute Package,Field_Read,Field_Number 0x23 0020 0129 | ) | Execute Any,Make_Visible 0021 e003 | | Load 0x0,0x3 0022 1b23 | # | Execute Package,Field_Read,Field_Number 0x23 0023 0129 | ) | Execute Any,Make_Visible 0024 e004 | | Load 0x0,0x4 0025 0129 | ) | Execute Any,Make_Visible 0026 e005 | | Load 0x0,0x5 0027 0129 | ) | Execute Any,Make_Visible 0028 e006 | | Load 0x0,0x6 0029 0321 | ! | Declare_Variable Record,Visible 002a e002 | | Load 0x0,0x2 002b 0129 | ) | Execute Any,Make_Visible 002c e007 | | Load 0x0,0x7 002d 0129 | ) | Execute Any,Make_Visible 002e e003 | | Load 0x0,0x3 002f 1b16 | | Execute Package,Field_Read,Field_Number 0x16 0030 0129 | ) | Execute Any,Make_Visible 0031 e008 | | Load 0x0,0x8 0032 0129 | ) | Execute Any,Make_Visible 0033 00e3 | | Load_Encached Natural_Cache 0034 0400 | | Execute_Immediate Set_Value_Visible_Unchecked,0x0 0035 00e3 | | Load_Encached Natural_Cache 0036 0400 | | Execute_Immediate Set_Value_Visible_Unchecked,0x0 0037 00e1 | | Load_Encached Boolean_Cache 0038 0400 | | Execute_Immediate Set_Value_Visible_Unchecked,0x0 0039 00bf | | Action Accept_Activation 003a 0093 0000 | | push_full_address 0x0 003c 6053 |`S | Indirect_Literal Discrete,0x90,{0x80000000, 0x00010000} 003d 0273 | s | Execute Discrete,Plus 003e 0007 | | Action Break_Optional 003f 8009 | | Call 0x0,0x9 0040 e00a | | Load 0x0,0xa 0041 0007 | | Action Break_Optional 0042 e00b | | Load 0x0,0xb 0043 0007 | | Action Break_Optional 0044 00e3 | | Load_Encached Natural_Cache 0045 0601 | | Execute_Immediate Set_Value_Unchecked,0x1 0046 e007 | | Load 0x0,0x7 0047 800c | | Call 0x0,0xc 0048 0031 | 1 | Store_Top Heap_Access,At_Offset_1 0049 e007 | | Load 0x0,0x7 004a 800c | | Call 0x0,0xc 004b 0031 | 1 | Store_Top Heap_Access,At_Offset_1 004c 029d 019b | | Declare_Subprogram INIT_0198,For_Outer_Call 004e 4802 |H | Short_Literal 0x2 004f e001 | | Load 0x0,0x1 0050 01d7 | | Execute Vector,Field_Read 0051 02a9 | | Declare_Subprogram For_Call,Unelaborated,With_Address 0052 1d29 | ) | Execute_Immediate Reference_Lex_1,0x29 0053 00c7 | | Action Elaborate_Subprogram 0054 029d 01ab | | Declare_Subprogram INIT_01a8,For_Outer_Call 0056 029d 01c3 | | Declare_Subprogram INIT_01c0,For_Outer_Call 0058 1d0e | | Execute_Immediate Reference_Lex_1,0xe 0059 00c7 | | Action Elaborate_Subprogram 005a 1d0f | | Execute_Immediate Reference_Lex_1,0xf 005b 00c7 | | Action Elaborate_Subprogram 005c 029d 01f3 | | Declare_Subprogram INIT_01f0,For_Outer_Call 005e 1d10 | | Execute_Immediate Reference_Lex_1,0x10 005f 00c7 | | Action Elaborate_Subprogram 0060 1d11 | | Execute_Immediate Reference_Lex_1,0x11 0061 00c7 | | Action Elaborate_Subprogram 0062 BODY_0008: 0062 00bc | | Action Signal_Activated 0063 00bb | | Action Signal_Completion 0064 0000 0000 | | .BLANK 0000[0x4] 0068 ; -------------------------------------------------------------------------------------- 0068 ; SUBPROGRAM 0068 ; -------------------------------------------------------------------------------------- 0068 006b | k | .CONST 0x006b ; Address of begin 0069 0004 | | .CONST 0x0004 ; Address of exception handler 006a 0001 | | .CONST 0x0001 ; Number of locals 006b BODY_0068: 006b INIT_0068: 006b 4607 |F | Jump_Case 0x8 006c 4302 |C | Exit_Subprogram From_Utility,New_Top_Offset 0x2 ; case 0x0 006d 7807 |x | Jump 0x75 ; case 0x1 006e 780a |x | Jump 0x79 ; case 0x2 006f 780e |x | Jump 0x7e ; case 0x3 0070 7811 |x | Jump 0x82 ; case 0x4 0071 7812 |x | Jump 0x84 ; case 0x5 0072 7813 |x | Jump 0x86 ; case 0x6 0073 7816 |x | Jump 0x8a ; case 0x7 0074 4302 |C | .XXX[0x1] 0075 00da | | Load_Top At_Offset_2 0076 0091 04bc | | Action Push_String_Extended_Indexed,0x4bc ; "SEGMENT_ONLY" 0078 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1 0079 00db | | Load_Top At_Offset_3 007a 00db | | Load_Top At_Offset_3 007b 00e0 | | Load_Encached Standard_Cache 007c 181b | | Execute Package,Field_Execute,Field_Number 0x1b 007d 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2 007e 00da | | Load_Top At_Offset_2 007f 00e0 | | Load_Encached Standard_Cache 0080 181c | | Execute Package,Field_Execute,Field_Number 0x1c 0081 4201 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x1 0082 00db | | Load_Top At_Offset_3 0083 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2 0084 00db | | Load_Top At_Offset_3 0085 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2 0086 e20d | | Load 0x1,0xd 0087 00dc | | Load_Top At_Offset_4 0088 0267 | g | Execute Discrete,Predecessor 0089 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2 008a e20d | | Load 0x1,0xd 008b 00dc | | Load_Top At_Offset_4 008c 0268 | h | Execute Discrete,Successor 008d 4202 |B | Exit_Subprogram From_Utility,With_Result,New_Top_Offset 0x2 008e 0000 0000 | | .XXX[0x2] 0090 8000 0000 | | .LITERAL {0x80000000, 0x00010000} 0094 0000 0000 | | .BLANK 0000[0x4] 0098 ; -------------------------------------------------------------------------------------- 0098 ; SUBPROGRAM 0098 ; -------------------------------------------------------------------------------------- 0098 00a5 | | .CONST 0x00a5 ; Address of begin 0099 0004 | | .CONST 0x0004 ; Address of exception handler 009a 0005 | | .CONST 0x0005 ; Number of locals 009b INIT_0098: 009b 800d | | Call 0x0,0xd 009c e00e | | Load 0x0,0xe 009d 0322 | " | Declare_Variable Record 009e 800f | | Call 0x0,0xf 009f 00d9 | | Load_Top At_Offset_1 00a0 017d | } | Execute Record,Structure_Write 00a1 029f 01fb | | Declare_Subprogram INIT_01f8,For_Call 00a3 029f 020b | | Declare_Subprogram INIT_0208,For_Call 00a5 BODY_0098: 00a5 0092 04bf | | Action Push_String_Extended,0x4bf ; "CA2.Start_Test_Case" 00a7 8228 | ( | Call 0x1,0x28 00a8 e003 | | Load 0x0,0x3 00a9 1b23 | # | Execute Package,Field_Read,Field_Number 0x23 00aa 4906 |I | Short_Literal 0x106 00ab e010 | | Load 0x0,0x10 00ac 180d | | Execute Package,Field_Execute,Field_Number 0xd 00ad c215 | | Store 0x1,0x15 00ae 0092 04c0 | | Action Push_String_Extended,0x4c0 ; "CALL CA2.Test_Initialization" 00b0 8228 | ( | Call 0x1,0x28 00b1 8405 | | Call 0x2,0x5 00b2 0092 04c1 | | Action Push_String_Extended,0x4c1 ; "RETURN FROM CA2.Test_Initialization" 00b4 8228 | ( | Call 0x1,0x28 00b5 8011 | | Call 0x0,0x11 00b6 6801 |h | Jump_Zero 0xb8 00b7 8012 | | Call 0x0,0x12 00b8 00da | | Load_Top At_Offset_2 00b9 0092 04c2 | | Action Push_String_Extended,0x4c2 ; "Coverage Analyzer Test Case Init" 00bb 8013 | | Call 0x0,0x13 00bc 0092 04c3 | | Action Push_String_Extended,0x4c3 ; "Completing CA2.Start_Test_Case" 00be 8228 | ( | Call 0x1,0x28 00bf e5fc | | Load 0x2,-0x4 00c0 6801 |h | Jump_Zero 0xc2 00c1 8014 | | Call 0x0,0x14 00c2 4505 |E | Exit_Suprogram New_Top_Offset 0x5 00c3 0000 0000 | | .BLANK 0000[0x5] 00c8 ; -------------------------------------------------------------------------------------- 00c8 ; SUBPROGRAM 00c8 ; -------------------------------------------------------------------------------------- 00c8 00cf | | .CONST 0x00cf ; Address of begin 00c9 0004 | | .CONST 0x0004 ; Address of exception handler 00ca 0003 | | .CONST 0x0003 ; Number of locals 00cb INIT_00c8: 00cb e00e | | Load 0x0,0xe 00cc 0322 | " | Declare_Variable Record 00cd 029f 022b | +| Declare_Subprogram INIT_0228,For_Call 00cf BODY_00c8: 00cf 8011 | | Call 0x0,0x11 00d0 6805 |h | Jump_Zero 0xd6 00d1 0092 04c4 | | Action Push_String_Extended,0x4c4 ; "Press PROMOTE when job is done " 00d3 e015 | | Load 0x0,0x15 00d4 185f | _ | Execute Package,Field_Execute,Field_Number 0x5f 00d5 8403 | | Call 0x2,0x3 00d6 8016 | | Call 0x0,0x16 00d7 800f | | Call 0x0,0xf 00d8 00da | | Load_Top At_Offset_2 00d9 017d | } | Execute Record,Structure_Write 00da 8017 | | Call 0x0,0x17 00db e214 | | Load 0x1,0x14 00dc e213 | | Load 0x1,0x13 00dd 8018 | | Call 0x0,0x18 00de c214 | | Store 0x1,0x14 00df e225 | % | Load 0x1,0x25 00e0 e224 | $ | Load 0x1,0x24 00e1 e223 | # | Load 0x1,0x23 00e2 e21b | | Load 0x1,0x1b 00e3 e213 | | Load 0x1,0x13 00e4 8019 | | Call 0x0,0x19 00e5 c223 | # | Store 0x1,0x23 00e6 c224 | $ | Store 0x1,0x24 00e7 c225 | % | Store 0x1,0x25 00e8 00d9 | | Load_Top At_Offset_1 00e9 0092 04c5 | | Action Push_String_Extended,0x4c5 ; "End Test Case Coverage" 00eb 8013 | | Call 0x0,0x13 00ec 4501 |E | Exit_Suprogram New_Top_Offset 0x1 00ed 0000 0000 | | .XXX[0x3] 00ef 0000 | | 00f0 ; -------------------------------------------------------------------------------------- 00f0 ; SUBPROGRAM 00f0 ; -------------------------------------------------------------------------------------- 00f0 0104 | | .CONST 0x0104 ; Address of begin 00f1 0004 | | .CONST 0x0004 ; Address of exception handler 00f2 0007 | | .CONST 0x0007 ; Number of locals 00f3 INIT_00f0: 00f3 e00e | | Load 0x0,0xe 00f4 0322 | " | Declare_Variable Record 00f5 800f | | Call 0x0,0xf 00f6 00d9 | | Load_Top At_Offset_1 00f7 017d | } | Execute Record,Structure_Write 00f8 e007 | | Load 0x0,0x7 00f9 0007 | | Action Break_Optional 00fa e01a | | Load 0x0,0x1a 00fb 0007 | | Action Break_Optional 00fc 800d | | Call 0x0,0xd 00fd 0217 | | Execute Heap_Access,All_Reference 00fe 3406 |4 | Execute Record,Field_Reference,Field_Number 0x6 00ff 0007 | | Action Break_Optional 0100 029f 0233 | 3| Declare_Subprogram INIT_0230,For_Call 0102 029f 0243 | C| Declare_Subprogram INIT_0240,For_Call 0104 BODY_00f0: 0104 e003 | | Load 0x0,0x3 0105 1b23 | # | Execute Package,Field_Read,Field_Number 0x23 0106 4906 |I | Short_Literal 0x106 0107 e010 | | Load 0x0,0x10 0108 180d | | Execute Package,Field_Execute,Field_Number 0xd 0109 c216 | | Store 0x1,0x16 010a 8406 | | Call 0x2,0x6 010b a212 | | Store_Unchecked 0x1,0x12 010c e216 | | Load 0x1,0x16 010d 801b | | Call 0x0,0x1b 010e a214 | | Store_Unchecked 0x1,0x14 010f e216 | | Load 0x1,0x16 0110 801c | | Call 0x0,0x1c 0111 a218 | | Store_Unchecked 0x1,0x18 0112 e216 | | Load 0x1,0x16 0113 801d | | Call 0x0,0x1d 0114 e219 | | Load 0x1,0x19 0115 017d | } | Execute Record,Structure_Write 0116 e216 | | Load 0x1,0x16 0117 801b | | Call 0x0,0x1b 0118 a21a | | Store_Unchecked 0x1,0x1a 0119 e216 | | Load 0x1,0x16 011a 801e | | Call 0x0,0x1e 011b a223 | # | Store_Unchecked 0x1,0x23 011c e216 | | Load 0x1,0x16 011d 801f | | Call 0x0,0x1f 011e a217 | | Store_Unchecked 0x1,0x17 011f e216 | | Load 0x1,0x16 0120 e5ff | | Load 0x2,-0x1 0121 822c | , | Call 0x1,0x2c 0122 8020 | | Call 0x0,0x20 0123 a403 | | Store_Unchecked 0x2,0x3 0124 8407 | | Call 0x2,0x7 0125 e216 | | Load 0x1,0x16 0126 8021 | ! | Call 0x0,0x21 0127 a224 | $ | Store_Unchecked 0x1,0x24 0128 8022 | " | Call 0x0,0x22 0129 e402 | | Load 0x2,0x2 012a 0092 04c6 | | Action Push_String_Extended,0x4c6 ; "Start Test Run Coverage" 012c 8013 | | Call 0x0,0x13 012d 4502 |E | Exit_Suprogram New_Top_Offset 0x2 012e 0000 0000 | | .XXX[0x2] 0130 ; -------------------------------------------------------------------------------------- 0130 ; SUBPROGRAM 0130 ; -------------------------------------------------------------------------------------- 0130 014e | N | .CONST 0x014e ; Address of begin 0131 0004 | | .CONST 0x0004 ; Address of exception handler 0132 000d | | .CONST 0x000d ; Number of locals 0133 INIT_0130: 0133 e00e | | Load 0x0,0xe 0134 0322 | " | Declare_Variable Record 0135 800f | | Call 0x0,0xf 0136 00d9 | | Load_Top At_Offset_1 0137 017d | } | Execute Record,Structure_Write 0138 e023 | # | Load 0x0,0x23 0139 0007 | | Action Break_Optional 013a e024 | $ | Load 0x0,0x24 013b 0322 | " | Declare_Variable Record 013c e025 | % | Load 0x0,0x25 013d 0322 | " | Declare_Variable Record 013e e008 | | Load 0x0,0x8 013f 0007 | | Action Break_Optional 0140 029f 0253 | S| Declare_Subprogram INIT_0250,For_Call 0142 029f 0273 | s| Declare_Subprogram INIT_0270,For_Call 0144 029f 02fb | | Declare_Subprogram INIT_02f8,For_Call 0146 029f 031b | | Declare_Subprogram INIT_0318,For_Call 0148 029f 034b | K| Declare_Subprogram INIT_0348,For_Call 014a 029f 036b | k| Declare_Subprogram INIT_0368,For_Call 014c 029f 0393 | | Declare_Subprogram INIT_0390,For_Call 014e BODY_0130: 014e 840b | | Call 0x2,0xb 014f e216 | | Load 0x1,0x16 0150 8026 | & | Call 0x0,0x26 0151 a403 | | Store_Unchecked 0x2,0x3 0152 e404 | | Load 0x2,0x4 0153 e218 | | Load 0x1,0x18 0154 8027 | ' | Call 0x0,0x27 0155 00d1 | | Pop_Control Pop_Count_1 0156 00cf | | Action Mark_Auxiliary 0157 e404 | | Load 0x2,0x4 0158 8028 | ( | Call 0x0,0x28 0159 700f |p | Jump_Nonzero 0x169 015a e404 | | Load 0x2,0x4 015b 8029 | ) | Call 0x0,0x29 015c e218 | | Load 0x1,0x18 015d 802a | * | Call 0x0,0x2a 015e a406 | | Store_Unchecked 0x2,0x6 015f e406 | | Load 0x2,0x6 0160 8407 | | Call 0x2,0x7 0161 6802 |h | Jump_Zero 0x164 0162 e406 | | Load 0x2,0x6 0163 8408 | | Call 0x2,0x8 0164 e404 | | Load 0x2,0x4 0165 802b | + | Call 0x0,0x2b 0166 00d1 | | Pop_Control Pop_Count_1 0167 00c9 | | Action Pop_Auxiliary_Loop 0168 7fee | | Jump 0x157 0169 00ce | | Action Pop_Auxiliary 016a e405 | | Load 0x2,0x5 016b e219 | | Load 0x1,0x19 016c 802c | , | Call 0x0,0x2c 016d 00d1 | | Pop_Control Pop_Count_1 016e 00cf | | Action Mark_Auxiliary 016f 7809 |x | Jump 0x179 0170 e405 | | Load 0x2,0x5 0171 802d | - | Call 0x0,0x2d 0172 a406 | | Store_Unchecked 0x2,0x6 0173 e406 | | Load 0x2,0x6 0174 8408 | | Call 0x2,0x8 0175 e405 | | Load 0x2,0x5 0176 802e | . | Call 0x0,0x2e 0177 00d1 | | Pop_Control Pop_Count_1 0178 00c9 | | Action Pop_Auxiliary_Loop 0179 e405 | | Load 0x2,0x5 017a 802f | / | Call 0x0,0x2f 017b 6ff4 |o | Jump_Zero 0x170 017c 00ce | | Action Pop_Auxiliary 017d e030 | 0 | Load 0x0,0x30 017e 180e | | Execute Package,Field_Execute,Field_Number 0xe 017f 4801 |H | Short_Literal 0x1 0180 0092 04c7 | | Action Push_String_Extended,0x4c7 ; "World coverage map built" 0182 e031 | 1 | Load 0x0,0x31 0183 1813 | | Execute Package,Field_Execute,Field_Number 0x13 0184 e223 | # | Load 0x1,0x23 0185 e403 | | Load 0x2,0x3 0186 8032 | 2 | Call 0x0,0x32 0187 c223 | # | Store 0x1,0x23 0188 e223 | # | Load 0x1,0x23 0189 840a | | Call 0x2,0xa 018a c223 | # | Store 0x1,0x23 018b 840c | | Call 0x2,0xc 018c 840d | | Call 0x2,0xd 018d e215 | | Load 0x1,0x15 018e e010 | | Load 0x0,0x10 018f 180f | | Execute Package,Field_Execute,Field_Number 0xf 0190 e216 | | Load 0x1,0x16 0191 e010 | | Load 0x0,0x10 0192 180f | | Execute Package,Field_Execute,Field_Number 0xf 0193 e402 | | Load 0x2,0x2 0194 0092 04c8 | | Action Push_String_Extended,0x4c8 ; "End Test Run Coverage" 0196 8013 | | Call 0x0,0x13 0197 4501 |E | Exit_Suprogram New_Top_Offset 0x1 0198 ; -------------------------------------------------------------------------------------- 0198 ; SUBPROGRAM 0198 ; -------------------------------------------------------------------------------------- 0198 019b | | .CONST 0x019b ; Address of begin 0199 0004 | | .CONST 0x0004 ; Address of exception handler 019a 0001 | | .CONST 0x0001 ; Number of locals 019b BODY_0198: 019b INIT_0198: 019b e222 | " | Load 0x1,0x22 019c 6805 |h | Jump_Zero 0x1a2 019d 00da | | Load_Top At_Offset_2 019e e015 | | Load 0x0,0x15 019f 182b | + | Execute Package,Field_Execute,Field_Number 0x2b 01a0 e015 | | Load 0x0,0x15 01a1 1863 | c | Execute Package,Field_Execute,Field_Number 0x63 01a2 4502 |E | Exit_Suprogram New_Top_Offset 0x2 01a3 0000 0000 | | .BLANK 0000[0x5] 01a8 ; -------------------------------------------------------------------------------------- 01a8 ; SUBPROGRAM 01a8 ; -------------------------------------------------------------------------------------- 01a8 01b3 | | .CONST 0x01b3 ; Address of begin 01a9 0004 | | .CONST 0x0004 ; Address of exception handler 01aa 0003 | | .CONST 0x0003 ; Number of locals 01ab INIT_01a8: 01ab 00da | | Load_Top At_Offset_2 01ac 8033 | 3 | Call 0x0,0x33 01ad e034 | 4 | Load 0x0,0x34 01ae 1b10 | | Execute Package,Field_Read,Field_Number 0x10 01af 1825 | % | Execute Package,Field_Execute,Field_Number 0x25 01b0 00d8 | | Load_Top At_Offset_0 01b1 0d0a | | Execute_Immediate Less,0xa 01b2 0007 | | Action Break_Optional 01b3 BODY_01a8: 01b3 e222 | " | Load 0x1,0x22 01b4 6809 |h | Jump_Zero 0x1be 01b5 00d8 | | Load_Top At_Offset_0 01b6 6804 |h | Jump_Zero 0x1bb 01b7 0092 04c9 | | Action Push_String_Extended,0x4c9 ; " Delta1 Compatible" 01b9 8228 | ( | Call 0x1,0x28 01ba 7803 |x | Jump 0x1be 01bb 0092 04ca | | Action Push_String_Extended,0x4ca ; " NOT Delta1 Compatible" 01bd 8228 | ( | Call 0x1,0x28 01be 00d8 | | Load_Top At_Offset_0 01bf 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 01c0 ; -------------------------------------------------------------------------------------- 01c0 ; SUBPROGRAM 01c0 ; -------------------------------------------------------------------------------------- 01c0 01d0 | | .CONST 0x01d0 ; Address of begin 01c1 0004 | | .CONST 0x0004 ; Address of exception handler 01c2 0006 | | .CONST 0x0006 ; Number of locals 01c3 INIT_01c0: 01c3 e035 | 5 | Load 0x0,0x35 01c4 0007 | | Action Break_Optional 01c5 e036 | 6 | Load 0x0,0x36 01c6 0007 | | Action Break_Optional 01c7 e008 | | Load 0x0,0x8 01c8 0007 | | Action Break_Optional 01c9 e00e | | Load 0x0,0xe 01ca 0322 | " | Declare_Variable Record 01cb 800f | | Call 0x0,0xf 01cc 00d9 | | Load_Top At_Offset_1 01cd 017d | } | Execute Record,Structure_Write 01ce 029f 03b3 | | Declare_Subprogram INIT_03b0,For_Call 01d0 BODY_01c0: 01d0 e035 | 5 | Load 0x0,0x35 01d1 e5ff | | Load 0x2,-0x1 01d2 8037 | 7 | Call 0x0,0x37 01d3 c402 | | Store 0x2,0x2 01d4 8038 | 8 | Call 0x0,0x38 01d5 00cf | | Action Mark_Auxiliary 01d6 7810 |x | Jump 0x1e7 01d7 e402 | | Load 0x2,0x2 01d8 8039 | 9 | Call 0x0,0x39 01d9 a403 | | Store_Unchecked 0x2,0x3 01da e222 | " | Load 0x1,0x22 01db 6806 |h | Jump_Zero 0x1e2 01dc 0092 04cb | | Action Push_String_Extended,0x4cb ; "Establish " 01de e403 | | Load 0x2,0x3 01df 803a | : | Call 0x0,0x3a 01e0 01cc | | Execute Vector,Catenate 01e1 8228 | ( | Call 0x1,0x28 01e2 8406 | | Call 0x2,0x6 01e3 e402 | | Load 0x2,0x2 01e4 803b | ; | Call 0x0,0x3b 01e5 c402 | | Store 0x2,0x2 01e6 00c9 | | Action Pop_Auxiliary_Loop 01e7 e402 | | Load 0x2,0x2 01e8 803c | < | Call 0x0,0x3c 01e9 6fed |o | Jump_Zero 0x1d7 01ea 00ce | | Action Pop_Auxiliary 01eb 00d9 | | Load_Top At_Offset_1 01ec 0092 04cc | | Action Push_String_Extended,0x4cc ; "Coverage Units Establishing" 01ee 8013 | | Call 0x0,0x13 01ef 4502 |E | Exit_Suprogram New_Top_Offset 0x2 01f0 ; -------------------------------------------------------------------------------------- 01f0 ; SUBPROGRAM 01f0 ; -------------------------------------------------------------------------------------- 01f0 01f3 | | .CONST 0x01f3 ; Address of begin 01f1 0004 | | .CONST 0x0004 ; Address of exception handler 01f2 0001 | | .CONST 0x0001 ; Number of locals 01f3 BODY_01f0: 01f3 INIT_01f0: 01f3 00da | | Load_Top At_Offset_2 01f4 0092 04cd | | Action Push_String_Extended,0x4cd ; ".Coverage" 01f6 01cc | | Execute Vector,Catenate 01f7 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 01f8 ; -------------------------------------------------------------------------------------- 01f8 ; SUBPROGRAM 01f8 ; -------------------------------------------------------------------------------------- 01f8 01fd | | .CONST 0x01fd ; Address of begin 01f9 01ff | | .CONST 0x01ff ; Address of exception handler 01fa 0002 | | .CONST 0x0002 ; Number of locals 01fb INIT_01f8: 01fb 029f 03f3 | | Declare_Subprogram INIT_03f0,For_Call 01fd BODY_01f8: 01fd 8602 | | Call 0x3,0x2 01fe 0831 | 1 | Execute_Immediate Raise,0x31 01ff TRAP_01f8: 01ff 0007 | | Action Break_Optional 0200 e5fe | | Load 0x2,-0x2 0201 0335 | 5 | Declare_Variable Array,Duplicate 0202 00cd | | Action Spare6_Action 0203 00ca | | Action Exit_Nullary_Function 0204 0000 0000 | | .BLANK 0000[0x4] 0208 ; -------------------------------------------------------------------------------------- 0208 ; SUBPROGRAM 0208 ; -------------------------------------------------------------------------------------- 0208 0210 | | .CONST 0x0210 ; Address of begin 0209 0004 | | .CONST 0x0004 ; Address of exception handler 020a 0004 | | .CONST 0x0004 ; Number of locals 020b INIT_0208: 020b 8404 | | Call 0x2,0x4 020c 029f 0403 | | Declare_Subprogram INIT_0400,For_Call 020e 029f 0413 | | Declare_Subprogram INIT_0410,For_Call 0210 BODY_0208: 0210 e215 | | Load 0x1,0x15 0211 e5ff | | Load 0x2,-0x1 0212 8020 | | Call 0x0,0x20 0213 a21b | | Store_Unchecked 0x1,0x1b 0214 0092 04ce | | Action Push_String_Extended,0x4ce ; "CA2 Current_Test_Case Constructed" 0216 8228 | ( | Call 0x1,0x28 0217 4800 |H | Short_Literal 0x0 0218 a21e | | Store_Unchecked 0x1,0x1e 0219 4800 |H | Short_Literal 0x0 021a a21f | | Store_Unchecked 0x1,0x1f 021b e217 | | Load 0x1,0x17 021c 803d | = | Call 0x0,0x3d 021d 7003 |p | Jump_Nonzero 0x221 021e e217 | | Load 0x1,0x17 021f 803e | > | Call 0x0,0x3e 0220 c217 | | Store 0x1,0x17 0221 8604 | | Call 0x3,0x4 0222 4501 |E | Exit_Suprogram New_Top_Offset 0x1 0223 0000 0000 | | .BLANK 0000[0x5] 0228 ; -------------------------------------------------------------------------------------- 0228 ; SUBPROGRAM 0228 ; -------------------------------------------------------------------------------------- 0228 022d | - | .CONST 0x022d ; Address of begin 0229 0004 | | .CONST 0x0004 ; Address of exception handler 022a 0002 | | .CONST 0x0002 ; Number of locals 022b INIT_0228: 022b e015 | | Load 0x0,0x15 022c 1867 | g | Execute Package,Field_Execute,Field_Number 0x67 022d BODY_0228: 022d 4501 |E | Exit_Suprogram New_Top_Offset 0x1 022e 0000 0000 | | .XXX[0x2] 0230 ; -------------------------------------------------------------------------------------- 0230 ; SUBPROGRAM 0230 ; -------------------------------------------------------------------------------------- 0230 0233 | 3 | .CONST 0x0233 ; Address of begin 0231 0004 | | .CONST 0x0004 ; Address of exception handler 0232 0001 | | .CONST 0x0001 ; Number of locals 0233 BODY_0230: 0233 INIT_0230: 0233 e405 | | Load 0x2,0x5 0234 803f | ? | Call 0x0,0x3f 0235 3c09 |< | Execute Record,Field_Read,Field_Number 0x9 0236 7002 |p | Jump_Nonzero 0x239 0237 4800 |H | Short_Literal 0x0 0238 00ca | | Action Exit_Nullary_Function 0239 4801 |H | Short_Literal 0x1 023a 00ca | | Action Exit_Nullary_Function 023b 0000 0000 | | .BLANK 0000[0x5] 0240 ; -------------------------------------------------------------------------------------- 0240 ; SUBPROGRAM 0240 ; -------------------------------------------------------------------------------------- 0240 0243 | C | .CONST 0x0243 ; Address of begin 0241 024d | M | .CONST 0x024d ; Address of exception handler 0242 0001 | | .CONST 0x0001 ; Number of locals 0243 BODY_0240: 0243 INIT_0240: 0243 800d | | Call 0x0,0xd 0244 0217 | | Execute Heap_Access,All_Reference 0245 3c02 |< | Execute Record,Field_Read,Field_Number 0x2 0246 a404 | | Store_Unchecked 0x2,0x4 0247 e404 | | Load 0x2,0x4 0248 00ea | | Load_Encached Null_String_Cache 0249 e403 | | Load 0x2,0x3 024a 8040 | @ | Call 0x0,0x40 024b c404 | | Store 0x2,0x4 024c 4501 |E | Exit_Suprogram New_Top_Offset 0x1 024d TRAP_0240: 024d 0007 | | Action Break_Optional 024e 4501 |E | Exit_Suprogram New_Top_Offset 0x1 024f 0000 | | .XXX[0x1] 0250 ; -------------------------------------------------------------------------------------- 0250 ; SUBPROGRAM 0250 ; -------------------------------------------------------------------------------------- 0250 0253 | S | .CONST 0x0253 ; Address of begin 0251 0004 | | .CONST 0x0004 ; Address of exception handler 0252 0001 | | .CONST 0x0001 ; Number of locals 0253 BODY_0250: 0253 INIT_0250: 0253 00da | | Load_Top At_Offset_2 0254 8041 | A | Call 0x0,0x41 0255 460f |F | Jump_Case 0x10 0256 7813 |x | Jump 0x26a ; case 0x0 0257 7810 |x | Jump 0x268 ; case 0x1 0258 780f |x | Jump 0x268 ; case 0x2 0259 780c |x | Jump 0x266 ; case 0x3 025a 780b |x | Jump 0x266 ; case 0x4 025b 780a |x | Jump 0x266 ; case 0x5 025c 7809 |x | Jump 0x266 ; case 0x6 025d 7808 |x | Jump 0x266 ; case 0x7 025e 7807 |x | Jump 0x266 ; case 0x8 025f 7806 |x | Jump 0x266 ; case 0x9 0260 7805 |x | Jump 0x266 ; case 0xa 0261 7804 |x | Jump 0x266 ; case 0xb 0262 7803 |x | Jump 0x266 ; case 0xc 0263 7804 |x | Jump 0x268 ; case 0xd 0264 7801 |x | Jump 0x266 ; case 0xe 0265 7800 |x | Jump 0x266 ; case 0xf 0266 4801 |H | Short_Literal 0x1 0267 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 0268 4800 |H | Short_Literal 0x0 0269 4401 |D | Exit_Subprogram With_Value,New_Top_Offset 0x1 026a 0833 | 3 | Execute_Immediate Raise,0x33 026b 0000 0000 | | .BLANK 0000[0x5] 0270 ; -------------------------------------------------------------------------------------- 0270 ; SUBPROGRAM 0270 ; -------------------------------------------------------------------------------------- 0270 028c | | .CONST 0x028c ; Address of begin 0271 0004 | | .CONST 0x0004 ; Address of exception handler 0272 000c | | .CONST 0x000c ; Number of locals 0273 INIT_0270: 0273 00da | | Load_Top At_Offset_2 0274 8042 | B | Call 0x0,0x42 0275 e007 | | Load 0x0,0x7 0276 0007 | | Action Break_Optional 0277 00d8 | | Load_Top At_Offset_0 0278 0007 | | Action Break_Optional 0279 e043 | C | Load 0x0,0x43 027a 0007 | | Action Break_Optional 027b e007 | | Load 0x0,0x7 027c 0007 | | Action Break_Optional 027d e044 | D | Load 0x0,0x44 027e 0007 | | Action Break_Optional 027f e045 | E | Load 0x0,0x45 0280 0322 | " | Declare_Variable Record 0281 00d8 | | Load_Top At_Offset_0 0282 1c00 | | Execute_Immediate Run_Utility,0x0 0283 00e1 | | Load_Encached Boolean_Cache 0284 e046 | F | Load 0x0,0x46 0285 0007 | | Action Break_Optional 0286 e047 | G | Load 0x0,0x47 0287 0322 | " | Declare_Variable Record 0288 00d8 | | Load_Top At_Offset_0 0289 1c00 | | Execute_Immediate Run_Utility,0x0 028a e048 | H | Load 0x0,0x48 028b 0007 | | Action Break_Optional 028c BODY_0270: 028c e216 | | Load 0x1,0x16 028d e602 | | Load 0x3,0x2 028e 8049 | I | Call 0x0,0x49 028f 8020 | | Call 0x0,0x20 0290 a603 | | Store_Unchecked 0x3,0x3 0291 00e1 | | Load_Encached Boolean_Cache 0292 e605 | | Load 0x3,0x5 0293 e603 | | Load 0x3,0x3 0294 e403 | | Load 0x2,0x3 0295 804a | J | Call 0x0,0x4a 0296 c605 | | Store 0x3,0x5 0297 c609 | | Store 0x3,0x9 0298 00db | | Load_Top At_Offset_3 0299 7003 |p | Jump_Nonzero 0x29d 029a e216 | | Load 0x1,0x16 029b 804b | K | Call 0x0,0x4b 029c a605 | | Store_Unchecked 0x3,0x5 029d e216 | | Load 0x1,0x16 029e e602 | | Load 0x3,0x2 029f 804c | L | Call 0x0,0x4c 02a0 8020 | | Call 0x0,0x20 02a1 a604 | | Store_Unchecked 0x3,0x4 02a2 00e1 | | Load_Encached Boolean_Cache 02a3 e607 | | Load 0x3,0x7 02a4 e604 | | Load 0x3,0x4 02a5 e605 | | Load 0x3,0x5 02a6 804d | M | Call 0x0,0x4d 02a7 c607 | | Store 0x3,0x7 02a8 c609 | | Store 0x3,0x9 02a9 00db | | Load_Top At_Offset_3 02aa 7003 |p | Jump_Nonzero 0x2ae 02ab e216 | | Load 0x1,0x16 02ac 804e | N | Call 0x0,0x4e 02ad a607 | | Store_Unchecked 0x3,0x7 02ae e216 | | Load 0x1,0x16 02af e602 | | Load 0x3,0x2 02b0 804f | O | Call 0x0,0x4f 02b1 8020 | | Call 0x0,0x20 02b2 a606 | | Store_Unchecked 0x3,0x6 02b3 00e1 | | Load_Encached Boolean_Cache 02b4 e608 | | Load 0x3,0x8 02b5 e606 | | Load 0x3,0x6 02b6 e607 | | Load 0x3,0x7 02b7 8050 | P | Call 0x0,0x50 02b8 00d1 | | Pop_Control Pop_Count_1 02b9 c609 | | Store 0x3,0x9 02ba 00db | | Load_Top At_Offset_3 02bb 7004 |p | Jump_Nonzero 0x2c0 02bc e216 | | Load 0x1,0x16 02bd 8051 | Q | Call 0x0,0x51 02be e608 | | Load 0x3,0x8 02bf 017d | } | Execute Record,Structure_Write 02c0 e046 | F | Load 0x0,0x46 02c1 e216 | | Load 0x1,0x16 02c2 e7ff | | Load 0x3,-0x1 02c3 8052 | R | Call 0x0,0x52 02c4 0033 | 3 | Store_Top Heap_Access,At_Offset_3 02c5 00cf | | Action Mark_Auxiliary 02c6 00db | | Load_Top At_Offset_3 02c7 8053 | S | Call 0x0,0x53 02c8 7018 |p | Jump_Nonzero 0x2e1 02c9 00db | | Load_Top At_Offset_3 02ca 8054 | T | Call 0x0,0x54 02cb 0032 | 2 | Store_Top Heap_Access,At_Offset_2 02cc 00d9 | | Load_Top At_Offset_1 02cd 8055 | U | Call 0x0,0x55 02ce 680d |h | Jump_Zero 0x2dc 02cf e225 | % | Load 0x1,0x25 02d0 e224 | $ | Load 0x1,0x24 02d1 e60b | | Load 0x3,0xb 02d2 e216 | | Load 0x1,0x16 02d3 e60c | | Load 0x3,0xc 02d4 8056 | V | Call 0x0,0x56 02d5 00d1 | | Pop_Control Pop_Count_1 02d6 c224 | $ | Store 0x1,0x24 02d7 c225 | % | Store 0x1,0x25 02d8 e608 | | Load 0x3,0x8 02d9 00db | | Load_Top At_Offset_3 02da 8057 | W | Call 0x0,0x57 02db 00d1 | | Pop_Control Pop_Count_1 02dc 00db | | Load_Top At_Offset_3 02dd 8058 | X | Call 0x0,0x58 02de c60a | | Store 0x3,0xa 02df 00c9 | | Action Pop_Auxiliary_Loop 02e0 7fe5 | | Jump 0x2c6 02e1 00ce | | Action Pop_Auxiliary 02e2 e607 | | Load 0x3,0x7 02e3 e608 | | Load 0x3,0x8 02e4 e606 | | Load 0x3,0x6 02e5 8059 | Y | Call 0x0,0x59 02e6 c607 | | Store 0x3,0x7 02e7 e605 | | Load 0x3,0x5 02e8 e607 | | Load 0x3,0x7 02e9 e604 | | Load 0x3,0x4 02ea 805a | Z | Call 0x0,0x5a 02eb c605 | | Store 0x3,0x5 02ec e403 | | Load 0x2,0x3 02ed e605 | | Load 0x3,0x5 02ee e603 | | Load 0x3,0x3 02ef 805b | [ | Call 0x0,0x5b 02f0 c403 | | Store 0x2,0x3 02f1 4502 |E | Exit_Suprogram New_Top_Offset 0x2 02f2 0000 0000 | | .BLANK 0000[0x6] 02f8 ; -------------------------------------------------------------------------------------- 02f8 ; SUBPROGRAM 02f8 ; -------------------------------------------------------------------------------------- 02f8 0304 | | .CONST 0x0304 ; Address of begin 02f9 0004 | | .CONST 0x0004 ; Address of exception handler 02fa 0006 | | .CONST 0x0006 ; Number of locals 02fb INIT_02f8: 02fb e035 | 5 | Load 0x0,0x35 02fc 0007 | | Action Break_Optional 02fd e036 | 6 | Load 0x0,0x36 02fe 0007 | | Action Break_Optional 02ff 00ec | | Load_Encached Diana_Tree_Cache 0300 e008 | | Load 0x0,0x8 0301 0007 | | Action Break_Optional 0302 029f 0443 | C| Declare_Subprogram INIT_0440,For_Call 0304 BODY_02f8: 0304 e035 | 5 | Load 0x0,0x35 0305 e214 | | Load 0x1,0x14 0306 8037 | 7 | Call 0x0,0x37 0307 c602 | | Store 0x3,0x2 0308 00cf | | Action Mark_Auxiliary 0309 e602 | | Load 0x3,0x2 030a 803c | < | Call 0x0,0x3c 030b 7006 |p | Jump_Nonzero 0x312 030c 8606 | | Call 0x3,0x6 030d e602 | | Load 0x3,0x2 030e 803b | ; | Call 0x0,0x3b 030f c602 | | Store 0x3,0x2 0310 00c9 | | Action Pop_Auxiliary_Loop 0311 7ff7 | | Jump 0x309 0312 4501 |E | Exit_Suprogram New_Top_Offset 0x1 0313 0000 0000 | | .BLANK 0000[0x5] 0318 ; -------------------------------------------------------------------------------------- 0318 ; SUBPROGRAM 0318 ; -------------------------------------------------------------------------------------- 0318 0324 | $ | .CONST 0x0324 ; Address of begin 0319 0004 | | .CONST 0x0004 ; Address of exception handler 031a 0006 | | .CONST 0x0006 ; Number of locals 031b INIT_0318: 031b e216 | | Load 0x1,0x16 031c 805c | \ | Call 0x0,0x5c 031d e05d | ] | Load 0x0,0x5d 031e 0007 | | Action Break_Optional 031f e007 | | Load 0x0,0x7 0320 0007 | | Action Break_Optional 0321 00e3 | | Load_Encached Natural_Cache 0322 0601 | | Execute_Immediate Set_Value_Unchecked,0x1 0323 00e1 | | Load_Encached Boolean_Cache 0324 BODY_0318: 0324 e05d | ] | Load 0x0,0x5d 0325 e224 | $ | Load 0x1,0x24 0326 805e | ^ | Call 0x0,0x5e 0327 c603 | | Store 0x3,0x3 0328 00cf | | Action Mark_Auxiliary 0329 7813 |x | Jump 0x33d 032a e603 | | Load 0x3,0x3 032b 805f | _ | Call 0x0,0x5f 032c a604 | | Store_Unchecked 0x3,0x4 032d 00e1 | | Load_Encached Boolean_Cache 032e 00db | | Load_Top At_Offset_3 032f e604 | | Load 0x3,0x4 0330 e224 | $ | Load 0x1,0x24 0331 8060 | ` | Call 0x0,0x60 0332 c605 | | Store 0x3,0x5 0333 005a | Z | Store_Top Discrete,At_Offset_2 0334 e602 | | Load 0x3,0x2 0335 e604 | | Load 0x3,0x4 0336 e605 | | Load 0x3,0x5 0337 8061 | a | Call 0x0,0x61 0338 c602 | | Store 0x3,0x2 0339 e603 | | Load 0x3,0x3 033a 8062 | b | Call 0x0,0x62 033b c603 | | Store 0x3,0x3 033c 00c9 | | Action Pop_Auxiliary_Loop 033d e603 | | Load 0x3,0x3 033e 8063 | c | Call 0x0,0x63 033f 6fea |o | Jump_Zero 0x32a 0340 00ce | | Action Pop_Auxiliary 0341 e602 | | Load 0x3,0x2 0342 e7ff | | Load 0x3,-0x1 0343 8064 | d | Call 0x0,0x64 0344 4501 |E | Exit_Suprogram New_Top_Offset 0x1 0345 0000 0000 | | .XXX[0x3] 0347 0000 | | 0348 ; -------------------------------------------------------------------------------------- 0348 ; SUBPROGRAM 0348 ; -------------------------------------------------------------------------------------- 0348 0359 | Y | .CONST 0x0359 ; Address of begin 0349 0004 | | .CONST 0x0004 ; Address of exception handler 034a 0003 | | .CONST 0x0003 ; Number of locals 034b INIT_0348: 034b e007 | | Load 0x0,0x7 034c e216 | | Load 0x1,0x16 034d 800d | | Call 0x0,0xd 034e 0217 | | Execute Heap_Access,All_Reference 034f 3c02 |< | Execute Record,Field_Read,Field_Number 0x2 0350 8065 | e | Call 0x0,0x65 0351 822c | , | Call 0x1,0x2c 0352 8020 | | Call 0x0,0x20 0353 0031 | 1 | Store_Top Heap_Access,At_Offset_1 0354 e066 | f | Load 0x0,0x66 0355 1b0f | | Execute Package,Field_Read,Field_Number 0xf 0356 02c7 | | Declare_Variable Any 0357 00d8 | | Load_Top At_Offset_0 0358 1c00 | | Execute_Immediate Run_Utility,0x0 0359 BODY_0348: 0359 e223 | # | Load 0x1,0x23 035a 00da | | Load_Top At_Offset_2 035b 8067 | g | Call 0x0,0x67 035c c223 | # | Store 0x1,0x23 035d 00d8 | | Load_Top At_Offset_0 035e e223 | # | Load 0x1,0x23 035f 8068 | h | Call 0x0,0x68 0360 c603 | | Store 0x3,0x3 0361 4802 |H | Short_Literal 0x2 0362 00da | | Load_Top At_Offset_2 0363 00da | | Load_Top At_Offset_2 0364 8069 | i | Call 0x0,0x69 0365 4501 |E | Exit_Suprogram New_Top_Offset 0x1 0366 0000 0000 | | .XXX[0x2] 0368 ; -------------------------------------------------------------------------------------- 0368 ; SUBPROGRAM 0368 ; -------------------------------------------------------------------------------------- 0368 0384 | | .CONST 0x0384 ; Address of begin 0369 0004 | | .CONST 0x0004 ; Address of exception handler 036a 0003 | | .CONST 0x0003 ; Number of locals 036b INIT_0368: 036b e20d | | Load 0x1,0xd 036c 0266 | f | Execute Discrete,Bounds 036d e06a | j | Load 0x0,0x6a 036e 02a0 | | Declare_Subprogram Null_Subprogram 036f 4801 |H | Short_Literal 0x1 0370 035d | ] | Declare_Type Array,Defined 0371 00d8 | | Load_Top At_Offset_0 0372 0337 | 7 | Declare_Variable Array 0373 00d8 | | Load_Top At_Offset_0 0374 0335 | 5 | Declare_Variable Array,Duplicate 0375 00cd | | Action Spare6_Action 0376 4800 |H | Short_Literal 0x0 0377 4800 |H | Short_Literal 0x0 0378 00da | | Load_Top At_Offset_2 0379 01d6 | | Execute Vector,Field_Write 037a 4801 |H | Short_Literal 0x1 037b 4801 |H | Short_Literal 0x1 037c 00da | | Load_Top At_Offset_2 037d 01d6 | | Execute Vector,Field_Write 037e 4800 |H | Short_Literal 0x0 037f 4802 |H | Short_Literal 0x2 0380 00da | | Load_Top At_Offset_2 0381 01d6 | | Execute Vector,Field_Write 0382 00d9 | | Load_Top At_Offset_1 0383 01d4 | | Execute Vector,Structure_Write 0384 BODY_0368: 0384 e223 | # | Load 0x1,0x23 0385 e212 | | Load 0x1,0x12 0386 00da | | Load_Top At_Offset_2 0387 01d7 | | Execute Vector,Field_Read 0388 806b | k | Call 0x0,0x6b 0389 c223 | # | Store 0x1,0x23 038a 4501 |E | Exit_Suprogram New_Top_Offset 0x1 038b 0000 0000 | | .BLANK 0000[0x5] 0390 ; -------------------------------------------------------------------------------------- 0390 ; SUBPROGRAM 0390 ; -------------------------------------------------------------------------------------- 0390 039e | | .CONST 0x039e ; Address of begin 0391 0004 | | .CONST 0x0004 ; Address of exception handler 0392 0003 | | .CONST 0x0003 ; Number of locals 0393 INIT_0390: 0393 e066 | f | Load 0x0,0x66 0394 1b0f | | Execute Package,Field_Read,Field_Number 0xf 0395 02c7 | | Declare_Variable Any 0396 00d8 | | Load_Top At_Offset_0 0397 1c00 | | Execute_Immediate Run_Utility,0x0 0398 e007 | | Load 0x0,0x7 0399 e216 | | Load 0x1,0x16 039a e223 | # | Load 0x1,0x23 039b 806c | l | Call 0x0,0x6c 039c 8020 | | Call 0x0,0x20 039d 0031 | 1 | Store_Top Heap_Access,At_Offset_1 039e BODY_0390: 039e e223 | # | Load 0x1,0x23 039f 4800 |H | Short_Literal 0x0 03a0 806d | m | Call 0x0,0x6d 03a1 c223 | # | Store 0x1,0x23 03a2 00d9 | | Load_Top At_Offset_1 03a3 e223 | # | Load 0x1,0x23 03a4 8068 | h | Call 0x0,0x68 03a5 c602 | | Store 0x3,0x2 03a6 4802 |H | Short_Literal 0x2 03a7 00d9 | | Load_Top At_Offset_1 03a8 00db | | Load_Top At_Offset_3 03a9 8069 | i | Call 0x0,0x69 03aa 4501 |E | Exit_Suprogram New_Top_Offset 0x1 03ab 0000 0000 | | .BLANK 0000[0x5] 03b0 ; -------------------------------------------------------------------------------------- 03b0 ; SUBPROGRAM 03b0 ; -------------------------------------------------------------------------------------- 03b0 03b9 | | .CONST 0x03b9 ; Address of begin 03b1 03d7 | | .CONST 0x03d7 ; Address of exception handler 03b2 0003 | | .CONST 0x0003 ; Number of locals 03b3 INIT_03b0: 03b3 e06e | n | Load 0x0,0x6e 03b4 0322 | " | Declare_Variable Record 03b5 00d8 | | Load_Top At_Offset_0 03b6 1c00 | | Execute_Immediate Run_Utility,0x0 03b7 029f 047b | {| Declare_Subprogram INIT_0478,For_Call 03b9 BODY_03b0: 03b9 4800 |H | Short_Literal 0x0 03ba e403 | | Load 0x2,0x3 03bb 8033 | 3 | Call 0x0,0x33 03bc 806f | o | Call 0x0,0x6f 03bd 00da | | Load_Top At_Offset_2 03be 017d | } | Execute Record,Structure_Write 03bf 00d9 | | Load_Top At_Offset_1 03c0 8070 | p | Call 0x0,0x70 03c1 a21c | | Store_Unchecked 0x1,0x1c 03c2 e21c | | Load 0x1,0x1c 03c3 8071 | q | Call 0x0,0x71 03c4 e403 | | Load 0x2,0x3 03c5 e21a | | Load 0x1,0x1a 03c6 8072 | r | Call 0x0,0x72 03c7 6806 |h | Jump_Zero 0x3ce 03c8 0092 04cf | | Action Push_String_Extended,0x4cf ; " reuse existing bkpt list for this unit" 03ca 8228 | ( | Call 0x1,0x28 03cb e403 | | Load 0x2,0x3 03cc 8073 | s | Call 0x0,0x73 03cd 4501 |E | Exit_Suprogram New_Top_Offset 0x1 03ce e403 | | Load 0x2,0x3 03cf 8074 | t | Call 0x0,0x74 03d0 e21a | | Load 0x1,0x1a 03d1 e403 | | Load 0x2,0x3 03d2 8075 | u | Call 0x0,0x75 03d3 c21a | | Store 0x1,0x1a 03d4 8603 | | Call 0x3,0x3 03d5 8076 | v | Call 0x0,0x76 03d6 4501 |E | Exit_Suprogram New_Top_Offset 0x1 03d7 TRAP_03b0: 03d7 e077 | w | Load 0x0,0x77 03d8 010f | | Execute Exception,Equal 03d9 680b |h | Jump_Zero 0x3e5 03da e030 | 0 | Load 0x0,0x30 03db 180e | | Execute Package,Field_Execute,Field_Number 0xe 03dc 4806 |H | Short_Literal 0x6 03dd 0092 04d0 | | Action Push_String_Extended,0x4d0 ; "No Debug Table Information for " 03df e403 | | Load 0x2,0x3 03e0 803a | : | Call 0x0,0x3a 03e1 01cc | | Execute Vector,Catenate 03e2 e031 | 1 | Load 0x0,0x31 03e3 1813 | | Execute Package,Field_Execute,Field_Number 0x13 03e4 4501 |E | Exit_Suprogram New_Top_Offset 0x1 03e5 e030 | 0 | Load 0x0,0x30 03e6 180e | | Execute Package,Field_Execute,Field_Number 0xe 03e7 4806 |H | Short_Literal 0x6 03e8 0092 04d1 | | Action Push_String_Extended,0x4d1 ; "Unknown error generating coverage information for " 03ea e403 | | Load 0x2,0x3 03eb 803a | : | Call 0x0,0x3a 03ec 01cc | | Execute Vector,Catenate 03ed e031 | 1 | Load 0x0,0x31 03ee 1813 | | Execute Package,Field_Execute,Field_Number 0x13 03ef 4501 |E | Exit_Suprogram New_Top_Offset 0x1 03f0 ; -------------------------------------------------------------------------------------- 03f0 ; SUBPROGRAM 03f0 ; -------------------------------------------------------------------------------------- 03f0 03f9 | | .CONST 0x03f9 ; Address of begin 03f1 0004 | | .CONST 0x0004 ; Address of exception handler 03f2 0002 | | .CONST 0x0002 ; Number of locals 03f3 INIT_03f0: 03f3 800d | | Call 0x0,0xd 03f4 0217 | | Execute Heap_Access,All_Reference 03f5 3c01 |< | Execute Record,Field_Read,Field_Number 0x1 03f6 4804 |H | Short_Literal 0x4 03f7 e5fe | | Load 0x2,-0x2 03f8 8078 | x | Call 0x0,0x78 03f9 BODY_03f0: 03f9 00d8 | | Load_Top At_Offset_0 03fa 00cb | | Action Pop_Block_With_Result 03fb 00ca | | Action Exit_Nullary_Function 03fc 0000 0000 | | .BLANK 0000[0x4] 0400 ; -------------------------------------------------------------------------------------- 0400 ; SUBPROGRAM 0400 ; -------------------------------------------------------------------------------------- 0400 0403 | | .CONST 0x0403 ; Address of begin 0401 0004 | | .CONST 0x0004 ; Address of exception handler 0402 0001 | | .CONST 0x0001 ; Number of locals 0403 BODY_0400: 0403 INIT_0400: 0403 e5fd | | Load 0x2,-0x3 0404 01db | | Execute Vector,Length 0405 7002 |p | Jump_Nonzero 0x408 0406 e602 | | Load 0x3,0x2 0407 00ca | | Action Exit_Nullary_Function 0408 e5fd | | Load 0x2,-0x3 0409 0335 | 5 | Declare_Variable Array,Duplicate 040a 00cd | | Action Spare6_Action 040b 00ca | | Action Exit_Nullary_Function 040c 0000 0000 | | .BLANK 0000[0x4] 0410 ; -------------------------------------------------------------------------------------- 0410 ; SUBPROGRAM 0410 ; -------------------------------------------------------------------------------------- 0410 0420 | | .CONST 0x0420 ; Address of begin 0411 0004 | | .CONST 0x0004 ; Address of exception handler 0412 0003 | | .CONST 0x0003 ; Number of locals 0413 INIT_0410: 0413 8603 | | Call 0x3,0x3 0414 e226 | & | Load 0x1,0x26 0415 8079 | y | Call 0x0,0x79 0416 00d9 | | Load_Top At_Offset_1 0417 01df | | Execute Vector,Equal 0418 6805 |h | Jump_Zero 0x41e 0419 e227 | ' | Load 0x1,0x27 041a 8079 | y | Call 0x0,0x79 041b e602 | | Load 0x3,0x2 041c 01df | | Execute Vector,Equal 041d 7802 |x | Jump BODY_0410 041e 4800 |H | Short_Literal 0x0 041f 0007 | | Action Break_Optional 0420 BODY_0410: 0420 00d8 | | Load_Top At_Offset_0 0421 807a | z | Call 0x0,0x7a 0422 00d8 | | Load_Top At_Offset_0 0423 6808 |h | Jump_Zero 0x42c 0424 e222 | " | Load 0x1,0x22 0425 6805 |h | Jump_Zero 0x42b 0426 0092 04d2 | | Action Push_String_Extended,0x4d2 ; "CA2 Same_Valid_Units " 0428 00da | | Load_Top At_Offset_2 0429 01cc | | Execute Vector,Catenate 042a 8228 | ( | Call 0x1,0x28 042b 4501 |E | Exit_Suprogram New_Top_Offset 0x1 042c e216 | | Load 0x1,0x16 042d 00da | | Load_Top At_Offset_2 042e 8020 | | Call 0x0,0x20 042f a226 | & | Store_Unchecked 0x1,0x26 0430 e216 | | Load 0x1,0x16 0431 e602 | | Load 0x3,0x2 0432 8020 | | Call 0x0,0x20 0433 a227 | ' | Store_Unchecked 0x1,0x27 0434 00d9 | | Load_Top At_Offset_1 0435 e602 | | Load 0x3,0x2 0436 8229 | ) | Call 0x1,0x29 0437 a213 | | Store_Unchecked 0x1,0x13 0438 e213 | | Load 0x1,0x13 0439 822b | + | Call 0x1,0x2b 043a 0092 04d3 | | Action Push_String_Extended,0x4d3 ; "CA2 Valid Units Set Established" 043c 8228 | ( | Call 0x1,0x28 043d 4501 |E | Exit_Suprogram New_Top_Offset 0x1 043e 0000 0000 | | .XXX[0x2] 0440 ; -------------------------------------------------------------------------------------- 0440 ; SUBPROGRAM 0440 ; -------------------------------------------------------------------------------------- 0440 0443 | C | .CONST 0x0443 ; Address of begin 0441 0468 | h | .CONST 0x0468 ; Address of exception handler 0442 0001 | | .CONST 0x0001 ; Number of locals 0443 BODY_0440: 0443 INIT_0440: 0443 e602 | | Load 0x3,0x2 0444 8039 | 9 | Call 0x0,0x39 0445 807b | { | Call 0x0,0x7b 0446 807c | | | Call 0x0,0x7c 0447 a603 | | Store_Unchecked 0x3,0x3 0448 e603 | | Load 0x3,0x3 0449 807d | } | Call 0x0,0x7d 044a a604 | | Store_Unchecked 0x3,0x4 044b e603 | | Load 0x3,0x3 044c e21a | | Load 0x1,0x1a 044d 8072 | r | Call 0x0,0x72 044e 7018 |p | Jump_Nonzero 0x467 044f e21a | | Load 0x1,0x1a 0450 e603 | | Load 0x3,0x3 0451 8075 | u | Call 0x0,0x75 0452 c21a | | Store 0x1,0x1a 0453 e604 | | Load 0x3,0x4 0454 807e | ~ | Call 0x0,0x7e 0455 0f09 | | Execute_Immediate Equal,0x9 0456 6807 |h | Jump_Zero 0x45e 0457 e008 | | Load 0x0,0x8 0458 00d8 | | Load_Top At_Offset_0 0459 4809 |H | Short_Literal 0x9 045a e604 | | Load 0x3,0x4 045b 807f | | Call 0x0,0x7f 045c c605 | | Store 0x3,0x5 045d 4501 |E | Exit_Suprogram New_Top_Offset 0x1 045e e080 | | Load 0x0,0x80 045f 4801 |H | Short_Literal 0x1 0460 4800 |H | Short_Literal 0x0 0461 e216 | | Load 0x1,0x16 0462 e008 | | Load 0x0,0x8 0463 e081 | | Load 0x0,0x81 0464 e604 | | Load 0x3,0x4 0465 8082 | | Call 0x0,0x82 0466 a605 | | Store_Unchecked 0x3,0x5 0467 4501 |E | Exit_Suprogram New_Top_Offset 0x1 0468 TRAP_0440: 0468 0007 | | Action Break_Optional 0469 e030 | 0 | Load 0x0,0x30 046a 180e | | Execute Package,Field_Execute,Field_Number 0xe 046b 4801 |H | Short_Literal 0x1 046c 0092 04d4 | | Action Push_String_Extended,0x4d4 ; "Unexpected axception raised while processing unhit compilation units. Element => " 046e e602 | | Load 0x3,0x2 046f 8039 | 9 | Call 0x0,0x39 0470 8083 | | Call 0x0,0x83 0471 01cc | | Execute Vector,Catenate 0472 e031 | 1 | Load 0x0,0x31 0473 1813 | | Execute Package,Field_Execute,Field_Number 0x13 0474 4501 |E | Exit_Suprogram New_Top_Offset 0x1 0475 0000 0000 | | .XXX[0x3] 0477 0000 | | 0478 ; -------------------------------------------------------------------------------------- 0478 ; SUBPROGRAM 0478 ; -------------------------------------------------------------------------------------- 0478 0481 | | .CONST 0x0481 ; Address of begin 0479 0004 | | .CONST 0x0004 ; Address of exception handler 047a 0003 | | .CONST 0x0003 ; Number of locals 047b INIT_0478: 047b e403 | | Load 0x2,0x3 047c 807d | } | Call 0x0,0x7d 047d 00d8 | | Load_Top At_Offset_0 047e 807e | ~ | Call 0x0,0x7e 047f e084 | | Load 0x0,0x84 0480 03f1 | | Declare_Variable Discrete,With_Value 0481 BODY_0478: 0481 00d8 | | Load_Top At_Offset_0 0482 4626 |F& | Jump_Case 0x27 0483 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x0 0484 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x1 0485 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x2 0486 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x3 0487 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x4 0488 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x5 0489 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x6 048a 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x7 048b 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x8 048c 781e |x | Jump 0x4ab ; case 0x9 048d 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0xa 048e 7823 |x# | Jump 0x4b2 ; case 0xb 048f 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0xc 0490 7821 |x! | Jump 0x4b2 ; case 0xd 0491 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0xe 0492 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0xf 0493 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x10 0494 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x11 0495 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x12 0496 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x13 0497 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x14 0498 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x15 0499 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x16 049a 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x17 049b 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x18 049c 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x19 049d 7814 |x | Jump 0x4b2 ; case 0x1a 049e 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x1b 049f 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x1c 04a0 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x1d 04a1 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x1e 04a2 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x1f 04a3 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x20 04a4 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x21 04a5 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x22 04a6 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x23 04a7 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x24 04a8 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x25 04a9 4501 |E | Exit_Suprogram New_Top_Offset 0x1 ; case 0x26 04aa 4501 |E | .XXX[0x1] 04ab e008 | | Load 0x0,0x8 04ac 00d8 | | Load_Top At_Offset_0 04ad 4809 |H | Short_Literal 0x9 04ae e802 | | Load 0x4,0x2 04af 807f | | Call 0x0,0x7f 04b0 c404 | | Store 0x2,0x4 04b1 4501 |E | Exit_Suprogram New_Top_Offset 0x1 04b2 e080 | | Load 0x0,0x80 04b3 4800 |H | Short_Literal 0x0 04b4 4800 |H | Short_Literal 0x0 04b5 e216 | | Load 0x1,0x16 04b6 e008 | | Load 0x0,0x8 04b7 e081 | | Load 0x0,0x81 04b8 e802 | | Load 0x4,0x2 04b9 8082 | | Call 0x0,0x82 04ba a404 | | Store_Unchecked 0x2,0x4 04bb 4501 |E | Exit_Suprogram New_Top_Offset 0x1 04bc ; -------------------------------------------------------------------------------------- 04bc ; STRING TABLE 04bc ; -------------------------------------------------------------------------------------- 04bc 0034 | 4 | .STRTAB 0x0034->0x04d6 ; "SEGMENT_ONLY" 04bd 003e | > | .STRTAB 0x003e->0x04dc ; "DECISION_ONLY" 04be 0049 | I | .STRTAB 0x0049->0x04e2 ; "SEGMENT_AND_DECISION" 04bf 005b | [ | .STRTAB 0x005b->0x04ec ; "CA2.Start_Test_Case" 04c0 006c | l | .STRTAB 0x006c->0x04f6 ; "CALL CA2.Test_Initialization" 04c1 0086 | | .STRTAB 0x0086->0x0504 ; "RETURN FROM CA2.Test_Initialization" 04c2 00a7 | | .STRTAB 0x00a7->0x0515 ; "Coverage Analyzer Test Case Init" 04c3 00c5 | | .STRTAB 0x00c5->0x0525 ; "Completing CA2.Start_Test_Case" 04c4 00e1 | | .STRTAB 0x00e1->0x0534 ; "Press PROMOTE when job is done " 04c5 00fe | | .STRTAB 0x00fe->0x0544 ; "End Test Case Coverage" 04c6 0112 | | .STRTAB 0x0112->0x054f ; "Start Test Run Coverage" 04c7 0127 | ' | .STRTAB 0x0127->0x055a ; "World coverage map built" 04c8 013d | = | .STRTAB 0x013d->0x0566 ; "End Test Run Coverage" 04c9 0150 | P | .STRTAB 0x0150->0x0571 ; " Delta1 Compatible" 04ca 0161 | a | .STRTAB 0x0161->0x057a ; " NOT Delta1 Compatible" 04cb 0176 | v | .STRTAB 0x0176->0x0586 ; "Establish " 04cc 017e | ~ | .STRTAB 0x017e->0x058b ; "Coverage Units Establishing" 04cd 0197 | | .STRTAB 0x0197->0x0598 ; ".Coverage" 04ce 019e | | .STRTAB 0x019e->0x059d ; "CA2 Current_Test_Case Constructed" 04cf 01bd | | .STRTAB 0x01bd->0x05ad ; " reuse existing bkpt list for this unit" 04d0 01e3 | | .STRTAB 0x01e3->0x05c1 ; "No Debug Table Information for " 04d1 0200 | | .STRTAB 0x0200->0x05d1 ; "Unknown error generating coverage information for " 04d2 0230 | 0 | .STRTAB 0x0230->0x05ea ; "CA2 Same_Valid_Units " 04d3 0243 | C | .STRTAB 0x0243->0x05f4 ; "CA2 Valid Units Set Established" 04d4 0260 | ` | .STRTAB 0x0260->0x0604 ; "Unexpected axception raised while processing unhit compilation units. Element => " 04d5 02b0 | | .STREND 0x02b0->0x062d 04d6 5345 474d |SEGM| .STRTAB_STRINGS 062d 0000 0000 | | .XXX[0x3] 062f 0000 | | 0630 ; -------------------------------------------------------------------------------------- 0630 ; Debug Table 0630 ; -------------------------------------------------------------------------------------- 0630 0004 000a | | .DEBUG4 0x0004,0x000a,0xa6bf,0x0000,0x0001,0x0000 0636 0000 0000 | | .BLANK 0000[0x1ca]