// File: /workspace/github_c_makefile_star2_O1/meaning-matters[P]Except/Test.c
// Function: TestReturn
static int TestReturn(void)
{
    printf("\nRETURN TESTS ------------------------------------------\n\n");

    printf("-->%2d: Returns 6?\n", testNum++);
    printf("Return value = %d\n", t1());
    printf("\n");

    printf("-->%2d: Returns 7?\n", testNum++);
    printf("Return value = %d\n", t2());
    printf("\n");

    printf("-->%2d: Returns 8?\n", testNum++);
    printf("Return value = %d\n", t3());
    printf("\n");

    printf("-->%2d: Returns 9?\n", testNum++);
    printf("Return value = %d\n", t4());
    printf("\n");

    printf("-->%2d: Prints \"ABC2\"?\n", testNum++);
    try
    {
        printf("%d\n", spell());
    }
    catch (Throwable, e)
        printf("%s\n", e->getMessage());
    finally;
    printf("\n");

    printf("-->%2d: Prints \"A B C 1\"?\n", testNum++);
    printf("%d\n", tX());
    printf("\n");    
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
leaq 0x5503(%rip), %rdi      # 0xa93f
callq 0x1070
movl 0x7e19(%rip), %esi      # 0xd260
movl %esi, %eax
incl %eax
movl %eax, 0x7e0f(%rip)      # 0xd260
leaq 0x50f2(%rip), %rdi      # 0xa54a
xorl %eax, %eax
movl %eax, %r14d
callq 0x1080
callq 0x332c
leaq 0x50f0(%rip), %rbx      # 0xa55e
movq %rbx, %rdi
movl %eax, %esi
movl %r14d, %eax
callq 0x1080
movl $0xa, %ebp
movl %ebp, %edi
callq 0x1050
movl 0x7dd3(%rip), %esi      # 0xd260
movl %esi, %eax
incl %eax
movl %eax, 0x7dc9(%rip)      # 0xd260
leaq 0x50d3(%rip), %rdi      # 0xa571
movl %r14d, %eax
callq 0x1080
callq 0x35ea
movq %rbx, %rdi
movl %eax, %esi
movl %r14d, %eax
callq 0x1080
movl %ebp, %edi
callq 0x1050
movl 0x7d9b(%rip), %esi      # 0xd260
movl %esi, %eax
incl %eax
movl %eax, 0x7d91(%rip)      # 0xd260
leaq 0x50af(%rip), %rdi      # 0xa585
movl %r14d, %eax
callq 0x1080
callq 0x382f
movq %rbx, %rdi
movl $0x8, %esi
movl %r14d, %eax
callq 0x1080
movl %ebp, %edi
callq 0x1050
movl 0x7d60(%rip), %esi      # 0xd260
movl %esi, %eax
incl %eax
movl %eax, 0x7d56(%rip)      # 0xd260
leaq 0x5088(%rip), %rdi      # 0xa599
movl %r14d, %eax
callq 0x1080
callq 0x3a95
movq %rbx, %rdi
movl %eax, %esi
movl %r14d, %eax
callq 0x1080
movl %ebp, %edi
callq 0x1050
movl 0x7d28(%rip), %esi      # 0xd260
movl %esi, %eax
incl %eax
movl %eax, 0x7d1e(%rip)      # 0xd260
leaq 0x5064(%rip), %rdi      # 0xa5ad
movb %r14b, 0x7(%rsp)
movl %r14d, %eax
callq 0x1080
leaq 0x7d13(%rip), %rbp      # 0xd270
movq (%rbp), %rdi
leaq 0x4f30(%rip), %r14      # 0xa498
movl $0xee, %edx
movq %r14, %rsi
callq 0x151a
leaq 0x7db4(%rip), %r15      # 0xd330
leaq 0x7b3d(%rip), %r12      # 0xd0c0
movl $0x1, %ebx
movq (%rbp), %rdi
callq 0x12d2
movq %rax, %r13
movq %rax, %rdi
movq %r15, %rsi
movq %r14, %rdx
movl $0xee, %ecx
callq 0x1b4a
testl %eax, %eax
je 0x55c7
movq (%r13), %rdi
cmpl $0x0, 0x1b4(%rdi)
je 0x55c7
addq $0x8, %rdi
movl %ebx, %esi
callq 0x1130
testl %eax, %eax
je 0x5627
movq %r13, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %r14, %rcx
movl $0xf2, %r8d
callq 0x1bde
testl %eax, %eax
je 0x564c
movq (%r13), %rax
cmpl $0x0, 0x1b4(%rax)
je 0x564c
movq %r13, %rdi
movq %r12, %rsi
callq 0x18a9
testl %eax, %eax
je 0x564c
movq 0x8(%r13), %rdi
movl %ebx, %esi
callq 0x1f2b
movq (%r13), %rcx
movl $0x2, 0x1b8(%rcx)
callq *0x1e0(%rax)
movq %rax, %rdi
callq 0x1070
jmp 0x564c
movq (%r13), %rax
movl $0x1, 0x1b8(%rax)
callq 0x41e5
leaq 0x4f2c(%rip), %rdi      # 0xa56d
movl %eax, %esi
movb 0x7(%rsp), %al
callq 0x1080
cmpl $0x0, 0x7cdd(%rip)      # 0xd330
je 0x5588
movq (%r13), %rdi
cmpl $0x0, 0x1b4(%rdi)
jne 0x568b
addq $0xd0, %rdi
movl %ebx, %esi
callq 0x1130
testl %eax, %eax
jne 0x568b
movq (%r13), %rax
movl $0x1, 0x1b4(%rax)
jmp 0x5588
movq (%rbp), %rdi
callq 0x12d2
movq (%rax), %rax
movl $0x3, 0x1b8(%rax)
movq (%rbp), %rdi
callq 0x12d2
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
jg 0x56c3
movq (%rbp), %rdi
callq 0x18f4
testl %eax, %eax
je 0x56e5
movq (%rbp), %rdi
callq 0x12d2
movq (%rax), %rax
movl 0x1b4(%rax), %ecx
movl %ecx, %edx
decl %edx
movl %edx, 0x1b4(%rax)
testl %ecx, %ecx
jg 0x56c3
jmp 0x56a1
movl $0xa, %ebx
movl %ebx, %edi
callq 0x1050
movl 0x7b69(%rip), %esi      # 0xd260
movl %esi, %eax
incl %eax
movl %eax, 0x7b5f(%rip)      # 0xd260
leaq 0x4ebd(%rip), %rdi      # 0xa5c5
xorl %eax, %eax
movl %eax, %ebp
callq 0x1080
callq 0x3d69
leaq 0x4e50(%rip), %rdi      # 0xa56d
movl %eax, %esi
movl %ebp, %eax
callq 0x1080
movl %ebx, %edi
callq 0x1050
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq