Searched refs:ProveViaCond (Results 1 – 1 of 1) sorted by relevance
11470 auto ProveViaCond = [&](const Value *Condition, bool Inverse) { in isBasicBlockEntryGuardedByCond() local11500 if (ProveViaCond(BlockEntryPredicate->getCondition(), in isBasicBlockEntryGuardedByCond()11513 if (ProveViaCond(CI->getArgOperand(0), false)) in isBasicBlockEntryGuardedByCond()11524 if (ProveViaCond(Guard->getArgOperand(0), false)) in isBasicBlockEntryGuardedByCond()