// File: /workspace/github_c_makefile_star2_O2/neosploit[P]compiler/ast_print.c
// Function: ast_type_print
void ast_type_print(AstPrintState* state, Type* type) {

    switch (type->tag) {
        case TYPE_UNDEFINED:
            break;
        case TYPE_ARRAY:
            fprintf(state->fp, " (TYPE_ARRAY)");
            ast_expression_print(state, type->array.dims);
            ast_type_print(state, type->array.type);

            break;
        case TYPE_SET:
            fprintf(state->fp, " (TYPE_SET)");
            ast_type_print(state, type->set.type);

            break;
        case TYPE_LIST:
            fprintf(state->fp, " (TYPE_LIST)");
            ast_type_print(state, type->list.type);

            break;
        case TYPE_RECORD:
            fprintf(state->fp, " (TYPE_RECORD)");

            state->indent++;
            ast_definition_print(state, type->record.fields);
            state->indent--;

            break;
        case TYPE_ENUMERATION:
            fprintf(state->fp, " (TYPE_ENUMERATION)");
            ast_id_print(state, type->enumeration.identifiers);

            break;
        case TYPE_SUBRANGE:
            fprintf(state->fp, " (TYPE_SUBRANGE)");
            ast_constant_print(state, type->subrange.lower_limit);
            ast_constant_print(state, type->subrange.upper_limit);

            break;
        case TYPE_INTEGER:
            fprintf(state->fp, " (TYPE_INTEGER)");

            break;
        case TYPE_REAL:
            fprintf(state->fp, " (TYPE_REAL)");

            break;
        case TYPE_BOOLEAN:
            fprintf(state->fp, " (TYPE_BOOLEAN)");

            break;
        case TYPE_CHARACTER:
            fprintf(state->fp, " (TYPE_CHARACTER)");

            break;
        case TYPE_STRING:
            fprintf(state->fp, " (TYPE_STRING)");

            break;
        case TYPE_ID:
            fprintf(state->fp, "[TYPE_ID:");
            ast_id_print(state, type->id.id);
            fprintf(state->fp, "]");
    }

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
leaq 0xb80f(%rip), %r15      # 0x17e5c
pushq $0x1
popq %r13
pushq $0x8
popq %r12
movl 0x4(%r14), %eax
decl %eax
cmpl $0xb, %eax
ja 0xc7cf
movslq (%r15,%rax,4), %rax
addq %r15, %rax
jmpq *%rax
movq 0x48(%rbx), %rcx
leaq 0xbb85(%rip), %rdi      # 0x181fd
pushq $0xd
popq %rsi
movq %r13, %rdx
callq 0x7270
movq 0x8(%r14), %rsi
movq %rbx, %rdi
callq 0xc3e1
pushq $0x10
popq %rax
jmp 0xc6bc
movq 0x48(%rbx), %rcx
leaq 0xbb78(%rip), %rdi      # 0x18217
pushq $0xc
jmp 0xc6b0
movq 0x48(%rbx), %rcx
leaq 0xbb5d(%rip), %rdi      # 0x1820b
pushq $0xb
popq %rsi
movq %r13, %rdx
callq 0x7270
movq %r12, %rax
movq (%r14,%rax), %r14
jmp 0xc655
movq 0x48(%rbx), %rcx
leaq 0xbba8(%rip), %rdi      # 0x18275
jmp 0xc7e9
movq 0x48(%rbx), %rcx
leaq 0xbb56(%rip), %rdi      # 0x18233
pushq $0x13
popq %rsi
pushq $0x1
popq %rdx
callq 0x7270
movq 0x8(%r14), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xc32c
movq 0x48(%rbx), %rcx
leaq 0xbb99(%rip), %rdi      # 0x182a6
pushq $0x9
popq %rsi
pushq $0x1
popq %rdx
callq 0x7270
movq 0x8(%r14), %rsi
movq %rbx, %rdi
callq 0xc32c
movq 0x48(%rbx), %rsi
pushq $0x5d
popq %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x7140
movq 0x48(%rbx), %rcx
leaq 0xbafe(%rip), %rdi      # 0x18247
pushq $0x10
popq %rsi
pushq $0x1
popq %rdx
callq 0x7270
movq 0x8(%r14), %rsi
movq %rbx, %rdi
callq 0xc901
movq 0x10(%r14), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xc901
movq 0x48(%rbx), %rcx
leaq 0xbb12(%rip), %rdi      # 0x18297
pushq $0xe
jmp 0xc7eb
movq 0x48(%rbx), %rcx
leaq 0xbaf1(%rip), %rdi      # 0x18285
pushq $0x11
jmp 0xc7eb
movq 0x48(%rbx), %rcx
leaq 0xbac5(%rip), %rdi      # 0x18268
pushq $0xc
jmp 0xc7eb
movq 0x48(%rbx), %rcx
leaq 0xba72(%rip), %rdi      # 0x18224
pushq $0xe
popq %rsi
pushq $0x1
popq %rdx
callq 0x7270
incl 0x40(%rbx)
movq 0x8(%r14), %rsi
movq %rbx, %rdi
callq 0xbd6d
decl 0x40(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x48(%rbx), %rcx
leaq 0xba6f(%rip), %rdi      # 0x18258
pushq $0xf
popq %rsi
pushq $0x1
popq %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x7270