Lines Matching defs:intersect

745 // the program, intersect those constraints with BBLV
764     BBLV = BBLV.intersect(*getValueFromCondition(Val, I->getArgOperand(0),
776         BBLV = BBLV.intersect(*getValueFromCondition(Val, Cond,
865         TrueVal.intersect(*getValueFromCondition(SI->getTrueValue(), Cond,
869         FalseVal.intersect(*getValueFromCondition(SI->getFalseValue(), Cond,
1038       .intersect(MetadataVal);
1345   // if (L && R) -> intersect L and R
1346   // if (!(L || R)) -> intersect !L and !R
1354   return LV->intersect(*RV);
1566   return LocalResult->intersect(InBlock);
1656       VL = VL.intersect(*CondVal);
1659     // If there are multiple uses, we would have to intersect with the union of