//------------------------------------------------------------------------
int notmain ( void )
{
unsigned int ra;
unsigned int rb;
unsigned int rc;
unsigned int rd;
unsigned int re;
uart_send(0x0D);
uart_send(0x0A);
uart_send(0x0A);
rd=0x0432;
re=0x0137;
for(ra=0;ra<4;ra++)
{
for(rb=0;rb<4;rb++)
{
rc=atest(ra<<30,rb<<30);
show_op(ra);
show_op(rb);
if(rc&1) uart_send(0x31); else uart_send(0x30);
if(rd&0x8000) uart_send(0x31); else uart_send(0x30);
rd<<=1;
uart_send(0x20);
if(rc&2) uart_send(0x31); else uart_send(0x30);
if(re&0x8000) uart_send(0x31); else uart_send(0x30);
re<<=1;
uart_send(0x0D);
uart_send(0x0A);
}
}
uart_send(0x0D);
uart_send(0x0A);
uart_send(0x0A);
rd=0x2340;
re=0x8CEF;
for(ra=0;ra<4;ra++)
{
for(rb=0;rb<4;rb++)
{
rc=stest(ra<<30,rb<<30);
show_op(ra);
show_op(rb);
if(rc&1) uart_send(0x31); else uart_send(0x30);
if(rd&0x8000) uart_send(0x31); else uart_send(0x30);
rd<<=1;
uart_send(0x20);
if(rc&2) uart_send(0x31); else uart_send(0x30);
if(re&0x8000) uart_send(0x31); else uart_send(0x30);
re<<=1;
rc=ra-rb;
if(rc&4) uart_send(0x30); else uart_send(0x31);
uart_send(0x0D);
uart_send(0x0A);
}
}
uart_send(0x0D);
uart_send(0x0A);
uart_send(0x0A);
return(0);
}
fiber_main ifc_test_read_event(fiber_main_attr, rcd_fid_t event_fid, uint64_t expected_event_count) {
uint64_t ev_count = ifc_event_wait(event_fid);
atest(ev_count == expected_event_count);
ifc_event_trigger(event_fid, ev_count * 2);
}
