|
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]