Lines Matching refs:vatom
1062 IRAtom* vatom;
1073 vatom = expr2vbits( mce, atom );
1074 tl_assert(isShadowAtom(mce, vatom));
1075 tl_assert(sameKindedAtoms(atom, vatom));
1077 ty = typeOfIRExpr(mce->bb->tyenv, vatom);
1082 cond = mkPCastTo( mce, Ity_I1, vatom );
1122 tl_assert(isIRAtom(vatom));
1124 if (vatom->tag == Iex_RdTmp) {
1175 IRAtom* atom, IRAtom* vatom )
1179 tl_assert(!vatom);
1181 vatom = expr2vbits( mce, atom );
1183 tl_assert(vatom);
1184 tl_assert(isShadowAtom(mce, vatom));
1187 ty = typeOfIRExpr(mce->bb->tyenv, vatom);
1195 stmt( mce->bb, IRStmt_Put( offset + mce->layout->total_sizeB, vatom ) );
1207 IRAtom* vatom;
1212 vatom = expr2vbits( mce, atom );
1213 tl_assert(sameKindedAtoms(atom, vatom));
1230 stmt( mce->bb, IRStmt_PutI( mkIRPutI( new_descr, ix, bias, vatom ) ));
1963 IRAtom* vatom = expr2vbits( mce, atom );
1968 return unary64Fx2(mce, vatom);
1971 return unary64F0x2(mce, vatom);
1975 return unary32Fx4(mce, vatom);
1980 return unary32F0x4(mce, vatom);
1984 return assignNew(mce, Ity_V128, unop(op, vatom));
1995 return mkPCastTo(mce, Ity_I64, vatom);
1999 return mkPCastTo(mce, Ity_I32, vatom);
2005 return assignNew(mce, Ity_I64, unop(op, vatom));
2014 return assignNew(mce, Ity_I32, unop(op, vatom));
2020 return assignNew(mce, Ity_I16, unop(op, vatom));
2025 return assignNew(mce, Ity_I8, unop(op, vatom));
2028 return assignNew(mce, Ity_I1, unop(Iop_32to1, vatom));
2039 return vatom;
2215 IRExpr* zwidenToHostWord ( MCEnv* mce, IRAtom* vatom )
2219 /* vatom is vbits-value and as such can only have a shadow type. */
2220 tl_assert(isShadowAtom(mce,vatom));
2222 ty = typeOfIRExpr(mce->bb->tyenv, vatom);
2227 case Ity_I32: return vatom;
2228 case Ity_I16: return assignNew(mce, tyH, unop(Iop_16Uto32, vatom));
2229 case Ity_I8: return assignNew(mce, tyH, unop(Iop_8Uto32, vatom));
