.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