Lines Matching full:mkexpr
3801 #define mkexpr(_tmp) IRExpr_RdTmp((_tmp))
3817 return mkexpr(t);
4101 return mkexpr(t);
4105 return mkexpr( findShadowTmp(pce, e->Iex.RdTmp.tmp) );
4114 return mkexpr(t);
4118 return mkexpr( findShadowTmp(pce, e->Iex.RdTmp.tmp) );
4156 res = gen_dirty_W_WWW( pce, fn, nm, a1v, a2v, mkexpr(dst) );
4157 assign( 'I', pce, dstv, mkexpr(res) );
4168 pce, fn, nm, a1v, a2v, mkexpr(dst),
4171 assign( 'I', pce, dstv, mkexpr(res) );
4178 res = gen_dirty_W_WW( pce, fn, nm, a1v, mkexpr(dst) );
4179 assign( 'I', pce, dstv, mkexpr(res) );
4188 assign( 'I', pce, dstv, mkexpr(res) );
4198 mkexpr(
4200 mkexpr(dst) ) ) );
4259 res = gen_dirty_W_WWW( pce, fn, nm, a1v, a2v, mkexpr(dst) );
4260 assign( 'I', pce, dstv, mkexpr(res) );
4271 pce, fn, nm, a1v, a2v, mkexpr(dst),
4274 assign( 'I', pce, dstv, mkexpr(res) );
4281 res = gen_dirty_W_WW( pce, fn, nm, a1v, mkexpr(dst) );
4282 assign( 'I', pce, dstv, mkexpr(res) );
4291 assign( 'I', pce, dstv, mkexpr(res) );
4303 mkexpr(
4305 mkexpr(dst) ) ) );
4398 mkexpr(a2) ));
4463 assign( 'I', pce, resSC, unop(Iop_32to1, mkexpr(resSC32)) );
4561 assign( 'I', pce, resSC, unop(Iop_64to1, mkexpr(resSC64)) );
4581 assign( 'I', pce, resSC, unop(Iop_64to1, mkexpr(resSC64)) );
4681 mkexpr( gen_dirty_W_WW( pce, h_fn, h_nm,
4710 mkexpr( gen_dirty_W_WW( pce, h_fn, h_nm,
4774 mkexpr( gen_dirty_W_WW( pce, r_fn, r_nm, addr, addrV )));
4777 assign('I', pce, success, binop(cmpEQ, mkexpr(old), expd));
4778 gen_dirty_v_WW( pce, mkexpr(success), w_fn, w_nm, addr, nyuV );
4804 binop(cmpEQ, mkexpr(old), expd));
4805 gen_call_nonptr_or_unknown_range( pce, mkexpr(success),
4836 binop(cmpEQ, mkexpr(old), expd));
4837 gen_call_nonptr_or_unknown_range( pce, mkexpr(success),
4894 mkexpr( gen_dirty_W_WW( pce, r_fn, r_nm,
4895 mkexpr(addrpp), addrV ))
4898 mkexpr( gen_dirty_W_WW( pce, r_fn, r_nm,
4904 binop(opXOR, mkexpr(oldHi), expdHi));
4907 binop(opXOR, mkexpr(oldLo), expdLo));
4910 binop(opOR, mkexpr(diffHi), mkexpr(diffLo)));
4913 binop(opCasCmpEQ, mkexpr(diff), zero));
4914 gen_dirty_v_WW( pce, mkexpr(success),
4915 w_fn, w_nm, mkexpr(addrpp), nyuHiV );
4916 gen_dirty_v_WW( pce, mkexpr(success),
4939 binop(Iop_Xor32, mkexpr(oldHi), expdHi));
4942 binop(Iop_Xor32, mkexpr(oldLo), expdLo));
4945 binop(Iop_Or32, mkexpr(diffHi), mkexpr(diffLo)));
4948 binop(Iop_CasCmpEQ32, mkexpr(diff), mkU32(0)));
4949 gen_call_nonptr_or_unknown_range( pce, mkexpr(success),
5020 mkexpr(a2) ));
5147 mkexpr( gen_call_nonptr_or_unknown_w(
5148 pce, mkexpr(dst))));
