Lines Matching refs:vatom
1018 IRAtom* vatom;
1029 vatom = expr2vbits( mce, atom );
1030 tl_assert(isShadowAtom(mce, vatom));
1031 tl_assert(sameKindedAtoms(atom, vatom));
1033 ty = typeOfIRExpr(mce->bb->tyenv, vatom);
1038 cond = mkPCastTo( mce, Ity_I1, vatom );
1078 tl_assert(isIRAtom(vatom));
1080 if (vatom->tag == Iex_RdTmp) {
1131 IRAtom* atom, IRAtom* vatom )
1135 tl_assert(!vatom);
1137 vatom = expr2vbits( mce, atom );
1139 tl_assert(vatom);
1140 tl_assert(isShadowAtom(mce, vatom));
1143 ty = typeOfIRExpr(mce->bb->tyenv, vatom);
1151 stmt( mce->bb, IRStmt_Put( offset + mce->layout->total_sizeB, vatom ) );
1163 IRAtom* vatom;
1168 vatom = expr2vbits( mce, atom );
1169 tl_assert(sameKindedAtoms(atom, vatom));
1186 stmt( mce->bb, IRStmt_PutI( new_descr, ix, bias, vatom ));
1919 IRAtom* vatom = expr2vbits( mce, atom );
1924 return unary64Fx2(mce, vatom);
1927 return unary64F0x2(mce, vatom);
1932 return unary32Fx4(mce, vatom);
1937 return unary32F0x4(mce, vatom);
1941 return assignNew(mce, Ity_V128, unop(op, vatom));
1952 return mkPCastTo(mce, Ity_I64, vatom);
1956 return mkPCastTo(mce, Ity_I32, vatom);
1962 return assignNew(mce, Ity_I64, unop(op, vatom));
1971 return assignNew(mce, Ity_I32, unop(op, vatom));
1977 return assignNew(mce, Ity_I16, unop(op, vatom));
1982 return assignNew(mce, Ity_I8, unop(op, vatom));
1985 return assignNew(mce, Ity_I1, unop(Iop_32to1, vatom));
1996 return vatom;
2172 IRExpr* zwidenToHostWord ( MCEnv* mce, IRAtom* vatom )
2176 /* vatom is vbits-value and as such can only have a shadow type. */
2177 tl_assert(isShadowAtom(mce,vatom));
2179 ty = typeOfIRExpr(mce->bb->tyenv, vatom);
2184 case Ity_I32: return vatom;
2185 case Ity_I16: return assignNew(mce, tyH, unop(Iop_16Uto32, vatom));
2186 case Ity_I8: return assignNew(mce, tyH, unop(Iop_8Uto32, vatom));
