-- { dg-do run { target i?86-*-* x86_64-*-* } }
|
-- { dg-do run { target i?86-*-* x86_64-*-* } }
|
-- { dg-options "-O1 -msse" }
|
-- { dg-options "-O1 -msse" }
|
-- { dg-require-effective-target sse }
|
-- { dg-require-effective-target sse }
|
|
|
with Ada.Unchecked_Conversion;
|
with Ada.Unchecked_Conversion;
|
|
|
procedure SSE_Nolib is
|
procedure SSE_Nolib is
|
|
|
-- Base vector type definitions
|
-- Base vector type definitions
|
|
|
package SSE_Types is
|
package SSE_Types is
|
VECTOR_ALIGN : constant := 16;
|
VECTOR_ALIGN : constant := 16;
|
VECTOR_BYTES : constant := 16;
|
VECTOR_BYTES : constant := 16;
|
|
|
type m128 is private;
|
type m128 is private;
|
private
|
private
|
type m128 is array (1 .. 4) of Float;
|
type m128 is array (1 .. 4) of Float;
|
for m128'Alignment use VECTOR_ALIGN;
|
for m128'Alignment use VECTOR_ALIGN;
|
pragma Machine_Attribute (m128, "vector_type");
|
pragma Machine_Attribute (m128, "vector_type");
|
pragma Machine_Attribute (m128, "may_alias");
|
pragma Machine_Attribute (m128, "may_alias");
|
end SSE_Types;
|
end SSE_Types;
|
|
|
use SSE_Types;
|
use SSE_Types;
|
|
|
-- Core operations
|
-- Core operations
|
|
|
function mm_add_ss (A, B : m128) return m128;
|
function mm_add_ss (A, B : m128) return m128;
|
pragma Import (Intrinsic, mm_add_ss, "__builtin_ia32_addss");
|
pragma Import (Intrinsic, mm_add_ss, "__builtin_ia32_addss");
|
|
|
-- User views / conversions or overlays
|
-- User views / conversions or overlays
|
|
|
type Vf32_View is array (1 .. 4) of Float;
|
type Vf32_View is array (1 .. 4) of Float;
|
for Vf32_View'Alignment use VECTOR_ALIGN;
|
for Vf32_View'Alignment use VECTOR_ALIGN;
|
|
|
function To_m128 is new Ada.Unchecked_Conversion (Vf32_View, m128);
|
function To_m128 is new Ada.Unchecked_Conversion (Vf32_View, m128);
|
function To_m128 is new Ada.Unchecked_Conversion (m128, Vf32_View);
|
function To_m128 is new Ada.Unchecked_Conversion (m128, Vf32_View);
|
|
|
X, Y, Z : M128;
|
X, Y, Z : M128;
|
|
|
Vz : Vf32_View;
|
Vz : Vf32_View;
|
for Vz'Address use Z'Address;
|
for Vz'Address use Z'Address;
|
begin
|
begin
|
X := To_m128 ((1.0, 1.0, 2.0, 2.0));
|
X := To_m128 ((1.0, 1.0, 2.0, 2.0));
|
Y := To_m128 ((2.0, 2.0, 1.0, 1.0));
|
Y := To_m128 ((2.0, 2.0, 1.0, 1.0));
|
Z := mm_add_ss (X, Y);
|
Z := mm_add_ss (X, Y);
|
|
|
if Vz /= (3.0, 1.0, 2.0, 2.0) then
|
if Vz /= (3.0, 1.0, 2.0, 2.0) then
|
raise Program_Error;
|
raise Program_Error;
|
end if;
|
end if;
|
end SSE_Nolib;
|
end SSE_Nolib;
|
|
|
