Lines Matching refs:Ist
1556 s->Ist.IMark.addr, s->Ist.IMark.len, in ppIRStmt()
1557 (UInt)s->Ist.IMark.delta); in ppIRStmt()
1561 ppIRExpr(s->Ist.AbiHint.base); in ppIRStmt()
1562 vex_printf(", %d, ", s->Ist.AbiHint.len); in ppIRStmt()
1563 ppIRExpr(s->Ist.AbiHint.nia); in ppIRStmt()
1567 vex_printf( "PUT(%d) = ", s->Ist.Put.offset); in ppIRStmt()
1568 ppIRExpr(s->Ist.Put.data); in ppIRStmt()
1571 ppIRPutI(s->Ist.PutI.details); in ppIRStmt()
1574 ppIRTemp(s->Ist.WrTmp.tmp); in ppIRStmt()
1576 ppIRExpr(s->Ist.WrTmp.data); in ppIRStmt()
1579 vex_printf( "ST%s(", s->Ist.Store.end==Iend_LE ? "le" : "be" ); in ppIRStmt()
1580 ppIRExpr(s->Ist.Store.addr); in ppIRStmt()
1582 ppIRExpr(s->Ist.Store.data); in ppIRStmt()
1585 ppIRStoreG(s->Ist.StoreG.details); in ppIRStmt()
1588 ppIRLoadG(s->Ist.LoadG.details); in ppIRStmt()
1591 ppIRCAS(s->Ist.CAS.details); in ppIRStmt()
1594 if (s->Ist.LLSC.storedata == NULL) { in ppIRStmt()
1595 ppIRTemp(s->Ist.LLSC.result); in ppIRStmt()
1597 s->Ist.LLSC.end==Iend_LE ? "le" : "be"); in ppIRStmt()
1598 ppIRExpr(s->Ist.LLSC.addr); in ppIRStmt()
1601 ppIRTemp(s->Ist.LLSC.result); in ppIRStmt()
1603 s->Ist.LLSC.end==Iend_LE ? "le" : "be"); in ppIRStmt()
1604 ppIRExpr(s->Ist.LLSC.addr); in ppIRStmt()
1606 ppIRExpr(s->Ist.LLSC.storedata); in ppIRStmt()
1611 ppIRDirty(s->Ist.Dirty.details); in ppIRStmt()
1615 ppIRMBusEvent(s->Ist.MBE.event); in ppIRStmt()
1619 ppIRExpr(s->Ist.Exit.guard); in ppIRStmt()
1620 vex_printf( ") { PUT(%d) = ", s->Ist.Exit.offsIP); in ppIRStmt()
1621 ppIRConst(s->Ist.Exit.dst); in ppIRStmt()
1623 ppIRJumpKind(s->Ist.Exit.jk); in ppIRStmt()
2079 s->Ist.IMark.addr = addr; in IRStmt_IMark()
2080 s->Ist.IMark.len = len; in IRStmt_IMark()
2081 s->Ist.IMark.delta = delta; in IRStmt_IMark()
2087 s->Ist.AbiHint.base = base; in IRStmt_AbiHint()
2088 s->Ist.AbiHint.len = len; in IRStmt_AbiHint()
2089 s->Ist.AbiHint.nia = nia; in IRStmt_AbiHint()
2095 s->Ist.Put.offset = off; in IRStmt_Put()
2096 s->Ist.Put.data = data; in IRStmt_Put()
2102 s->Ist.PutI.details = details; in IRStmt_PutI()
2108 s->Ist.WrTmp.tmp = tmp; in IRStmt_WrTmp()
2109 s->Ist.WrTmp.data = data; in IRStmt_WrTmp()
2115 s->Ist.Store.end = end; in IRStmt_Store()
2116 s->Ist.Store.addr = addr; in IRStmt_Store()
2117 s->Ist.Store.data = data; in IRStmt_Store()
2125 s->Ist.StoreG.details = mkIRStoreG(end, addr, data, guard); in IRStmt_StoreG()
2133 s->Ist.LoadG.details = mkIRLoadG(end, cvt, dst, addr, alt, guard); in IRStmt_LoadG()
2139 s->Ist.CAS.details = cas; in IRStmt_CAS()
2146 s->Ist.LLSC.end = end; in IRStmt_LLSC()
2147 s->Ist.LLSC.result = result; in IRStmt_LLSC()
2148 s->Ist.LLSC.addr = addr; in IRStmt_LLSC()
2149 s->Ist.LLSC.storedata = storedata; in IRStmt_LLSC()
2156 s->Ist.Dirty.details = d; in IRStmt_Dirty()
2163 s->Ist.MBE.event = event; in IRStmt_MBE()
2170 s->Ist.Exit.guard = guard; in IRStmt_Exit()
2171 s->Ist.Exit.jk = jk; in IRStmt_Exit()
2172 s->Ist.Exit.dst = dst; in IRStmt_Exit()
2173 s->Ist.Exit.offsIP = offsIP; in IRStmt_Exit()
2381 return IRStmt_AbiHint(deepCopyIRExpr(s->Ist.AbiHint.base), in deepCopyIRStmt()
2382 s->Ist.AbiHint.len, in deepCopyIRStmt()
2383 deepCopyIRExpr(s->Ist.AbiHint.nia)); in deepCopyIRStmt()
2385 return IRStmt_IMark(s->Ist.IMark.addr, in deepCopyIRStmt()
2386 s->Ist.IMark.len, in deepCopyIRStmt()
2387 s->Ist.IMark.delta); in deepCopyIRStmt()
2389 return IRStmt_Put(s->Ist.Put.offset, in deepCopyIRStmt()
2390 deepCopyIRExpr(s->Ist.Put.data)); in deepCopyIRStmt()
2392 return IRStmt_PutI(deepCopyIRPutI(s->Ist.PutI.details)); in deepCopyIRStmt()
2394 return IRStmt_WrTmp(s->Ist.WrTmp.tmp, in deepCopyIRStmt()
2395 deepCopyIRExpr(s->Ist.WrTmp.data)); in deepCopyIRStmt()
2397 return IRStmt_Store(s->Ist.Store.end, in deepCopyIRStmt()
2398 deepCopyIRExpr(s->Ist.Store.addr), in deepCopyIRStmt()
2399 deepCopyIRExpr(s->Ist.Store.data)); in deepCopyIRStmt()
2401 const IRStoreG* sg = s->Ist.StoreG.details; in deepCopyIRStmt()
2408 const IRLoadG* lg = s->Ist.LoadG.details; in deepCopyIRStmt()
2415 return IRStmt_CAS(deepCopyIRCAS(s->Ist.CAS.details)); in deepCopyIRStmt()
2417 return IRStmt_LLSC(s->Ist.LLSC.end, in deepCopyIRStmt()
2418 s->Ist.LLSC.result, in deepCopyIRStmt()
2419 deepCopyIRExpr(s->Ist.LLSC.addr), in deepCopyIRStmt()
2420 s->Ist.LLSC.storedata in deepCopyIRStmt()
2421 ? deepCopyIRExpr(s->Ist.LLSC.storedata) in deepCopyIRStmt()
2424 return IRStmt_Dirty(deepCopyIRDirty(s->Ist.Dirty.details)); in deepCopyIRStmt()
2426 return IRStmt_MBE(s->Ist.MBE.event); in deepCopyIRStmt()
2428 return IRStmt_Exit(deepCopyIRExpr(s->Ist.Exit.guard), in deepCopyIRStmt()
2429 s->Ist.Exit.jk, in deepCopyIRStmt()
2430 deepCopyIRConst(s->Ist.Exit.dst), in deepCopyIRStmt()
2431 s->Ist.Exit.offsIP); in deepCopyIRStmt()
3643 return isIRAtom(st->Ist.AbiHint.base) in isFlatIRStmt()
3644 && isIRAtom(st->Ist.AbiHint.nia); in isFlatIRStmt()
3646 return isIRAtom(st->Ist.Put.data); in isFlatIRStmt()
3648 const IRPutI *puti = st->Ist.PutI.details; in isFlatIRStmt()
3656 e = st->Ist.WrTmp.data; in isFlatIRStmt()
3692 return toBool( isIRAtom(st->Ist.Store.addr) in isFlatIRStmt()
3693 && isIRAtom(st->Ist.Store.data) ); in isFlatIRStmt()
3695 const IRStoreG* sg = st->Ist.StoreG.details; in isFlatIRStmt()
3700 const IRLoadG* lg = st->Ist.LoadG.details; in isFlatIRStmt()
3705 const IRCAS* cas = st->Ist.CAS.details; in isFlatIRStmt()
3713 return toBool( isIRAtom(st->Ist.LLSC.addr) in isFlatIRStmt()
3714 && (st->Ist.LLSC.storedata in isFlatIRStmt()
3715 ? isIRAtom(st->Ist.LLSC.storedata) : True) ); in isFlatIRStmt()
3717 const IRDirty* di = st->Ist.Dirty.details; in isFlatIRStmt()
3732 return isIRAtom(st->Ist.Exit.guard); in isFlatIRStmt()
3899 useBeforeDef_Expr(bb,stmt,stmt->Ist.AbiHint.base,def_counts); in useBeforeDef_Stmt()
3900 useBeforeDef_Expr(bb,stmt,stmt->Ist.AbiHint.nia,def_counts); in useBeforeDef_Stmt()
3903 useBeforeDef_Expr(bb,stmt,stmt->Ist.Put.data,def_counts); in useBeforeDef_Stmt()
3906 puti = stmt->Ist.PutI.details; in useBeforeDef_Stmt()
3911 useBeforeDef_Expr(bb,stmt,stmt->Ist.WrTmp.data,def_counts); in useBeforeDef_Stmt()
3914 useBeforeDef_Expr(bb,stmt,stmt->Ist.Store.addr,def_counts); in useBeforeDef_Stmt()
3915 useBeforeDef_Expr(bb,stmt,stmt->Ist.Store.data,def_counts); in useBeforeDef_Stmt()
3918 sg = stmt->Ist.StoreG.details; in useBeforeDef_Stmt()
3924 lg = stmt->Ist.LoadG.details; in useBeforeDef_Stmt()
3930 cas = stmt->Ist.CAS.details; in useBeforeDef_Stmt()
3940 useBeforeDef_Expr(bb,stmt,stmt->Ist.LLSC.addr,def_counts); in useBeforeDef_Stmt()
3941 if (stmt->Ist.LLSC.storedata != NULL) in useBeforeDef_Stmt()
3942 useBeforeDef_Expr(bb,stmt,stmt->Ist.LLSC.storedata,def_counts); in useBeforeDef_Stmt()
3945 d = stmt->Ist.Dirty.details; in useBeforeDef_Stmt()
3962 useBeforeDef_Expr(bb,stmt,stmt->Ist.Exit.guard,def_counts); in useBeforeDef_Stmt()
4188 if (stmt->Ist.IMark.len > 24) in tcStmt()
4190 if (stmt->Ist.IMark.delta > 1) in tcStmt()
4194 if (typeOfIRExpr(tyenv, stmt->Ist.AbiHint.base) != gWordTy) in tcStmt()
4197 if (typeOfIRExpr(tyenv, stmt->Ist.AbiHint.nia) != gWordTy) in tcStmt()
4202 tcExpr( bb, stmt, stmt->Ist.Put.data, gWordTy ); in tcStmt()
4203 if (typeOfIRExpr(tyenv,stmt->Ist.Put.data) == Ity_I1) in tcStmt()
4207 const IRPutI* puti = stmt->Ist.PutI.details; in tcStmt()
4222 tcExpr( bb, stmt, stmt->Ist.WrTmp.data, gWordTy ); in tcStmt()
4223 if (typeOfIRTemp(tyenv, stmt->Ist.WrTmp.tmp) in tcStmt()
4224 != typeOfIRExpr(tyenv, stmt->Ist.WrTmp.data)) in tcStmt()
4229 tcExpr( bb, stmt, stmt->Ist.Store.addr, gWordTy ); in tcStmt()
4230 tcExpr( bb, stmt, stmt->Ist.Store.data, gWordTy ); in tcStmt()
4231 if (typeOfIRExpr(tyenv, stmt->Ist.Store.addr) != gWordTy) in tcStmt()
4234 if (typeOfIRExpr(tyenv, stmt->Ist.Store.data) == Ity_I1) in tcStmt()
4237 if (stmt->Ist.Store.end != Iend_LE && stmt->Ist.Store.end != Iend_BE) in tcStmt()
4241 const IRStoreG* sg = stmt->Ist.StoreG.details; in tcStmt()
4256 const IRLoadG* lg = stmt->Ist.LoadG.details; in tcStmt()
4274 const IRCAS* cas = stmt->Ist.CAS.details; in tcStmt()
4326 if (typeOfIRExpr(tyenv, stmt->Ist.LLSC.addr) != gWordTy) in tcStmt()
4328 if (stmt->Ist.LLSC.end != Iend_LE && stmt->Ist.LLSC.end != Iend_BE) in tcStmt()
4330 tyRes = typeOfIRTemp(tyenv, stmt->Ist.LLSC.result); in tcStmt()
4331 if (stmt->Ist.LLSC.storedata == NULL) { in tcStmt()
4340 tyData = typeOfIRExpr(tyenv, stmt->Ist.LLSC.storedata); in tcStmt()
4350 const IRDirty* d = stmt->Ist.Dirty.details; in tcStmt()
4440 switch (stmt->Ist.MBE.event) { in tcStmt()
4448 tcExpr( bb, stmt, stmt->Ist.Exit.guard, gWordTy ); in tcStmt()
4449 if (typeOfIRExpr(tyenv,stmt->Ist.Exit.guard) != Ity_I1) in tcStmt()
4451 if (!saneIRConst(stmt->Ist.Exit.dst)) in tcStmt()
4453 if (typeOfIRConst(stmt->Ist.Exit.dst) != gWordTy) in tcStmt()
4456 if (stmt->Ist.Exit.offsIP < 16) in tcStmt()
4521 if (stmt->Ist.WrTmp.tmp < 0 || stmt->Ist.WrTmp.tmp >= n_temps) in sanityCheckIRSB()
4524 def_counts[stmt->Ist.WrTmp.tmp]++; in sanityCheckIRSB()
4525 if (def_counts[stmt->Ist.WrTmp.tmp] > 1) in sanityCheckIRSB()
4530 const IRLoadG* lg = stmt->Ist.LoadG.details; in sanityCheckIRSB()
4541 const IRDirty* d = stmt->Ist.Dirty.details; in sanityCheckIRSB()
4554 const IRCAS* cas = stmt->Ist.CAS.details; in sanityCheckIRSB()
4574 if (stmt->Ist.LLSC.result < 0 || stmt->Ist.LLSC.result >= n_temps) in sanityCheckIRSB()
4577 def_counts[stmt->Ist.LLSC.result]++; in sanityCheckIRSB()
4578 if (def_counts[stmt->Ist.LLSC.result] > 1) in sanityCheckIRSB()