Lines Matching defs:Inv
838 Inv;
854 i->Inv.Stack0.addr, i->Inv.Stack0.szB);
858 i->Inv.StackN.nd->addr, i->Inv.StackN.nd->szB);
862 i->Inv.Global.nd->addr, i->Inv.Global.nd->szB);
880 return i1->Inv.Stack0.addr == i2->Inv.Stack0.addr
881 && i1->Inv.Stack0.szB == i2->Inv.Stack0.szB;
883 return i1->Inv.StackN.nd == i2->Inv.StackN.nd;
885 return i1->Inv.Global.nd == i2->Inv.Global.nd;
900 Invar* inv, Addr ea )
908 switch (inv->tag) {
913 block = inv->Inv.Stack0.addr;
914 szB = inv->Inv.Stack0.szB;
917 block = inv->Inv.StackN.nd->addr;
918 szB = inv->Inv.StackN.nd->szB;
921 block = inv->Inv.Global.nd->addr;
922 szB = inv->Inv.Global.nd->szB;
945 static void show_Invar( HChar* buf, Word nBuf, Invar* inv, Word depth )
950 switch (inv->tag) {
957 str, inv->Inv.Stack0.descr->name,
958 inv->Inv.Stack0.szB );
963 str, inv->Inv.StackN.nd->descr->name,
964 inv->Inv.StackN.nd->descr->szB,
965 depth - inv->Inv.StackN.nd->depth );
970 str, inv->Inv.Global.nd->descr->name,
971 inv->Inv.Global.nd->descr->szB,
972 inv->Inv.Global.nd->descr->soname );
1003 Invar inv;
1025 pp_Invar(&qc->elems[i].inv);
1246 static void preen_global_Invar ( Invar* inv, Addr a, SizeT len )
1250 tl_assert(inv);
1251 switch (inv->tag) {
1253 tl_assert(inv->Inv.Global.nd);
1254 tl_assert(inv->Inv.Global.nd->szB > 0);
1256 inv->Inv.Global.nd->addr,
1257 inv->Inv.Global.nd->szB);
1258 if (0 == cmp_nonempty_intervals(a, len, inv->Inv.Global.nd->addr,
1259 inv->Inv.Global.nd->szB)) {
1260 inv->tag = Inv_Unknown;
1505 write the result in 'inv'. This writes all relevant fields of
1506 'inv'. */
1508 static void classify_address ( /*OUT*/Invar* inv,
1525 inv->tag = Inv_Stack0;
1526 inv->Inv.Stack0.addr = bea;
1527 inv->Inv.Stack0.szB = descr->szB;
1528 inv->Inv.Stack0.descr = descr;
1553 *inv = cache->elems[i].inv;
1571 inv->tag = Inv_StackN;
1572 inv->Inv.StackN.nd = nd;
1587 inv->tag = Inv_Global;
1588 inv->Inv.Global.nd = nd;
1594 inv->tag = Inv_Unknown;
1609 switch (inv->tag) {
1611 toadd_addr = inv->Inv.Global.nd->addr;
1612 toadd_szB = inv->Inv.Global.nd->szB;
1615 toadd_addr = inv->Inv.StackN.nd->addr;
1616 toadd_szB = inv->Inv.StackN.nd->szB;
1736 } /* switch (inv->tag) */
1751 cache->elems[ip].inv = *inv;
1770 Invar* inv;
1791 inv = &iinstance->invar;
1794 if (inv->tag == Inv_Unset) {
1799 classify_address( inv,
1801 tl_assert(inv->tag != Inv_Unset);
1813 if (LIKELY(eq_Invar(&new_inv, inv)))
1816 tl_assert(inv->tag != Inv_Unset);
1819 show_Invar( bufE, sizeof(bufE)-1, inv, frame->depth );
1826 gen_delta_str( bufD, &absDelta, inv, ea );
1833 *inv = new_inv;
