Lines Matching refs:va3
1625 IRAtom* va1, IRAtom* va2, IRAtom* va3 ) in mkLazy3() argument
1630 IRType t3 = typeOfIRExpr(mce->sb->tyenv, va3); in mkLazy3()
1633 tl_assert(isShadowAtom(mce,va3)); in mkLazy3()
1650 at = mkUifU(mce, Ity_I64, at, va3); in mkLazy3()
1667 at = mkUifU(mce, Ity_I64, at, va3); in mkLazy3()
1679 at = mkUifU(mce, Ity_I64, at, va3); in mkLazy3()
1691 at = mkUifU(mce, Ity_I32, at, va3); in mkLazy3()
1707 at = mkUifU(mce, Ity_I128, at, va3); in mkLazy3()
1724 IRAtom* at3 = mkPCastTo(mce, Ity_I64, va3); in mkLazy3()
1759 IRAtom* va1, IRAtom* va2, IRAtom* va3, IRAtom* va4 ) in mkLazy4() argument
1764 IRType t3 = typeOfIRExpr(mce->sb->tyenv, va3); in mkLazy4()
1768 tl_assert(isShadowAtom(mce,va3)); in mkLazy4()
1786 at = mkUifU(mce, Ity_I64, at, va3); in mkLazy4()
1800 at = mkUifU(mce, Ity_I32, at, va3); in mkLazy4()