-- SPDX-License-Identifier: Apache-2.0
--
-- Copyright (c) 2022 onox <denkpadje@gmail.com>
--
-- Licensed under the Apache License, Version 2.0 (the "License");
-- you may not use this file except in compliance with the License.
-- You may obtain a copy of the License at
--
-- http://www.apache.org/licenses/LICENSE-2.0
--
-- Unless required by applicable law or agreed to in writing, software
-- distributed under the License is distributed on an "AS IS" BASIS,
-- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-- See the License for the specific language governing permissions and
-- limitations under the License.
with Ada.Unchecked_Conversion;
with Orka.SIMD.AVX.Integers.Swizzle;
with Orka.SIMD.SSE2.Integers;
with Orka.SIMD.SSE2.Longs.Logical;
package body Orka.SIMD.AVX.Longs.Logical.Emulation is
use SIMD.AVX.Integers;
use SIMD.AVX.Integers.Swizzle;
use SIMD.SSE2.Integers;
use SIMD.SSE2.Longs;
use SIMD.SSE2.Longs.Logical;
function Convert is new Ada.Unchecked_Conversion (m256i, m256l);
function Convert is new Ada.Unchecked_Conversion (m256l, m256i);
function Convert is new Ada.Unchecked_Conversion (m128i, m128l);
function Convert is new Ada.Unchecked_Conversion (m128l, m128i);
function And_Not (Left, Right : m256l) return m256l is
Left_Low : constant m128l := Convert (Extract (Convert (Left), 0));
Left_High : constant m128l := Convert (Extract (Convert (Left), 1));
Right_Low : constant m128l := Convert (Extract (Convert (Right), 0));
Right_High : constant m128l := Convert (Extract (Convert (Right), 1));
begin
return Convert (Pack
(High => Convert (And_Not (Left_High, Right_High)),
Low => Convert (And_Not (Left_Low, Right_Low))));
end And_Not;
function "and" (Left, Right : m256l) return m256l is
Left_Low : constant m128l := Convert (Extract (Convert (Left), 0));
Left_High : constant m128l := Convert (Extract (Convert (Left), 1));
Right_Low : constant m128l := Convert (Extract (Convert (Right), 0));
Right_High : constant m128l := Convert (Extract (Convert (Right), 1));
begin
return Convert (Pack
(High => Convert (Left_High and Right_High),
Low => Convert (Left_Low and Right_Low)));
end "and";
function "or" (Left, Right : m256l) return m256l is
Left_Low : constant m128l := Convert (Extract (Convert (Left), 0));
Left_High : constant m128l := Convert (Extract (Convert (Left), 1));
Right_Low : constant m128l := Convert (Extract (Convert (Right), 0));
Right_High : constant m128l := Convert (Extract (Convert (Right), 1));
begin
return Convert (Pack
(High => Convert (Left_High or Right_High),
Low => Convert (Left_Low or Right_Low)));
end "or";
function "xor" (Left, Right : m256l) return m256l is
Left_Low : constant m128l := Convert (Extract (Convert (Left), 0));
Left_High : constant m128l := Convert (Extract (Convert (Left), 1));
Right_Low : constant m128l := Convert (Extract (Convert (Right), 0));
Right_High : constant m128l := Convert (Extract (Convert (Right), 1));
begin
return Convert (Pack
(High => Convert (Left_High xor Right_High),
Low => Convert (Left_Low xor Right_Low)));
end "xor";
end Orka.SIMD.AVX.Longs.Logical.Emulation;