Lines Matching defs:Predicate

115                                             ICmpInst::Predicate &Predicate) {
125     Predicate = ICmpInst::ICMP_SLE;
128     Predicate = ICmpInst::ICMP_SLT;
180   CmpInst::Predicate Predicate;
181   isl::ast_expr UB = getUpperBound(For, Predicate);
188   if (Predicate == CmpInst::ICMP_SLT)
443   CmpInst::Predicate Predicate;
459   isl::ast_expr UB = getUpperBound(For, Predicate);
477   // If we can show that LB <Predicate> UB holds at least once, we can
479   bool UseGuardBB = !GenSE->isKnownPredicate(Predicate, GenSE->getSCEV(ValueLB),
482                   ExitBlock, Predicate, &Annotator, MarkParallel, UseGuardBB,
504   CmpInst::Predicate Predicate;
519   UB = getUpperBound(isl::manage_copy(For).as<isl::ast_node_for>(), Predicate)
528   if (Predicate == CmpInst::ICMP_SLT)
736   Value *Predicate = ExprBuilder.create(Cond);
737   Builder.CreateCondBr(Predicate, ThenBB, ElseBB);