10e7edcfeSLei Zhang //===- ToolUtilities.cpp - MLIR Tool Utilities ----------------------------===//
20e7edcfeSLei Zhang //
330857107SMehdi Amini // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
456222a06SMehdi Amini // See https://llvm.org/LICENSE.txt for license information.
556222a06SMehdi Amini // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60e7edcfeSLei Zhang //
756222a06SMehdi Amini //===----------------------------------------------------------------------===//
80e7edcfeSLei Zhang //
90e7edcfeSLei Zhang // This file defines common utilities for implementing MLIR tools.
100e7edcfeSLei Zhang //
110e7edcfeSLei Zhang //===----------------------------------------------------------------------===//
120e7edcfeSLei Zhang
130e7edcfeSLei Zhang #include "mlir/Support/ToolUtilities.h"
140e7edcfeSLei Zhang #include "mlir/Support/LLVM.h"
150e7edcfeSLei Zhang #include "mlir/Support/LogicalResult.h"
160e7edcfeSLei Zhang #include "llvm/Support/SourceMgr.h"
17efb7727aSJacques Pienaar #include "llvm/Support/raw_ostream.h"
180e7edcfeSLei Zhang
190e7edcfeSLei Zhang using namespace mlir;
200e7edcfeSLei Zhang
210e7edcfeSLei Zhang LogicalResult
splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer> originalBuffer,ChunkBufferHandler processChunkBuffer,raw_ostream & os,bool enableSplitting,bool insertMarkerInOutput)220e7edcfeSLei Zhang mlir::splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer> originalBuffer,
230e7edcfeSLei Zhang ChunkBufferHandler processChunkBuffer,
24*9560f021SRiver Riddle raw_ostream &os, bool enableSplitting,
25*9560f021SRiver Riddle bool insertMarkerInOutput) {
26*9560f021SRiver Riddle // If splitting is disabled, we process the full input buffer.
27*9560f021SRiver Riddle if (!enableSplitting)
28*9560f021SRiver Riddle return processChunkBuffer(std::move(originalBuffer), os);
29*9560f021SRiver Riddle
30efb7727aSJacques Pienaar const char splitMarkerConst[] = "// -----";
31efb7727aSJacques Pienaar StringRef splitMarker(splitMarkerConst);
32efb7727aSJacques Pienaar const int splitMarkerLen = splitMarker.size();
330e7edcfeSLei Zhang
340e7edcfeSLei Zhang auto *origMemBuffer = originalBuffer.get();
35efb7727aSJacques Pienaar SmallVector<StringRef, 8> rawSourceBuffers;
36efb7727aSJacques Pienaar const int checkLen = 2;
37efb7727aSJacques Pienaar // Split dropping the last checkLen chars to enable flagging near misses.
38efb7727aSJacques Pienaar origMemBuffer->getBuffer().split(rawSourceBuffers,
39efb7727aSJacques Pienaar splitMarker.drop_back(checkLen));
40efb7727aSJacques Pienaar if (rawSourceBuffers.empty())
41efb7727aSJacques Pienaar return success();
420e7edcfeSLei Zhang
430e7edcfeSLei Zhang // Add the original buffer to the source manager.
440e7edcfeSLei Zhang llvm::SourceMgr fileSourceMgr;
456842ec42SRiver Riddle fileSourceMgr.AddNewSourceBuffer(std::move(originalBuffer), SMLoc());
460e7edcfeSLei Zhang
47efb7727aSJacques Pienaar // Flag near misses by iterating over all the sub-buffers found when splitting
48efb7727aSJacques Pienaar // with the prefix of the splitMarker. Use a sliding window where we only add
49efb7727aSJacques Pienaar // a buffer as a sourceBuffer if terminated by a full match of the
50efb7727aSJacques Pienaar // splitMarker, else flag a warning (if near miss) and extend the size of the
51efb7727aSJacques Pienaar // buffer under consideration.
52efb7727aSJacques Pienaar SmallVector<StringRef, 8> sourceBuffers;
53efb7727aSJacques Pienaar StringRef prev;
54efb7727aSJacques Pienaar for (auto buffer : rawSourceBuffers) {
55efb7727aSJacques Pienaar if (prev.empty()) {
56efb7727aSJacques Pienaar prev = buffer;
57efb7727aSJacques Pienaar continue;
58efb7727aSJacques Pienaar }
59efb7727aSJacques Pienaar
60efb7727aSJacques Pienaar // Check that suffix is as expected and doesn't have any dash post.
61efb7727aSJacques Pienaar bool expectedSuffix = buffer.startswith(splitMarker.take_back(checkLen)) &&
62efb7727aSJacques Pienaar buffer.size() > checkLen && buffer[checkLen] != '0';
63efb7727aSJacques Pienaar if (expectedSuffix) {
64efb7727aSJacques Pienaar sourceBuffers.push_back(prev);
65efb7727aSJacques Pienaar prev = buffer.drop_front(checkLen);
66efb7727aSJacques Pienaar } else {
67efb7727aSJacques Pienaar // TODO: Consider making this a failure.
686842ec42SRiver Riddle auto splitLoc = SMLoc::getFromPointer(buffer.data());
69efb7727aSJacques Pienaar fileSourceMgr.PrintMessage(llvm::errs(), splitLoc,
70efb7727aSJacques Pienaar llvm::SourceMgr::DK_Warning,
71efb7727aSJacques Pienaar "near miss with file split marker");
72efb7727aSJacques Pienaar prev = StringRef(prev.data(),
73efb7727aSJacques Pienaar prev.size() + splitMarkerLen - checkLen + buffer.size());
74efb7727aSJacques Pienaar }
75efb7727aSJacques Pienaar }
76efb7727aSJacques Pienaar if (!prev.empty())
77efb7727aSJacques Pienaar sourceBuffers.push_back(prev);
78efb7727aSJacques Pienaar
790e7edcfeSLei Zhang // Process each chunk in turn.
800e7edcfeSLei Zhang bool hadFailure = false;
81*9560f021SRiver Riddle auto interleaveFn = [&](StringRef subBuffer) {
826842ec42SRiver Riddle auto splitLoc = SMLoc::getFromPointer(subBuffer.data());
830e7edcfeSLei Zhang unsigned splitLine = fileSourceMgr.getLineAndColumn(splitLoc).first;
840e7edcfeSLei Zhang auto subMemBuffer = llvm::MemoryBuffer::getMemBufferCopy(
85a6d76cf6SMehdi Amini subBuffer, Twine("within split at ") +
86a6d76cf6SMehdi Amini origMemBuffer->getBufferIdentifier() + ":" +
87a6d76cf6SMehdi Amini Twine(splitLine) + " offset ");
880e7edcfeSLei Zhang if (failed(processChunkBuffer(std::move(subMemBuffer), os)))
890e7edcfeSLei Zhang hadFailure = true;
90*9560f021SRiver Riddle };
91*9560f021SRiver Riddle llvm::interleave(sourceBuffers, os, interleaveFn,
92*9560f021SRiver Riddle insertMarkerInOutput ? "\n// -----\n" : "");
930e7edcfeSLei Zhang
940e7edcfeSLei Zhang // If any fails, then return a failure of the tool.
950e7edcfeSLei Zhang return failure(hadFailure);
960e7edcfeSLei Zhang }
97