Lines Matching refs:KnownVec
36012 KnownBits KnownVec;36014 KnownVec, TLO, Depth + 1))36022 Known = KnownVec.zext(BitWidth, true);36039 KnownBits KnownVec;36043 KnownVec, TLO, Depth + 1))36053 Known.One = KnownVec.One & KnownScl.One;36054 Known.Zero = KnownVec.Zero & KnownScl.Zero;