4705       IRType  tyAddr  = mce->hWordTy;  in expr2vbits_Load_WRK()  local
4706       tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );  in expr2vbits_Load_WRK()
4707       mkAdd   = tyAddr==Ity_I32 ? Iop_Add32 : Iop_Add64;  in expr2vbits_Load_WRK()
4708       eBias   = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);  in expr2vbits_Load_WRK()
4709       addrAct = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBias) );  in expr2vbits_Load_WRK()
5025    IRType   ty, tyAddr;  in do_shadow_Store()  local
5030    tyAddr = mce->hWordTy;  in do_shadow_Store()
5031    mkAdd  = tyAddr==Ity_I32 ? Iop_Add32 : Iop_Add64;  in do_shadow_Store()
5032    tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );  in do_shadow_Store()
5137       eBiasQ0 = tyAddr==Ity_I32 ? mkU32(bias+offQ0) : mkU64(bias+offQ0);  in do_shadow_Store()
5138       addrQ0  = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBiasQ0) );  in do_shadow_Store()
5146       eBiasQ1 = tyAddr==Ity_I32 ? mkU32(bias+offQ1) : mkU64(bias+offQ1);  in do_shadow_Store()
5147       addrQ1  = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBiasQ1) );  in do_shadow_Store()
5155       eBiasQ2 = tyAddr==Ity_I32 ? mkU32(bias+offQ2) : mkU64(bias+offQ2);  in do_shadow_Store()
5156       addrQ2  = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBiasQ2) );  in do_shadow_Store()
5164       eBiasQ3 = tyAddr==Ity_I32 ? mkU32(bias+offQ3) : mkU64(bias+offQ3);  in do_shadow_Store()
5165       addrQ3  = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBiasQ3) );  in do_shadow_Store()
5206       eBiasLo64 = tyAddr==Ity_I32 ? mkU32(bias+offLo64) : mkU64(bias+offLo64);  in do_shadow_Store()
5207       addrLo64  = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBiasLo64) );  in do_shadow_Store()
5214       eBiasHi64 = tyAddr==Ity_I32 ? mkU32(bias+offHi64) : mkU64(bias+offHi64);  in do_shadow_Store()
5215       addrHi64  = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBiasHi64) );  in do_shadow_Store()
5239          IRAtom* eBias   = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);  in do_shadow_Store()
5240          addrAct = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBias));  in do_shadow_Store()
5376       IRType tyAddr;  in do_shadow_Dirty()  local
5380       tyAddr = typeOfIRExpr(mce->sb->tyenv, d->mAddr);  in do_shadow_Dirty()
5381       tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);  in do_shadow_Dirty()
5382       tl_assert(tyAddr == mce->hWordTy); /* not really right */  in do_shadow_Dirty()