startup_gen_24.0.0_73ac30e1/testsuite/tests/boards/polarfiresoc/src/main.adb

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
with Interfaces; use Interfaces;
with System;
with System.Machine_Code; use System.Machine_Code;

with Ada.Text_IO; use Ada.Text_IO;

with Test;

procedure Main is
begin
   Put_Line ("=== Test for RISC-V64 PolarFire SOC ===");

   --  The FPU should be enabled here, do a simple float operation here to
   --  check.
   Asm ("fadd.s f0, f1, f0",
        Volatile => True);

   Test.Check_Memories;
end Main;