// File: /workspace/github_c_makefile_star2_O2/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 0x58c4(%rip), %rdi      # 0xa8bf
callq 0x1070
movl 0x925a(%rip), %esi      # 0xe260
movl %esi, %eax
incl %eax
movl %eax, 0x9250(%rip)      # 0xe260
leaq 0x54b3(%rip), %rdi      # 0xa4ca
xorl %eax, %eax
movl %eax, %r14d
callq 0x1080
callq 0x3268
leaq 0x54b1(%rip), %rbx      # 0xa4de
movq %rbx, %rdi
movl %eax, %esi
movl %r14d, %eax
callq 0x1080
pushq $0xa
popq %rbp
movl %ebp, %edi
callq 0x1050
movl 0x9216(%rip), %esi      # 0xe260
movl %esi, %eax
incl %eax
movl %eax, 0x920c(%rip)      # 0xe260
leaq 0x5496(%rip), %rdi      # 0xa4f1
movl %r14d, %eax
callq 0x1080
callq 0x34bc
movq %rbx, %rdi
movl %eax, %esi
movl %r14d, %eax
callq 0x1080
movl %ebp, %edi
callq 0x1050
movl 0x91de(%rip), %esi      # 0xe260
movl %esi, %eax
incl %eax
movl %eax, 0x91d4(%rip)      # 0xe260
leaq 0x5472(%rip), %rdi      # 0xa505
movl %r14d, %eax
callq 0x1080
callq 0x36a5
pushq $0x8
popq %rsi
movq %rbx, %rdi
movl %r14d, %eax
callq 0x1080
movl %ebp, %edi
callq 0x1050
movl 0x91a5(%rip), %esi      # 0xe260
movl %esi, %eax
incl %eax
movl %eax, 0x919b(%rip)      # 0xe260
leaq 0x544d(%rip), %rdi      # 0xa519
movl %r14d, %eax
callq 0x1080
callq 0x38a5
movq %rbx, %rdi
movl %eax, %esi
movl %r14d, %eax
callq 0x1080
movl %ebp, %edi
callq 0x1050
movl 0x916d(%rip), %esi      # 0xe260
movl %esi, %eax
incl %eax
movl %eax, 0x9163(%rip)      # 0xe260
leaq 0x5429(%rip), %rdi      # 0xa52d
movb %r14b, 0x7(%rsp)
movl %r14d, %eax
callq 0x1080
leaq 0x9158(%rip), %rbp      # 0xe270
movq (%rbp), %rdi
leaq 0x52f5(%rip), %r14      # 0xa418
movl $0xee, %edx
movq %r14, %rsi
callq 0x14e8
leaq 0x91f9(%rip), %r15      # 0xe330
leaq 0x8f82(%rip), %r12      # 0xe0c0
pushq $0x1
popq %rbx
movq (%rbp), %rdi
callq 0x1290
movq %rax, %r13
movq %rax, %rdi
movq %r15, %rsi
movq %r14, %rdx
movl $0xee, %ecx
callq 0x1b23
testl %eax, %eax
je 0x5180
movq (%r13), %rdi
cmpl $0x0, 0x1b4(%rdi)
je 0x5180
addq $0x8, %rdi
movl %ebx, %esi
callq 0x1130
testl %eax, %eax
je 0x51e0
movq %r13, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %r14, %rcx
movl $0xf2, %r8d
callq 0x1bb7
testl %eax, %eax
je 0x5205
movq (%r13), %rax
cmpl $0x0, 0x1b4(%rax)
je 0x5205
movq %r13, %rdi
movq %r12, %rsi
callq 0x1867
testl %eax, %eax
je 0x5205
movq 0x8(%r13), %rdi
movl %ebx, %esi
callq 0x1f02
movq (%r13), %rcx
movl $0x2, 0x1b8(%rcx)
callq *0x1e0(%rax)
movq %rax, %rdi
callq 0x1070
jmp 0x5205
movq (%r13), %rax
movl $0x1, 0x1b8(%rax)
callq 0x3f1b
leaq 0x52f3(%rip), %rdi      # 0xa4ed
movl %eax, %esi
movb 0x7(%rsp), %al
callq 0x1080
cmpl $0x0, 0x9124(%rip)      # 0xe330
je 0x5141
movq (%r13), %rdi
cmpl $0x0, 0x1b4(%rdi)
jne 0x5244
addq $0xd0, %rdi
movl %ebx, %esi
callq 0x1130
testl %eax, %eax
jne 0x5244
movq (%r13), %rax
movl $0x1, 0x1b4(%rax)
jmp 0x5141
movq (%rbp), %rdi
callq 0x1290
movq (%rax), %rax
movl $0x3, 0x1b8(%rax)
movq (%rbp), %rdi
callq 0x1290
movq (%rax), %rax
cmpl $0x0, 0x1b4(%rax)
jg 0x527c
movq (%rbp), %rdi
callq 0x18d5
testl %eax, %eax
je 0x529e
movq (%rbp), %rdi
callq 0x1290
movq (%rax), %rax
movl 0x1b4(%rax), %ecx
movl %ecx, %edx
decl %edx
movl %edx, 0x1b4(%rax)
testl %ecx, %ecx
jg 0x527c
jmp 0x525a
pushq $0xa
popq %rbx
movl %ebx, %edi
callq 0x1050
movl 0x8fb2(%rip), %esi      # 0xe260
movl %esi, %eax
incl %eax
movl %eax, 0x8fa8(%rip)      # 0xe260
leaq 0x5286(%rip), %rdi      # 0xa545
xorl %eax, %eax
movl %eax, %ebp
callq 0x1080
callq 0x3b23
leaq 0x5219(%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