Lines Matching refs:Ist
411 if (isIRAtom(st->Ist.Put.data)) { in flatten_Stmt()
417 e1 = flatten_Expr(bb, st->Ist.Put.data); in flatten_Stmt()
418 addStmtToIRSB(bb, IRStmt_Put(st->Ist.Put.offset, e1)); in flatten_Stmt()
422 puti = st->Ist.PutI.details; in flatten_Stmt()
429 if (isFlat(st->Ist.WrTmp.data)) { in flatten_Stmt()
435 e1 = flatten_Expr(bb, st->Ist.WrTmp.data); in flatten_Stmt()
436 addStmtToIRSB(bb, IRStmt_WrTmp(st->Ist.WrTmp.tmp, e1)); in flatten_Stmt()
440 e1 = flatten_Expr(bb, st->Ist.Store.addr); in flatten_Stmt()
441 e2 = flatten_Expr(bb, st->Ist.Store.data); in flatten_Stmt()
442 addStmtToIRSB(bb, IRStmt_Store(st->Ist.Store.end, e1,e2)); in flatten_Stmt()
445 sg = st->Ist.StoreG.details; in flatten_Stmt()
452 lg = st->Ist.LoadG.details; in flatten_Stmt()
460 cas = st->Ist.CAS.details; in flatten_Stmt()
471 e1 = flatten_Expr(bb, st->Ist.LLSC.addr); in flatten_Stmt()
472 e2 = st->Ist.LLSC.storedata in flatten_Stmt()
473 ? flatten_Expr(bb, st->Ist.LLSC.storedata) in flatten_Stmt()
475 addStmtToIRSB(bb, IRStmt_LLSC(st->Ist.LLSC.end, in flatten_Stmt()
476 st->Ist.LLSC.result, e1, e2)); in flatten_Stmt()
479 d = st->Ist.Dirty.details; in flatten_Stmt()
502 e1 = flatten_Expr(bb, st->Ist.AbiHint.base); in flatten_Stmt()
503 e2 = flatten_Expr(bb, st->Ist.AbiHint.nia); in flatten_Stmt()
504 addStmtToIRSB(bb, IRStmt_AbiHint(e1, st->Ist.AbiHint.len, e2)); in flatten_Stmt()
507 e1 = flatten_Expr(bb, st->Ist.Exit.guard); in flatten_Stmt()
508 addStmtToIRSB(bb, IRStmt_Exit(e1, st->Ist.Exit.jk, in flatten_Stmt()
509 st->Ist.Exit.dst, in flatten_Stmt()
510 st->Ist.Exit.offsIP)); in flatten_Stmt()
629 && st->Ist.WrTmp.data->tag == Iex_Get) { in redundant_get_removal_BB()
632 IRExpr* get = st->Ist.WrTmp.data; in redundant_get_removal_BB()
644 == st->Ist.WrTmp.data->Iex.Get.ty ); in redundant_get_removal_BB()
651 bb->stmts[i] = IRStmt_WrTmp(st->Ist.WrTmp.tmp, valE); in redundant_get_removal_BB()
657 (HWord)(void*)(IRExpr_RdTmp(st->Ist.WrTmp.tmp)) ); in redundant_get_removal_BB()
666 key = mk_key_GetPut( st->Ist.Put.offset, in redundant_get_removal_BB()
667 typeOfIRExpr(bb->tyenv,st->Ist.Put.data) ); in redundant_get_removal_BB()
670 key = mk_key_GetIPutI( st->Ist.PutI.details->descr ); in redundant_get_removal_BB()
682 IRDirty* d = st->Ist.Dirty.details; in redundant_get_removal_BB()
699 vassert(isIRAtom(st->Ist.Put.data)); in redundant_get_removal_BB()
700 addToHHW( env, (HWord)key, (HWord)(st->Ist.Put.data)); in redundant_get_removal_BB()
734 e = st->Ist.WrTmp.data; in handle_gets_Stmt()
770 vassert(isIRAtom(st->Ist.AbiHint.base)); in handle_gets_Stmt()
771 vassert(isIRAtom(st->Ist.AbiHint.nia)); in handle_gets_Stmt()
783 vassert(isIRAtom(st->Ist.Store.addr)); in handle_gets_Stmt()
784 vassert(isIRAtom(st->Ist.Store.data)); in handle_gets_Stmt()
788 IRStoreG* sg = st->Ist.StoreG.details; in handle_gets_Stmt()
796 IRLoadG* lg = st->Ist.LoadG.details; in handle_gets_Stmt()
804 vassert(isIRAtom(st->Ist.Exit.guard)); in handle_gets_Stmt()
808 vassert(isIRAtom(st->Ist.Put.data)); in handle_gets_Stmt()
812 vassert(isIRAtom(st->Ist.PutI.details->ix)); in handle_gets_Stmt()
813 vassert(isIRAtom(st->Ist.PutI.details->data)); in handle_gets_Stmt()
948 key = mk_key_GetPut( st->Ist.Put.offset, in redundant_put_removal_BB()
949 typeOfIRExpr(bb->tyenv,st->Ist.Put.data) ); in redundant_put_removal_BB()
950 vassert(isIRAtom(st->Ist.Put.data)); in redundant_put_removal_BB()
954 key = mk_key_GetIPutI( st->Ist.PutI.details->descr ); in redundant_put_removal_BB()
955 vassert(isIRAtom(st->Ist.PutI.details->ix)); in redundant_put_removal_BB()
956 vassert(isIRAtom(st->Ist.PutI.details->data)); in redundant_put_removal_BB()
2556 vassert(isIRAtom(st->Ist.AbiHint.base)); in subst_and_fold_Stmt()
2557 vassert(isIRAtom(st->Ist.AbiHint.nia)); in subst_and_fold_Stmt()
2559 fold_Expr(env, subst_Expr(env, st->Ist.AbiHint.base)), in subst_and_fold_Stmt()
2560 st->Ist.AbiHint.len, in subst_and_fold_Stmt()
2561 fold_Expr(env, subst_Expr(env, st->Ist.AbiHint.nia)) in subst_and_fold_Stmt()
2564 vassert(isIRAtom(st->Ist.Put.data)); in subst_and_fold_Stmt()
2566 st->Ist.Put.offset, in subst_and_fold_Stmt()
2567 fold_Expr(env, subst_Expr(env, st->Ist.Put.data)) in subst_and_fold_Stmt()
2572 puti = st->Ist.PutI.details; in subst_and_fold_Stmt()
2586 st->Ist.WrTmp.tmp, in subst_and_fold_Stmt()
2587 fold_Expr(env, subst_Expr(env, st->Ist.WrTmp.data)) in subst_and_fold_Stmt()
2591 vassert(isIRAtom(st->Ist.Store.addr)); in subst_and_fold_Stmt()
2592 vassert(isIRAtom(st->Ist.Store.data)); in subst_and_fold_Stmt()
2594 st->Ist.Store.end, in subst_and_fold_Stmt()
2595 fold_Expr(env, subst_Expr(env, st->Ist.Store.addr)), in subst_and_fold_Stmt()
2596 fold_Expr(env, subst_Expr(env, st->Ist.Store.data)) in subst_and_fold_Stmt()
2600 IRStoreG* sg = st->Ist.StoreG.details; in subst_and_fold_Stmt()
2627 IRLoadG* lg = st->Ist.LoadG.details; in subst_and_fold_Stmt()
2657 cas = st->Ist.CAS.details; in subst_and_fold_Stmt()
2677 vassert(isIRAtom(st->Ist.LLSC.addr)); in subst_and_fold_Stmt()
2678 if (st->Ist.LLSC.storedata) in subst_and_fold_Stmt()
2679 vassert(isIRAtom(st->Ist.LLSC.storedata)); in subst_and_fold_Stmt()
2681 st->Ist.LLSC.end, in subst_and_fold_Stmt()
2682 st->Ist.LLSC.result, in subst_and_fold_Stmt()
2683 fold_Expr(env, subst_Expr(env, st->Ist.LLSC.addr)), in subst_and_fold_Stmt()
2684 st->Ist.LLSC.storedata in subst_and_fold_Stmt()
2685 ? fold_Expr(env, subst_Expr(env, st->Ist.LLSC.storedata)) in subst_and_fold_Stmt()
2692 d = st->Ist.Dirty.details; in subst_and_fold_Stmt()
2713 return IRStmt_IMark(st->Ist.IMark.addr, in subst_and_fold_Stmt()
2714 st->Ist.IMark.len, in subst_and_fold_Stmt()
2715 st->Ist.IMark.delta); in subst_and_fold_Stmt()
2721 return IRStmt_MBE(st->Ist.MBE.event); in subst_and_fold_Stmt()
2725 vassert(isIRAtom(st->Ist.Exit.guard)); in subst_and_fold_Stmt()
2726 fcond = fold_Expr(env, subst_Expr(env, st->Ist.Exit.guard)); in subst_and_fold_Stmt()
2746 return IRStmt_Exit(fcond, st->Ist.Exit.jk, in subst_and_fold_Stmt()
2747 st->Ist.Exit.dst, st->Ist.Exit.offsIP); in subst_and_fold_Stmt()
2809 vassert(env[(Int)(st2->Ist.WrTmp.tmp)] == NULL); in cprop_BB()
2810 env[(Int)(st2->Ist.WrTmp.tmp)] = st2->Ist.WrTmp.data; in cprop_BB()
2813 if (st2->Ist.WrTmp.data->tag == Iex_RdTmp) in cprop_BB()
2820 if (st2->Ist.WrTmp.data->tag == Iex_Const in cprop_BB()
2821 && st2->Ist.WrTmp.data->Iex.Const.con->tag != Ico_F64i) { in cprop_BB()
2829 IRLoadG* lg = st2->Ist.LoadG.details; in cprop_BB()
2882 IRLoadG* lg = lgu->Ist.LoadG.details; in cprop_BB()
2994 addUses_Expr(set, st->Ist.AbiHint.base); in addUses_Stmt()
2995 addUses_Expr(set, st->Ist.AbiHint.nia); in addUses_Stmt()
2998 addUses_Expr(set, st->Ist.PutI.details->ix); in addUses_Stmt()
2999 addUses_Expr(set, st->Ist.PutI.details->data); in addUses_Stmt()
3002 addUses_Expr(set, st->Ist.WrTmp.data); in addUses_Stmt()
3005 addUses_Expr(set, st->Ist.Put.data); in addUses_Stmt()
3008 addUses_Expr(set, st->Ist.Store.addr); in addUses_Stmt()
3009 addUses_Expr(set, st->Ist.Store.data); in addUses_Stmt()
3012 IRStoreG* sg = st->Ist.StoreG.details; in addUses_Stmt()
3019 IRLoadG* lg = st->Ist.LoadG.details; in addUses_Stmt()
3026 cas = st->Ist.CAS.details; in addUses_Stmt()
3036 addUses_Expr(set, st->Ist.LLSC.addr); in addUses_Stmt()
3037 if (st->Ist.LLSC.storedata) in addUses_Stmt()
3038 addUses_Expr(set, st->Ist.LLSC.storedata); in addUses_Stmt()
3041 d = st->Ist.Dirty.details; in addUses_Stmt()
3056 addUses_Expr(set, st->Ist.Exit.guard); in addUses_Stmt()
3120 && isOneU1(st->Ist.Exit.guard)) in do_deadcode_BB()
3123 && set[(Int)(st->Ist.WrTmp.tmp)] == False) { in do_deadcode_BB()
3134 && st->Ist.Dirty.details->guard in do_deadcode_BB()
3135 && isZeroU1(st->Ist.Dirty.details->guard)) { in do_deadcode_BB()
3155 = IRExpr_Const( bb->stmts[i_unconditional_exit]->Ist.Exit.dst ); in do_deadcode_BB()
3157 = bb->stmts[i_unconditional_exit]->Ist.Exit.jk; in do_deadcode_BB()
3159 = bb->stmts[i_unconditional_exit]->Ist.Exit.offsIP; in do_deadcode_BB()
3186 || st->Ist.WrTmp.data->tag != Iex_CCall) in spec_helpers_BB()
3189 ex = (*specHelper)( st->Ist.WrTmp.data->Iex.CCall.cee->name, in spec_helpers_BB()
3190 st->Ist.WrTmp.data->Iex.CCall.args, in spec_helpers_BB()
3199 = IRStmt_WrTmp(st->Ist.WrTmp.tmp, ex); in spec_helpers_BB()
3203 ppIRExpr(st->Ist.WrTmp.data); in spec_helpers_BB()
3955 st->Ist.Put.offset, in do_cse_BB()
3956 typeOfIRExpr(bb->tyenv,st->Ist.Put.data) in do_cse_BB()
3962 IRPutI *puti = st->Ist.PutI.details; in do_cse_BB()
3990 t = st->Ist.WrTmp.tmp; in do_cse_BB()
3991 eprime = irExpr_to_AvailExpr(st->Ist.WrTmp.data, allowLoadsToBeCSEd); in do_cse_BB()
4084 if (st->Ist.WrTmp.tmp != var) in collapseChain()
4086 e = st->Ist.WrTmp.data; in collapseChain()
4122 && isAdd32OrSub32(st->Ist.WrTmp.data, &var, &con)) { in collapse_AddSub_chains_BB()
4135 st->Ist.WrTmp.tmp, in collapse_AddSub_chains_BB()
4156 && st->Ist.WrTmp.data->tag == Iex_GetI in collapse_AddSub_chains_BB()
4157 && st->Ist.WrTmp.data->Iex.GetI.ix->tag == Iex_RdTmp in collapse_AddSub_chains_BB()
4158 && collapseChain(bb, i-1, st->Ist.WrTmp.data->Iex.GetI.ix in collapse_AddSub_chains_BB()
4165 con2 += st->Ist.WrTmp.data->Iex.GetI.bias; in collapse_AddSub_chains_BB()
4168 st->Ist.WrTmp.tmp, in collapse_AddSub_chains_BB()
4169 IRExpr_GetI(st->Ist.WrTmp.data->Iex.GetI.descr, in collapse_AddSub_chains_BB()
4180 IRPutI *puti = st->Ist.PutI.details; in collapse_AddSub_chains_BB()
4248 st->Ist.Put.offset, in findPutI()
4249 typeOfIRExpr(bb->tyenv,st->Ist.Put.data) ); in findPutI()
4267 IRPutI *puti = st->Ist.PutI.details; in findPutI()
4298 if (st->Ist.Dirty.details->nFxState > 0) in findPutI()
4320 IRPutI *p1 = pi->Ist.PutI.details; in identicalPutIs()
4321 IRPutI *p2 = s2->Ist.PutI.details; in identicalPutIs()
4347 IRPutI *p1 = pi->Ist.PutI.details; in guestAccessWhichMightOverlapPutI()
4371 if (s2->Ist.Dirty.details->nFxState > 0) in guestAccessWhichMightOverlapPutI()
4376 vassert(isIRAtom(s2->Ist.Put.data)); in guestAccessWhichMightOverlapPutI()
4380 s2->Ist.Put.offset, in guestAccessWhichMightOverlapPutI()
4381 typeOfIRExpr(tyenv,s2->Ist.Put.data) in guestAccessWhichMightOverlapPutI()
4386 IRPutI *p2 = s2->Ist.PutI.details; in guestAccessWhichMightOverlapPutI()
4399 if (s2->Ist.WrTmp.data->tag == Iex_GetI) { in guestAccessWhichMightOverlapPutI()
4403 s2->Ist.WrTmp.data->Iex.GetI.descr, in guestAccessWhichMightOverlapPutI()
4404 s2->Ist.WrTmp.data->Iex.GetI.ix, in guestAccessWhichMightOverlapPutI()
4405 s2->Ist.WrTmp.data->Iex.GetI.bias in guestAccessWhichMightOverlapPutI()
4409 if (s2->Ist.WrTmp.data->tag == Iex_Get) { in guestAccessWhichMightOverlapPutI()
4413 s2->Ist.WrTmp.data->Iex.Get.offset, in guestAccessWhichMightOverlapPutI()
4414 s2->Ist.WrTmp.data->Iex.Get.ty in guestAccessWhichMightOverlapPutI()
4421 vassert(isIRAtom(s2->Ist.Store.addr)); in guestAccessWhichMightOverlapPutI()
4422 vassert(isIRAtom(s2->Ist.Store.data)); in guestAccessWhichMightOverlapPutI()
4456 && st->Ist.WrTmp.data->tag == Iex_GetI in do_redundant_GetI_elimination()
4457 && st->Ist.WrTmp.data->Iex.GetI.ix->tag == Iex_RdTmp) { in do_redundant_GetI_elimination()
4458 IRRegArray* descr = st->Ist.WrTmp.data->Iex.GetI.descr; in do_redundant_GetI_elimination()
4459 IRExpr* ix = st->Ist.WrTmp.data->Iex.GetI.ix; in do_redundant_GetI_elimination()
4460 Int bias = st->Ist.WrTmp.data->Iex.GetI.bias; in do_redundant_GetI_elimination()
4468 ppIRExpr(st->Ist.WrTmp.data); in do_redundant_GetI_elimination()
4473 bb->stmts[i] = IRStmt_WrTmp(st->Ist.WrTmp.tmp, replacement); in do_redundant_GetI_elimination()
4613 deltaIRExpr(st->Ist.AbiHint.base, delta); in deltaIRStmt()
4614 deltaIRExpr(st->Ist.AbiHint.nia, delta); in deltaIRStmt()
4617 deltaIRExpr(st->Ist.Put.data, delta); in deltaIRStmt()
4620 deltaIRExpr(st->Ist.PutI.details->ix, delta); in deltaIRStmt()
4621 deltaIRExpr(st->Ist.PutI.details->data, delta); in deltaIRStmt()
4624 st->Ist.WrTmp.tmp += delta; in deltaIRStmt()
4625 deltaIRExpr(st->Ist.WrTmp.data, delta); in deltaIRStmt()
4628 deltaIRExpr(st->Ist.Exit.guard, delta); in deltaIRStmt()
4631 deltaIRExpr(st->Ist.Store.addr, delta); in deltaIRStmt()
4632 deltaIRExpr(st->Ist.Store.data, delta); in deltaIRStmt()
4635 IRStoreG* sg = st->Ist.StoreG.details; in deltaIRStmt()
4642 IRLoadG* lg = st->Ist.LoadG.details; in deltaIRStmt()
4650 if (st->Ist.CAS.details->oldHi != IRTemp_INVALID) in deltaIRStmt()
4651 st->Ist.CAS.details->oldHi += delta; in deltaIRStmt()
4652 st->Ist.CAS.details->oldLo += delta; in deltaIRStmt()
4653 deltaIRExpr(st->Ist.CAS.details->addr, delta); in deltaIRStmt()
4654 if (st->Ist.CAS.details->expdHi) in deltaIRStmt()
4655 deltaIRExpr(st->Ist.CAS.details->expdHi, delta); in deltaIRStmt()
4656 deltaIRExpr(st->Ist.CAS.details->expdLo, delta); in deltaIRStmt()
4657 if (st->Ist.CAS.details->dataHi) in deltaIRStmt()
4658 deltaIRExpr(st->Ist.CAS.details->dataHi, delta); in deltaIRStmt()
4659 deltaIRExpr(st->Ist.CAS.details->dataLo, delta); in deltaIRStmt()
4662 st->Ist.LLSC.result += delta; in deltaIRStmt()
4663 deltaIRExpr(st->Ist.LLSC.addr, delta); in deltaIRStmt()
4664 if (st->Ist.LLSC.storedata) in deltaIRStmt()
4665 deltaIRExpr(st->Ist.LLSC.storedata, delta); in deltaIRStmt()
4668 d = st->Ist.Dirty.details; in deltaIRStmt()
4813 if (st->Ist.Exit.jk != Ijk_Boring) in maybe_loop_unroll_BB()
4816 con = st->Ist.Exit.dst; in maybe_loop_unroll_BB()
4820 ? st->Ist.Exit.dst->Ico.U64 in maybe_loop_unroll_BB()
4821 : (Addr64)(st->Ist.Exit.dst->Ico.U32); in maybe_loop_unroll_BB()
4854 con = st->Ist.Exit.dst; in maybe_loop_unroll_BB()
4873 st->Ist.Exit.guard in maybe_loop_unroll_BB()
4874 = IRExpr_Unop(Iop_Not1,deepCopyIRExpr(st->Ist.Exit.guard)); in maybe_loop_unroll_BB()
5156 aoccCount_Expr(uses, st->Ist.AbiHint.base); in aoccCount_Stmt()
5157 aoccCount_Expr(uses, st->Ist.AbiHint.nia); in aoccCount_Stmt()
5160 aoccCount_Expr(uses, st->Ist.WrTmp.data); in aoccCount_Stmt()
5163 aoccCount_Expr(uses, st->Ist.Put.data); in aoccCount_Stmt()
5166 aoccCount_Expr(uses, st->Ist.PutI.details->ix); in aoccCount_Stmt()
5167 aoccCount_Expr(uses, st->Ist.PutI.details->data); in aoccCount_Stmt()
5170 aoccCount_Expr(uses, st->Ist.Store.addr); in aoccCount_Stmt()
5171 aoccCount_Expr(uses, st->Ist.Store.data); in aoccCount_Stmt()
5174 IRStoreG* sg = st->Ist.StoreG.details; in aoccCount_Stmt()
5181 IRLoadG* lg = st->Ist.LoadG.details; in aoccCount_Stmt()
5188 cas = st->Ist.CAS.details; in aoccCount_Stmt()
5198 aoccCount_Expr(uses, st->Ist.LLSC.addr); in aoccCount_Stmt()
5199 if (st->Ist.LLSC.storedata) in aoccCount_Stmt()
5200 aoccCount_Expr(uses, st->Ist.LLSC.storedata); in aoccCount_Stmt()
5203 d = st->Ist.Dirty.details; in aoccCount_Stmt()
5218 aoccCount_Expr(uses, st->Ist.Exit.guard); in aoccCount_Stmt()
5515 atbSubst_Expr(env, st->Ist.AbiHint.base), in atbSubst_Stmt()
5516 st->Ist.AbiHint.len, in atbSubst_Stmt()
5517 atbSubst_Expr(env, st->Ist.AbiHint.nia) in atbSubst_Stmt()
5521 st->Ist.Store.end, in atbSubst_Stmt()
5522 atbSubst_Expr(env, st->Ist.Store.addr), in atbSubst_Stmt()
5523 atbSubst_Expr(env, st->Ist.Store.data) in atbSubst_Stmt()
5526 IRStoreG* sg = st->Ist.StoreG.details; in atbSubst_Stmt()
5533 IRLoadG* lg = st->Ist.LoadG.details; in atbSubst_Stmt()
5541 st->Ist.WrTmp.tmp, in atbSubst_Stmt()
5542 atbSubst_Expr(env, st->Ist.WrTmp.data) in atbSubst_Stmt()
5546 st->Ist.Put.offset, in atbSubst_Stmt()
5547 atbSubst_Expr(env, st->Ist.Put.data) in atbSubst_Stmt()
5550 puti = st->Ist.PutI.details; in atbSubst_Stmt()
5559 atbSubst_Expr(env, st->Ist.Exit.guard), in atbSubst_Stmt()
5560 st->Ist.Exit.jk, in atbSubst_Stmt()
5561 st->Ist.Exit.dst, in atbSubst_Stmt()
5562 st->Ist.Exit.offsIP in atbSubst_Stmt()
5565 return IRStmt_IMark(st->Ist.IMark.addr, in atbSubst_Stmt()
5566 st->Ist.IMark.len, in atbSubst_Stmt()
5567 st->Ist.IMark.delta); in atbSubst_Stmt()
5571 return IRStmt_MBE(st->Ist.MBE.event); in atbSubst_Stmt()
5573 cas = st->Ist.CAS.details; in atbSubst_Stmt()
5585 st->Ist.LLSC.end, in atbSubst_Stmt()
5586 st->Ist.LLSC.result, in atbSubst_Stmt()
5587 atbSubst_Expr(env, st->Ist.LLSC.addr), in atbSubst_Stmt()
5588 st->Ist.LLSC.storedata in atbSubst_Stmt()
5589 ? atbSubst_Expr(env, st->Ist.LLSC.storedata) : NULL in atbSubst_Stmt()
5592 d = st->Ist.Dirty.details; in atbSubst_Stmt()
5680 Int offset = st->Ist.Put.offset; in stmt_modifies_guest_state()
5681 Int size = sizeofIRType(typeOfIRExpr(bb->tyenv, st->Ist.Put.data)); in stmt_modifies_guest_state()
5692 IRRegArray *descr = st->Ist.PutI.details->descr; in stmt_modifies_guest_state()
5710 return dirty_helper_puts(st->Ist.Dirty.details, in stmt_modifies_guest_state()
5757 UInt len = st->Ist.IMark.len; in ado_treebuild_BB()
5758 Addr mga = st->Ist.IMark.addr + (len < 1 ? 1 : len) - 1; in ado_treebuild_BB()
5831 if (st->tag == Ist_WrTmp && uses[st->Ist.WrTmp.tmp] <= 1) { in ado_treebuild_BB()
5836 if (uses[st->Ist.WrTmp.tmp] == 0) { in ado_treebuild_BB()
5840 vassert(uses[st->Ist.WrTmp.tmp] == 1); in ado_treebuild_BB()
5844 e = st->Ist.WrTmp.data; in ado_treebuild_BB()
5846 addToEnvFront(env, st->Ist.WrTmp.tmp, e2); in ado_treebuild_BB()
5879 && dirty_helper_stores(st->Ist.Dirty.details)) in ado_treebuild_BB()
6255 IRTemp t = st->Ist.WrTmp.tmp; in do_XOR_TRANSFORM_IRSB()
6257 env[t] = st->Ist.WrTmp.data; in do_XOR_TRANSFORM_IRSB()
6265 vassert(isIRAtom(st->Ist.AbiHint.base)); in do_XOR_TRANSFORM_IRSB()
6266 vassert(isIRAtom(st->Ist.AbiHint.nia)); in do_XOR_TRANSFORM_IRSB()
6269 vassert(isIRAtom(st->Ist.Put.data)); in do_XOR_TRANSFORM_IRSB()
6272 IRPutI* puti = st->Ist.PutI.details; in do_XOR_TRANSFORM_IRSB()
6281 = do_XOR_TRANSFORMS_IRExpr(env, st->Ist.WrTmp.data); in do_XOR_TRANSFORM_IRSB()
6284 st->Ist.WrTmp.data = mb_new_data; in do_XOR_TRANSFORM_IRSB()
6291 vassert(isIRAtom(st->Ist.Store.addr)); in do_XOR_TRANSFORM_IRSB()
6292 vassert(isIRAtom(st->Ist.Store.data)); in do_XOR_TRANSFORM_IRSB()
6295 IRStoreG* sg = st->Ist.StoreG.details; in do_XOR_TRANSFORM_IRSB()
6302 IRLoadG* lg = st->Ist.LoadG.details; in do_XOR_TRANSFORM_IRSB()
6309 IRCAS* cas = st->Ist.CAS.details; in do_XOR_TRANSFORM_IRSB()
6318 vassert(isIRAtom(st->Ist.LLSC.addr)); in do_XOR_TRANSFORM_IRSB()
6319 if (st->Ist.LLSC.storedata) in do_XOR_TRANSFORM_IRSB()
6320 vassert(isIRAtom(st->Ist.LLSC.storedata)); in do_XOR_TRANSFORM_IRSB()
6323 IRDirty* d = st->Ist.Dirty.details; in do_XOR_TRANSFORM_IRSB()
6341 vassert(isIRAtom(st->Ist.Exit.guard)); in do_XOR_TRANSFORM_IRSB()
6476 vassert(isIRAtom(st->Ist.AbiHint.base)); in considerExpensives()
6477 vassert(isIRAtom(st->Ist.AbiHint.nia)); in considerExpensives()
6483 if (st->Ist.WrTmp.data->tag == Iex_GetI) in considerExpensives()
6485 switch (typeOfIRTemp(bb->tyenv, st->Ist.WrTmp.tmp)) { in considerExpensives()
6501 vassert(isIRAtom(st->Ist.Put.data)); in considerExpensives()
6504 vassert(isIRAtom(st->Ist.Store.addr)); in considerExpensives()
6505 vassert(isIRAtom(st->Ist.Store.data)); in considerExpensives()
6508 IRStoreG* sg = st->Ist.StoreG.details; in considerExpensives()
6515 IRLoadG* lg = st->Ist.LoadG.details; in considerExpensives()
6522 cas = st->Ist.CAS.details; in considerExpensives()
6530 vassert(isIRAtom(st->Ist.LLSC.addr)); in considerExpensives()
6531 if (st->Ist.LLSC.storedata) in considerExpensives()
6532 vassert(isIRAtom(st->Ist.LLSC.storedata)); in considerExpensives()
6535 d = st->Ist.Dirty.details; in considerExpensives()
6550 vassert(isIRAtom(st->Ist.Exit.guard)); in considerExpensives()