Lines Matching refs:vatom
1144 IRAtom* vatom;
1167 vatom = expr2vbits( mce, atom );
1168 tl_assert(isShadowAtom(mce, vatom));
1169 tl_assert(sameKindedAtoms(atom, vatom));
1171 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
1176 cond = mkPCastTo( mce, Ity_I1, vatom );
1295 tl_assert(isIRAtom(vatom));
1297 if (vatom->tag == Iex_RdTmp) {
1363 IRAtom* atom, IRAtom* vatom, IRExpr *guard )
1374 tl_assert(!vatom);
1376 vatom = expr2vbits( mce, atom );
1378 tl_assert(vatom);
1379 tl_assert(isShadowAtom(mce, vatom));
1382 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
1399 vatom = assignNew('V', mce, ty, IRExpr_ITE(cond, vatom, iffalse));
1401 stmt( 'V', mce, IRStmt_Put( offset + mce->layout->total_sizeB, vatom ));
1412 IRAtom* vatom;
1427 vatom = expr2vbits( mce, atom );
1428 tl_assert(sameKindedAtoms(atom, vatom));
1445 stmt( 'V', mce, IRStmt_PutI( mkIRPutI(new_descr, ix, bias, vatom) ));
1901 IRAtom* atom, IRAtom* vatom )
1907 tl_assert(isShadowAtom(mce,vatom));
1909 tl_assert(sameKindedAtoms(atom,vatom));
1941 // improved = vatom & improver
1946 binop(andOp, vatom, improver));
2373 Vanilla(OP)( PCast-X-to-X-x-Z(vatom) )
3995 IRAtom* vatom = expr2vbits( mce, atom );
4002 return unary64Fx2(mce, vatom);
4005 return unary64F0x2(mce, vatom);
4010 return unary32Fx8(mce, vatom);
4013 return unary64Fx4(mce, vatom);
4030 return unary32Fx4(mce, vatom);
4039 return unary32Fx2(mce, vatom);
4044 return unary32F0x4(mce, vatom);
4062 return assignNew('V', mce, Ity_V128, unop(op, vatom));
4066 return assignNew('V', mce, Ity_I64, unop(Iop_128HIto64, vatom));
4069 return assignNew('V', mce, Ity_I64, unop(Iop_128to64, vatom));
4073 return mkPCastTo(mce, Ity_I128, vatom);
4085 return mkPCastTo(mce, Ity_I128, vatom);
4107 return mkPCastTo(mce, Ity_I64, vatom);
4110 return mkPCastTo(mce, Ity_I128, vatom);
4116 return mkPCastTo(mce, Ity_I32, vatom);
4120 return expensiveCountTrailingZeroes(mce, op, atom, vatom);
4145 return assignNew('V', mce, Ity_I64, unop(op, vatom));
4156 return assignNew('V', mce, Ity_I32, unop(op, vatom));
4164 return assignNew('V', mce, Ity_I16, unop(op, vatom));
4173 return assignNew('V', mce, Ity_I8, unop(op, vatom));
4176 return assignNew('V', mce, Ity_I1, unop(Iop_32to1, vatom));
4179 return assignNew('V', mce, Ity_I1, unop(Iop_64to1, vatom));
4194 return vatom;
4201 return mkPCast8x8(mce, vatom);
4208 return mkPCast8x16(mce, vatom);
4214 return mkPCast16x4(mce, vatom);
4220 return mkPCast16x8(mce, vatom);
4228 return mkPCast32x2(mce, vatom);
4236 return mkPCast32x4(mce, vatom);
4239 return mkPCastTo(mce, Ity_I32, vatom);
4242 return mkPCastTo(mce, Ity_I64, vatom);
4247 return mkPCast64x2(mce, vatom);
4250 return assignNew('V', mce, Ity_V128, unop(op, vatom));
4264 return vectorNarrowUnV128(mce, op, vatom);
4272 return vectorWidenI64(mce, op, vatom);
4277 assignNew('V', mce, Ity_I64, unop(op, mkPCast32x2(mce, vatom))));
4282 assignNew('V', mce, Ity_I64, unop(op, mkPCast16x4(mce, vatom))));
4287 assignNew('V', mce, Ity_I64, unop(op, mkPCast8x8(mce, vatom))));
4292 assignNew('V', mce, Ity_V128, unop(op, mkPCast32x4(mce, vatom))));
4297 assignNew('V', mce, Ity_V128, unop(op, mkPCast16x8(mce, vatom))));
4302 assignNew('V', mce, Ity_V128, unop(op, mkPCast8x16(mce, vatom))));
4307 return assignNew('V', mce, Ity_V128, unop(op, mkPCast8x16(mce, vatom)));
4311 return assignNew('V', mce, Ity_V128, unop(op, mkPCast16x8(mce, vatom)));
4315 return assignNew('V', mce, Ity_V128, unop(op, mkPCast32x4(mce, vatom)));
4678 IRExpr* zwidenToHostWord ( MCEnv* mce, IRAtom* vatom )
4682 /* vatom is vbits-value and as such can only have a shadow type. */
4683 tl_assert(isShadowAtom(mce,vatom));
4685 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
4691 return vatom;
4693 return assignNew('V', mce, tyH, unop(Iop_16Uto32, vatom));
4695 return assignNew('V', mce, tyH, unop(Iop_8Uto32, vatom));
4703 return assignNew('V', mce, tyH, unop(Iop_32Uto64, vatom));
4706 assignNew('V', mce, Ity_I32, unop(Iop_16Uto32, vatom))));
4709 assignNew('V', mce, Ity_I32, unop(Iop_8Uto32, vatom))));
