.text:0000000000000000 ; Format : ELF64 for x86-64 (Relocatable) .text:0000000000000000 ; .text:0000000000000000 ; Source File : 'adatests.adb' .text:0000000000000000 .text:0000000000000000 .686p .text:0000000000000000 .mmx .text:0000000000000000 .model flat .text:0000000000000000 .intel_syntax noprefix .text:0000000000000000 .text:0000000000000000 ; =========================================================================== .text:0000000000000000 .text:0000000000000000 ; Segment type: Pure code .text:0000000000000000 ; Segment permissions: Read/Execute .text:0000000000000000 _text segment word public 'CODE' use64 .text:0000000000000000 assume cs:_text .text:0000000000000000 assume es:nothing, ss:nothing, ds:_text, fs:nothing, gs:nothing .text:0000000000000000 .text:0000000000000000 ; =============== S U B R O U T I N E ======================================= .text:0000000000000000 .text:0000000000000000 ; Attributes: bp-based frame .text:0000000000000000 .text:0000000000000000 public _ada_adatests .text:0000000000000000 _ada_adatests proc near .text:0000000000000000 .text:0000000000000000 var_320 = xmmword ptr -320h .text:0000000000000000 var_310 = byte ptr -310h .text:0000000000000000 var_308 = qword ptr -308h .text:0000000000000000 var_300 = xmmword ptr -300h .text:0000000000000000 var_2F0 = qword ptr -2F0h .text:0000000000000000 var_2E8 = qword ptr -2E8h .text:0000000000000000 var_2E0 = qword ptr -2E0h .text:0000000000000000 var_2D8 = qword ptr -2D8h .text:0000000000000000 var_2D0 = qword ptr -2D0h .text:0000000000000000 var_2C8 = qword ptr -2C8h .text:0000000000000000 var_2C0 = xmmword ptr -2C0h .text:0000000000000000 var_2B0 = qword ptr -2B0h .text:0000000000000000 var_2A8 = qword ptr -2A8h .text:0000000000000000 var_2A0 = qword ptr -2A0h .text:0000000000000000 var_298 = qword ptr -298h .text:0000000000000000 var_290 = qword ptr -290h .text:0000000000000000 var_288 = qword ptr -288h .text:0000000000000000 var_280 = qword ptr -280h .text:0000000000000000 var_278 = qword ptr -278h .text:0000000000000000 var_270 = qword ptr -270h .text:0000000000000000 var_268 = qword ptr -268h .text:0000000000000000 var_260 = qword ptr -260h .text:0000000000000000 var_258 = qword ptr -258h .text:0000000000000000 var_250 = xmmword ptr -250h .text:0000000000000000 var_240 = qword ptr -240h .text:0000000000000000 var_238 = qword ptr -238h .text:0000000000000000 var_230 = qword ptr -230h .text:0000000000000000 var_228 = qword ptr -228h .text:0000000000000000 var_220 = qword ptr -220h .text:0000000000000000 var_218 = qword ptr -218h .text:0000000000000000 var_210 = qword ptr -210h .text:0000000000000000 var_208 = qword ptr -208h .text:0000000000000000 var_200 = qword ptr -200h .text:0000000000000000 var_1F8 = qword ptr -1F8h .text:0000000000000000 var_1F0 = xmmword ptr -1F0h .text:0000000000000000 var_1E0 = qword ptr -1E0h .text:0000000000000000 var_1D8 = qword ptr -1D8h .text:0000000000000000 var_1D0 = qword ptr -1D0h .text:0000000000000000 var_1C8 = qword ptr -1C8h .text:0000000000000000 var_1C0 = qword ptr -1C0h .text:0000000000000000 var_1B8 = qword ptr -1B8h .text:0000000000000000 var_1B0 = qword ptr -1B0h .text:0000000000000000 var_1A8 = qword ptr -1A8h .text:0000000000000000 var_1A0 = qword ptr -1A0h .text:0000000000000000 var_198 = qword ptr -198h .text:0000000000000000 var_190 = byte ptr -190h .text:0000000000000000 var_180 = byte ptr -180h .text:0000000000000000 var_170 = byte ptr -170h .text:0000000000000000 var_160 = byte ptr -160h .text:0000000000000000 var_150 = dword ptr -150h .text:0000000000000000 var_14C = dword ptr -14Ch .text:0000000000000000 var_140 = dword ptr -140h .text:0000000000000000 var_13C = dword ptr -13Ch .text:0000000000000000 var_130 = dword ptr -130h .text:0000000000000000 var_12C = dword ptr -12Ch .text:0000000000000000 var_120 = dword ptr -120h .text:0000000000000000 var_11C = dword ptr -11Ch .text:0000000000000000 var_110 = dword ptr -110h .text:0000000000000000 var_10C = dword ptr -10Ch .text:0000000000000000 var_100 = dword ptr -100h .text:0000000000000000 var_FC = dword ptr -0FCh .text:0000000000000000 var_F0 = dword ptr -0F0h .text:0000000000000000 var_EC = dword ptr -0ECh .text:0000000000000000 var_E0 = dword ptr -0E0h .text:0000000000000000 var_DC = dword ptr -0DCh .text:0000000000000000 var_D0 = dword ptr -0D0h .text:0000000000000000 var_CC = dword ptr -0CCh .text:0000000000000000 var_C0 = dword ptr -0C0h .text:0000000000000000 var_BC = dword ptr -0BCh .text:0000000000000000 var_B0 = dword ptr -0B0h .text:0000000000000000 var_AC = dword ptr -0ACh .text:0000000000000000 var_A0 = dword ptr -0A0h .text:0000000000000000 var_9C = dword ptr -9Ch .text:0000000000000000 var_90 = qword ptr -90h .text:0000000000000000 var_88 = qword ptr -88h .text:0000000000000000 var_7C = dword ptr -7Ch .text:0000000000000000 var_78 = qword ptr -78h .text:0000000000000000 var_70 = qword ptr -70h .text:0000000000000000 var_64 = dword ptr -64h .text:0000000000000000 var_60 = qword ptr -60h .text:0000000000000000 var_58 = qword ptr -58h .text:0000000000000000 var_4C = dword ptr -4Ch .text:0000000000000000 var_48 = qword ptr -48h .text:0000000000000000 var_40 = qword ptr -40h .text:0000000000000000 var_38 = dword ptr -38h .text:0000000000000000 var_34 = dword ptr -34h .text:0000000000000000 var_28 = xmmword ptr -28h .text:0000000000000000 var_18 = byte ptr -18h .text:0000000000000000 .text:0000000000000000 push rbp .text:0000000000000001 mov rbp, rsp .text:0000000000000004 push r15 .text:0000000000000006 push r14 .text:0000000000000008 push r13 .text:000000000000000A push r12 .text:000000000000000C push rbx .text:000000000000000D sub rsp, 2F8h .text:0000000000000014 mov [rbp+var_34], 0 .text:000000000000001B mov rax, rsp .text:000000000000001E mov [rbp+var_308], rax .text:0000000000000025 lea rax, [rbp+var_160] .text:000000000000002C mov rsi, rax .text:000000000000002F mov edi, offset unk_878 .text:0000000000000034 mov rcx, rsi .text:0000000000000037 mov rbx, rdi .text:000000000000003A mov rax, rsi .text:000000000000003D mov rdx, rdi .text:0000000000000040 mov rax, rdx .text:0000000000000043 mov rsi, rcx .text:0000000000000046 mov rdx, rax .text:0000000000000049 mov edi, 3 .text:000000000000004E call system__img_int__image_integer .text:0000000000000053 mov esi, eax .text:0000000000000055 mov eax, esi .text:0000000000000057 mov edx, 0 .text:000000000000005C test eax, eax .text:000000000000005E cmovs eax, edx .text:0000000000000061 add eax, 9 .text:0000000000000064 add eax, 7 .text:0000000000000067 mov [rbp+var_38], eax .text:000000000000006A mov eax, 0 .text:000000000000006F cmp [rbp+var_38], 0 .text:0000000000000073 cmovns eax, [rbp+var_38] .text:0000000000000077 cdqe .text:0000000000000079 mov [rbp+var_40], rax .text:000000000000007D mov eax, 0 .text:0000000000000082 cmp [rbp+var_38], 0 .text:0000000000000086 cmovns eax, [rbp+var_38] .text:000000000000008A movsxd rdx, eax .text:000000000000008D mov eax, 10h .text:0000000000000092 sub rax, 1 .text:0000000000000096 add rax, rdx .text:0000000000000099 mov ebx, 10h .text:000000000000009E mov edx, 0 .text:00000000000000A3 div rbx .text:00000000000000A6 imul rax, 10h .text:00000000000000AA sub rsp, rax .text:00000000000000AD lea rax, [rsp+320h+var_310] .text:00000000000000B2 add rax, 0 .text:00000000000000B6 mov [rbp+var_48], rax .text:00000000000000BA mov qword ptr [rbp+var_300], offset aTasks_creating ; " tasks.Creating FAIL: created PASS: cre"... .text:00000000000000C5 mov qword ptr [rbp+var_300+8], offset unk_880 .text:00000000000000D0 lea rax, [rbp+var_160] .text:00000000000000D7 mov [rbp+var_2F0], rax .text:00000000000000DE mov [rbp+var_150], 1 .text:00000000000000E8 mov eax, esi .text:00000000000000EA mov [rbp+var_14C], eax .text:00000000000000F0 lea rax, [rbp+var_150] .text:00000000000000F7 mov [rbp+var_2E8], rax .text:00000000000000FE mov [rbp+var_2E0], (offset aTasks_creating+7) ; "Creating FAIL: created PASS: created ma"... .text:0000000000000109 mov [rbp+var_2D8], offset unk_888 .text:0000000000000114 mov rax, [rbp+var_48] .text:0000000000000118 mov r12, rax .text:000000000000011B mov [rbp+var_140], 1 .text:0000000000000125 mov eax, [rbp+var_38] .text:0000000000000128 mov [rbp+var_13C], eax .text:000000000000012E lea rax, [rbp+var_140] .text:0000000000000135 mov r13, rax .text:0000000000000138 mov rcx, r12 .text:000000000000013B mov rbx, r13 .text:000000000000013E mov rax, r12 .text:0000000000000141 mov rdx, r13 .text:0000000000000144 mov rsi, rcx .text:0000000000000147 mov rax, rdx .text:000000000000014A movdqa xmm0, [rbp+var_300] .text:0000000000000152 movups [rsp+320h+var_320], xmm0 .text:0000000000000156 mov r8, [rbp+var_2F0] .text:000000000000015D mov r9, [rbp+var_2E8] .text:0000000000000164 mov rdx, [rbp+var_2E0] .text:000000000000016B mov rcx, [rbp+var_2D8] .text:0000000000000172 mov rdi, rsi .text:0000000000000175 mov rsi, rax .text:0000000000000178 call system__concat_3__str_concat_3 .text:000000000000017D mov rax, [rbp+var_48] .text:0000000000000181 mov r14, rax .text:0000000000000184 mov [rbp+var_130], 1 .text:000000000000018E mov eax, [rbp+var_38] .text:0000000000000191 mov [rbp+var_12C], eax .text:0000000000000197 lea rax, [rbp+var_130] .text:000000000000019E mov r15, rax .text:00000000000001A1 mov rcx, r14 .text:00000000000001A4 mov rbx, r15 .text:00000000000001A7 mov rax, r14 .text:00000000000001AA mov rdx, r15 .text:00000000000001AD mov rax, rdx .text:00000000000001B0 mov rdi, rcx .text:00000000000001B3 mov rsi, rax .text:00000000000001B6 call ada__text_io__put_line__2 .text:00000000000001BB mov rsp, [rbp+var_308] .text:00000000000001C2 mov edi, 3 .text:00000000000001C7 call tasks__create_tasks .text:00000000000001CC call tasks__count_alive .text:00000000000001D1 mov [rbp+var_34], eax .text:00000000000001D4 cmp [rbp+var_34], 3 .text:00000000000001D8 jz loc_3AF .text:00000000000001DE mov rax, rsp .text:00000000000001E1 mov r12, rax .text:00000000000001E4 lea rax, [rbp+var_170] .text:00000000000001EB mov [rbp+var_2D0], rax .text:00000000000001F2 mov [rbp+var_2C8], offset unk_878 .text:00000000000001FD mov edi, [rbp+var_34] .text:0000000000000200 mov rax, [rbp+var_2D0] .text:0000000000000207 mov rdx, [rbp+var_2C8] .text:000000000000020E mov rcx, rax .text:0000000000000211 mov rbx, rdx .text:0000000000000214 mov rax, rdx .text:0000000000000217 mov rsi, rcx .text:000000000000021A mov rdx, rax .text:000000000000021D call system__img_int__image_integer .text:0000000000000222 mov esi, eax .text:0000000000000224 mov eax, esi .text:0000000000000226 mov edx, 0 .text:000000000000022B test eax, eax .text:000000000000022D cmovs eax, edx .text:0000000000000230 add eax, 0Eh .text:0000000000000233 add eax, 7 .text:0000000000000236 mov [rbp+var_4C], eax .text:0000000000000239 mov eax, 0 .text:000000000000023E cmp [rbp+var_4C], 0 .text:0000000000000242 cmovns eax, [rbp+var_4C] .text:0000000000000246 cdqe .text:0000000000000248 mov [rbp+var_58], rax .text:000000000000024C mov eax, 0 .text:0000000000000251 cmp [rbp+var_4C], 0 .text:0000000000000255 cmovns eax, [rbp+var_4C] .text:0000000000000259 movsxd rdx, eax .text:000000000000025C mov eax, 10h .text:0000000000000261 sub rax, 1 .text:0000000000000265 add rax, rdx .text:0000000000000268 mov ebx, 10h .text:000000000000026D mov edx, 0 .text:0000000000000272 div rbx .text:0000000000000275 imul rax, 10h .text:0000000000000279 sub rsp, rax .text:000000000000027C lea rax, [rsp+28h+var_18] .text:0000000000000281 add rax, 0 .text:0000000000000285 mov [rbp+var_60], rax .text:0000000000000289 mov qword ptr [rbp+var_2C0], offset aTasks_creating ; " tasks.Creating FAIL: created PASS: cre"... .text:0000000000000294 mov qword ptr [rbp+var_2C0+8], offset unk_880 .text:000000000000029F lea rax, [rbp+var_170] .text:00000000000002A6 mov [rbp+var_2B0], rax .text:00000000000002AD mov [rbp+var_120], 1 .text:00000000000002B7 mov eax, esi .text:00000000000002B9 mov [rbp+var_11C], eax .text:00000000000002BF lea rax, [rbp+var_120] .text:00000000000002C6 mov [rbp+var_2A8], rax .text:00000000000002CD mov [rbp+var_2A0], (offset aTasks_creating+10h) ; "FAIL: created PASS: created max_tasks.A"... .text:00000000000002D8 mov [rbp+var_298], offset unk_890 .text:00000000000002E3 mov rax, [rbp+var_60] .text:00000000000002E7 mov [rbp+var_290], rax .text:00000000000002EE mov [rbp+var_110], 1 .text:00000000000002F8 mov eax, [rbp+var_4C] .text:00000000000002FB mov [rbp+var_10C], eax .text:0000000000000301 lea rax, [rbp+var_110] .text:0000000000000308 mov [rbp+var_288], rax .text:000000000000030F mov rax, [rbp+var_290] .text:0000000000000316 mov rdx, [rbp+var_288] .text:000000000000031D mov rcx, rax .text:0000000000000320 mov rbx, rdx .text:0000000000000323 mov rsi, rcx .text:0000000000000326 mov rax, rdx .text:0000000000000329 movdqa xmm1, [rbp+var_2C0] .text:0000000000000331 movups [rsp+28h+var_28], xmm1 .text:0000000000000335 mov r8, [rbp+var_2B0] .text:000000000000033C mov r9, [rbp+var_2A8] .text:0000000000000343 mov rdx, [rbp+var_2A0] .text:000000000000034A mov rcx, [rbp+var_298] .text:0000000000000351 mov rdi, rsi .text:0000000000000354 mov rsi, rax .text:0000000000000357 call system__concat_3__str_concat_3 .text:000000000000035C mov rax, [rbp+var_60] .text:0000000000000360 mov [rbp+var_280], rax .text:0000000000000367 mov [rbp+var_100], 1 .text:0000000000000371 mov eax, [rbp+var_4C] .text:0000000000000374 mov [rbp+var_FC], eax .text:000000000000037A lea rax, [rbp+var_100] .text:0000000000000381 mov [rbp+var_278], rax .text:0000000000000388 mov rax, [rbp+var_280] .text:000000000000038F mov rdx, [rbp+var_278] .text:0000000000000396 mov rcx, rax .text:0000000000000399 mov rbx, rdx .text:000000000000039C mov rax, rdx .text:000000000000039F mov rdi, rcx .text:00000000000003A2 mov rsi, rax .text:00000000000003A5 call ada__text_io__put_line__2 .text:00000000000003AA mov rsp, r12 .text:00000000000003AD jmp short loc_3E7 .text:00000000000003AF ; --------------------------------------------------------------------------- .text:00000000000003AF .text:00000000000003AF loc_3AF: ; CODE XREF: _ada_adatests+1D8j .text:00000000000003AF mov [rbp+var_270], (offset aTasks_creating+1Eh) ; "PASS: created max_tasks.Aborting tasks"... .text:00000000000003BA mov [rbp+var_268], offset unk_898 .text:00000000000003C5 mov rax, [rbp+var_270] .text:00000000000003CC mov rdx, [rbp+var_268] .text:00000000000003D3 mov rcx, rax .text:00000000000003D6 mov rbx, rdx .text:00000000000003D9 mov rax, rdx .text:00000000000003DC mov rdi, rcx .text:00000000000003DF mov rsi, rax .text:00000000000003E2 call ada__text_io__put_line__2 .text:00000000000003E7 .text:00000000000003E7 loc_3E7: ; CODE XREF: _ada_adatests+3ADj .text:00000000000003E7 mov rax, rsp .text:00000000000003EA mov r12, rax .text:00000000000003ED lea rax, [rbp+var_180] .text:00000000000003F4 mov [rbp+var_260], rax .text:00000000000003FB mov [rbp+var_258], offset unk_878 .text:0000000000000406 mov rax, [rbp+var_260] .text:000000000000040D mov rdx, [rbp+var_258] .text:0000000000000414 mov rcx, rax .text:0000000000000417 mov rbx, rdx .text:000000000000041A mov rax, rdx .text:000000000000041D mov rsi, rcx .text:0000000000000420 mov rdx, rax .text:0000000000000423 mov edi, 3 .text:0000000000000428 call system__img_int__image_integer .text:000000000000042D mov esi, eax .text:000000000000042F mov eax, esi .text:0000000000000431 mov edx, 0 .text:0000000000000436 test eax, eax .text:0000000000000438 cmovs eax, edx .text:000000000000043B add eax, 9 .text:000000000000043E add eax, 7 .text:0000000000000441 mov [rbp+var_64], eax .text:0000000000000444 mov eax, 0 .text:0000000000000449 cmp [rbp+var_64], 0 .text:000000000000044D cmovns eax, [rbp+var_64] .text:0000000000000451 cdqe .text:0000000000000453 mov [rbp+var_70], rax .text:0000000000000457 mov eax, 0 .text:000000000000045C cmp [rbp+var_64], 0 .text:0000000000000460 cmovns eax, [rbp+var_64] .text:0000000000000464 movsxd rdx, eax .text:0000000000000467 mov eax, 10h .text:000000000000046C sub rax, 1 .text:0000000000000470 add rax, rdx .text:0000000000000473 mov ebx, 10h .text:0000000000000478 mov edx, 0 .text:000000000000047D div rbx .text:0000000000000480 imul rax, 10h .text:0000000000000484 sub rsp, rax .text:0000000000000487 lea rax, [rsp+28h+var_18] .text:000000000000048C add rax, 0 .text:0000000000000490 mov [rbp+var_78], rax .text:0000000000000494 mov qword ptr [rbp+var_250], offset aTasks_creating ; " tasks.Creating FAIL: created PASS: cre"... .text:000000000000049F mov qword ptr [rbp+var_250+8], offset unk_880 .text:00000000000004AA lea rax, [rbp+var_180] .text:00000000000004B1 mov [rbp+var_240], rax .text:00000000000004B8 mov [rbp+var_F0], 1 .text:00000000000004C2 mov eax, esi .text:00000000000004C4 mov [rbp+var_EC], eax .text:00000000000004CA lea rax, [rbp+var_F0] .text:00000000000004D1 mov [rbp+var_238], rax .text:00000000000004D8 mov [rbp+var_230], (offset aTasks_creating+36h) ; "Aborting tasks alive.FAIL: after abort"... .text:00000000000004E3 mov [rbp+var_228], offset unk_888 .text:00000000000004EE mov rax, [rbp+var_78] .text:00000000000004F2 mov [rbp+var_220], rax .text:00000000000004F9 mov [rbp+var_E0], 1 .text:0000000000000503 mov eax, [rbp+var_64] .text:0000000000000506 mov [rbp+var_DC], eax .text:000000000000050C lea rax, [rbp+var_E0] .text:0000000000000513 mov [rbp+var_218], rax .text:000000000000051A mov rax, [rbp+var_220] .text:0000000000000521 mov rdx, [rbp+var_218] .text:0000000000000528 mov rcx, rax .text:000000000000052B mov rbx, rdx .text:000000000000052E mov rsi, rcx .text:0000000000000531 mov rax, rdx .text:0000000000000534 movdqa xmm2, [rbp+var_250] .text:000000000000053C movups [rsp+28h+var_28], xmm2 .text:0000000000000540 mov r8, [rbp+var_240] .text:0000000000000547 mov r9, [rbp+var_238] .text:000000000000054E mov rdx, [rbp+var_230] .text:0000000000000555 mov rcx, [rbp+var_228] .text:000000000000055C mov rdi, rsi .text:000000000000055F mov rsi, rax .text:0000000000000562 call system__concat_3__str_concat_3 .text:0000000000000567 mov rax, [rbp+var_78] .text:000000000000056B mov [rbp+var_210], rax .text:0000000000000572 mov [rbp+var_D0], 1 .text:000000000000057C mov eax, [rbp+var_64] .text:000000000000057F mov [rbp+var_CC], eax .text:0000000000000585 lea rax, [rbp+var_D0] .text:000000000000058C mov [rbp+var_208], rax .text:0000000000000593 mov rax, [rbp+var_210] .text:000000000000059A mov rdx, [rbp+var_208] .text:00000000000005A1 mov rcx, rax .text:00000000000005A4 mov rbx, rdx .text:00000000000005A7 mov rax, rdx .text:00000000000005AA mov rdi, rcx .text:00000000000005AD mov rsi, rax .text:00000000000005B0 call ada__text_io__put_line__2 .text:00000000000005B5 mov rsp, r12 .text:00000000000005B8 call tasks__abort_tasks .text:00000000000005BD mov edi, 3B9ACA00h .text:00000000000005C2 call ada__calendar__delays__delay_for .text:00000000000005C7 call tasks__count_alive .text:00000000000005CC mov [rbp+var_34], eax .text:00000000000005CF cmp [rbp+var_34], 0 .text:00000000000005D3 jz loc_7B5 .text:00000000000005D9 mov rax, rsp .text:00000000000005DC mov r12, rax .text:00000000000005DF lea rax, [rbp+var_190] .text:00000000000005E6 mov [rbp+var_200], rax .text:00000000000005ED mov [rbp+var_1F8], offset unk_878 .text:00000000000005F8 mov edi, [rbp+var_34] .text:00000000000005FB mov rax, [rbp+var_200] .text:0000000000000602 mov rdx, [rbp+var_1F8] .text:0000000000000609 mov rcx, rax .text:000000000000060C mov rbx, rdx .text:000000000000060F mov rax, rdx .text:0000000000000612 mov rsi, rcx .text:0000000000000615 mov rdx, rax .text:0000000000000618 call system__img_int__image_integer .text:000000000000061D mov ecx, eax .text:000000000000061F mov eax, ecx .text:0000000000000621 mov edx, 0 .text:0000000000000626 test eax, eax .text:0000000000000628 cmovs eax, edx .text:000000000000062B add eax, 13h .text:000000000000062E add eax, 0Dh .text:0000000000000631 mov [rbp+var_7C], eax .text:0000000000000634 mov eax, 0 .text:0000000000000639 cmp [rbp+var_7C], 0 .text:000000000000063D cmovns eax, [rbp+var_7C] .text:0000000000000641 cdqe .text:0000000000000643 mov [rbp+var_88], rax .text:000000000000064A mov eax, 0 .text:000000000000064F cmp [rbp+var_7C], 0 .text:0000000000000653 cmovns eax, [rbp+var_7C] .text:0000000000000657 cdqe .text:0000000000000659 mov edx, 10h .text:000000000000065E sub rdx, 1 .text:0000000000000662 add rax, rdx .text:0000000000000665 mov ebx, 10h .text:000000000000066A mov edx, 0 .text:000000000000066F div rbx .text:0000000000000672 imul rax, 10h .text:0000000000000676 sub rsp, rax .text:0000000000000679 lea rax, [rsp+28h+var_18] .text:000000000000067E add rax, 0 .text:0000000000000682 mov [rbp+var_90], rax .text:0000000000000689 mov qword ptr [rbp+var_1F0], (offset aTasks_creating+3Fh) ; " tasks alive.FAIL: after abort: PASS: a"... .text:0000000000000694 mov qword ptr [rbp+var_1F0+8], offset unk_8A0 .text:000000000000069F lea rax, [rbp+var_190] .text:00000000000006A6 mov [rbp+var_1E0], rax .text:00000000000006AD mov [rbp+var_C0], 1 .text:00000000000006B7 mov eax, ecx .text:00000000000006B9 mov [rbp+var_BC], eax .text:00000000000006BF lea rax, [rbp+var_C0] .text:00000000000006C6 mov [rbp+var_1D8], rax .text:00000000000006CD mov [rbp+var_1D0], (offset aTasks_creating+4Ch) ; "FAIL: after abort: PASS: aborted all ta"... .text:00000000000006D8 mov [rbp+var_1C8], offset unk_8A8 .text:00000000000006E3 mov rax, [rbp+var_90] .text:00000000000006EA mov [rbp+var_1C0], rax .text:00000000000006F1 mov [rbp+var_B0], 1 .text:00000000000006FB mov eax, [rbp+var_7C] .text:00000000000006FE mov [rbp+var_AC], eax .text:0000000000000704 lea rax, [rbp+var_B0] .text:000000000000070B mov [rbp+var_1B8], rax .text:0000000000000712 mov rax, [rbp+var_1C0] .text:0000000000000719 mov rdx, [rbp+var_1B8] .text:0000000000000720 mov rcx, rax .text:0000000000000723 mov rbx, rdx .text:0000000000000726 mov rsi, rcx .text:0000000000000729 mov rax, rdx .text:000000000000072C movdqa xmm3, [rbp+var_1F0] .text:0000000000000734 movups [rsp+28h+var_28], xmm3 .text:0000000000000738 mov r8, [rbp+var_1E0] .text:000000000000073F mov r9, [rbp+var_1D8] .text:0000000000000746 mov rdx, [rbp+var_1D0] .text:000000000000074D mov rcx, [rbp+var_1C8] .text:0000000000000754 mov rdi, rsi .text:0000000000000757 mov rsi, rax .text:000000000000075A call system__concat_3__str_concat_3 .text:000000000000075F mov rax, [rbp+var_90] .text:0000000000000766 mov [rbp+var_1B0], rax .text:000000000000076D mov [rbp+var_A0], 1 .text:0000000000000777 mov eax, [rbp+var_7C] .text:000000000000077A mov [rbp+var_9C], eax .text:0000000000000780 lea rax, [rbp+var_A0] .text:0000000000000787 mov [rbp+var_1A8], rax .text:000000000000078E mov rax, [rbp+var_1B0] .text:0000000000000795 mov rdx, [rbp+var_1A8] .text:000000000000079C mov rcx, rax .text:000000000000079F mov rbx, rdx .text:00000000000007A2 mov rax, rdx .text:00000000000007A5 mov rdi, rcx .text:00000000000007A8 mov rsi, rax .text:00000000000007AB call ada__text_io__put_line__2 .text:00000000000007B0 mov rsp, r12 .text:00000000000007B3 jmp short loc_7ED .text:00000000000007B5 ; --------------------------------------------------------------------------- .text:00000000000007B5 .text:00000000000007B5 loc_7B5: ; CODE XREF: _ada_adatests+5D3j .text:00000000000007B5 mov [rbp+var_1A0], (offset aTasks_creating+5Fh) ; "PASS: aborted all tasks." .text:00000000000007C0 mov [rbp+var_198], offset unk_898 .text:00000000000007CB mov rax, [rbp+var_1A0] .text:00000000000007D2 mov rdx, [rbp+var_198] .text:00000000000007D9 mov rcx, rax .text:00000000000007DC mov rbx, rdx .text:00000000000007DF mov rax, rdx .text:00000000000007E2 mov rdi, rcx .text:00000000000007E5 mov rsi, rax .text:00000000000007E8 call ada__text_io__put_line__2 .text:00000000000007ED .text:00000000000007ED loc_7ED: ; CODE XREF: _ada_adatests+7B3j .text:00000000000007ED lea rsp, [rbp-28h] .text:00000000000007F1 pop rbx .text:00000000000007F2 pop r12 .text:00000000000007F4 pop r13 .text:00000000000007F6 pop r14 .text:00000000000007F8 pop r15 .text:00000000000007FA pop rbp .text:00000000000007FB retn .text:00000000000007FB _ada_adatests endp .text:00000000000007FB .text:00000000000007FB _text ends .text:00000000000007FB .data:00000000000007FC ; =========================================================================== .data:00000000000007FC .data:00000000000007FC ; Segment type: Zero-length .data:00000000000007FC ; Segment permissions: Read/Write .data:00000000000007FC _data segment byte public 'DATA' use64 .data:00000000000007FC _data ends .data:00000000000007FC .bss:00000000000007FD ; =========================================================================== .bss:00000000000007FD .bss:00000000000007FD ; Segment type: Zero-length .bss:00000000000007FD ; Segment permissions: Read/Write .bss:00000000000007FD _bss segment byte public 'BSS' use64 .bss:00000000000007FD _bss ends .bss:00000000000007FD .rodata:0000000000000800 ; =========================================================================== .rodata:0000000000000800 .rodata:0000000000000800 ; Segment type: Pure data .rodata:0000000000000800 ; Segment permissions: Read .rodata:0000000000000800 _rodata segment dword public 'CONST' use64 .rodata:0000000000000800 assume cs:_rodata .rodata:0000000000000800 ;org 800h .rodata:0000000000000800 aTasks_creating db ' tasks.Creating FAIL: created PASS: created max_tasks.Aborting t' .rodata:0000000000000800 ; DATA XREF: _ada_adatests+BAo .rodata:0000000000000800 ; _ada_adatests+289o ... .rodata:0000000000000800 db 'asks alive.FAIL: after abort: PASS: aborted all tasks.',0 .rodata:0000000000000878 unk_878 db 1 ; DATA XREF: _ada_adatests+2Fo .rodata:0000000000000878 ; _ada_adatests+1F2o ... .rodata:0000000000000879 db 0 .rodata:000000000000087A db 0 .rodata:000000000000087B db 0 .rodata:000000000000087C db 0Bh .rodata:000000000000087D db 0 .rodata:000000000000087E db 0 .rodata:000000000000087F db 0 .rodata:0000000000000880 unk_880 db 1 ; DATA XREF: _ada_adatests+C5o .rodata:0000000000000880 ; _ada_adatests+294o ... .rodata:0000000000000881 db 0 .rodata:0000000000000882 db 0 .rodata:0000000000000883 db 0 .rodata:0000000000000884 db 7 .rodata:0000000000000885 db 0 .rodata:0000000000000886 db 0 .rodata:0000000000000887 db 0 .rodata:0000000000000888 unk_888 db 1 ; DATA XREF: _ada_adatests+109o .rodata:0000000000000888 ; _ada_adatests+4E3o .rodata:0000000000000889 db 0 .rodata:000000000000088A db 0 .rodata:000000000000088B db 0 .rodata:000000000000088C db 9 .rodata:000000000000088D db 0 .rodata:000000000000088E db 0 .rodata:000000000000088F db 0 .rodata:0000000000000890 unk_890 db 1 ; DATA XREF: _ada_adatests+2D8o .rodata:0000000000000891 db 0 .rodata:0000000000000892 db 0 .rodata:0000000000000893 db 0 .rodata:0000000000000894 db 0Eh .rodata:0000000000000895 db 0 .rodata:0000000000000896 db 0 .rodata:0000000000000897 db 0 .rodata:0000000000000898 unk_898 db 1 ; DATA XREF: _ada_adatests+3BAo .rodata:0000000000000898 ; _ada_adatests+7C0o .rodata:0000000000000899 db 0 .rodata:000000000000089A db 0 .rodata:000000000000089B db 0 .rodata:000000000000089C db 18h .rodata:000000000000089D db 0 .rodata:000000000000089E db 0 .rodata:000000000000089F db 0 .rodata:00000000000008A0 unk_8A0 db 1 ; DATA XREF: _ada_adatests+694o .rodata:00000000000008A1 db 0 .rodata:00000000000008A2 db 0 .rodata:00000000000008A3 db 0 .rodata:00000000000008A4 db 0Dh .rodata:00000000000008A5 db 0 .rodata:00000000000008A6 db 0 .rodata:00000000000008A7 db 0 .rodata:00000000000008A8 unk_8A8 db 1 ; DATA XREF: _ada_adatests+6D8o .rodata:00000000000008A9 db 0 .rodata:00000000000008AA db 0 .rodata:00000000000008AB db 0 .rodata:00000000000008AC db 13h .rodata:00000000000008AD db 0 .rodata:00000000000008AE db 0 .rodata:00000000000008AF db 0 .rodata:00000000000008AF _rodata ends .rodata:00000000000008AF extern:00000000000008B0 ; =========================================================================== extern:00000000000008B0 extern:00000000000008B0 ; Segment type: Externs extern:00000000000008B0 ; extern extern:00000000000008B0 extrn system__img_int__image_integer:near extern:00000000000008B0 ; CODE XREF: _ada_adatests+4Ep extern:00000000000008B0 ; _ada_adatests+21Dp ... extern:00000000000008B4 extrn system__concat_3__str_concat_3:near extern:00000000000008B4 ; CODE XREF: _ada_adatests+178p extern:00000000000008B4 ; _ada_adatests+357p ... extern:00000000000008B8 extrn ada__text_io__put_line__2:near extern:00000000000008B8 ; CODE XREF: _ada_adatests+1B6p extern:00000000000008B8 ; _ada_adatests+3A5p ... extern:00000000000008BC extrn tasks__create_tasks:near extern:00000000000008BC ; CODE XREF: _ada_adatests+1C7p extern:00000000000008C0 extrn tasks__count_alive:near extern:00000000000008C0 ; CODE XREF: _ada_adatests+1CCp extern:00000000000008C0 ; _ada_adatests+5C7p extern:00000000000008C4 extrn tasks__abort_tasks:near extern:00000000000008C4 ; CODE XREF: _ada_adatests+5B8p extern:00000000000008C8 extrn ada__calendar__delays__delay_for:near extern:00000000000008C8 ; CODE XREF: _ada_adatests+5C2p extern:00000000000008C8 extern:00000000000008C8 extern:00000000000008C8 end