Subversion Repositories QNX 8.QNX8 LLVM/Clang compiler suite

//===- 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"

#include <array>

#include <bitset>

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