// File: /workspace/github_c_makefile_star2_O3/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 0x5716(%rip), %rdi      # 0xa8bf
callq 0x1070
movl 0x90ac(%rip), %esi      # 0xe260
movl %esi, %eax
incl %eax
movl %eax, 0x90a2(%rip)      # 0xe260
leaq 0x5305(%rip), %rdi      # 0xa4ca
xorl %eax, %eax
movl %eax, %r14d
callq 0x1080
callq 0x3350
leaq 0x5303(%rip), %rbx      # 0xa4de
movq %rbx, %rdi
movl %eax, %esi
movl %r14d, %eax
callq 0x1080
movl $0xa, %ebp
movl %ebp, %edi
callq 0x1050
movl 0x9066(%rip), %esi      # 0xe260
movl %esi, %eax
incl %eax
movl %eax, 0x905c(%rip)      # 0xe260
leaq 0x52e6(%rip), %rdi      # 0xa4f1
movl %r14d, %eax
callq 0x1080
callq 0x35b8
movq %rbx, %rdi
movl %eax, %esi
movl %r14d, %eax
callq 0x1080
movl %ebp, %edi
callq 0x1050
movl 0x902e(%rip), %esi      # 0xe260
movl %esi, %eax
incl %eax
movl %eax, 0x9024(%rip)      # 0xe260
leaq 0x52c2(%rip), %rdi      # 0xa505
movl %r14d, %eax
callq 0x1080
callq 0x37af
movq %rbx, %rdi
movl $0x8, %esi
movl %r14d, %eax
callq 0x1080
movl %ebp, %edi
callq 0x1050
movl 0x8ff3(%rip), %esi      # 0xe260
movl %esi, %eax
incl %eax
movl %eax, 0x8fe9(%rip)      # 0xe260
leaq 0x529b(%rip), %rdi      # 0xa519
movl %r14d, %eax
callq 0x1080
callq 0x39b7
movq %rbx, %rdi
movl %eax, %esi
movl %r14d, %eax
callq 0x1080
movl %ebp, %edi
callq 0x1050
movl 0x8fbb(%rip), %esi      # 0xe260
movl %esi, %eax
incl %eax
movl %eax, 0x8fb1(%rip)      # 0xe260
leaq 0x5277(%rip), %rdi      # 0xa52d
movb %r14b, 0x7(%rsp)
movl %r14d, %eax
callq 0x1080
leaq 0x8fa6(%rip), %rbp      # 0xe270
movq (%rbp), %rdi
leaq 0x5143(%rip), %r14      # 0xa418
movl $0xee, %edx
movq %r14, %rsi
callq 0x157c
leaq 0x9047(%rip), %r15      # 0xe330
leaq 0x8dd0(%rip), %r12      # 0xe0c0
movl $0x1, %ebx
movq (%rbp), %rdi
callq 0x1334
movq %rax, %r13
movq %rax, %rdi
movq %r15, %rsi
movq %r14, %rdx
movl $0xee, %ecx
callq 0x1bb0
testl %eax, %eax
je 0x5334
movq (%r13), %rdi
cmpl $0x0, 0x1b4(%rdi)
je 0x5334
addq $0x8, %rdi
movl %ebx, %esi
callq 0x1130
testl %eax, %eax
je 0x5394
movq %r13, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %r14, %rcx
movl $0xf2, %r8d
callq 0x1c49
testl %eax, %eax
je 0x53b9
movq (%r13), %rax
cmpl $0x0, 0x1b4(%rax)
je 0x53b9
movq %r13, %rdi
movq %r12, %rsi
callq 0x1904
testl %eax, %eax
je 0x53b9
movq 0x8(%r13), %rdi
movl %ebx, %esi
callq 0x1f9d
movq (%r13), %rcx
movl $0x2, 0x1b8(%rcx)
callq *0x1e0(%rax)
movq %rax, %rdi
callq 0x1070
jmp 0x53b9
movq (%r13), %rax
movl $0x1, 0x1b8(%rax)
callq 0x4038
leaq 0x513f(%rip), %rdi      # 0xa4ed
movl %eax, %esi
movb 0x7(%rsp), %al
callq 0x1080
cmpl $0x0, 0x8f70(%rip)      # 0xe330
je 0x52f5
movq (%r13), %rdi
cmpl $0x0, 0x1b4(%rdi)
jne 0x53f8
addq $0xd0, %rdi
movl %ebx, %esi
callq 0x1130
testl %eax, %eax
jne 0x53f8
movq (%r13), %rax
movl $0x1, 0x1b4(%rax)
jmp 0x52f5
movq (%rbp), %rdi
callq 0x1334
movq (%rax), %rax
movl $0x3, 0x1b8(%rax)
movq (%rbp), %rdi
callq 0x1334
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
jg 0x5430
movq (%rbp), %rdi
callq 0x195a
testl %eax, %eax
je 0x5452
movq (%rbp), %rdi
callq 0x1334
movq (%rax), %rax
movl 0x1b4(%rax), %ecx
movl %ecx, %edx
decl %edx
movl %edx, 0x1b4(%rax)
testl %ecx, %ecx
jg 0x5430
jmp 0x540e
movl $0xa, %ebx
movl %ebx, %edi
callq 0x1050
movl 0x8dfc(%rip), %esi      # 0xe260
movl %esi, %eax
incl %eax
movl %eax, 0x8df2(%rip)      # 0xe260
leaq 0x50d0(%rip), %rdi      # 0xa545
xorl %eax, %eax
movl %eax, %ebp
callq 0x1080
callq 0x3c41
leaq 0x5063(%rip), %rdi      # 0xa4ed
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