Lines Matching refs:va1
1576 IRAtom* mkLazy2 ( MCEnv* mce, IRType finalVty, IRAtom* va1, IRAtom* va2 ) in mkLazy2() argument
1579 IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1); in mkLazy2()
1581 tl_assert(isShadowAtom(mce,va1)); in mkLazy2()
1591 at = mkUifU(mce, Ity_I64, va1, va2); in mkLazy2()
1599 at = mkUifU(mce, Ity_I64, va1, va2); in mkLazy2()
1615 at = mkPCastTo(mce, Ity_I32, va1); in mkLazy2()
1625 IRAtom* va1, IRAtom* va2, IRAtom* va3 ) in mkLazy3() argument
1628 IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1); in mkLazy3()
1631 tl_assert(isShadowAtom(mce,va1)); in mkLazy3()
1647 at = mkPCastTo(mce, Ity_I64, va1); in mkLazy3()
1664 IRAtom* at1 = mkPCastTo(mce, Ity_I64, va1); in mkLazy3()
1677 at = mkPCastTo(mce, Ity_I64, va1); in mkLazy3()
1689 at = va1; in mkLazy3()
1704 at = mkPCastTo(mce, Ity_I128, va1); in mkLazy3()
1722 IRAtom* at1 = mkPCastTo(mce, Ity_I64, va1); in mkLazy3()
1759 IRAtom* va1, IRAtom* va2, IRAtom* va3, IRAtom* va4 ) in mkLazy4() argument
1762 IRType t1 = typeOfIRExpr(mce->sb->tyenv, va1); in mkLazy4()
1766 tl_assert(isShadowAtom(mce,va1)); in mkLazy4()
1783 at = mkPCastTo(mce, Ity_I64, va1); in mkLazy4()
1797 at = va1; in mkLazy4()