//------------------------------------------------------------------------ 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); }