1 //===- CoverageMapping.cpp - Code coverage mapping support ----------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file contains support for clang's and llvm's instrumentation based 11 // code coverage. 12 // 13 //===----------------------------------------------------------------------===// 14 15 #include "llvm/ProfileData/Coverage/CoverageMapping.h" 16 #include "llvm/ADT/ArrayRef.h" 17 #include "llvm/ADT/DenseMap.h" 18 #include "llvm/ADT/None.h" 19 #include "llvm/ADT/Optional.h" 20 #include "llvm/ADT/SmallBitVector.h" 21 #include "llvm/ADT/SmallVector.h" 22 #include "llvm/ADT/StringRef.h" 23 #include "llvm/ProfileData/Coverage/CoverageMappingReader.h" 24 #include "llvm/ProfileData/InstrProfReader.h" 25 #include "llvm/Support/Debug.h" 26 #include "llvm/Support/Errc.h" 27 #include "llvm/Support/Error.h" 28 #include "llvm/Support/ErrorHandling.h" 29 #include "llvm/Support/ManagedStatic.h" 30 #include "llvm/Support/MemoryBuffer.h" 31 #include "llvm/Support/raw_ostream.h" 32 #include <algorithm> 33 #include <cassert> 34 #include <cstdint> 35 #include <iterator> 36 #include <memory> 37 #include <string> 38 #include <system_error> 39 #include <utility> 40 #include <vector> 41 42 using namespace llvm; 43 using namespace coverage; 44 45 #define DEBUG_TYPE "coverage-mapping" 46 47 Counter CounterExpressionBuilder::get(const CounterExpression &E) { 48 auto It = ExpressionIndices.find(E); 49 if (It != ExpressionIndices.end()) 50 return Counter::getExpression(It->second); 51 unsigned I = Expressions.size(); 52 Expressions.push_back(E); 53 ExpressionIndices[E] = I; 54 return Counter::getExpression(I); 55 } 56 57 void CounterExpressionBuilder::extractTerms(Counter C, int Factor, 58 SmallVectorImpl<Term> &Terms) { 59 switch (C.getKind()) { 60 case Counter::Zero: 61 break; 62 case Counter::CounterValueReference: 63 Terms.emplace_back(C.getCounterID(), Factor); 64 break; 65 case Counter::Expression: 66 const auto &E = Expressions[C.getExpressionID()]; 67 extractTerms(E.LHS, Factor, Terms); 68 extractTerms( 69 E.RHS, E.Kind == CounterExpression::Subtract ? -Factor : Factor, Terms); 70 break; 71 } 72 } 73 74 Counter CounterExpressionBuilder::simplify(Counter ExpressionTree) { 75 // Gather constant terms. 76 SmallVector<Term, 32> Terms; 77 extractTerms(ExpressionTree, +1, Terms); 78 79 // If there are no terms, this is just a zero. The algorithm below assumes at 80 // least one term. 81 if (Terms.size() == 0) 82 return Counter::getZero(); 83 84 // Group the terms by counter ID. 85 std::sort(Terms.begin(), Terms.end(), [](const Term &LHS, const Term &RHS) { 86 return LHS.CounterID < RHS.CounterID; 87 }); 88 89 // Combine terms by counter ID to eliminate counters that sum to zero. 90 auto Prev = Terms.begin(); 91 for (auto I = Prev + 1, E = Terms.end(); I != E; ++I) { 92 if (I->CounterID == Prev->CounterID) { 93 Prev->Factor += I->Factor; 94 continue; 95 } 96 ++Prev; 97 *Prev = *I; 98 } 99 Terms.erase(++Prev, Terms.end()); 100 101 Counter C; 102 // Create additions. We do this before subtractions to avoid constructs like 103 // ((0 - X) + Y), as opposed to (Y - X). 104 for (auto T : Terms) { 105 if (T.Factor <= 0) 106 continue; 107 for (int I = 0; I < T.Factor; ++I) 108 if (C.isZero()) 109 C = Counter::getCounter(T.CounterID); 110 else 111 C = get(CounterExpression(CounterExpression::Add, C, 112 Counter::getCounter(T.CounterID))); 113 } 114 115 // Create subtractions. 116 for (auto T : Terms) { 117 if (T.Factor >= 0) 118 continue; 119 for (int I = 0; I < -T.Factor; ++I) 120 C = get(CounterExpression(CounterExpression::Subtract, C, 121 Counter::getCounter(T.CounterID))); 122 } 123 return C; 124 } 125 126 Counter CounterExpressionBuilder::add(Counter LHS, Counter RHS) { 127 return simplify(get(CounterExpression(CounterExpression::Add, LHS, RHS))); 128 } 129 130 Counter CounterExpressionBuilder::subtract(Counter LHS, Counter RHS) { 131 return simplify( 132 get(CounterExpression(CounterExpression::Subtract, LHS, RHS))); 133 } 134 135 void CounterMappingContext::dump(const Counter &C, raw_ostream &OS) const { 136 switch (C.getKind()) { 137 case Counter::Zero: 138 OS << '0'; 139 return; 140 case Counter::CounterValueReference: 141 OS << '#' << C.getCounterID(); 142 break; 143 case Counter::Expression: { 144 if (C.getExpressionID() >= Expressions.size()) 145 return; 146 const auto &E = Expressions[C.getExpressionID()]; 147 OS << '('; 148 dump(E.LHS, OS); 149 OS << (E.Kind == CounterExpression::Subtract ? " - " : " + "); 150 dump(E.RHS, OS); 151 OS << ')'; 152 break; 153 } 154 } 155 if (CounterValues.empty()) 156 return; 157 Expected<int64_t> Value = evaluate(C); 158 if (auto E = Value.takeError()) { 159 consumeError(std::move(E)); 160 return; 161 } 162 OS << '[' << *Value << ']'; 163 } 164 165 Expected<int64_t> CounterMappingContext::evaluate(const Counter &C) const { 166 switch (C.getKind()) { 167 case Counter::Zero: 168 return 0; 169 case Counter::CounterValueReference: 170 if (C.getCounterID() >= CounterValues.size()) 171 return errorCodeToError(errc::argument_out_of_domain); 172 return CounterValues[C.getCounterID()]; 173 case Counter::Expression: { 174 if (C.getExpressionID() >= Expressions.size()) 175 return errorCodeToError(errc::argument_out_of_domain); 176 const auto &E = Expressions[C.getExpressionID()]; 177 Expected<int64_t> LHS = evaluate(E.LHS); 178 if (!LHS) 179 return LHS; 180 Expected<int64_t> RHS = evaluate(E.RHS); 181 if (!RHS) 182 return RHS; 183 return E.Kind == CounterExpression::Subtract ? *LHS - *RHS : *LHS + *RHS; 184 } 185 } 186 llvm_unreachable("Unhandled CounterKind"); 187 } 188 189 void FunctionRecordIterator::skipOtherFiles() { 190 while (Current != Records.end() && !Filename.empty() && 191 Filename != Current->Filenames[0]) 192 ++Current; 193 if (Current == Records.end()) 194 *this = FunctionRecordIterator(); 195 } 196 197 Error CoverageMapping::loadFunctionRecord( 198 const CoverageMappingRecord &Record, 199 IndexedInstrProfReader &ProfileReader) { 200 StringRef OrigFuncName = Record.FunctionName; 201 if (OrigFuncName.empty()) 202 return make_error<CoverageMapError>(coveragemap_error::malformed); 203 204 if (Record.Filenames.empty()) 205 OrigFuncName = getFuncNameWithoutPrefix(OrigFuncName); 206 else 207 OrigFuncName = getFuncNameWithoutPrefix(OrigFuncName, Record.Filenames[0]); 208 209 // Don't load records for functions we've already seen. 210 if (!FunctionNames.insert(OrigFuncName).second) 211 return Error::success(); 212 213 CounterMappingContext Ctx(Record.Expressions); 214 215 std::vector<uint64_t> Counts; 216 if (Error E = ProfileReader.getFunctionCounts(Record.FunctionName, 217 Record.FunctionHash, Counts)) { 218 instrprof_error IPE = InstrProfError::take(std::move(E)); 219 if (IPE == instrprof_error::hash_mismatch) { 220 MismatchedFunctionCount++; 221 return Error::success(); 222 } else if (IPE != instrprof_error::unknown_function) 223 return make_error<InstrProfError>(IPE); 224 Counts.assign(Record.MappingRegions.size(), 0); 225 } 226 Ctx.setCounts(Counts); 227 228 assert(!Record.MappingRegions.empty() && "Function has no regions"); 229 230 FunctionRecord Function(OrigFuncName, Record.Filenames); 231 for (const auto &Region : Record.MappingRegions) { 232 Expected<int64_t> ExecutionCount = Ctx.evaluate(Region.Count); 233 if (auto E = ExecutionCount.takeError()) { 234 consumeError(std::move(E)); 235 return Error::success(); 236 } 237 Function.pushRegion(Region, *ExecutionCount); 238 } 239 if (Function.CountedRegions.size() != Record.MappingRegions.size()) { 240 MismatchedFunctionCount++; 241 return Error::success(); 242 } 243 244 Functions.push_back(std::move(Function)); 245 return Error::success(); 246 } 247 248 Expected<std::unique_ptr<CoverageMapping>> CoverageMapping::load( 249 ArrayRef<std::unique_ptr<CoverageMappingReader>> CoverageReaders, 250 IndexedInstrProfReader &ProfileReader) { 251 auto Coverage = std::unique_ptr<CoverageMapping>(new CoverageMapping()); 252 253 for (const auto &CoverageReader : CoverageReaders) 254 for (const auto &Record : *CoverageReader) 255 if (Error E = Coverage->loadFunctionRecord(Record, ProfileReader)) 256 return std::move(E); 257 258 return std::move(Coverage); 259 } 260 261 Expected<std::unique_ptr<CoverageMapping>> 262 CoverageMapping::load(ArrayRef<StringRef> ObjectFilenames, 263 StringRef ProfileFilename, ArrayRef<StringRef> Arches) { 264 auto ProfileReaderOrErr = IndexedInstrProfReader::create(ProfileFilename); 265 if (Error E = ProfileReaderOrErr.takeError()) 266 return std::move(E); 267 auto ProfileReader = std::move(ProfileReaderOrErr.get()); 268 269 SmallVector<std::unique_ptr<CoverageMappingReader>, 4> Readers; 270 SmallVector<std::unique_ptr<MemoryBuffer>, 4> Buffers; 271 for (const auto &File : llvm::enumerate(ObjectFilenames)) { 272 auto CovMappingBufOrErr = MemoryBuffer::getFileOrSTDIN(File.value()); 273 if (std::error_code EC = CovMappingBufOrErr.getError()) 274 return errorCodeToError(EC); 275 StringRef Arch = Arches.empty() ? StringRef() : Arches[File.index()]; 276 auto CoverageReaderOrErr = 277 BinaryCoverageReader::create(CovMappingBufOrErr.get(), Arch); 278 if (Error E = CoverageReaderOrErr.takeError()) 279 return std::move(E); 280 Readers.push_back(std::move(CoverageReaderOrErr.get())); 281 Buffers.push_back(std::move(CovMappingBufOrErr.get())); 282 } 283 return load(Readers, *ProfileReader); 284 } 285 286 namespace { 287 288 /// \brief Distributes functions into instantiation sets. 289 /// 290 /// An instantiation set is a collection of functions that have the same source 291 /// code, ie, template functions specializations. 292 class FunctionInstantiationSetCollector { 293 using MapT = DenseMap<std::pair<unsigned, unsigned>, 294 std::vector<const FunctionRecord *>>; 295 MapT InstantiatedFunctions; 296 297 public: 298 void insert(const FunctionRecord &Function, unsigned FileID) { 299 auto I = Function.CountedRegions.begin(), E = Function.CountedRegions.end(); 300 while (I != E && I->FileID != FileID) 301 ++I; 302 assert(I != E && "function does not cover the given file"); 303 auto &Functions = InstantiatedFunctions[I->startLoc()]; 304 Functions.push_back(&Function); 305 } 306 307 MapT::iterator begin() { return InstantiatedFunctions.begin(); } 308 MapT::iterator end() { return InstantiatedFunctions.end(); } 309 }; 310 311 class SegmentBuilder { 312 std::vector<CoverageSegment> &Segments; 313 SmallVector<const CountedRegion *, 8> ActiveRegions; 314 315 SegmentBuilder(std::vector<CoverageSegment> &Segments) : Segments(Segments) {} 316 317 /// Start a segment with no count specified. 318 void startSegment(unsigned Line, unsigned Col) { 319 DEBUG(dbgs() << "Top level segment at " << Line << ":" << Col << "\n"); 320 Segments.emplace_back(Line, Col, /*IsRegionEntry=*/false); 321 } 322 323 /// Start a segment with the given Region's count. 324 void startSegment(unsigned Line, unsigned Col, bool IsRegionEntry, 325 const CountedRegion &Region) { 326 // Avoid creating empty regions. 327 if (!Segments.empty() && Segments.back().Line == Line && 328 Segments.back().Col == Col) 329 Segments.pop_back(); 330 DEBUG(dbgs() << "Segment at " << Line << ":" << Col); 331 // Set this region's count. 332 if (Region.Kind != CounterMappingRegion::SkippedRegion) { 333 DEBUG(dbgs() << " with count " << Region.ExecutionCount); 334 Segments.emplace_back(Line, Col, Region.ExecutionCount, IsRegionEntry); 335 } else 336 Segments.emplace_back(Line, Col, IsRegionEntry); 337 DEBUG(dbgs() << "\n"); 338 } 339 340 /// Start a segment for the given region. 341 void startSegment(const CountedRegion &Region) { 342 startSegment(Region.LineStart, Region.ColumnStart, true, Region); 343 } 344 345 /// Pop the top region off of the active stack, starting a new segment with 346 /// the containing Region's count. 347 void popRegion() { 348 const CountedRegion *Active = ActiveRegions.back(); 349 unsigned Line = Active->LineEnd, Col = Active->ColumnEnd; 350 ActiveRegions.pop_back(); 351 if (ActiveRegions.empty()) 352 startSegment(Line, Col); 353 else 354 startSegment(Line, Col, false, *ActiveRegions.back()); 355 } 356 357 void buildSegmentsImpl(ArrayRef<CountedRegion> Regions) { 358 for (const auto &Region : Regions) { 359 // Pop any regions that end before this one starts. 360 while (!ActiveRegions.empty() && 361 ActiveRegions.back()->endLoc() <= Region.startLoc()) 362 popRegion(); 363 // Add this region to the stack. 364 ActiveRegions.push_back(&Region); 365 startSegment(Region); 366 } 367 // Pop any regions that are left in the stack. 368 while (!ActiveRegions.empty()) 369 popRegion(); 370 } 371 372 /// Sort a nested sequence of regions from a single file. 373 static void sortNestedRegions(MutableArrayRef<CountedRegion> Regions) { 374 std::sort(Regions.begin(), Regions.end(), [](const CountedRegion &LHS, 375 const CountedRegion &RHS) { 376 if (LHS.startLoc() != RHS.startLoc()) 377 return LHS.startLoc() < RHS.startLoc(); 378 if (LHS.endLoc() != RHS.endLoc()) 379 // When LHS completely contains RHS, we sort LHS first. 380 return RHS.endLoc() < LHS.endLoc(); 381 // If LHS and RHS cover the same area, we need to sort them according 382 // to their kinds so that the most suitable region will become "active" 383 // in combineRegions(). Because we accumulate counter values only from 384 // regions of the same kind as the first region of the area, prefer 385 // CodeRegion to ExpansionRegion and ExpansionRegion to SkippedRegion. 386 static_assert(CounterMappingRegion::CodeRegion < 387 CounterMappingRegion::ExpansionRegion && 388 CounterMappingRegion::ExpansionRegion < 389 CounterMappingRegion::SkippedRegion, 390 "Unexpected order of region kind values"); 391 return LHS.Kind < RHS.Kind; 392 }); 393 } 394 395 /// Combine counts of regions which cover the same area. 396 static ArrayRef<CountedRegion> 397 combineRegions(MutableArrayRef<CountedRegion> Regions) { 398 if (Regions.empty()) 399 return Regions; 400 auto Active = Regions.begin(); 401 auto End = Regions.end(); 402 for (auto I = Regions.begin() + 1; I != End; ++I) { 403 if (Active->startLoc() != I->startLoc() || 404 Active->endLoc() != I->endLoc()) { 405 // Shift to the next region. 406 ++Active; 407 if (Active != I) 408 *Active = *I; 409 continue; 410 } 411 // Merge duplicate region. 412 // If CodeRegions and ExpansionRegions cover the same area, it's probably 413 // a macro which is fully expanded to another macro. In that case, we need 414 // to accumulate counts only from CodeRegions, or else the area will be 415 // counted twice. 416 // On the other hand, a macro may have a nested macro in its body. If the 417 // outer macro is used several times, the ExpansionRegion for the nested 418 // macro will also be added several times. These ExpansionRegions cover 419 // the same source locations and have to be combined to reach the correct 420 // value for that area. 421 // We add counts of the regions of the same kind as the active region 422 // to handle the both situations. 423 if (I->Kind == Active->Kind) 424 Active->ExecutionCount += I->ExecutionCount; 425 } 426 return Regions.drop_back(std::distance(++Active, End)); 427 } 428 429 public: 430 /// Build a list of CoverageSegments from a list of Regions. 431 static std::vector<CoverageSegment> 432 buildSegments(MutableArrayRef<CountedRegion> Regions) { 433 std::vector<CoverageSegment> Segments; 434 SegmentBuilder Builder(Segments); 435 436 sortNestedRegions(Regions); 437 ArrayRef<CountedRegion> CombinedRegions = combineRegions(Regions); 438 439 Builder.buildSegmentsImpl(CombinedRegions); 440 return Segments; 441 } 442 }; 443 444 } // end anonymous namespace 445 446 std::vector<StringRef> CoverageMapping::getUniqueSourceFiles() const { 447 std::vector<StringRef> Filenames; 448 for (const auto &Function : getCoveredFunctions()) 449 Filenames.insert(Filenames.end(), Function.Filenames.begin(), 450 Function.Filenames.end()); 451 std::sort(Filenames.begin(), Filenames.end()); 452 auto Last = std::unique(Filenames.begin(), Filenames.end()); 453 Filenames.erase(Last, Filenames.end()); 454 return Filenames; 455 } 456 457 static SmallBitVector gatherFileIDs(StringRef SourceFile, 458 const FunctionRecord &Function) { 459 SmallBitVector FilenameEquivalence(Function.Filenames.size(), false); 460 for (unsigned I = 0, E = Function.Filenames.size(); I < E; ++I) 461 if (SourceFile == Function.Filenames[I]) 462 FilenameEquivalence[I] = true; 463 return FilenameEquivalence; 464 } 465 466 /// Return the ID of the file where the definition of the function is located. 467 static Optional<unsigned> findMainViewFileID(const FunctionRecord &Function) { 468 SmallBitVector IsNotExpandedFile(Function.Filenames.size(), true); 469 for (const auto &CR : Function.CountedRegions) 470 if (CR.Kind == CounterMappingRegion::ExpansionRegion) 471 IsNotExpandedFile[CR.ExpandedFileID] = false; 472 int I = IsNotExpandedFile.find_first(); 473 if (I == -1) 474 return None; 475 return I; 476 } 477 478 /// Check if SourceFile is the file that contains the definition of 479 /// the Function. Return the ID of the file in that case or None otherwise. 480 static Optional<unsigned> findMainViewFileID(StringRef SourceFile, 481 const FunctionRecord &Function) { 482 Optional<unsigned> I = findMainViewFileID(Function); 483 if (I && SourceFile == Function.Filenames[*I]) 484 return I; 485 return None; 486 } 487 488 static bool isExpansion(const CountedRegion &R, unsigned FileID) { 489 return R.Kind == CounterMappingRegion::ExpansionRegion && R.FileID == FileID; 490 } 491 492 CoverageData CoverageMapping::getCoverageForFile(StringRef Filename) const { 493 CoverageData FileCoverage(Filename); 494 std::vector<CountedRegion> Regions; 495 496 for (const auto &Function : Functions) { 497 auto MainFileID = findMainViewFileID(Filename, Function); 498 auto FileIDs = gatherFileIDs(Filename, Function); 499 for (const auto &CR : Function.CountedRegions) 500 if (FileIDs.test(CR.FileID)) { 501 Regions.push_back(CR); 502 if (MainFileID && isExpansion(CR, *MainFileID)) 503 FileCoverage.Expansions.emplace_back(CR, Function); 504 } 505 } 506 507 DEBUG(dbgs() << "Emitting segments for file: " << Filename << "\n"); 508 FileCoverage.Segments = SegmentBuilder::buildSegments(Regions); 509 510 return FileCoverage; 511 } 512 513 std::vector<InstantiationGroup> 514 CoverageMapping::getInstantiationGroups(StringRef Filename) const { 515 FunctionInstantiationSetCollector InstantiationSetCollector; 516 for (const auto &Function : Functions) { 517 auto MainFileID = findMainViewFileID(Filename, Function); 518 if (!MainFileID) 519 continue; 520 InstantiationSetCollector.insert(Function, *MainFileID); 521 } 522 523 std::vector<InstantiationGroup> Result; 524 for (const auto &InstantiationSet : InstantiationSetCollector) { 525 InstantiationGroup IG{InstantiationSet.first.first, 526 InstantiationSet.first.second, 527 std::move(InstantiationSet.second)}; 528 Result.emplace_back(std::move(IG)); 529 } 530 return Result; 531 } 532 533 CoverageData 534 CoverageMapping::getCoverageForFunction(const FunctionRecord &Function) const { 535 auto MainFileID = findMainViewFileID(Function); 536 if (!MainFileID) 537 return CoverageData(); 538 539 CoverageData FunctionCoverage(Function.Filenames[*MainFileID]); 540 std::vector<CountedRegion> Regions; 541 for (const auto &CR : Function.CountedRegions) 542 if (CR.FileID == *MainFileID) { 543 Regions.push_back(CR); 544 if (isExpansion(CR, *MainFileID)) 545 FunctionCoverage.Expansions.emplace_back(CR, Function); 546 } 547 548 DEBUG(dbgs() << "Emitting segments for function: " << Function.Name << "\n"); 549 FunctionCoverage.Segments = SegmentBuilder::buildSegments(Regions); 550 551 return FunctionCoverage; 552 } 553 554 CoverageData CoverageMapping::getCoverageForExpansion( 555 const ExpansionRecord &Expansion) const { 556 CoverageData ExpansionCoverage( 557 Expansion.Function.Filenames[Expansion.FileID]); 558 std::vector<CountedRegion> Regions; 559 for (const auto &CR : Expansion.Function.CountedRegions) 560 if (CR.FileID == Expansion.FileID) { 561 Regions.push_back(CR); 562 if (isExpansion(CR, Expansion.FileID)) 563 ExpansionCoverage.Expansions.emplace_back(CR, Expansion.Function); 564 } 565 566 DEBUG(dbgs() << "Emitting segments for expansion of file " << Expansion.FileID 567 << "\n"); 568 ExpansionCoverage.Segments = SegmentBuilder::buildSegments(Regions); 569 570 return ExpansionCoverage; 571 } 572 573 static std::string getCoverageMapErrString(coveragemap_error Err) { 574 switch (Err) { 575 case coveragemap_error::success: 576 return "Success"; 577 case coveragemap_error::eof: 578 return "End of File"; 579 case coveragemap_error::no_data_found: 580 return "No coverage data found"; 581 case coveragemap_error::unsupported_version: 582 return "Unsupported coverage format version"; 583 case coveragemap_error::truncated: 584 return "Truncated coverage data"; 585 case coveragemap_error::malformed: 586 return "Malformed coverage data"; 587 } 588 llvm_unreachable("A value of coveragemap_error has no message."); 589 } 590 591 namespace { 592 593 // FIXME: This class is only here to support the transition to llvm::Error. It 594 // will be removed once this transition is complete. Clients should prefer to 595 // deal with the Error value directly, rather than converting to error_code. 596 class CoverageMappingErrorCategoryType : public std::error_category { 597 const char *name() const noexcept override { return "llvm.coveragemap"; } 598 std::string message(int IE) const override { 599 return getCoverageMapErrString(static_cast<coveragemap_error>(IE)); 600 } 601 }; 602 603 } // end anonymous namespace 604 605 std::string CoverageMapError::message() const { 606 return getCoverageMapErrString(Err); 607 } 608 609 static ManagedStatic<CoverageMappingErrorCategoryType> ErrorCategory; 610 611 const std::error_category &llvm::coverage::coveragemap_category() { 612 return *ErrorCategory; 613 } 614 615 char CoverageMapError::ID = 0; 616