URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Only display areas with differences |
Details |
Blame |
View Log
Rev 154 |
Rev 816 |
-- { dg-do run }
|
-- { dg-do run }
|
|
|
with Ada.Streams.Stream_IO;
|
with Ada.Streams.Stream_IO;
|
|
|
procedure In_Out_Parameter is
|
procedure In_Out_Parameter is
|
|
|
use Ada.Streams; use Stream_IO;
|
use Ada.Streams; use Stream_IO;
|
|
|
File : Stream_IO.File_Type;
|
File : Stream_IO.File_Type;
|
|
|
type Bitmap is array (Natural range <>) of Boolean;
|
type Bitmap is array (Natural range <>) of Boolean;
|
for Bitmap'Component_Size use 1;
|
for Bitmap'Component_Size use 1;
|
|
|
type Message is record
|
type Message is record
|
B : Bitmap (0 .. 14);
|
B : Bitmap (0 .. 14);
|
end record;
|
end record;
|
for Message use record
|
for Message use record
|
B at 0 range 2 .. 16;
|
B at 0 range 2 .. 16;
|
end record;
|
end record;
|
|
|
TX, RX : Message;
|
TX, RX : Message;
|
|
|
begin
|
begin
|
|
|
TX.B := (others => False);
|
TX.B := (others => False);
|
Stream_IO.Create (File => File, Mode => Out_File, Name => "data");
|
Stream_IO.Create (File => File, Mode => Out_File, Name => "data");
|
Message'Output (Stream (File), TX);
|
Message'Output (Stream (File), TX);
|
Stream_IO.Close (File);
|
Stream_IO.Close (File);
|
--
|
--
|
Stream_IO.Open (File => File, Mode => In_File, Name => "data");
|
Stream_IO.Open (File => File, Mode => In_File, Name => "data");
|
RX := Message'Input (Stream (File));
|
RX := Message'Input (Stream (File));
|
Stream_IO.Close (File);
|
Stream_IO.Close (File);
|
|
|
if RX /= TX then
|
if RX /= TX then
|
raise Program_Error;
|
raise Program_Error;
|
end if;
|
end if;
|
|
|
end In_Out_Parameter;
|
end In_Out_Parameter;
|
|
|
© copyright 1999-2024
OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.