1 //===- BlockVerifier.h - FDR Block Verifier -------------------------------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 // An implementation of the RecordVisitor which verifies a sequence of records
10 // associated with a block, following the FDR mode log format's specifications.
12 //===----------------------------------------------------------------------===//
13 #ifndef LLVM_INCLUDE_LLVM_XRAY_BLOCKVERIFIER_H_
14 #define LLVM_INCLUDE_LLVM_XRAY_BLOCKVERIFIER_H_
16 #include "llvm/XRay/FDRRecords.h"
23 class BlockVerifier
: public RecordVisitor
{
25 // We force State elements to be size_t, to be used as indices for containers.
26 enum class State
: std::size_t {
43 // We keep track of the current record seen by the verifier.
44 State CurrentRecord
= State::Unknown
;
46 // Transitions the current record to the new record, records an error on
47 // invalid transitions.
48 Error
transition(State To
);
51 Error
visit(BufferExtents
&) override
;
52 Error
visit(WallclockRecord
&) override
;
53 Error
visit(NewCPUIDRecord
&) override
;
54 Error
visit(TSCWrapRecord
&) override
;
55 Error
visit(CustomEventRecord
&) override
;
56 Error
visit(CallArgRecord
&) override
;
57 Error
visit(PIDRecord
&) override
;
58 Error
visit(NewBufferRecord
&) override
;
59 Error
visit(EndBufferRecord
&) override
;
60 Error
visit(FunctionRecord
&) override
;
61 Error
visit(CustomEventRecordV5
&) override
;
62 Error
visit(TypedEventRecord
&) override
;
71 #endif // LLVM_INCLUDE_LLVM_XRAY_BLOCKVERIFIER_H_