Lines Matching defs:KnownVec
44067 KnownBits KnownVec;44069 KnownVec, TLO, Depth + 1))44077 Known = KnownVec.zext(BitWidth);44094 KnownBits KnownVec;44098 KnownVec, TLO, Depth + 1))44108 Known = KnownVec.intersectWith(KnownScl);