// File: /workspace/github_c_makefile_star2_O1/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 0xc28e(%rip), %r15      # 0x18e74
leaq 0xc636(%rip), %r12      # 0x19223
leaq 0xc63b(%rip), %r13      # 0x1922f
movl 0x4(%r14), %eax
decl %eax
cmpl $0xb, %eax
ja 0xcd8f
movslq (%r15,%rax,4), %rax
addq %r15, %rax
jmpq *%rax
movq 0x48(%rbx), %rcx
movl $0xd, %esi
movl $0x1, %edx
leaq 0xc5f4(%rip), %rdi      # 0x19215
callq 0x7280
movq 0x8(%r14), %rsi
movq %rbx, %rdi
callq 0xc947
movq 0x10(%r14), %r14
jmp 0xcbf4
movq 0x48(%rbx), %rcx
movl $0xc, %esi
movl $0x1, %edx
movq %r13, %rdi
jmp 0xcc5c
movq 0x48(%rbx), %rcx
movl $0xb, %esi
movl $0x1, %edx
movq %r12, %rdi
callq 0x7280
movq 0x8(%r14), %r14
jmp 0xcbf4
movq 0x48(%rbx), %rcx
leaq 0xc61b(%rip), %rdi      # 0x1928d
jmp 0xcda9
movq 0x48(%rbx), %rcx
leaq 0xc5c9(%rip), %rdi      # 0x1924b
movl $0x13, %esi
movl $0x1, %edx
callq 0x7280
movq 0x8(%r14), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xc8d7
movq 0x48(%rbx), %rcx
leaq 0xc608(%rip), %rdi      # 0x192be
movl $0x9, %esi
movl $0x1, %edx
callq 0x7280
movq 0x8(%r14), %rsi
movq %rbx, %rdi
callq 0xc8d7
movq 0x48(%rbx), %rsi
movl $0x5d, %edi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x7150
movq 0x48(%rbx), %rcx
leaq 0xc567(%rip), %rdi      # 0x1925f
movl $0x10, %esi
movl $0x1, %edx
callq 0x7280
movq 0x8(%r14), %rsi
movq %rbx, %rdi
callq 0xced9
movq 0x10(%r14), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0xced9
movq 0x48(%rbx), %rcx
leaq 0xc577(%rip), %rdi      # 0x192af
movl $0xe, %esi
jmp 0xcdae
movq 0x48(%rbx), %rcx
leaq 0xc553(%rip), %rdi      # 0x1929d
movl $0x11, %esi
jmp 0xcdae
movq 0x48(%rbx), %rcx
leaq 0xc524(%rip), %rdi      # 0x19280
movl $0xc, %esi
jmp 0xcdae
movq 0x48(%rbx), %rcx
leaq 0xc4ce(%rip), %rdi      # 0x1923c
movl $0xe, %esi
movl $0x1, %edx
callq 0x7280
incl 0x40(%rbx)
movq 0x8(%r14), %rsi
movq %rbx, %rdi
callq 0xc1eb
decl 0x40(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x48(%rbx), %rcx
leaq 0xc4c7(%rip), %rdi      # 0x19270
movl $0xf, %esi
movl $0x1, %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x7280