Lines Matching refs:vatom
1041 IRAtom* vatom;
1052 vatom = expr2vbits( mce, atom );
1053 tl_assert(isShadowAtom(mce, vatom));
1054 tl_assert(sameKindedAtoms(atom, vatom));
1056 ty = typeOfIRExpr(mce->bb->tyenv, vatom);
1061 cond = mkPCastTo( mce, Ity_I1, vatom );
1101 tl_assert(isIRAtom(vatom));
1103 if (vatom->tag == Iex_RdTmp) {
1154 IRAtom* atom, IRAtom* vatom )
1158 tl_assert(!vatom);
1160 vatom = expr2vbits( mce, atom );
1162 tl_assert(vatom);
1163 tl_assert(isShadowAtom(mce, vatom));
1166 ty = typeOfIRExpr(mce->bb->tyenv, vatom);
1174 stmt( mce->bb, IRStmt_Put( offset + mce->layout->total_sizeB, vatom ) );
1186 IRAtom* vatom;
1191 vatom = expr2vbits( mce, atom );
1192 tl_assert(sameKindedAtoms(atom, vatom));
1209 stmt( mce->bb, IRStmt_PutI( mkIRPutI( new_descr, ix, bias, vatom ) ));
1942 IRAtom* vatom = expr2vbits( mce, atom );
1947 return unary64Fx2(mce, vatom);
1950 return unary64F0x2(mce, vatom);
1955 return unary32Fx4(mce, vatom);
1960 return unary32F0x4(mce, vatom);
1964 return assignNew(mce, Ity_V128, unop(op, vatom));
1975 return mkPCastTo(mce, Ity_I64, vatom);
1979 return mkPCastTo(mce, Ity_I32, vatom);
1985 return assignNew(mce, Ity_I64, unop(op, vatom));
1994 return assignNew(mce, Ity_I32, unop(op, vatom));
2000 vatom));
2005 return assignNew(mce, Ity_I8, unop(op, vatom));
2008 return assignNew(mce, Ity_I1, unop(Iop_32to1, vatom));
2019 return vatom;
2195 IRExpr* zwidenToHostWord ( MCEnv* mce, IRAtom* vatom )
2199 /* vatom is vbits-value and as such can only have a shadow type. */
2200 tl_assert(isShadowAtom(mce,vatom));
2202 ty = typeOfIRExpr(mce->bb->tyenv, vatom);
2207 case Ity_I32: return vatom;
2208 case Ity_I16: return assignNew(mce, tyH, unop(Iop_16Uto32, vatom));
2209 case Ity_I8: return assignNew(mce, tyH, unop(Iop_8Uto32, vatom));
