Lines Matching refs:vatom
1096 IRAtom* vatom;
1116 vatom = expr2vbits( mce, atom );
1117 tl_assert(isShadowAtom(mce, vatom));
1118 tl_assert(sameKindedAtoms(atom, vatom));
1120 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
1125 cond = mkPCastTo( mce, Ity_I1, vatom );
1243 tl_assert(isIRAtom(vatom));
1245 if (vatom->tag == Iex_RdTmp) {
1297 IRAtom* atom, IRAtom* vatom, IRExpr *guard )
1308 tl_assert(!vatom);
1310 vatom = expr2vbits( mce, atom );
1312 tl_assert(vatom);
1313 tl_assert(isShadowAtom(mce, vatom));
1316 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
1333 vatom = assignNew('V', mce, ty, IRExpr_Mux0X(cond, iffalse, vatom));
1335 stmt( 'V', mce, IRStmt_Put( offset + mce->layout->total_sizeB, vatom ));
1346 IRAtom* vatom;
1361 vatom = expr2vbits( mce, atom );
1362 tl_assert(sameKindedAtoms(atom, vatom));
1379 stmt( 'V', mce, IRStmt_PutI( mkIRPutI(new_descr, ix, bias, vatom) ));
2143 Vanilla(OP)( PCast-X-to-X-x-Z(vatom) )
3536 IRAtom* vatom = expr2vbits( mce, atom );
3541 return unary64Fx2(mce, vatom);
3544 return unary64F0x2(mce, vatom);
3549 return unary32Fx8(mce, vatom);
3552 return unary64Fx4(mce, vatom);
3569 return unary32Fx4(mce, vatom);
3578 return unary32Fx2(mce, vatom);
3583 return unary32F0x4(mce, vatom);
3597 return assignNew('V', mce, Ity_V128, unop(op, vatom));
3601 return assignNew('V', mce, Ity_I64, unop(Iop_128HIto64, vatom));
3604 return assignNew('V', mce, Ity_I64, unop(Iop_128to64, vatom));
3608 return mkPCastTo(mce, Ity_I128, vatom);
3615 return mkPCastTo(mce, Ity_I128, vatom);
3634 return mkPCastTo(mce, Ity_I64, vatom);
3637 return mkPCastTo(mce, Ity_I128, vatom);
3644 return mkPCastTo(mce, Ity_I32, vatom);
3669 return assignNew('V', mce, Ity_I64, unop(op, vatom));
3681 return assignNew('V', mce, Ity_I32, unop(op, vatom));
3688 return assignNew('V', mce, Ity_I16, unop(op, vatom));
3696 return assignNew('V', mce, Ity_I8, unop(op, vatom));
3699 return assignNew('V', mce, Ity_I1, unop(Iop_32to1, vatom));
3702 return assignNew('V', mce, Ity_I1, unop(Iop_64to1, vatom));
3717 return vatom;
3724 return mkPCast8x8(mce, vatom);
3731 return mkPCast8x16(mce, vatom);
3737 return mkPCast16x4(mce, vatom);
3743 return mkPCast16x8(mce, vatom);
3751 return mkPCast32x2(mce, vatom);
3759 return mkPCast32x4(mce, vatom);
3762 return mkPCastTo(mce, Ity_I64, vatom);
3765 return mkPCast64x2(mce, vatom);
3779 return vectorNarrowUnV128(mce, op, vatom);
3787 return vectorWidenI64(mce, op, vatom);
3792 assignNew('V', mce, Ity_I64, unop(op, mkPCast32x2(mce, vatom))));
3797 assignNew('V', mce, Ity_I64, unop(op, mkPCast16x4(mce, vatom))));
3802 assignNew('V', mce, Ity_I64, unop(op, mkPCast8x8(mce, vatom))));
3807 assignNew('V', mce, Ity_V128, unop(op, mkPCast32x4(mce, vatom))));
3812 assignNew('V', mce, Ity_V128, unop(op, mkPCast16x8(mce, vatom))));
3817 assignNew('V', mce, Ity_V128, unop(op, mkPCast8x16(mce, vatom))));
4085 IRExpr* zwidenToHostWord ( MCEnv* mce, IRAtom* vatom )
4089 /* vatom is vbits-value and as such can only have a shadow type. */
4090 tl_assert(isShadowAtom(mce,vatom));
4092 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
4098 return vatom;
4100 return assignNew('V', mce, tyH, unop(Iop_16Uto32, vatom));
4102 return assignNew('V', mce, tyH, unop(Iop_8Uto32, vatom));
4110 return assignNew('V', mce, tyH, unop(Iop_32Uto64, vatom));
4113 assignNew('V', mce, Ity_I32, unop(Iop_16Uto32, vatom))));
4116 assignNew('V', mce, Ity_I32, unop(Iop_8Uto32, vatom))));
