linux_hal_1.1.0_c7c2f276/test/src/test.adb

--
--  Copyright (C) 2023 Jeremy Grosser <jeremy@synack.me>
--
--  SPDX-License-Identifier: BSD-3-Clause
--
with Ada.Assertions; use Ada.Assertions;
with Ada.Calendar.Formatting;
with Ada.Calendar;
with Ada.Text_IO;
with Ada.Command_Line;
with Ada.Numerics.Elementary_Functions;
with Ada.Numerics;
with Interfaces;
with HAL.GPIO;
with HAL.SPI;
with HAL.I2C;
with HAL.Audio;
with HAL;
with Linux.GPIO;
with Linux.SPI;
with Linux.I2C;
with Linux.SMBus;
with Linux.Audio;

procedure Test is
   DS3231_Addr : constant HAL.I2C.I2C_Address := 2#1101000#;

   function From_BCD
      (N : HAL.UInt8)
      return Natural
   is
      use HAL;
      X : Natural;
   begin
      X := Natural (N and 16#0F#);
      X := X + Natural (Shift_Right (N, 4)) * 10;
      return X;
   end From_BCD;

   function To_BCD
      (N : Natural)
      return HAL.UInt8
   is
      use HAL;
   begin
      return Shift_Left (UInt8 (N / 10), 4) or UInt8 (N mod 10);
   end To_BCD;

   function To_Time
      (Data : HAL.UInt8_Array)
      return Ada.Calendar.Time
   is
      use Ada.Calendar;
      use Ada.Calendar.Formatting;
   begin
      return Ada.Calendar.Formatting.Time_Of
         (Year    => Year_Number (From_BCD (Data (6)) + 2000),
          Month   => Month_Number (From_BCD (Data (5))),
          Day     => Day_Number (From_BCD (Data (4))),
          Hour    => Hour_Number (From_BCD (Data (2))),
          Minute  => Minute_Number (From_BCD (Data (1))),
          Second  => Second_Number (From_BCD (Data (0))));
   end To_Time;

   function From_Time
      (T : Ada.Calendar.Time)
      return HAL.UInt8_Array
   is
      package ACF renames Ada.Calendar.Formatting;
      use HAL;
      Data : UInt8_Array (0 .. 6);
   begin
      Data (0) := To_BCD (ACF.Second (T));
      Data (1) := To_BCD (ACF.Minute (T));
      Data (2) := To_BCD (ACF.Hour (T));
      Data (3) := UInt8 (ACF.Day_Name'Pos (ACF.Day_Of_Week (T)));
      Data (4) := To_BCD (ACF.Day (T));
      Data (5) := To_BCD (ACF.Month (T));
      Data (6) := To_BCD (ACF.Year (T) mod 100);
      return Data;
   end From_Time;

   procedure Set_RTC
      (Port : in out Linux.I2C.Port;
       T    : Ada.Calendar.Time)
   is
      use HAL;
      use HAL.I2C;
      Status : I2C_Status;
   begin
      Port.Mem_Write
         (Addr          => DS3231_Addr,
          Mem_Addr      => 0,
          Mem_Addr_Size => HAL.I2C.Memory_Size_8b,
          Data          => I2C_Data (From_Time (T)),
          Status        => Status);
      Assert (Status = Ok);
   end Set_RTC;

   function Get_RTC
      (Port : in out Linux.I2C.Port)
      return Ada.Calendar.Time
   is
      use HAL.I2C;
      Data     : I2C_Data (0 .. 6);
      Status   : I2C_Status;
   begin
      Port.Mem_Read
         (Addr          => DS3231_Addr,
          Mem_Addr      => 0,
          Mem_Addr_Size => Memory_Size_8b,
          Data          => Data,
          Status        => Status);
      Assert (Status = Ok);
      return To_Time (HAL.UInt8_Array (Data));
   end Get_RTC;

   package Cmd renames Ada.Command_Line;
   package Log renames Ada.Text_IO;
   Test_GPIO, Test_SPI, Test_I2C, Test_SMBus, Test_Audio : Boolean := False;
begin
   if Cmd.Argument_Count = 0 then
      Log.Put ("Usage: ");
      Log.Put (Cmd.Command_Name);
      Log.Put (" (gpio|spi|i2c|smbus|audio)");
      Log.New_Line;
      Cmd.Set_Exit_Status (0);
      return;
   end if;

   for I in 1 .. Cmd.Argument_Count loop
      declare
         Arg : constant String := Cmd.Argument (I);
      begin
         if Arg = "gpio" then
            Test_GPIO := True;
         elsif Arg = "spi" then
            Test_SPI := True;
         elsif Arg = "i2c" then
            Test_I2C := True;
         elsif Arg = "smbus" then
            Test_SMBus := True;
         elsif Arg = "audio" then
            Test_Audio := True;
         else
            Log.Put ("Unknown test: """);
            Log.Put (Cmd.Argument (I));
            Log.Put ("""");
            Log.New_Line;
            Cmd.Set_Exit_Status (2);
            return;
         end if;
      end;
   end loop;

   if Test_GPIO then
      declare
         use HAL.GPIO;
         CHIP_0 : constant Linux.GPIO.Chip := Linux.GPIO.Open ("/dev/gpiochip0");
         GP25   : Linux.GPIO.GPIO_Point := Linux.GPIO.Find (CHIP_0, "GPIO25");
      begin
         GP25.Set_Mode (Output);
         GP25.Set_Pull_Resistor (Pull_Up);

         GP25.Set;
         delay 1.0;
         GP25.Clear;
         delay 1.0;
      end;
   end if;

   if Test_SPI then
      declare
         use HAL.SPI;
         Port   : aliased Linux.SPI.Port (Buffer_Length => 4);
         Data   : SPI_Data_8b (1 .. 4) := (others => 16#AA#);
         Status : SPI_Status;
      begin
         Port.Open ("/dev/spidev0.0");
         Port.Set_Max_Speed (10_000_000);

         Port.Transmit (Data, Status);
         Assert (Status = Ok);
         Port.Receive (Data, Status);
         Assert (Status = Ok);
         Port.Close;
      end;
   end if;

   if Test_I2C then
      declare
         Port  : aliased Linux.I2C.Port;
         T     : Ada.Calendar.Time;
      begin
         Port.Open ("/dev/i2c-1");
         if not Port.Is_Open then
            Log.Put_Line ("Opening i2c bus device failed");
            Cmd.Set_Exit_Status (1);
            return;
         end if;

         T := Get_RTC (Port);
         Log.Put ("Before Set: ");
         Log.Put (Ada.Calendar.Formatting.Image (T));
         Log.New_Line;

         T := Ada.Calendar.Clock;
         Set_RTC (Port, T);
         Log.Put ("Set:        ");
         Log.Put (Ada.Calendar.Formatting.Image (T));
         Log.New_Line;

         T := Get_RTC (Port);
         Log.Put ("Get:        ");
         Log.Put (Ada.Calendar.Formatting.Image (T));
         Log.New_Line;

         Port.Close;
      end;
   end if;

   if Test_SMBus then
      declare
         use HAL;

         Hex_Digits : constant String := "0123456789ABCDEF";
         function Hex (D : UInt4) return Character
         is (Hex_Digits (Natural (D) + 1));

         function Hex (D : UInt8) return String
         is (Hex (UInt4 (Shift_Right (D, 4))) & Hex (UInt4 (D and 16#F#)));

         procedure Print
            (D : UInt8_Array)
         is
         begin
            for I in D'Range loop
               Log.Put (Hex (D (I)));
               Log.Put (' ');
               if I mod 8 = 0 then
                  Log.New_Line;
               end if;
            end loop;
            Log.New_Line;
         end Print;

         Port : Linux.SMBus.Port;
         Addr : constant Linux.SMBus.Target_Address := 2#1010_000#; --  CAT24C32F
         Data : UInt8_Array (1 .. 32);
         Last : Natural;
      begin
         Port.Open ("/dev/i2c-1");
         Port.Set_Address (Addr);

         Data := (others => 0);
         Port.Block_Read (0, Data, Last);
         Log.Put_Line ("Before:");
         Print (Data (1 .. Last));

         Data := (others => 16#42#);
         Port.Block_Write (0, Data);

         Data := (others => 0);
         Port.Block_Read (0, Data, Last);
         Log.Put_Line ("After:");
         Print (Data (1 .. Last));

         Port.Close;
      end;
   end if;

   if Test_Audio then
      declare
         use HAL.Audio;
         subtype Hertz is Float;
         subtype Milliseconds is Natural;

         function Tone
            (Frequency     : Hertz;
             Length        : Milliseconds;
             Gain          : Float := 1.0;
             Sample_Rate   : Positive)
             return HAL.Audio.Audio_Buffer
         is
            subtype Sample is Interfaces.Integer_16;

            function Clip (F : Float) return Float
            is (Float'Max (-1.0, Float'Min (1.0, F)));

            package Math renames Ada.Numerics.Elementary_Functions;
            Pi : constant := Ada.Numerics.Pi;

            Num_Samples : constant Positive := Positive (Float (Sample_Rate) / 1_000.0 * Float (Length));
            Buffer      : HAL.Audio.Audio_Buffer (1 .. Num_Samples);
            X : Float;
         begin
            for T in Buffer'Range loop
               X := Math.Sin (Frequency * 2.0 * Pi * Float (T) * (1.0 / Float (Sample_Rate)));
               X := Clip (X * Gain);
               Buffer (T) := Sample (X * Float (Sample'Last));
            end loop;
            return Buffer;
         end Tone;

         Stream   : Linux.Audio.Audio_Stream;
         Rate     : constant := 48_000;
         Beep     : constant Audio_Buffer := Tone
            (Frequency     => Hertz (2_600),
             Length        => Milliseconds (60),
             Gain          => 0.5,
             Sample_Rate   => Rate);
         Silence  : Audio_Buffer (Beep'Range) := (others => 0);
      begin
         Stream.Set_Channels (1);
         Stream.Set_Frequency (Rate);

         for I in 1 .. 4 loop
            Stream.Transmit (Beep);
            Stream.Transmit (Silence);
         end loop;
         Stream.Drain;

         Stream.Receive (Silence);

         Stream.Finalize;
      end;
   end if;
end Test;