// File: /workspace/github_c_makefile_star2_O1/johsteffens[P]beth/xoico/src/xoico.xo.c
// Function: xoico_che_s_inspect_expression
er_t xoico_che_s_inspect_expression( xoico_che_s* o, x_source* source )
{
    // xoico_che.x:1707:1
    BLM_INIT_LEVEL(0);
    BLM_TRY(x_source_parse_fa(source,"\?\?" ))
    
    st_s* st = ((st_s*)BLM_LEVEL_T_PUSH(0,st_s,st_s_create()));
    xoico_che_result_arr_s* result_local = ((xoico_che_result_arr_s*)BLM_LEVEL_T_PUSH(0,xoico_che_result_arr_s,xoico_che_result_arr_s_create()));
    xoico_typespec_s* typespec = ((xoico_typespec_s*)BLM_LEVEL_T_PUSH(0,xoico_typespec_s,xoico_typespec_s_create()));
    BLM_TRY(x_source_parse_fa(source," #until';' ", st ))
    BLM_TRY(x_source_parse_fa(source,";" ))
    bcore_msg_fa( " \?? #<sc_t>;\n", st->sc );
    if( xoico_che_s_trans_expression(o,((x_source*)BLM_LEVEL_A_PUSH(0,x_source_create_from_fa("#<st_s*>;", st ))),((xoico_che_result*)( result_local)), typespec ) )
    {
        bcore_error_pop_to_sink(((bcore_sink*)(((x_sink*)(x_sink_stdout())) )));
        bcore_msg_fa( "\n" );
    }
    else
    {BLM_INIT_LEVEL(1);
        if( st->size == 0 ) BLM_RETURNV(er_t, x_source_parse_error_fa(source,"Variable name expected." ))
        bcore_msg_fa( "--> #<sc_t>;\n", ((st_s*)BLM_LEVEL_T_PUSH(1,st_s,xoico_che_result_a_create_st(((const xoico_che_result*)(result_local)))))->sc );
    
        if( typespec->type )
        {
            bcore_msg_fa( "Expression yields typespec:\n" );
            bcore_msg_fa( "  access_class : #<sc_t>\n",  ifnameof( typespec->access_class ) );
            bcore_msg_fa( "  type         : #<sc_t>\n", xoico_che_s_nameof(o,typespec->type ) );
            bcore_msg_fa( "  indirection  : #<sz_t>\n", typespec->indirection );
            bcore_msg_fa( "  flags        : " );
            if( typespec->flag_static   ) bcore_msg_fa( "static " );
            if( typespec->flag_volatile ) bcore_msg_fa( "volatile " );
            if( typespec->flag_restrict ) bcore_msg_fa( "restrict " );
            if( typespec->flag_obliv    ) bcore_msg_fa( "obliv " );
            if( typespec->flag_aware    ) bcore_msg_fa( "aware " );
            if( typespec->flag_scope    ) bcore_msg_fa( "scope " );
            if( typespec->flag_addressable ) bcore_msg_fa( "addressable " );
            if( typespec->flag_variadic ) bcore_msg_fa( "variadic " );
            bcore_msg_fa( "\n" );
        }
        else
        {
            bcore_msg_fa( "Expression does not yield a typespec.\n" );
        }
    BLM_DOWN();}
    BLM_RETURNV(er_t, 0)
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x78, %rsp
movq %rsi, %r12
movq %rdi, %r15
leaq 0x167f1c(%rip), %rax    # 0x1a8dd0
movq (%rax), %rsi
leaq 0x18(%rsp), %rbx
movq %rbx, %rdi
callq 0xe0431
movq $0x0, 0x10(%rbx)
leaq 0xfaf22(%rip), %rsi     # 0x13bdf5
movq %r12, %rdi
xorl %eax, %eax
callq 0xda10
movq %rax, %r13
testq %rax, %rax
je 0x40ef4
leaq 0x18(%rsp), %rdi
callq 0xe0b30
jmp 0x40fb6
movabsq $-0x503db0e6e1c2e704, %r14 # imm = 0xAFC24F191E3D18FC
xorl %eax, %eax
callq 0x114bbb
leaq 0x18(%rsp), %rbx
movq %rbx, %rdi
xorl %esi, %esi
movq %r14, %rdx
movq %rax, %rcx
callq 0xe0676
movq %rax, %rbp
callq 0x4c277
movabsq $-0x7850996cdf80346a, %rdx # imm = 0x87AF6693207FCB96
movq %rbx, %rdi
xorl %esi, %esi
movq %rax, %rcx
callq 0xe0676
movq %rax, %r14
callq 0x10060
movabsq $-0x641110359430e9c5, %rdx # imm = 0x9BEEEFCA6BCF163B
movq %rbx, %rdi
xorl %esi, %esi
movq %rax, %rcx
callq 0xe0676
movq %rax, 0x10(%rsp)
leaq 0xfae94(%rip), %rsi     # 0x13bdf8
movq %r12, %rdi
movq %rbp, %rdx
xorl %eax, %eax
callq 0xda10
movq %rax, %rbx
testq %rax, %rax
je 0x40f86
leaq 0x18(%rsp), %rdi
callq 0xe0b30
movq %rbx, %r13
testq %rbx, %rbx
jne 0x40fb6
leaq 0xfb936(%rip), %rsi     # 0x13c8c8
movq %r12, %rdi
xorl %eax, %eax
callq 0xda10
movq %rax, %rbx
testq %rax, %rax
je 0x40fb1
leaq 0x18(%rsp), %rdi
callq 0xe0b30
movq %rbx, %r13
testq %rbx, %rbx
je 0x40fc8
movq %r13, %rax
addq $0x78, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x8(%rbp), %rsi
leaq 0xfae31(%rip), %rdi     # 0x13be04
xorl %eax, %eax
callq 0xc7ec8
movq %rbp, %rsi
xorl %eax, %eax
callq 0x41207
leaq 0x18(%rsp), %rdi
xorl %esi, %esi
movq %rax, %rdx
callq 0xe0900
movq %r15, %rdi
movq %rax, %rsi
movq %r14, %rdx
movq 0x10(%rsp), %rcx
callq 0x3dbae
testq %rax, %rax
je 0x41030
leaq 0x167dd6(%rip), %rax    # 0x1a8de8
movq (%rax), %rdi
callq 0xc8af2
leaq 0x1126cd(%rip), %rdi    # 0x1536ee
xorl %r13d, %r13d
xorl %eax, %eax
callq 0xc7ec8
jmp 0x40ee5
leaq 0x48(%rsp), %rdi
movq %rdi, 0x8(%rsp)
leaq 0x18(%rsp), %rsi
callq 0xe0431
movq 0x8(%rsp), %rbx
movq $0x1, 0x10(%rbx)
movq 0x10(%rbp), %rbp
testq %rbp, %rbp
je 0x411bb
movq %r14, %rdi
callq 0x3ff76
movl $0x1, %esi
movq %rbx, %rdi
movabsq $-0x503db0e6e1c2e704, %rdx # imm = 0xAFC24F191E3D18FC
movq %rax, %rcx
callq 0xe0676
movq 0x8(%rax), %rsi
leaq 0xfada9(%rip), %rdi     # 0x13be34
xorl %eax, %eax
callq 0xc7ec8
movq 0x10(%rsp), %rbx
cmpq $0x0, 0x8(%rbx)
je 0x411db
leaq 0xfad99(%rip), %rdi     # 0x13be42
xorl %eax, %eax
callq 0xc7ec8
movq 0x10(%rbx), %rdi
callq 0xe0cbc
testq %rax, %rax
leaq 0x11262c(%rip), %rsi    # 0x1536ef
cmovneq %rax, %rsi
leaq 0xfad91(%rip), %rdi     # 0x13be5f
xorl %eax, %eax
callq 0xc7ec8
movq 0x8(%rbx), %rsi
movq %r15, %rdi
callq 0x3417e
leaq 0xfad91(%rip), %rdi     # 0x13be79
movq %rax, %rsi
xorl %eax, %eax
callq 0xc7ec8
movq 0x20(%rbx), %rsi
leaq 0xfad96(%rip), %rdi     # 0x13be93
xorl %eax, %eax
callq 0xc7ec8
leaq 0xfada2(%rip), %rdi     # 0x13bead
xorl %eax, %eax
callq 0xc7ec8
cmpb $0x1, 0x28(%rbx)
jne 0x41126
leaq 0xf71ac(%rip), %rdi     # 0x1382cb
xorl %eax, %eax
callq 0xc7ec8
cmpb $0x1, 0x29(%rbx)
jne 0x4113a
leaq 0xf71a7(%rip), %rdi     # 0x1382da
xorl %eax, %eax
callq 0xc7ec8
cmpb $0x1, 0x2a(%rbx)
jne 0x4114e
leaq 0xf719e(%rip), %rdi     # 0x1382e5
xorl %eax, %eax
callq 0xc7ec8
cmpb $0x1, 0x2b(%rbx)
jne 0x41162
leaq 0xf72e1(%rip), %rdi     # 0x13843c
xorl %eax, %eax
callq 0xc7ec8
cmpb $0x1, 0x2c(%rbx)
jne 0x41176
leaq 0xf72c6(%rip), %rdi     # 0x138435
xorl %eax, %eax
callq 0xc7ec8
cmpb $0x1, 0x2d(%rbx)
jne 0x4118a
leaq 0xfad3c(%rip), %rdi     # 0x13bebf
xorl %eax, %eax
callq 0xc7ec8
cmpb $0x1, 0x2e(%rbx)
jne 0x4119e
leaq 0xfad2f(%rip), %rdi     # 0x13bec6
xorl %eax, %eax
callq 0xc7ec8
leaq 0x112549(%rip), %r14    # 0x1536ee
cmpb $0x1, 0x2f(%rbx)
jne 0x411e2
leaq 0xfad21(%rip), %rdi     # 0x13bed3
xorl %eax, %eax
callq 0xc7ec8
jmp 0x411e2
leaq 0xfac5a(%rip), %rsi     # 0x13be1c
movq %r12, %rdi
xorl %eax, %eax
callq 0xddb2
movq %rax, %r13
movq 0x8(%rsp), %rdi
callq 0xe0b30
jmp 0x411f6
leaq 0xfacfb(%rip), %r14     # 0x13bedd
movq %r14, %rdi
xorl %eax, %eax
callq 0xc7ec8
leaq 0x8(%rsp), %rdi
callq 0xe0b11
testq %rbp, %rbp
je 0x40fb6
xorl %r13d, %r13d
jmp 0x40ee5