4701       IRType  tyAddr  = mce->hWordTy;  in expr2vbits_Load_WRK()  local
4702       tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );  in expr2vbits_Load_WRK()
4703       mkAdd   = tyAddr==Ity_I32 ? Iop_Add32 : Iop_Add64;  in expr2vbits_Load_WRK()
4704       eBias   = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);  in expr2vbits_Load_WRK()
4705       addrAct = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBias) );  in expr2vbits_Load_WRK()
5021    IRType   ty, tyAddr;  in do_shadow_Store()  local
5026    tyAddr = mce->hWordTy;  in do_shadow_Store()
5027    mkAdd  = tyAddr==Ity_I32 ? Iop_Add32 : Iop_Add64;  in do_shadow_Store()
5028    tl_assert( tyAddr == Ity_I32 || tyAddr == Ity_I64 );  in do_shadow_Store()
5133       eBiasQ0 = tyAddr==Ity_I32 ? mkU32(bias+offQ0) : mkU64(bias+offQ0);  in do_shadow_Store()
5134       addrQ0  = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBiasQ0) );  in do_shadow_Store()
5142       eBiasQ1 = tyAddr==Ity_I32 ? mkU32(bias+offQ1) : mkU64(bias+offQ1);  in do_shadow_Store()
5143       addrQ1  = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBiasQ1) );  in do_shadow_Store()
5151       eBiasQ2 = tyAddr==Ity_I32 ? mkU32(bias+offQ2) : mkU64(bias+offQ2);  in do_shadow_Store()
5152       addrQ2  = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBiasQ2) );  in do_shadow_Store()
5160       eBiasQ3 = tyAddr==Ity_I32 ? mkU32(bias+offQ3) : mkU64(bias+offQ3);  in do_shadow_Store()
5161       addrQ3  = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBiasQ3) );  in do_shadow_Store()
5202       eBiasLo64 = tyAddr==Ity_I32 ? mkU32(bias+offLo64) : mkU64(bias+offLo64);  in do_shadow_Store()
5203       addrLo64  = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBiasLo64) );  in do_shadow_Store()
5210       eBiasHi64 = tyAddr==Ity_I32 ? mkU32(bias+offHi64) : mkU64(bias+offHi64);  in do_shadow_Store()
5211       addrHi64  = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBiasHi64) );  in do_shadow_Store()
5235          IRAtom* eBias   = tyAddr==Ity_I32 ? mkU32(bias) : mkU64(bias);  in do_shadow_Store()
5236          addrAct = assignNew('V', mce, tyAddr, binop(mkAdd, addr, eBias));  in do_shadow_Store()
5372       IRType tyAddr;  in do_shadow_Dirty()  local
5376       tyAddr = typeOfIRExpr(mce->sb->tyenv, d->mAddr);  in do_shadow_Dirty()
5377       tl_assert(tyAddr == Ity_I32 || tyAddr == Ity_I64);  in do_shadow_Dirty()
5378       tl_assert(tyAddr == mce->hWordTy); /* not really right */  in do_shadow_Dirty()