// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/xoico/src/xoico.xo.c
// Function: xoico_typespec_s_get_hash
tp_t xoico_typespec_s_get_hash( const xoico_typespec_s* o )
{
    // xoico_typespec.x:200:1
    
    tp_t hash = bcore_tp_fold_tp( bcore_tp_init(), o->_ );
    hash = bcore_tp_fold_tp( hash, o->type );
    hash = bcore_tp_fold_tp( hash, o->access_class );
    hash = bcore_tp_fold_tp( hash, o->transient ? xoico_typespec_transient_s_get_hash(o->transient) : 0 );
    hash = bcore_tp_fold_bl( hash, o->flag_static );
    hash = bcore_tp_fold_bl( hash, o->flag_volatile );
    hash = bcore_tp_fold_bl( hash, o->flag_restrict );
    hash = bcore_tp_fold_bl( hash, o->flag_scope );
    hash = bcore_tp_fold_u3( hash, o->indirection );
    return  hash;
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq (%rdi), %r12
movq 0x8(%rdi), %r15
movq 0x10(%rdi), %r14
movq 0x18(%rdi), %rdi
testq %rdi, %rdi
je 0x1174b
callq 0xfd09
jmp 0x1174d
xorl %eax, %eax
movl $0xff, %ecx
movq %r14, %rdi
andq %rcx, %rdi
movq %r15, %r8
andq %rcx, %r8
movq %r12, %rdx
andq %rcx, %rdx
movabsq $-0x340d631b7bdddcdb, %r9 # imm = 0xCBF29CE484222325
xorq %rdx, %r9
movabsq $0x100000001b3, %rdx    # imm = 0x100000001B3
imulq %rdx, %r9
movl %r12d, %r10d
shrl $0x8, %r10d
movl $0xff, %esi
andl %esi, %r10d
xorq %r9, %r10
imulq %rdx, %r10
movl %r12d, %r9d
shrl $0x10, %r9d
andl %esi, %r9d
xorq %r10, %r9
imulq %rdx, %r9
movl %r12d, %r10d
shrl $0x18, %r10d
xorq %r9, %r10
imulq %rdx, %r10
movq %r12, %r9
shrq $0x20, %r9
andq %rcx, %r9
xorq %r10, %r9
imulq %rdx, %r9
movq %r12, %r10
shrq $0x28, %r10
andq %rcx, %r10
xorq %r9, %r10
imulq %rdx, %r10
movq %r12, %r9
shrq $0x30, %r9
andq %rcx, %r9
xorq %r10, %r9
imulq %rdx, %r9
shrq $0x38, %r12
xorq %r9, %r12
imulq %rdx, %r12
xorq %r8, %r12
imulq %rdx, %r12
movl %r15d, %r8d
shrl $0x8, %r8d
andl %esi, %r8d
xorq %r12, %r8
imulq %rdx, %r8
movl %r15d, %r9d
shrl $0x10, %r9d
andl %esi, %r9d
xorq %r8, %r9
imulq %rdx, %r9
movl %r15d, %r8d
shrl $0x18, %r8d
xorq %r9, %r8
imulq %rdx, %r8
movq %r15, %r9
shrq $0x20, %r9
andq %rcx, %r9
xorq %r8, %r9
imulq %rdx, %r9
movq %r15, %r8
shrq $0x28, %r8
andq %rcx, %r8
xorq %r9, %r8
imulq %rdx, %r8
movq %r15, %r9
shrq $0x30, %r9
andq %rcx, %r9
xorq %r8, %r9
imulq %rdx, %r9
shrq $0x38, %r15
xorq %r9, %r15
imulq %rdx, %r15
xorq %rdi, %r15
imulq %rdx, %r15
movl %r14d, %edi
shrl $0x8, %edi
andl %esi, %edi
xorq %r15, %rdi
imulq %rdx, %rdi
movl %r14d, %r8d
shrl $0x10, %r8d
andl %esi, %r8d
xorq %rdi, %r8
imulq %rdx, %r8
movl %r14d, %edi
shrl $0x18, %edi
xorq %r8, %rdi
imulq %rdx, %rdi
movq %r14, %r8
shrq $0x20, %r8
andq %rcx, %r8
xorq %rdi, %r8
imulq %rdx, %r8
movq %r14, %rdi
shrq $0x28, %rdi
andq %rcx, %rdi
xorq %r8, %rdi
imulq %rdx, %rdi
movq %r14, %r8
shrq $0x30, %r8
andq %rcx, %r8
xorq %rdi, %r8
imulq %rdx, %r8
shrq $0x38, %r14
xorq %r8, %r14
imulq %rdx, %r14
movq %rax, %rdi
andq %rcx, %rdi
xorq %r14, %rdi
imulq %rdx, %rdi
movl %eax, %r8d
shrl $0x8, %r8d
andl %esi, %r8d
xorq %rdi, %r8
imulq %rdx, %r8
movl %eax, %edi
shrl $0x10, %edi
andl %esi, %edi
xorq %r8, %rdi
imulq %rdx, %rdi
movl %eax, %r8d
shrl $0x18, %r8d
xorq %rdi, %r8
imulq %rdx, %r8
movq %rax, %rdi
shrq $0x20, %rdi
andq %rcx, %rdi
xorq %r8, %rdi
imulq %rdx, %rdi
movq %rax, %r8
shrq $0x28, %r8
andq %rcx, %r8
xorq %rdi, %r8
imulq %rdx, %r8
movq %rax, %rdi
shrq $0x30, %rdi
andq %rcx, %rdi
xorq %r8, %rdi
imulq %rdx, %rdi
shrq $0x38, %rax
xorq %rdi, %rax
imulq %rdx, %rax
movzbl 0x28(%rbx), %edi
xorq %rax, %rdi
imulq %rdx, %rdi
movzbl 0x29(%rbx), %eax
xorq %rdi, %rax
imulq %rdx, %rax
movzbl 0x2a(%rbx), %edi
xorq %rax, %rdi
imulq %rdx, %rdi
movzbl 0x2d(%rbx), %r8d
xorq %rdi, %r8
imulq %rdx, %r8
movq 0x20(%rbx), %rax
movq %rax, %rdi
andq %rcx, %rdi
xorq %r8, %rdi
imulq %rdx, %rdi
movl %eax, %r8d
shrl $0x8, %r8d
andl %esi, %r8d
xorq %rdi, %r8
imulq %rdx, %r8
movl %eax, %edi
shrl $0x10, %edi
andl %esi, %edi
xorq %r8, %rdi
imulq %rdx, %rdi
movl %eax, %esi
shrl $0x18, %esi
xorq %rdi, %rsi
imulq %rdx, %rsi
movq %rax, %rdi
shrq $0x20, %rdi
andq %rcx, %rdi
xorq %rsi, %rdi
imulq %rdx, %rdi
movq %rax, %rsi
shrq $0x28, %rsi
andq %rcx, %rsi
xorq %rdi, %rsi
imulq %rdx, %rsi
movq %rax, %rdi
shrq $0x30, %rdi
andq %rcx, %rdi
xorq %rsi, %rdi
imulq %rdx, %rdi
shrq $0x38, %rax
xorq %rdi, %rax
imulq %rdx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq