Download src/benchmark.ads from Snapkitty/sovereign-ada-rtx: direct link, hf CLI and curl.
- Browser
- Download file 1.01 kB
-
https://huggingface.co/Snapkitty/sovereign-ada-rtx/resolve/main/src/benchmark.ads
- Command line
-
hf download hf://Snapkitty/sovereign-ada-rtx/src/benchmark.ads
-
curl -L -o benchmark.ads https://huggingface.co/Snapkitty/sovereign-ada-rtx/resolve/main/src/benchmark.ads
1.01 kB
| with Core_Types; use Core_Types; | |
| package Benchmark is | |
| type Bench_Result is record | |
| Name : Bounded_String := (others => ' '); | |
| Iterations : Word32 := 0; | |
| Cycles : Word32 := 0; | |
| Passed : Boolean := False; | |
| end record; | |
| Max_Benches : constant := 16; | |
| type Bench_Results is array (0 .. Max_Benches - 1) of Bench_Result; | |
| procedure Run_Benchmarks (Results : out Bench_Results; Count : out Natural; Overall : out Boolean); | |
| procedure Report_Benchmarks (Results : Bench_Results; Count : Natural; Overall : Boolean); | |
| function Recursive_GCD (A, B : Word32) return Word32; | |
| function Recursive_Fibonacci (N : Natural) return Word32; | |
| function Recursive_Factorial (N : Natural) return Word32; | |
| function Recursive_Power (Base : Word32; Exp : Natural) return Word32; | |
| function Recursive_Sum (N : Natural) return Word32; | |
| -- Recursive depth limited for safety on constrained stacks | |
| -- Benchmarks report abstract work units (cycles) for portability | |
| end Benchmark; | |