//===-- xray_powerpc64.inc --------------------------------------*- C++ -*-===//
//
// 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
//
//===----------------------------------------------------------------------===//
//
// This file is a part of XRay, a dynamic runtime instrumentation system.
//
//===----------------------------------------------------------------------===//

#include <cstdint>
#include <mutex>
#ifdef __linux__
#include <sys/platform/ppc.h>
#elif defined(__FreeBSD__)
#include <sys/types.h>
#include <sys/sysctl.h>

#define __ppc_get_timebase __builtin_ppc_get_timebase

uint64_t __ppc_get_timebase_freq (void)
{
  uint64_t tb_freq = 0;
  size_t length = sizeof(tb_freq);
  sysctlbyname("kern.timecounter.tc.timebase.frequency", &tb_freq, &length, nullptr, 0);
  return tb_freq;
}
#endif

#include "xray_defs.h"

namespace __xray {

ALWAYS_INLINE uint64_t readTSC(uint8_t &CPU) XRAY_NEVER_INSTRUMENT {
  CPU = 0;
  return __ppc_get_timebase();
}

inline uint64_t getTSCFrequency() XRAY_NEVER_INSTRUMENT {
  static std::mutex M;
  std::lock_guard<std::mutex> Guard(M);
  return __ppc_get_timebase_freq();
}

inline bool probeRequiredCPUFeatures() XRAY_NEVER_INSTRUMENT {
  return true;
}

} // namespace __xray