]> rtime.felk.cvut.cz Git - frescor/fosa.git/blobdiff - marte_non_local_jump/non_local_jump_test.adb
Deleted implementation of marte_non_local_jumps, because it is now in
[frescor/fosa.git] / marte_non_local_jump / non_local_jump_test.adb
index fbafc1206e60a986db17a5a9e8a2bdb293e1c488..bde516cabea370b4466107f2c6dc4757fd968a43 100644 (file)
 --\r
 --  {MAR>} -------------------------------------------------------------------\r
 pragma Task_Dispatching_Policy (FIFO_Within_Priorities);\r
-with MaRTE_OS;\r
 with Text_IO; use Text_IO;\r
 with Ada.Unchecked_Conversion;\r
 with System;\r
 with Marte.Integer_Types; use Marte.Integer_Types;\r
---  with Processor_Registers;\r
+with Marte.HAL.Processor_Registers;\r
 with Non_Local_Jump;\r
 with System.Machine_Code; use System.Machine_Code;\r
+with Execution_Load;\r
 \r
 procedure Non_Local_Jump_Test is\r
 \r
-   pragma Linker_Options("eat_20.o");\r
+   --pragma Linker_Options("eat_20.o");\r
 \r
-   procedure Eat_20;\r
-   pragma Import (C, Eat_20, "eat_20");\r
+   --procedure Eat_20;\r
+   --pragma Import (C, Eat_20, "eat_20");\r
 \r
    pragma Priority (10);\r
 \r
@@ -60,7 +60,7 @@ procedure Non_Local_Jump_Test is
       loop\r
 \r
          Put_Line (Integer'Image (C));\r
-         Eat_20;\r
+         Execution_Load.Eat (20.0);\r
          --for I in 1 .. 20_000_000 loop\r
          --   null;\r
          --end loop;\r
@@ -87,8 +87,9 @@ procedure Non_Local_Jump_Test is
          if PR.After_Jump (Jmp_Buff'Access) = 1 then\r
             Put_Line ("---After Jump---");\r
          else\r
+            Put_Line ("---Not After Jump 1---");\r
             Por_Fastidiar1 (Cont);\r
-            Put_Line ("---Not After Jump---");\r
+            Put_Line ("---Not After Jump 2---");\r
          end if;\r
          Cont := Cont + 1;\r
          Put_Line(" Cont:" & Integer'Image (Cont));\r