// File: /workspace/github_c_makefile_star2_O0/johsteffens[P]beth/xoico/src/xoico.xo.c
// Function: xoico_typespec_is_numeric
bl_t xoico_typespec_is_numeric( tp_t type )
{
    // xoico_typespec.x:304:1
    
    switch( type )
    {
        case ((tp_t)(TYPEOF_u0_t)): return  true;
        case ((tp_t)(TYPEOF_u1_t)): return  true;
        case ((tp_t)(TYPEOF_u2_t)): return  true;
        case ((tp_t)(TYPEOF_u3_t)): return  true;
        case ((tp_t)(TYPEOF_s0_t)): return  true;
        case ((tp_t)(TYPEOF_s1_t)): return  true;
        case ((tp_t)(TYPEOF_s2_t)): return  true;
        case ((tp_t)(TYPEOF_s3_t)): return  true;
        case ((tp_t)(TYPEOF_f2_t)): return  true;
        case ((tp_t)(TYPEOF_f3_t)): return  true;
        case ((tp_t)(TYPEOF_sz_t)): return  true;
        case ((tp_t)(TYPEOF_uz_t)): return  true;
        case ((tp_t)(TYPEOF_tp_t)): return  true;
        case ((tp_t)(TYPEOF_aware_t)): return  true;
        case ((tp_t)(TYPEOF_er_t)): return  true;
        case ((tp_t)(TYPEOF_bl_t)): return  true;
        case ((tp_t)(TYPEOF_char)): return  true;
        case ((tp_t)(TYPEOF_int)):    return  true;
        case ((tp_t)(TYPEOF_long)):   return  true;
        case ((tp_t)(TYPEOF_float)):  return  true;
        case ((tp_t)(TYPEOF_double)): return  true;
        default: break;
    }
    return  false;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x18(%rbp)
movabsq $-0x73f6ae1ad309fd45, %rcx # imm = 0x8C0951E52CF602BB
subq %rcx, %rax
je 0x72f5
jmp 0x7115
movq -0x18(%rbp), %rax
movabsq $-0x6bce971ace902370, %rcx # imm = 0x943168E5316FDC90
subq %rcx, %rax
je 0x72fb
jmp 0x712e
movq -0x18(%rbp), %rax
movabsq $-0x6119581ac7eacd63, %rcx # imm = 0x9EE6A7E53815329D
subq %rcx, %rax
je 0x7301
jmp 0x7147
movq -0x18(%rbp), %rax
movabsq $-0x5ff59d56bd4dfe9b, %rcx # imm = 0xA00A62A942B20165
subq %rcx, %rax
je 0x7367
jmp 0x7160
movq -0x18(%rbp), %rax
movabsq $-0x5fc2af85f419929b, %rcx # imm = 0xA03D507A0BE66D65
subq %rcx, %rax
je 0x732b
jmp 0x7179
movq -0x18(%rbp), %rax
movabsq $-0x5f77f5631ece2158, %rcx # imm = 0xA0880A9CE131DEA8
subq %rcx, %rax
je 0x736d
jmp 0x7192
movq -0x18(%rbp), %rax
movabsq $-0x5aa4411ac4e2880e, %rcx # imm = 0xA55BBEE53B1D77F2
subq %rcx, %rax
je 0x7307
jmp 0x71ab
movq -0x18(%rbp), %rax
movabsq $-0x58737885f0577326, %rcx # imm = 0xA78C877A0FA88CDA
subq %rcx, %rax
je 0x7325
jmp 0x71c4
movq -0x18(%rbp), %rax
movabsq $-0x4db4989f9014f113, %rcx # imm = 0xB24B67606FEB0EED
subq %rcx, %rax
je 0x7349
jmp 0x71dd
movq -0x18(%rbp), %rax
movabsq $-0x4882601bdca6aefb, %rcx # imm = 0xB77D9FE423595105
subq %rcx, %rax
je 0x7337
jmp 0x71f6
movq -0x18(%rbp), %rax
movabsq $-0x3f1363e6d8155aed, %rcx # imm = 0xC0EC9C1927EAA513
subq %rcx, %rax
je 0x7331
jmp 0x720f
movq -0x18(%rbp), %rax
movabsq $-0x3ac242643d9c35a8, %rcx # imm = 0xC53DBD9BC263CA58
subq %rcx, %rax
je 0x734f
jmp 0x7228
movq -0x18(%rbp), %rax
movabsq $-0x388c46b188de83fe, %rcx # imm = 0xC773B94E77217C02
subq %rcx, %rax
je 0x7343
jmp 0x7241
movq -0x18(%rbp), %rax
movabsq $-0x321736528f2e98cd, %rcx # imm = 0xCDE8C9AD70D16733
subq %rcx, %rax
je 0x7361
jmp 0x725a
movq -0x18(%rbp), %rax
movabsq $-0xd5c6c6ef4a4c143, %rcx # imm = 0xF2A393910B5B3EBD
subq %rcx, %rax
je 0x7355
jmp 0x7273
movq -0x18(%rbp), %rax
movabsq $0x2b9fff192bd4c83e, %rcx # imm = 0x2B9FFF192BD4C83E
subq %rcx, %rax
je 0x735b
jmp 0x728c
movq -0x18(%rbp), %rax
movabsq $0x510c2417c67dabeb, %rcx # imm = 0x510C2417C67DABEB
subq %rcx, %rax
je 0x7319
jmp 0x72a1
movq -0x18(%rbp), %rax
movabsq $0x585a3b17ca3de200, %rcx # imm = 0x585A3B17CA3DE200
subq %rcx, %rax
je 0x731f
jmp 0x72b6
movq -0x18(%rbp), %rax
movabsq $0x62367a17d02b474d, %rcx # imm = 0x62367A17D02B474D
subq %rcx, %rax
je 0x730d
jmp 0x72cb
movq -0x18(%rbp), %rax
movabsq $0x69849117d3eb7d62, %rcx # imm = 0x69849117D3EB7D62
subq %rcx, %rax
je 0x7313
jmp 0x72e0
movq -0x18(%rbp), %rax
movabsq $0x6d07f9ef5b68e8a2, %rcx # imm = 0x6D07F9EF5B68E8A2
subq %rcx, %rax
je 0x733d
jmp 0x7373
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
movb $0x1, -0x1(%rbp)
jmp 0x7379
jmp 0x7375
movb $0x0, -0x1(%rbp)
movb -0x1(%rbp), %al
andb $0x1, %al
popq %rbp
retq