int str0_getline(str0 *s,limitmalloc_pool *pool) { char c; int pos; if (!str0_copyc(s,pool,"")) return -1; pos = 0; for (;;) { if (scanf("%c",&c) < 1) { if (ferror(stdin)) return -2; buf[pos] = 0; if (!str0_concatc(s,pool,buf)) return -1; if (!str0_length(s)) return 0; return 1; } if (c == '\n') { buf[pos] = 0; if (!str0_concatc(s,pool,buf)) return -1; return 2; } if (c == 0) c = '\n'; buf[pos++] = c; if (pos == 128) { buf[pos] = 0; /* redundant */ if (!str0_concatc(s,pool,buf)) return -1; pos = 0; } } }
int findentries2(void) { switch(findentries2_state) { case 0: if (!str0_copy(&n,0,&inputfield)) return -1; if (!str0_copy(&next,0,&inputfield)) return -1; if (!str0_increment(&next,0)) return -1; findentries2_state = 1; return 1; case 1: if (str0_equalc(&inputfield,"leave")) { findentries2_state = 20; return 1; } if (str0_equalc(&inputfield,"goto")) { findentries2_state = 30; return 1; } if (!str0_copy(&key,0,&n)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&next)) return -1; if (!critbit0_insert(&nextinsn,0,&key)) return -1; if (str0_equalc(&inputfield,"maybegoto")) { findentries2_state = 30; return 1; } if (str0_equalc(&inputfield,"enter")) { findentries2_state = 10; return 1; } break; case 10: if (!critbit0_insert(&blockbegins,0,&n)) return -1; if (!critbit0_insert(&entries,0,&n)) return -1; if (critbit0_allprefixed(&inputregs,0,&v,&empty,findentries3) < 1) nomem(); break; case 20: if (!critbit0_insert(&exits,0,&n)) return -1; if (critbit0_allprefixed(&outputregs,0,&v,&empty,findexits3) < 1) nomem(); break; case 30: if (!critbit0_insert(&blockbegins,0,&next)) return -1; if (!str0_copy(&key,0,&inputfield)) return -1; if (!str0_concatc(&key,0,":")) return -1; switch(critbit0_firstprefixed(&labels,0,&next,&key)) { case 1: break; case 0: if (!str0_copyc(&outputline,0,"error:unknown label ")) return -1; if (!str0_concat(&outputline,0,&key)) return -1; if (!str0_concat(&outputline,0,&inputline)) return -1; str0_putline(&outputline); return 0; default: return -1; } if (!critbit0_insert(&blockbegins,0,&next)) return -1; if (!str0_copy(&key,0,&n)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&next)) return -1; if (!critbit0_insert(&nextinsn,0,&key)) return -1; } return 0; }
int allocate_alive(void) { if (!str0_copy(&key,0,&x)) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (critbit0_firstprefixed(&values,0,&y,&key) < 1) return -1; if (critbit0_contains(&livevalues,&y)) return 1; if (!str0_copy(&key,0,&v)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (critbit0_firstprefixed(&vtypes,0,&type,&key) < 1) return -1; if (str0_equalc(&type,"flags")) return 1; /* XXX */ if (allocate_state == 1) { if (!str0_copy(&key,0,&type)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (critbit0_allprefixed(&livevaluetypes,0,&z,&key,recordconflict) < 1) return -1; } if (!critbit0_insert(&livevalues,0,&y)) return -1; if (!str0_copy(&key,0,&type)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&y)) return -1; if (!critbit0_insert(&livevaluetypes,0,&key)) return -1; if (allocate_state == 2) { switch(critbit0_insert(&allocated,0,&y)) { case 2: break; case 1: if (!str0_copy(&key,0,&y)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (critbit0_firstprefixed(&allocations,0,&z,&key) < 1) return -1; if (critbit0_contains(&liveregs,&z)) { if (!str0_copyc(&outputline,0,"error:internal register misassignment:")) return -1; if (!str0_concat(&outputline,0,&z)) return -1; str0_putline(&outputline); } if (!critbit0_insert(&liveregs,0,&z)) return -1; if (str0_equalc(&type,"float80")) { if (!str0_copy(&key,0,&v)) return -1; if (!str0_concatc(&key,0,"#")) return -1; if (!str0_concat(&key,0,&y)) return -1; if (!str0_concatc(&key,0,"=")) return -1; if (!str0_concat(&key,0,&z)) return -1; if (!critbit0_insert(&livefloat80regs,0,&key)) return -1; } return 1; default: return -1; } if (!str0_copyc(&r,0,"1")) return -1; for (;;) { if (!str0_copy(&key,0,&type)) return -1; if (!str0_concatc(&key,0,"#")) return -1; if (!str0_concat(&key,0,&r)) return -1; if (!critbit0_contains(&liveregs,&key)) { if (!str0_copy(&key,0,&y)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&type)) return -1; if (!str0_concatc(&key,0,"#")) return -1; if (!str0_concat(&key,0,&r)) return -1; if (!critbit0_contains(&avoidregs,&key)) break; } if (!str0_increment(&r,0)) return -1; } if (!str0_copy(&key,0,&type)) return -1; if (!str0_concatc(&key,0,"#")) return -1; if (!str0_concat(&key,0,&r)) return -1; if (!critbit0_insert(&liveregs,0,&key)) return -1; if (str0_equalc(&type,"float80")) { if (!str0_copy(&z,0,&v)) return -1; if (!str0_concatc(&z,0,"#")) return -1; if (!str0_concat(&z,0,&y)) return -1; if (!str0_concatc(&z,0,"=")) return -1; if (!str0_concat(&z,0,&key)) return -1; if (!critbit0_insert(&livefloat80regs,0,&z)) return -1; } if (!str0_copy(&key,0,&y)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&type)) return -1; if (!str0_concatc(&key,0,"#")) return -1; if (!str0_concat(&key,0,&r)) return -1; if (!critbit0_insert(&allocations,0,&key)) return -1; if (!str0_copy(&key,0,&y)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_copy(&u,0,&type)) return -1; if (!str0_concatc(&u,0,"#")) return -1; if (!str0_concat(&u,0,&r)) return -1; if (critbit0_allprefixed(&conflicts,0,&z,&key,followconflict) < 1) return -1; return 1; } return 1; }
int findblocks_read(void) { if (!str0_copy(&key,0,&n)) return -1; if (!str0_concatc(&key,0,"<")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!critbit0_insert(&reads,0,&key)) return -1; if (!str0_copy(&key,0,&inputfield)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!str0_concatc(&key,0,":")) return -1; switch(critbit0_firstprefixed(&blockread,0,&x,&key)) { case 1: if (!str0_concat(&key,0,&x)) return -1; critbit0_delete(&blockread,0,&key); if (!str0_copy(&key,0,&x)) return -1; if (!str0_concatc(&key,0,"<")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&n)) return -1; if (!str0_concatc(&key,0,"<")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!critbit0_insert(&usegraph,0,&key)) return -1; if (!critbit0_insert(&assignusegraph,0,&key)) return -1; if (!str0_copy(&key,0,&n)) return -1; if (!str0_concatc(&key,0,"<")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&x)) return -1; if (!str0_concatc(&key,0,"<")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!critbit0_insert(&assignusegraph,0,&key)) return -1; break; case 0: break; default: return -1; } if (!str0_copy(&key,0,&inputfield)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&n)) return -1; if (!critbit0_insert(&blockread,0,&key)) return -1; if (!str0_copy(&key,0,&inputfield)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!str0_concatc(&key,0,":")) return -1; switch(critbit0_firstprefixed(&blockassigned,0,&x,&key)) { case 1: if (!str0_copy(&key,0,&x)) return -1; if (!str0_concatc(&key,0,">")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&n)) return -1; if (!str0_concatc(&key,0,"<")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!critbit0_insert(&usegraph,0,&key)) return -1; if (!critbit0_insert(&assignusegraph,0,&key)) return -1; if (!str0_copy(&key,0,&n)) return -1; if (!str0_concatc(&key,0,"<")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&x)) return -1; if (!str0_concatc(&key,0,">")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!critbit0_insert(&assignusegraph,0,&key)) return -1; return 1; case 0: break; default: return -1; } if (!str0_copy(&key,0,&inputfield)) return -1; if (!str0_concatc(&key,0,"=")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (critbit0_contains(&blockkilled,&key)) { if (!str0_copyc(&outputline,0,"error:reading dead variable ")) return -1; if (!str0_concat(&outputline,0,&v)) return -1; if (!str0_concatc(&outputline,0,":")) return -1; if (!str0_concat(&outputline,0,&inputline)) return -1; str0_putline(&outputline); return 1; } if (!str0_copy(&key,0,&inputfield)) return -1; if (!str0_concatc(&key,0,"=")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&n)) return -1; if (!str0_concatc(&key,0,"<")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!critbit0_insert(&usegraph,0,&key)) return -1; if (!critbit0_insert(&assignusegraph,0,&key)) return -1; if (!str0_copy(&key,0,&n)) return -1; if (!str0_concatc(&key,0,"<")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&inputfield)) return -1; if (!str0_concatc(&key,0,"=")) return -1; if (!str0_concat(&key,0,&v)) return -1; if (!critbit0_insert(&assignusegraph,0,&key)) return -1; return 1; }
int finduses2(void) { switch(finduses2_state) { case 0: if (!str0_copy(&n,0,&inputfield)) return -1; finduses2_state = 1; return 1; case 1: if (str0_equalc(&inputfield,"inputreg")) { finduses2_state = 10; return 1; } if (str0_equalc(&inputfield,"outputreg")) { finduses2_state = 20; return 1; } if (str0_equalc(&inputfield,"kill")) { finduses2_state = 30; return 1; } if (str0_equalc(&inputfield,"reglimit")) { finduses2_state = 40; return 1; } if (str0_equalc(&inputfield,"op")) { finduses2_state = 50; return 1; } if (str0_equalc(&inputfield,"maybegoto")) { finduses2_state = 50; return 1; } break; case 10: if (!critbit0_insert(&inputregs,0,&inputfield)) return -1; if (!str0_copy(&key,0,&inputfield)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!critbit0_firstprefixed(&vtypes,0,&type,&key)) { if (!str0_copyc(&outputline,0,"error:unknown variable ")) return -1; if (!str0_concat(&outputline,0,&key)) return -1; if (!str0_concat(&outputline,0,&inputline)) return -1; str0_putline(&outputline); return 0; } finduses2_state = 11; return 1; case 11: if (!str0_copy(&x,0,&key)) return -1; if (!str0_concat(&x,0,&inputfield)) return -1; if (!critbit0_insert(&inputregassignments,0,&x)) return -1; break; case 20: if (!critbit0_insert(&outputregs,0,&inputfield)) return -1; if (!str0_copy(&key,0,&inputfield)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!critbit0_firstprefixed(&vtypes,0,&type,&key)) { if (!str0_copyc(&outputline,0,"error:unknown variable ")) return -1; if (!str0_concat(&outputline,0,&key)) return -1; if (!str0_concat(&outputline,0,&inputline)) return -1; str0_putline(&outputline); return 0; } finduses2_state = 21; return 1; case 21: if (!str0_copy(&x,0,&key)) return -1; if (!str0_concat(&x,0,&inputfield)) return -1; if (!critbit0_insert(&outputregassignments,0,&x)) return -1; break; case 30: if (!str0_copy(&key,0,&inputfield)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!critbit0_firstprefixed(&vtypes,0,&type,&key)) { if (!str0_copyc(&outputline,0,"error:unknown variable ")) return -1; if (!str0_concat(&outputline,0,&key)) return -1; if (!str0_concat(&outputline,0,&inputline)) return -1; str0_putline(&outputline); } break; case 40: if (!str0_copy(&key,0,&inputfield)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!critbit0_firstprefixed(&vtypes,0,&type,&key)) { if (!str0_copyc(&outputline,0,"error:unknown variable ")) return -1; if (!str0_concat(&outputline,0,&key)) return -1; if (!str0_concat(&outputline,0,&inputline)) return -1; str0_putline(&outputline); return 0; } if (!str0_copy(®limit,0,&n)) return -1; if (!str0_concatc(®limit,0,"<")) return -1; if (!str0_concat(®limit,0,&inputfield)) return -1; if (!str0_copy(&key,0,&n)) return -1; if (!str0_concatc(&key,0,":<")) return -1; if (!str0_concat(&key,0,&inputfield)) return -1; if (!critbit0_insert(&uses,0,&key)) return -1; finduses2_state = 41; return 1; case 41: finduses_reglimit_state = 0; if (str0_word(&inputword,0,&inputfield,finduses_reglimit) < 0) return -1; return 1; case 50: finduses2_state = 51; return 1; case 51: if (str0_length(&inputfield) > 0) { if (!str0_copy(&key,0,&n)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&inputfield)) return -1; if (!critbit0_insert(&uses,0,&key)) return -1; } return 1; } return 0; }
void doit(void) { int64 i; if (critbit0_allprefixed(&inputlines,0,&inputline,&empty,findvars) < 1) nomem(); if (critbit0_allprefixed(&inputlines,0,&inputline,&empty,finduses) < 1) nomem(); if (critbit0_allprefixed(&inputlines,0,&inputline,&empty,findentries) < 1) nomem(); if (critbit0_allprefixed(&inputlines,0,&inputline,&empty,findblocks) < 1) nomem(); traceassignment_state = 0; if (critbit0_allprefixed(&assignments,0,&v,&empty,traceassignment) < 1) nomem(); traceassignment_state = 1; if (critbit0_allprefixed(&reads,0,&v,&empty,traceassignment) < 1) nomem(); traceassignment_state = 2; if (critbit0_allprefixed(&blockvisible,0,&v,&empty,traceassignment) < 1) nomem(); critbit0_clear(&traced,0); critbit0_clear(&totrace,0); if (!str0_copyc(&value,0,"0")) nomem(); if (critbit0_allprefixed(&assignments,0,&x,&empty,tracevalue) < 1) nomem(); if (critbit0_allprefixed(&reads,0,&x,&empty,tracevalue) < 1) nomem(); if (critbit0_allprefixed(&blocklive,0,&x,&empty,tracevalue) < 1) nomem(); allocate_state = 1; critbit0_clear(&traced,0); critbit0_clear(&totrace,0); if (critbit0_allprefixed(&entries,0,&n,&empty,allocate) < 1) nomem(); for (i = 0;i < inputlinesnum;++i) { if (!str0_uint64(®limitprefix,0,i)) nomem(); if (!str0_concatc(®limitprefix,0,"<")) nomem(); if (critbit0_allprefixed(®limitok,0,&x,®limitprefix,preallocate) < 1) nomem(); if (!str0_uint64(®limitprefix,0,i)) nomem(); if (!str0_concatc(®limitprefix,0,">")) nomem(); if (critbit0_allprefixed(®limitok,0,&x,®limitprefix,preallocate) < 1) nomem(); } allocate_state = 2; critbit0_clear(&traced,0); critbit0_clear(&totrace,0); if (critbit0_allprefixed(&entries,0,&n,&empty,allocate) < 1) nomem(); for (i = 0;i < inputlinesnum;++i) { if (!str0_uint64(&n,0,i)) nomem(); if (!str0_copy(&key,0,&n)) nomem(); if (!str0_concatc(&key,0,":")) nomem(); if (critbit0_firstprefixed(&inputlines,0,&inputline,&key) < 1) nomem(); str0_free(&outputline,0); convert_state = 0; if (str0_colon(&inputfield,0,&inputline,convert) < 1) nomem(); printreg_write = 0; if (!str0_copy(&key,0,&n)) nomem(); if (!str0_concatc(&key,0,"=")) nomem(); if (critbit0_allprefixed(&blocklive,0,&v,&key,printreg) < 1) nomem(); if (critbit0_contains(&entries,&n)) { printreg_write = 1; if (critbit0_allprefixed(&inputregs,0,&v,&empty,printreg) < 1) nomem(); } if (!str0_copy(&key,0,&n)) nomem(); if (!str0_concatc(&key,0,"<")) nomem(); if (critbit0_allprefixed(&finalreads,0,&v,&key,printkill) < 1) nomem(); str0_putline(&outputline); if (!str0_copyc(&outputline,0,"op:livefloat80:")) nomem(); if (!str0_copy(&key,0,&n)) nomem(); if (!str0_concatc(&key,0,":")) nomem(); if (critbit0_allprefixed(&float80after,0,&v,&key,printlivevalues) < 1) nomem(); str0_putline(&outputline); } }
int allocate(void) { if (critbit0_contains(&traced,&n)) { if (!str0_copyc(&outputline,0,"error:falling through entry:")) return -1; if (!str0_concat(&outputline,0,&n)) return -1; str0_putline(&outputline); return 1; } for (;;) { if (!critbit0_contains(&traced,&n)) { if (!critbit0_insert(&traced,0,&n)) return -1; if (critbit0_contains(&blockbegins,&n)) { critbit0_clear(&livevalues,0); critbit0_clear(&livevaluetypes,0); critbit0_clear(&liveregs,0); critbit0_clear(&livefloat80regs,0); } if (!str0_copy(&x,0,&n)) return -1; if (!str0_concatc(&x,0,"=")) return -1; if (critbit0_allprefixed(&blocklive,0,&v,&x,allocate_alive) < 0) return -1; if (!str0_copy(&x,0,&n)) return -1; if (!str0_concatc(&x,0,"<")) return -1; if (critbit0_allprefixed(&reads,0,&v,&x,allocate_alive) < 0) return -1; if (!str0_copy(&x,0,&n)) return -1; if (!str0_concatc(&x,0,"<")) return -1; if (critbit0_allprefixed(&finalreads,0,&v,&x,allocate_dead) < 0) return -1; if (!str0_copy(&x,0,&n)) return -1; if (!str0_concatc(&x,0,">")) return -1; if (critbit0_allprefixed(&assignments,0,&v,&x,allocate_alive) < 0) return -1; if (critbit0_allprefixed(&livefloat80regs,0,&v,&empty,recordfloat80) < 0) return -1; if (!str0_copy(&next,0,&n)) return -1; if (!str0_increment(&next,0)) return -1; if (!str0_copy(&key,0,&n)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (critbit0_allprefixed(&nextinsn,0,&y,&key,addtotrace) < 0) return -1; if (!str0_copy(&key,0,&n)) return -1; if (!str0_concatc(&key,0,":")) return -1; if (!str0_concat(&key,0,&next)) return -1; if (critbit0_contains(&nextinsn,&key)) { if (!str0_copy(&n,0,&next)) return -1; continue; } } switch(critbit0_firstprefixed(&totrace,0,&n,&empty)) { case 1: break; case 0: return 1; default: return -1; } critbit0_delete(&totrace,0,&n); } }