Home | History | Annotate | Download | only in memcheck

Lines Matching refs:va1

1441 IRAtom* mkLazy2 ( MCEnv* mce, IRType finalVty, IRAtom* va1, IRAtom* va2 )
1444    IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1);
1446    tl_assert(isShadowAtom(mce,va1));
1456       at = mkUifU(mce, Ity_I64, va1, va2);
1464       at = mkUifU(mce, Ity_I64, va1, va2);
1480    at = mkPCastTo(mce, Ity_I32, va1);
1490                   IRAtom* va1, IRAtom* va2, IRAtom* va3 )
1493    IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1);
1496    tl_assert(isShadowAtom(mce,va1));
1512       at = mkPCastTo(mce, Ity_I64, va1);
1525       at = mkPCastTo(mce, Ity_I64, va1);
1537       at = va1;
1552       at = mkPCastTo(mce, Ity_I128, va1);
1575    at = mkPCastTo(mce, Ity_I32, va1);
1587                   IRAtom* va1, IRAtom* va2, IRAtom* va3, IRAtom* va4 )
1590    IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1);
1594    tl_assert(isShadowAtom(mce,va1));
1611       at = mkPCastTo(mce, Ity_I64, va1);
1625       at = va1;