Lines Matching refs:vatom
1213 IRAtom* vatom;
1236 vatom = expr2vbits( mce, atom );
1237 tl_assert(isShadowAtom(mce, vatom));
1238 tl_assert(sameKindedAtoms(atom, vatom));
1240 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
1245 cond = mkPCastTo( mce, Ity_I1, vatom );
1364 tl_assert(isIRAtom(vatom));
1366 if (vatom->tag == Iex_RdTmp) {
1432 IRAtom* atom, IRAtom* vatom, IRExpr *guard )
1443 tl_assert(!vatom);
1445 vatom = expr2vbits( mce, atom );
1447 tl_assert(vatom);
1448 tl_assert(isShadowAtom(mce, vatom));
1451 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
1468 vatom = assignNew('V', mce, ty, IRExpr_ITE(cond, vatom, iffalse));
1470 stmt( 'V', mce, IRStmt_Put( offset + mce->layout->total_sizeB, vatom ));
1481 IRAtom* vatom;
1496 vatom = expr2vbits( mce, atom );
1497 tl_assert(sameKindedAtoms(atom, vatom));
1514 stmt( 'V', mce, IRStmt_PutI( mkIRPutI(new_descr, ix, bias, vatom) ));
1970 IRAtom* atom, IRAtom* vatom )
1976 tl_assert(isShadowAtom(mce,vatom));
1978 tl_assert(sameKindedAtoms(atom,vatom));
2010 // improved = vatom & improver
2015 binop(andOp, vatom, improver));
2471 Vanilla(OP)( PCast-X-to-X-x-Z(vatom) )
4284 IRAtom* vatom = expr2vbits( mce, atom );
4292 return unary64Fx2(mce, vatom);
4295 return unary64F0x2(mce, vatom);
4300 return unary32Fx8(mce, vatom);
4303 return unary64Fx4(mce, vatom);
4318 return unary32Fx4(mce, vatom);
4327 return unary32Fx2(mce, vatom);
4332 return unary32F0x4(mce, vatom);
4351 return assignNew('V', mce, Ity_V128, unop(op, vatom));
4355 return assignNew('V', mce, Ity_I64, unop(Iop_128HIto64, vatom));
4358 return assignNew('V', mce, Ity_I64, unop(Iop_128to64, vatom));
4362 return mkPCastTo(mce, Ity_I128, vatom);
4374 return mkPCastTo(mce, Ity_I128, vatom);
4397 return mkPCastTo(mce, Ity_I64, vatom);
4400 return mkPCastTo(mce, Ity_I128, vatom);
4407 return mkPCastTo(mce, Ity_I32, vatom);
4411 return expensiveCountTrailingZeroes(mce, op, atom, vatom);
4436 return assignNew('V', mce, Ity_I64, unop(op, vatom));
4447 return assignNew('V', mce, Ity_I32, unop(op, vatom));
4455 return assignNew('V', mce, Ity_I16, unop(op, vatom));
4464 return assignNew('V', mce, Ity_I8, unop(op, vatom));
4467 return assignNew('V', mce, Ity_I1, unop(Iop_32to1, vatom));
4470 return assignNew('V', mce, Ity_I1, unop(Iop_64to1, vatom));
4485 return vatom;
4492 return mkPCast8x8(mce, vatom);
4499 return mkPCast8x16(mce, vatom);
4505 return mkPCast16x4(mce, vatom);
4511 return mkPCast16x8(mce, vatom);
4519 return mkPCast32x2(mce, vatom);
4528 return mkPCast32x4(mce, vatom);
4531 return mkPCastTo(mce, Ity_I32, vatom);
4534 return mkPCastTo(mce, Ity_I64, vatom);
4540 return mkPCast64x2(mce, vatom);
4543 return assignNew('V', mce, Ity_V128, unop(op, vatom));
4557 return vectorNarrowUnV128(mce, op, vatom);
4565 return vectorWidenI64(mce, op, vatom);
4570 assignNew('V', mce, Ity_I64, unop(op, mkPCast32x2(mce, vatom))));
4575 assignNew('V', mce, Ity_I64, unop(op, mkPCast16x4(mce, vatom))));
4580 assignNew('V', mce, Ity_I64, unop(op, mkPCast8x8(mce, vatom))));
4585 assignNew('V', mce, Ity_V128, unop(op, mkPCast32x4(mce, vatom))));
4590 assignNew('V', mce, Ity_V128, unop(op, mkPCast16x8(mce, vatom))));
4595 assignNew('V', mce, Ity_V128, unop(op, mkPCast8x16(mce, vatom))));
4958 IRExpr* zwidenToHostWord ( MCEnv* mce, IRAtom* vatom )
4962 /* vatom is vbits-value and as such can only have a shadow type. */
4963 tl_assert(isShadowAtom(mce,vatom));
4965 ty = typeOfIRExpr(mce->sb->tyenv, vatom);
4971 return vatom;
4973 return assignNew('V', mce, tyH, unop(Iop_16Uto32, vatom));
4975 return assignNew('V', mce, tyH, unop(Iop_8Uto32, vatom));
4983 return assignNew('V', mce, tyH, unop(Iop_32Uto64, vatom));
4986 assignNew('V', mce, Ity_I32, unop(Iop_16Uto32, vatom))));
4989 assignNew('V', mce, Ity_I32, unop(Iop_8Uto32, vatom))));
