aboutsummaryrefslogtreecommitdiff
path: root/src/checker_builtin_procs.hpp
diff options
context:
space:
mode:
authorColin Davidson <colrdavidson@gmail.com>2025-07-29 12:21:46 -0700
committerColin Davidson <colrdavidson@gmail.com>2025-07-29 12:21:46 -0700
commit9a2e6fff481968f201e6bf6a601ab7a4e3fbef45 (patch)
tree00af92c561ffd9c6ea5548b6e117ca03cd48ac49 /src/checker_builtin_procs.hpp
parentc1b3d035e4be4bdbebb397035a95e6dbc60f1bd6 (diff)
switch to read_cycle_counter_frequency from arm64_read_cycle_counter_freq, trap on invalid arch
Diffstat (limited to 'src/checker_builtin_procs.hpp')
-rw-r--r--src/checker_builtin_procs.hpp4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/checker_builtin_procs.hpp b/src/checker_builtin_procs.hpp
index 474932970..8e135ab10 100644
--- a/src/checker_builtin_procs.hpp
+++ b/src/checker_builtin_procs.hpp
@@ -61,6 +61,7 @@ enum BuiltinProcId {
BuiltinProc_trap,
BuiltinProc_debug_trap,
BuiltinProc_read_cycle_counter,
+ BuiltinProc_read_cycle_counter_frequency,
BuiltinProc_count_ones,
BuiltinProc_count_zeros,
@@ -225,7 +226,6 @@ BuiltinProc__simd_end,
BuiltinProc_x86_cpuid,
BuiltinProc_x86_xgetbv,
- BuiltinProc_arm64_read_cycle_counter_frequency,
// Constant type tests
@@ -423,6 +423,7 @@ gb_global BuiltinProc builtin_procs[BuiltinProc_COUNT] = {
{STR_LIT("trap"), 0, false, Expr_Expr, BuiltinProcPkg_intrinsics, /*diverging*/true},
{STR_LIT("debug_trap"), 0, false, Expr_Stmt, BuiltinProcPkg_intrinsics, /*diverging*/false},
{STR_LIT("read_cycle_counter"), 0, false, Expr_Expr, BuiltinProcPkg_intrinsics},
+ {STR_LIT("read_cycle_counter_frequency"), 0, false, Expr_Expr, BuiltinProcPkg_intrinsics},
{STR_LIT("count_ones"), 1, false, Expr_Expr, BuiltinProcPkg_intrinsics},
{STR_LIT("count_zeros"), 1, false, Expr_Expr, BuiltinProcPkg_intrinsics},
@@ -586,7 +587,6 @@ gb_global BuiltinProc builtin_procs[BuiltinProc_COUNT] = {
{STR_LIT("syscall_bsd"), 1, true, Expr_Expr, BuiltinProcPkg_intrinsics, false, true},
{STR_LIT("x86_cpuid"), 2, false, Expr_Expr, BuiltinProcPkg_intrinsics},
{STR_LIT("x86_xgetbv"), 1, false, Expr_Expr, BuiltinProcPkg_intrinsics},
- {STR_LIT("arm64_read_cycle_counter_frequency"), 0, false, Expr_Expr, BuiltinProcPkg_intrinsics},
{STR_LIT(""), 0, false, Expr_Stmt, BuiltinProcPkg_intrinsics},