1870     Optional<uint64_t> tripCount = getTrivialConstantTripCount(forOp);  in matchAndRewrite()  local
1871     if (tripCount && *tripCount == 0) {  in matchAndRewrite()
1900     if (!tripCount.has_value() &&  in matchAndRewrite()
1905     if (tripCount.has_value() && tripCount.value() >= 2 && iterArgsNotInOrder)  in matchAndRewrite()
1943   Optional<uint64_t> tripCount = getTrivialConstantTripCount(*this);  in getSuccessorRegions()  local
1944   if (!index.has_value() && tripCount.has_value()) {  in getSuccessorRegions()
1945     if (tripCount.value() > 0) {  in getSuccessorRegions()
1949     if (tripCount.value() == 0) {  in getSuccessorRegions()
1957   if (index && tripCount && *tripCount == 1) {  in getSuccessorRegions()
1970   Optional<uint64_t> tripCount = getTrivialConstantTripCount(op);  in hasTrivialZeroTripCount()  local
1971   return tripCount && *tripCount == 0;  in hasTrivialZeroTripCount()