Home | History | Annotate | Download | only in memcheck

Lines Matching refs:va1

1314 IRAtom* mkLazy2 ( MCEnv* mce, IRType finalVty, IRAtom* va1, IRAtom* va2 )
1317    IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1);
1319    tl_assert(isShadowAtom(mce,va1));
1329       at = mkUifU(mce, Ity_I64, va1, va2);
1337       at = mkUifU(mce, Ity_I64, va1, va2);
1353    at = mkPCastTo(mce, Ity_I32, va1);
1363                   IRAtom* va1, IRAtom* va2, IRAtom* va3 )
1366    IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1);
1369    tl_assert(isShadowAtom(mce,va1));
1385       at = mkPCastTo(mce, Ity_I64, va1);
1398       at = mkPCastTo(mce, Ity_I64, va1);
1410       at = va1;
1432    at = mkPCastTo(mce, Ity_I32, va1);
1444                   IRAtom* va1, IRAtom* va2, IRAtom* va3, IRAtom* va4 )
1447    IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1);
1451    tl_assert(isShadowAtom(mce,va1));
1468       at = mkPCastTo(mce, Ity_I64, va1);