Viewing file: BlockVerifier.h (1.96 KB) -rw-r--r-- Select action/file-type: (+) | (+) | (+) | Code (+) | Session (+) | (+) | SDB (+) | (+) | (+) | (+) | (+) | (+) |
//===- BlockVerifier.h - FDR Block Verifier -------------------------------===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// // // An implementation of the RecordVisitor which verifies a sequence of records // associated with a block, following the FDR mode log format's specifications. // //===----------------------------------------------------------------------===// #ifndef LLVM_XRAY_BLOCKVERIFIER_H #define LLVM_XRAY_BLOCKVERIFIER_H
#include "llvm/XRay/FDRRecords.h"
namespace llvm { namespace xray {
class BlockVerifier : public RecordVisitor { public: // We force State elements to be size_t, to be used as indices for containers. enum class State : std::size_t { Unknown, BufferExtents, NewBuffer, WallClockTime, PIDEntry, NewCPUId, TSCWrap, CustomEvent, TypedEvent, Function, CallArg, EndOfBuffer, StateMax, };
private: // We keep track of the current record seen by the verifier. State CurrentRecord = State::Unknown;
// Transitions the current record to the new record, records an error on // invalid transitions. Error transition(State To);
public: Error visit(BufferExtents &) override; Error visit(WallclockRecord &) override; Error visit(NewCPUIDRecord &) override; Error visit(TSCWrapRecord &) override; Error visit(CustomEventRecord &) override; Error visit(CallArgRecord &) override; Error visit(PIDRecord &) override; Error visit(NewBufferRecord &) override; Error visit(EndBufferRecord &) override; Error visit(FunctionRecord &) override; Error visit(CustomEventRecordV5 &) override; Error visit(TypedEventRecord &) override;
Error verify(); void reset(); };
} // namespace xray } // namespace llvm
#endif // LLVM_XRAY_BLOCKVERIFIER_H
|