Lines Matching refs:tyAddr
2090 IRType tyAddr = mce->hWordTy; in expr2vbits_LDle_WRK() local
2091 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 ); in expr2vbits_LDle_WRK()
2092 mkAdd = tyAddr==Ity_I32 ? Iop_Add32 : Iop_Add64; in expr2vbits_LDle_WRK()
2093 eBias = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias); in expr2vbits_LDle_WRK()
2094 addrAct = assignNew(mce, tyAddr, binop(mkAdd, addr, eBias) ); in expr2vbits_LDle_WRK()
2251 IRType ty, tyAddr; in do_shadow_STle() local
2259 tyAddr = mce->hWordTy; in do_shadow_STle()
2260 mkAdd = tyAddr==Ity_I32 ? Iop_Add32 : Iop_Add64; in do_shadow_STle()
2261 tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 ); in do_shadow_STle()
2309 eBias0 = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias); in do_shadow_STle()
2310 addrLo64 = assignNew(mce, tyAddr, binop(mkAdd, addr, eBias0) ); in do_shadow_STle()
2316 eBias8 = tyAddr==Ity_I32 ? mkU32(bias+8) : mkU64(bias+8); in do_shadow_STle()
2317 addrHi64 = assignNew(mce, tyAddr, binop(mkAdd, addr, eBias8) ); in do_shadow_STle()
2335 eBias = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias); in do_shadow_STle()
2336 addrAct = assignNew(mce, tyAddr, binop(mkAdd, addr, eBias) ); in do_shadow_STle()
2379 IRType tyAddr, tySrc, tyDst; in do_shadow_Dirty() local
2436 tyAddr = Ity_INVALID; in do_shadow_Dirty()
2446 tyAddr = typeOfIRExpr(mce->bb->tyenv, d->mAddr); in do_shadow_Dirty()
2447 tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64); in do_shadow_Dirty()
2448 tl_assert(tyAddr == mce->hWordTy); /* not really right */ in do_shadow_Dirty()