blob: 5c79d92c2e4ed62e201ab5d5bcc94737d5a8e05c [file] [log] [blame]
/*
* Copyright 2024 Google LLC
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#include <cstdio>
#include <cstdint>
#include "tests/kelvin_isa/kelvin_test.h"
inline uint64_t mcycle_read(void) {
uint32_t cycle_low = 0;
uint32_t cycle_high = 0;
uint32_t cycle_high_2 = 0;
asm volatile(
"1:"
" csrr %0, mcycleh;" // Read `mcycleh`.
" csrr %1, mcycle;" // Read `mcycle`.
" csrr %2, mcycleh;" // Read `mcycleh` again.
" bne %0, %2, 1b;"
: "=r"(cycle_high), "=r"(cycle_low), "=r"(cycle_high_2)
:);
return static_cast<uint64_t>(cycle_high) << 32 | cycle_low;
}
inline uint64_t minstret_read(void) {
uint32_t instret_low = 0;
uint32_t instret_high = 0;
uint32_t instret_high_2 = 0;
asm volatile(
"1:"
" csrr %0, minstreth;" // Read `minstreth`.
" csrr %1, minstret;" // Read `minstret`.
" csrr %2, minstreth;"
"bne %0, %2, 1b;"
: "=r"(instret_high), "=r"(instret_low), "=r"(instret_high_2)
:);
return static_cast<uint64_t>(instret_high) << 32 | instret_low;
}
int main(void) {
// Set the cycle counter to 0x1fffffff0.
asm volatile (" \
csrwi mcycleh, 1; \
li a0, 0xfffffff0; \
csrrw a0, mcycle, a0;" : /* no outputs*/ : /* no inputs */ : /* clobbers */"a0");
uint64_t cycle = mcycle_read();
for (int i = 0; i < 16; ++i) {
asm volatile("nop");
}
uint64_t cycle2 = mcycle_read();
uint32_t cycle_lo, cycle_hi, cycle2_lo, cycle2_hi;
cycle_lo = cycle & 0xFFFFFFFF;
cycle2_lo = cycle2 & 0xFFFFFFFF;
cycle_hi = cycle >> 32;
cycle2_hi = cycle2 >> 32;
if (cycle2_hi == cycle_hi) {
printf("mcycleh did not increment\r\n");
exit(-1);
}
if (cycle2_lo > cycle_lo) {
printf("mcycle did not wrap\r\n");
exit(-1);
}
asm volatile (" \
csrwi minstreth, 1; \
li a0, 0xfffffff0; \
csrrw a0, minstret, a0; " : : : "a0");
uint64_t instret = minstret_read();
#pragma GCC unroll 16
for (int i = 0; i < 16; ++i) {
asm volatile("nop");
}
uint64_t instret2 = minstret_read();
uint32_t instret_lo, instret_hi, instret2_lo, instret2_hi;
instret_lo = instret & 0xFFFFFFFF;
instret2_lo = instret2 & 0xFFFFFFFF;
instret_hi = instret >> 32;
instret2_hi = instret2 >> 32;
if (instret2_hi == instret_hi) {
printf("minstreth did not increment\r\n");
exit(-1);
}
if (instret2_lo > instret_lo) {
printf("minstret did not wrap\r\n");
exit(-1);
}
return 0;
}