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);