// File: /workspace/github_c_makefile_star2_O2/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 $0x68, %rsp
movq %rsi, %r15
movq %rdi, %r14
leaq 0xf6bb0(%rip), %rax     # 0x117dd0
movq (%rax), %rsi
leaq 0x8(%rsp), %rbx
movq %rbx, %rdi
callq 0x717f5
andq $0x0, 0x10(%rbx)
leaq 0x8cbb9(%rip), %rsi     # 0xaddf5
movq %r15, %rdi
xorl %eax, %eax
callq 0xd600
testq %rax, %rax
jne 0x212e5
movabsq $-0x503db0e6e1c2e704, %r12 # imm = 0xAFC24F191E3D18FC
xorl %eax, %eax
callq 0x8eb65
leaq 0x8(%rsp), %rbx
movq %rbx, %rdi
xorl %esi, %esi
movq %r12, %rdx
movq %rax, %rcx
callq 0x71967
movq %rax, %r13
callq 0x2637f
movabsq $-0x7850996cdf80346a, %rdx # imm = 0x87AF6693207FCB96
movq %rbx, %rdi
xorl %esi, %esi
movq %rax, %rcx
callq 0x71967
movq %rax, %rbp
callq 0xe090
movabsq $-0x641110359430e9c5, %rdx # imm = 0x9BEEEFCA6BCF163B
movq %rbx, %rdi
xorl %esi, %esi
movq %rax, %rcx
callq 0x71967
movq %rax, %r12
leaq 0x8cb3b(%rip), %rsi     # 0xaddf8
movq %r15, %rdi
movq %r13, %rdx
xorl %eax, %eax
callq 0xd600
testq %rax, %rax
jne 0x212e5
leaq 0x8d5f2(%rip), %rsi     # 0xae8c8
movq %r15, %rdi
xorl %eax, %eax
callq 0xd600
testq %rax, %rax
je 0x21304
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x71b64
movq %rbx, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x8(%r13), %rsi
leaq 0x8caf5(%rip), %rdi     # 0xade04
xorl %eax, %eax
callq 0x5fc08
movq %r13, %rsi
xorl %eax, %eax
callq 0x21530
leaq 0x8(%rsp), %rdi
xorl %esi, %esi
movq %rax, %rdx
callq 0x71a90
movq %r14, %rdi
movq %rax, %rsi
movq %rbp, %rdx
movq %r12, %rcx
callq 0x1fc8a
testq %rax, %rax
je 0x21367
leaq 0xf6a9c(%rip), %rax     # 0x117de8
movq (%rax), %rdi
callq 0x608fd
leaq 0xa5270(%rip), %rdi     # 0xc65cb
xorl %eax, %eax
callq 0x5fc08
jmp 0x2151f
leaq 0x38(%rsp), %rbx
movq %rbx, (%rsp)
leaq 0x8(%rsp), %rsi
movq %rbx, %rdi
callq 0x717f5
movq $0x1, 0x10(%rbx)
cmpq $0x0, 0x10(%r13)
je 0x214e8
movq %rbp, %rdi
callq 0x20a1d
leaq 0x38(%rsp), %rdi
pushq $0x1
popq %rsi
movabsq $-0x503db0e6e1c2e704, %rdx # imm = 0xAFC24F191E3D18FC
movq %rax, %rcx
callq 0x71967
movq 0x8(%rax), %rsi
leaq 0x8ca77(%rip), %rdi     # 0xade34
xorl %eax, %eax
callq 0x5fc08
cmpq $0x0, 0x8(%r12)
je 0x21506
movq %r12, %rbx
leaq 0x8ca68(%rip), %rdi     # 0xade42
xorl %eax, %eax
callq 0x5fc08
movq 0x10(%r12), %rdi
callq 0x1c2fb
leaq 0x8ca6d(%rip), %rdi     # 0xade5f
movq %rax, %rsi
xorl %eax, %eax
callq 0x5fc08
movq 0x8(%r12), %rsi
movq %r14, %rdi
callq 0x1cf9d
leaq 0x8ca69(%rip), %rdi     # 0xade79
movq %rax, %rsi
xorl %eax, %eax
callq 0x5fc08
movq 0x20(%r12), %rsi
leaq 0x8ca6d(%rip), %rdi     # 0xade93
xorl %eax, %eax
callq 0x5fc08
leaq 0x8ca79(%rip), %rdi     # 0xadead
xorl %eax, %eax
callq 0x5fc08
cmpb $0x1, 0x28(%r12)
jne 0x21451
leaq 0x88e81(%rip), %rdi     # 0xaa2cb
xorl %eax, %eax
callq 0x5fc08
cmpb $0x1, 0x29(%rbx)
jne 0x21465
leaq 0x88e7c(%rip), %rdi     # 0xaa2da
xorl %eax, %eax
callq 0x5fc08
cmpb $0x1, 0x2a(%rbx)
jne 0x21479
leaq 0x88e73(%rip), %rdi     # 0xaa2e5
xorl %eax, %eax
callq 0x5fc08
cmpb $0x1, 0x2b(%rbx)
jne 0x2148d
leaq 0x88fb6(%rip), %rdi     # 0xaa43c
xorl %eax, %eax
callq 0x5fc08
cmpb $0x1, 0x2c(%rbx)
jne 0x214a1
leaq 0x88f9b(%rip), %rdi     # 0xaa435
xorl %eax, %eax
callq 0x5fc08
cmpb $0x1, 0x2d(%rbx)
jne 0x214b5
leaq 0x8ca11(%rip), %rdi     # 0xadebf
xorl %eax, %eax
callq 0x5fc08
cmpb $0x1, 0x2e(%rbx)
jne 0x214c9
leaq 0x8ca04(%rip), %rdi     # 0xadec6
xorl %eax, %eax
callq 0x5fc08
leaq 0xa50fb(%rip), %rbx     # 0xc65cb
cmpb $0x1, 0x2f(%r12)
jne 0x2150d
leaq 0x8c9f4(%rip), %rdi     # 0xaded3
xorl %eax, %eax
callq 0x5fc08
jmp 0x2150d
leaq 0x8c92d(%rip), %rsi     # 0xade1c
movq %r15, %rdi
xorl %eax, %eax
callq 0xd7c4
movq %rax, %rbx
leaq 0x38(%rsp), %rdi
jmp 0x212ed
leaq 0x8c9d0(%rip), %rbx     # 0xadedd
movq %rbx, %rdi
xorl %eax, %eax
callq 0x5fc08
movq %rsp, %rdi
callq 0x71b48
leaq 0x8(%rsp), %rdi
callq 0x71b64
xorl %ebx, %ebx
jmp 0x212f2