← All compilation units

Flyology_SIMD.Backends.Native

Description

Primitive operation contract implemented by the selected target backend.

Add

function Add (Left, Right : F32x4) return F32x4
Parameters
Left
Right
Return value

Add

function Add (Left, Right : F64x2) return F64x2
Parameters
Left
Right
Return value

Add_Saturate

function Add_Saturate (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Add_Saturate

function Add_Saturate (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Add_Saturate

function Add_Saturate (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Add_Saturate

function Add_Saturate (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Add_Saturate

function Add_Saturate (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Add_Saturate

function Add_Saturate (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Add_Saturate

function Add_Saturate (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Add_Saturate

function Add_Saturate (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

Add_Wrap

function Add_Wrap (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Add_Wrap

function Add_Wrap (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Add_Wrap

function Add_Wrap (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Add_Wrap

function Add_Wrap (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Add_Wrap

function Add_Wrap (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Add_Wrap

function Add_Wrap (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Add_Wrap

function Add_Wrap (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Add_Wrap

function Add_Wrap (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

All_True

function All_True (Mask : Mask_16x8) return Boolean
Parameters
Mask
Return value

All_True

function All_True (Mask : Mask_32x4) return Boolean
Parameters
Mask
Return value

All_True

function All_True (Mask : Mask_64x2) return Boolean

END GENERATED FULL-FAMILY BACKEND CONTRACT

Parameters
Mask
Return value

All_True

function All_True (Mask : Mask_8x16) return Boolean
Parameters
Mask
Return value

Any_True

function Any_True (Mask : Mask_16x8) return Boolean
Parameters
Mask
Return value

Any_True

function Any_True (Mask : Mask_32x4) return Boolean
Parameters
Mask
Return value

Any_True

function Any_True (Mask : Mask_64x2) return Boolean

END GENERATED FULL-FAMILY BACKEND CONTRACT

Parameters
Mask
Return value

Any_True

function Any_True (Mask : Mask_8x16) return Boolean
Parameters
Mask
Return value

Bitwise_And

function Bitwise_And (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Bitwise_And

function Bitwise_And (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Bitwise_And

function Bitwise_And (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Bitwise_And

function Bitwise_And (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Bitwise_And

function Bitwise_And (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Bitwise_And

function Bitwise_And (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Bitwise_And

function Bitwise_And (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Bitwise_And

function Bitwise_And (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

Bitwise_Not

function Bitwise_Not (Value : I16x8) return I16x8
Parameters
Value
Return value

Bitwise_Not

function Bitwise_Not (Value : I32x4) return I32x4
Parameters
Value
Return value

Bitwise_Not

function Bitwise_Not (Value : I64x2) return I64x2
Parameters
Value
Return value

Bitwise_Not

function Bitwise_Not (Value : I8x16) return I8x16
Parameters
Value
Return value

Bitwise_Not

function Bitwise_Not (Value : U16x8) return U16x8
Parameters
Value
Return value

Bitwise_Not

function Bitwise_Not (Value : U32x4) return U32x4
Parameters
Value
Return value

Bitwise_Not

function Bitwise_Not (Value : U64x2) return U64x2
Parameters
Value
Return value

Bitwise_Not

function Bitwise_Not (Value : U8x16) return U8x16
Parameters
Value
Return value

Bitwise_Or

function Bitwise_Or (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Bitwise_Or

function Bitwise_Or (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Bitwise_Or

function Bitwise_Or (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Bitwise_Or

function Bitwise_Or (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Bitwise_Or

function Bitwise_Or (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Bitwise_Or

function Bitwise_Or (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Bitwise_Or

function Bitwise_Or (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Bitwise_Or

function Bitwise_Or (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

Bitwise_Xor

function Bitwise_Xor (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Bitwise_Xor

function Bitwise_Xor (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Bitwise_Xor

function Bitwise_Xor (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Bitwise_Xor

function Bitwise_Xor (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Bitwise_Xor

function Bitwise_Xor (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Bitwise_Xor

function Bitwise_Xor (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Bitwise_Xor

function Bitwise_Xor (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Bitwise_Xor

function Bitwise_Xor (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

Deinterleave_Even

function Deinterleave_Even (Left, Right : F32x4) return F32x4
Parameters
Left
Right
Return value

Deinterleave_Even

function Deinterleave_Even (Left, Right : F64x2) return F64x2
Parameters
Left
Right
Return value

Deinterleave_Even

function Deinterleave_Even (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Deinterleave_Even

function Deinterleave_Even (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Deinterleave_Even

function Deinterleave_Even (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Deinterleave_Even

function Deinterleave_Even (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Deinterleave_Even

function Deinterleave_Even (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Deinterleave_Even

function Deinterleave_Even (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Deinterleave_Even

function Deinterleave_Even (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Deinterleave_Even

function Deinterleave_Even (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

Deinterleave_Odd

function Deinterleave_Odd (Left, Right : F32x4) return F32x4
Parameters
Left
Right
Return value

Deinterleave_Odd

function Deinterleave_Odd (Left, Right : F64x2) return F64x2
Parameters
Left
Right
Return value

Deinterleave_Odd

function Deinterleave_Odd (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Deinterleave_Odd

function Deinterleave_Odd (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Deinterleave_Odd

function Deinterleave_Odd (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Deinterleave_Odd

function Deinterleave_Odd (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Deinterleave_Odd

function Deinterleave_Odd (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Deinterleave_Odd

function Deinterleave_Odd (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Deinterleave_Odd

function Deinterleave_Odd (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Deinterleave_Odd

function Deinterleave_Odd (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

Divide

function Divide (Left, Right : F32x4) return F32x4
Parameters
Left
Right
Return value

Divide

function Divide (Left, Right : F64x2) return F64x2
Parameters
Left
Right
Return value

Equal

function Equal (Left, Right : F32x4) return Mask_32x4
Parameters
Left
Right
Return value

Equal

function Equal (Left, Right : F64x2) return Mask_64x2
Parameters
Left
Right
Return value

Equal

function Equal (Left, Right : I16x8) return Mask_16x8
Parameters
Left
Right
Return value

Equal

function Equal (Left, Right : I32x4) return Mask_32x4
Parameters
Left
Right
Return value

Equal

function Equal (Left, Right : I64x2) return Mask_64x2
Parameters
Left
Right
Return value

Equal

function Equal (Left, Right : I8x16) return Mask_8x16
Parameters
Left
Right
Return value

Equal

function Equal (Left, Right : U16x8) return Mask_16x8
Parameters
Left
Right
Return value

Equal

function Equal (Left, Right : U32x4) return Mask_32x4
Parameters
Left
Right
Return value

Equal

function Equal (Left, Right : U64x2) return Mask_64x2
Parameters
Left
Right
Return value

Equal

function Equal (Left, Right : U8x16) return Mask_8x16
Parameters
Left
Right
Return value

Extract

function Extract (Value : F32x4; Lane : Lane_Index_32x4) return F32
Parameters
Value
Lane
Return value

Extract

function Extract (Value : F64x2; Lane : Lane_Index_64x2) return F64
Parameters
Value
Lane
Return value

Extract

function Extract (Value : I16x8; Lane : Lane_Index_16x8) return I16
Parameters
Value
Lane
Return value

Extract

function Extract (Value : I32x4; Lane : Lane_Index_32x4) return I32
Parameters
Value
Lane
Return value

Extract

function Extract (Value : I64x2; Lane : Lane_Index_64x2) return I64
Parameters
Value
Lane
Return value

Extract

function Extract (Value : I8x16; Lane : Lane_Index_8x16) return I8
Parameters
Value
Lane
Return value

Extract

function Extract (Value : U16x8; Lane : Lane_Index_16x8) return U16
Parameters
Value
Lane
Return value

Extract

function Extract (Value : U32x4; Lane : Lane_Index_32x4) return U32
Parameters
Value
Lane
Return value

Extract

function Extract (Value : U64x2; Lane : Lane_Index_64x2) return U64
Parameters
Value
Lane
Return value

Extract

function Extract (Value : U8x16; Lane : Lane_Index_8x16) return U8
Parameters
Value
Lane
Return value

From_Lanes

function From_Lanes (Values : Lane_Values_8x16) return U8x16
Parameters
Values
Return value

From_Lanes

function From_Lanes (Values : Lane_Values_F32x4) return F32x4
Parameters
Values
Return value

From_Lanes

function From_Lanes (Values : Lane_Values_F64x2) return F64x2
Parameters
Values
Return value

From_Lanes

function From_Lanes (Values : Lane_Values_I16x8) return I16x8
Parameters
Values
Return value

From_Lanes

function From_Lanes (Values : Lane_Values_I32x4) return I32x4
Parameters
Values
Return value

From_Lanes

function From_Lanes (Values : Lane_Values_I64x2) return I64x2
Parameters
Values
Return value

From_Lanes

function From_Lanes (Values : Lane_Values_I8x16) return I8x16
Parameters
Values
Return value

From_Lanes

function From_Lanes (Values : Lane_Values_U16x8) return U16x8
Parameters
Values
Return value

From_Lanes

function From_Lanes (Values : Lane_Values_U32x4) return U32x4
Parameters
Values
Return value

From_Lanes

function From_Lanes (Values : Lane_Values_U64x2) return U64x2
Parameters
Values
Return value

Greater_Equal

function Greater_Equal (Left, Right : F32x4) return Mask_32x4
Parameters
Left
Right
Return value

Greater_Equal

function Greater_Equal (Left, Right : F64x2) return Mask_64x2
Parameters
Left
Right
Return value

Greater_Equal

function Greater_Equal (Left, Right : I16x8) return Mask_16x8
Parameters
Left
Right
Return value

Greater_Equal

function Greater_Equal (Left, Right : I32x4) return Mask_32x4
Parameters
Left
Right
Return value

Greater_Equal

function Greater_Equal (Left, Right : I64x2) return Mask_64x2
Parameters
Left
Right
Return value

Greater_Equal

function Greater_Equal (Left, Right : I8x16) return Mask_8x16
Parameters
Left
Right
Return value

Greater_Equal

function Greater_Equal (Left, Right : U16x8) return Mask_16x8
Parameters
Left
Right
Return value

Greater_Equal

function Greater_Equal (Left, Right : U32x4) return Mask_32x4
Parameters
Left
Right
Return value

Greater_Equal

function Greater_Equal (Left, Right : U64x2) return Mask_64x2
Parameters
Left
Right
Return value

Greater_Equal

function Greater_Equal (Left, Right : U8x16) return Mask_8x16
Parameters
Left
Right
Return value

Greater_Than

function Greater_Than (Left, Right : F32x4) return Mask_32x4
Parameters
Left
Right
Return value

Greater_Than

function Greater_Than (Left, Right : F64x2) return Mask_64x2
Parameters
Left
Right
Return value

Greater_Than

function Greater_Than (Left, Right : I16x8) return Mask_16x8
Parameters
Left
Right
Return value

Greater_Than

function Greater_Than (Left, Right : I32x4) return Mask_32x4
Parameters
Left
Right
Return value

Greater_Than

function Greater_Than (Left, Right : I64x2) return Mask_64x2
Parameters
Left
Right
Return value

Greater_Than

function Greater_Than (Left, Right : I8x16) return Mask_8x16
Parameters
Left
Right
Return value

Greater_Than

function Greater_Than (Left, Right : U16x8) return Mask_16x8
Parameters
Left
Right
Return value

Greater_Than

function Greater_Than (Left, Right : U32x4) return Mask_32x4
Parameters
Left
Right
Return value

Greater_Than

function Greater_Than (Left, Right : U64x2) return Mask_64x2
Parameters
Left
Right
Return value

Greater_Than

function Greater_Than (Left, Right : U8x16) return Mask_8x16
Parameters
Left
Right
Return value

Horizontal_Sum

function Horizontal_Sum (Value : U8x16) return Natural
Parameters
Value
Return value

Interleave_High

function Interleave_High (Left, Right : F32x4) return F32x4
Parameters
Left
Right
Return value

Interleave_High

function Interleave_High (Left, Right : F64x2) return F64x2
Parameters
Left
Right
Return value

Interleave_High

function Interleave_High (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Interleave_High

function Interleave_High (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Interleave_High

function Interleave_High (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Interleave_High

function Interleave_High (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Interleave_High

function Interleave_High (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Interleave_High

function Interleave_High (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Interleave_High

function Interleave_High (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Interleave_High

function Interleave_High (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

Interleave_Low

function Interleave_Low (Left, Right : F32x4) return F32x4
Parameters
Left
Right
Return value

Interleave_Low

function Interleave_Low (Left, Right : F64x2) return F64x2
Parameters
Left
Right
Return value

Interleave_Low

function Interleave_Low (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Interleave_Low

function Interleave_Low (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Interleave_Low

function Interleave_Low (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Interleave_Low

function Interleave_Low (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Interleave_Low

function Interleave_Low (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Interleave_Low

function Interleave_Low (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Interleave_Low

function Interleave_Low (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Interleave_Low

function Interleave_Low (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

Is_Aligned_16

function Is_Aligned_16 (Data : F32_Array; Start : Natural) return Boolean
Parameters
Data
Start
Return value

Is_Aligned_16

function Is_Aligned_16 (Data : F64_Array; Start : Natural) return Boolean
Parameters
Data
Start
Return value

Is_Aligned_16

function Is_Aligned_16 (Data : I16_Array; Start : Natural) return Boolean
Parameters
Data
Start
Return value

Is_Aligned_16

function Is_Aligned_16 (Data : I32_Array; Start : Natural) return Boolean
Parameters
Data
Start
Return value

Is_Aligned_16

function Is_Aligned_16 (Data : I64_Array; Start : Natural) return Boolean
Parameters
Data
Start
Return value

Is_Aligned_16

function Is_Aligned_16 (Data : I8_Array; Start : Natural) return Boolean
Parameters
Data
Start
Return value

Is_Aligned_16

function Is_Aligned_16 (Data : U16_Array; Start : Natural) return Boolean
Parameters
Data
Start
Return value

Is_Aligned_16

function Is_Aligned_16 (Data : U32_Array; Start : Natural) return Boolean
Parameters
Data
Start
Return value

Is_Aligned_16

function Is_Aligned_16 (Data : U64_Array; Start : Natural) return Boolean
Parameters
Data
Start
Return value

Less_Equal

function Less_Equal (Left, Right : F32x4) return Mask_32x4
Parameters
Left
Right
Return value

Less_Equal

function Less_Equal (Left, Right : F64x2) return Mask_64x2
Parameters
Left
Right
Return value

Less_Equal

function Less_Equal (Left, Right : I16x8) return Mask_16x8
Parameters
Left
Right
Return value

Less_Equal

function Less_Equal (Left, Right : I32x4) return Mask_32x4
Parameters
Left
Right
Return value

Less_Equal

function Less_Equal (Left, Right : I64x2) return Mask_64x2
Parameters
Left
Right
Return value

Less_Equal

function Less_Equal (Left, Right : I8x16) return Mask_8x16
Parameters
Left
Right
Return value

Less_Equal

function Less_Equal (Left, Right : U16x8) return Mask_16x8
Parameters
Left
Right
Return value

Less_Equal

function Less_Equal (Left, Right : U32x4) return Mask_32x4
Parameters
Left
Right
Return value

Less_Equal

function Less_Equal (Left, Right : U64x2) return Mask_64x2
Parameters
Left
Right
Return value

Less_Equal

function Less_Equal (Left, Right : U8x16) return Mask_8x16
Parameters
Left
Right
Return value

Less_Than

function Less_Than (Left, Right : F32x4) return Mask_32x4
Parameters
Left
Right
Return value

Less_Than

function Less_Than (Left, Right : F64x2) return Mask_64x2
Parameters
Left
Right
Return value

Less_Than

function Less_Than (Left, Right : I16x8) return Mask_16x8
Parameters
Left
Right
Return value

Less_Than

function Less_Than (Left, Right : I32x4) return Mask_32x4
Parameters
Left
Right
Return value

Less_Than

function Less_Than (Left, Right : I64x2) return Mask_64x2
Parameters
Left
Right
Return value

Less_Than

function Less_Than (Left, Right : I8x16) return Mask_8x16
Parameters
Left
Right
Return value

Less_Than

function Less_Than (Left, Right : U16x8) return Mask_16x8
Parameters
Left
Right
Return value

Less_Than

function Less_Than (Left, Right : U32x4) return Mask_32x4
Parameters
Left
Right
Return value

Less_Than

function Less_Than (Left, Right : U64x2) return Mask_64x2
Parameters
Left
Right
Return value

Less_Than

function Less_Than (Left, Right : U8x16) return Mask_8x16
Parameters
Left
Right
Return value

Load

function Load (Data : Byte_Array; Start : Natural) return U8x16
Parameters
Data
Start
Return value

Load

function Load (Data : F32_Array; Start : Natural) return F32x4
Parameters
Data
Start
Return value

Load

function Load (Data : F64_Array; Start : Natural) return F64x2
Parameters
Data
Start
Return value

Load

function Load (Data : I16_Array; Start : Natural) return I16x8
Parameters
Data
Start
Return value

Load

function Load (Data : I32_Array; Start : Natural) return I32x4
Parameters
Data
Start
Return value

Load

function Load (Data : I64_Array; Start : Natural) return I64x2
Parameters
Data
Start
Return value

Load

function Load (Data : I8_Array; Start : Natural) return I8x16
Parameters
Data
Start
Return value

Load

function Load (Data : U16_Array; Start : Natural) return U16x8
Parameters
Data
Start
Return value

Load

function Load (Data : U32_Array; Start : Natural) return U32x4
Parameters
Data
Start
Return value

Load

function Load (Data : U64_Array; Start : Natural) return U64x2
Parameters
Data
Start
Return value

Load_Aligned

function Load_Aligned (Data : Byte_Array; Start : Natural) return U8x16
Parameters
Data
Start
Return value

Load_Aligned

function Load_Aligned (Data : F32_Array; Start : Natural) return F32x4
Parameters
Data
Start
Return value

Load_Aligned

function Load_Aligned (Data : F64_Array; Start : Natural) return F64x2
Parameters
Data
Start
Return value

Load_Aligned

function Load_Aligned (Data : I16_Array; Start : Natural) return I16x8
Parameters
Data
Start
Return value

Load_Aligned

function Load_Aligned (Data : I32_Array; Start : Natural) return I32x4
Parameters
Data
Start
Return value

Load_Aligned

function Load_Aligned (Data : I64_Array; Start : Natural) return I64x2
Parameters
Data
Start
Return value

Load_Aligned

function Load_Aligned (Data : I8_Array; Start : Natural) return I8x16
Parameters
Data
Start
Return value

Load_Aligned

function Load_Aligned (Data : U16_Array; Start : Natural) return U16x8
Parameters
Data
Start
Return value

Load_Aligned

function Load_Aligned (Data : U32_Array; Start : Natural) return U32x4
Parameters
Data
Start
Return value

Load_Aligned

function Load_Aligned (Data : U64_Array; Start : Natural) return U64x2
Parameters
Data
Start
Return value

Load_Partial

function Load_Partial
  (Data : Byte_Array; Start : Natural; Count : Lane_Count_8x16)
   return U8x16
Parameters
Data
Start
Count
Return value

Load_Partial

function Load_Partial (Data : F32_Array; Start : Natural; Count : Lane_Count_32x4) return F32x4
Parameters
Data
Start
Count
Return value

Load_Partial

function Load_Partial (Data : F64_Array; Start : Natural; Count : Lane_Count_64x2) return F64x2
Parameters
Data
Start
Count
Return value

Load_Partial

function Load_Partial (Data : I16_Array; Start : Natural; Count : Lane_Count_16x8) return I16x8
Parameters
Data
Start
Count
Return value

Load_Partial

function Load_Partial (Data : I32_Array; Start : Natural; Count : Lane_Count_32x4) return I32x4
Parameters
Data
Start
Count
Return value

Load_Partial

function Load_Partial (Data : I64_Array; Start : Natural; Count : Lane_Count_64x2) return I64x2
Parameters
Data
Start
Count
Return value

Load_Partial

function Load_Partial (Data : I8_Array; Start : Natural; Count : Lane_Count_8x16) return I8x16
Parameters
Data
Start
Count
Return value

Load_Partial

function Load_Partial (Data : U16_Array; Start : Natural; Count : Lane_Count_16x8) return U16x8
Parameters
Data
Start
Count
Return value

Load_Partial

function Load_Partial (Data : U32_Array; Start : Natural; Count : Lane_Count_32x4) return U32x4
Parameters
Data
Start
Count
Return value

Load_Partial

function Load_Partial (Data : U64_Array; Start : Natural; Count : Lane_Count_64x2) return U64x2
Parameters
Data
Start
Count
Return value

Load_Unaligned

function Load_Unaligned (Data : Byte_Array; Start : Natural) return U8x16
Parameters
Data
Start
Return value

Load_Unaligned

function Load_Unaligned (Data : F32_Array; Start : Natural) return F32x4
Parameters
Data
Start
Return value

Load_Unaligned

function Load_Unaligned (Data : F64_Array; Start : Natural) return F64x2
Parameters
Data
Start
Return value

Load_Unaligned

function Load_Unaligned (Data : I16_Array; Start : Natural) return I16x8
Parameters
Data
Start
Return value

Load_Unaligned

function Load_Unaligned (Data : I32_Array; Start : Natural) return I32x4
Parameters
Data
Start
Return value

Load_Unaligned

function Load_Unaligned (Data : I64_Array; Start : Natural) return I64x2
Parameters
Data
Start
Return value

Load_Unaligned

function Load_Unaligned (Data : I8_Array; Start : Natural) return I8x16
Parameters
Data
Start
Return value

Load_Unaligned

function Load_Unaligned (Data : U16_Array; Start : Natural) return U16x8
Parameters
Data
Start
Return value

Load_Unaligned

function Load_Unaligned (Data : U32_Array; Start : Natural) return U32x4
Parameters
Data
Start
Return value

Load_Unaligned

function Load_Unaligned (Data : U64_Array; Start : Natural) return U64x2
Parameters
Data
Start
Return value

Mask_From_Bit_Mask

function Mask_From_Bit_Mask
  (Bits : Interfaces.Unsigned_16) return Mask_8x16
Parameters
Bits
Return value

Mask_From_Bit_Mask

function Mask_From_Bit_Mask (Bits : Interfaces.Unsigned_8) return Mask_16x8
Parameters
Bits
Return value

Mask_From_Bit_Mask

function Mask_From_Bit_Mask (Bits : Interfaces.Unsigned_8) return Mask_32x4
Parameters
Bits
Return value

Mask_From_Bit_Mask

function Mask_From_Bit_Mask (Bits : Interfaces.Unsigned_8) return Mask_64x2

END GENERATED FULL-FAMILY BACKEND CONTRACT

Parameters
Bits
Return value

Max

function Max (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Max

function Max (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Max

function Max (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Max

function Max (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Max

function Max (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Max

function Max (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Max

function Max (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Max

function Max (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

Max_Number

function Max_Number (Left, Right : F32x4) return F32x4
Parameters
Left
Right
Return value

Max_Number

function Max_Number (Left, Right : F64x2) return F64x2
Parameters
Left
Right
Return value

Min

function Min (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Min

function Min (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Min

function Min (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Min

function Min (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Min

function Min (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Min

function Min (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Min

function Min (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Min

function Min (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

Min_Number

function Min_Number (Left, Right : F32x4) return F32x4
Parameters
Left
Right
Return value

Min_Number

function Min_Number (Left, Right : F64x2) return F64x2
Parameters
Left
Right
Return value

Multiply

function Multiply (Left, Right : F32x4) return F32x4
Parameters
Left
Right
Return value

Multiply

function Multiply (Left, Right : F64x2) return F64x2
Parameters
Left
Right
Return value

Multiply_Wrap

function Multiply_Wrap (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Multiply_Wrap

function Multiply_Wrap (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Multiply_Wrap

function Multiply_Wrap (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Multiply_Wrap

function Multiply_Wrap (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Multiply_Wrap

function Multiply_Wrap (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Multiply_Wrap

function Multiply_Wrap (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Multiply_Wrap

function Multiply_Wrap (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Multiply_Wrap

function Multiply_Wrap (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

None_True

function None_True (Mask : Mask_16x8) return Boolean
Parameters
Mask
Return value

None_True

function None_True (Mask : Mask_32x4) return Boolean
Parameters
Mask
Return value

None_True

function None_True (Mask : Mask_64x2) return Boolean

END GENERATED FULL-FAMILY BACKEND CONTRACT

Parameters
Mask
Return value

None_True

function None_True (Mask : Mask_8x16) return Boolean
Parameters
Mask
Return value

Population_Count

function Population_Count (Mask : Mask_16x8) return Lane_Count_16x8
Parameters
Mask
Return value

Population_Count

function Population_Count (Mask : Mask_32x4) return Lane_Count_32x4
Parameters
Mask
Return value

Population_Count

function Population_Count (Mask : Mask_64x2) return Lane_Count_64x2

END GENERATED FULL-FAMILY BACKEND CONTRACT

Parameters
Mask
Return value

Population_Count

function Population_Count (Mask : Mask_8x16) return Lane_Count_8x16
Parameters
Mask
Return value

Reduce_Add

function Reduce_Add (Value : F32x4) return F32
Parameters
Value
Return value

Reduce_Add

function Reduce_Add (Value : F64x2) return F64
Parameters
Value
Return value

Reduce_Add_Wrap

function Reduce_Add_Wrap (Value : I16x8) return I16
Parameters
Value
Return value

Reduce_Add_Wrap

function Reduce_Add_Wrap (Value : I32x4) return I32
Parameters
Value
Return value

Reduce_Add_Wrap

function Reduce_Add_Wrap (Value : I64x2) return I64
Parameters
Value
Return value

Reduce_Add_Wrap

function Reduce_Add_Wrap (Value : I8x16) return I8
Parameters
Value
Return value

Reduce_Add_Wrap

function Reduce_Add_Wrap (Value : U16x8) return U16
Parameters
Value
Return value

Reduce_Add_Wrap

function Reduce_Add_Wrap (Value : U32x4) return U32
Parameters
Value
Return value

Reduce_Add_Wrap

function Reduce_Add_Wrap (Value : U64x2) return U64
Parameters
Value
Return value

Reduce_Max

function Reduce_Max (Value : I16x8) return I16
Parameters
Value
Return value

Reduce_Max

function Reduce_Max (Value : I32x4) return I32
Parameters
Value
Return value

Reduce_Max

function Reduce_Max (Value : I64x2) return I64
Parameters
Value
Return value

Reduce_Max

function Reduce_Max (Value : I8x16) return I8
Parameters
Value
Return value

Reduce_Max

function Reduce_Max (Value : U16x8) return U16
Parameters
Value
Return value

Reduce_Max

function Reduce_Max (Value : U32x4) return U32
Parameters
Value
Return value

Reduce_Max

function Reduce_Max (Value : U64x2) return U64
Parameters
Value
Return value

Reduce_Min

function Reduce_Min (Value : I16x8) return I16
Parameters
Value
Return value

Reduce_Min

function Reduce_Min (Value : I32x4) return I32
Parameters
Value
Return value

Reduce_Min

function Reduce_Min (Value : I64x2) return I64
Parameters
Value
Return value

Reduce_Min

function Reduce_Min (Value : I8x16) return I8
Parameters
Value
Return value

Reduce_Min

function Reduce_Min (Value : U16x8) return U16
Parameters
Value
Return value

Reduce_Min

function Reduce_Min (Value : U32x4) return U32
Parameters
Value
Return value

Reduce_Min

function Reduce_Min (Value : U64x2) return U64
Parameters
Value
Return value

Replace

function Replace (Value : F32x4; Lane : Lane_Index_32x4; With_Value : F32) return F32x4
Parameters
Value
Lane
With_Value
Return value

Replace

function Replace (Value : F64x2; Lane : Lane_Index_64x2; With_Value : F64) return F64x2
Parameters
Value
Lane
With_Value
Return value

Replace

function Replace (Value : I16x8; Lane : Lane_Index_16x8; With_Value : I16) return I16x8
Parameters
Value
Lane
With_Value
Return value

Replace

function Replace (Value : I32x4; Lane : Lane_Index_32x4; With_Value : I32) return I32x4
Parameters
Value
Lane
With_Value
Return value

Replace

function Replace (Value : I64x2; Lane : Lane_Index_64x2; With_Value : I64) return I64x2
Parameters
Value
Lane
With_Value
Return value

Replace

function Replace (Value : I8x16; Lane : Lane_Index_8x16; With_Value : I8) return I8x16
Parameters
Value
Lane
With_Value
Return value

Replace

function Replace (Value : U16x8; Lane : Lane_Index_16x8; With_Value : U16) return U16x8
Parameters
Value
Lane
With_Value
Return value

Replace

function Replace (Value : U32x4; Lane : Lane_Index_32x4; With_Value : U32) return U32x4
Parameters
Value
Lane
With_Value
Return value

Replace

function Replace (Value : U64x2; Lane : Lane_Index_64x2; With_Value : U64) return U64x2
Parameters
Value
Lane
With_Value
Return value

Replace

function Replace
  (Value : U8x16; Lane : Lane_Index_8x16; With_Value : U8) return U8x16
Parameters
Value
Lane
With_Value
Return value

Reverse_Bytes

function Reverse_Bytes (Value : U8x16) return U8x16
Parameters
Value
Return value

Reverse_Lanes

function Reverse_Lanes (Value : F32x4) return F32x4
Parameters
Value
Return value

Reverse_Lanes

function Reverse_Lanes (Value : F64x2) return F64x2
Parameters
Value
Return value

Reverse_Lanes

function Reverse_Lanes (Value : I16x8) return I16x8
Parameters
Value
Return value

Reverse_Lanes

function Reverse_Lanes (Value : I32x4) return I32x4
Parameters
Value
Return value

Reverse_Lanes

function Reverse_Lanes (Value : I64x2) return I64x2
Parameters
Value
Return value

Reverse_Lanes

function Reverse_Lanes (Value : I8x16) return I8x16
Parameters
Value
Return value

Reverse_Lanes

function Reverse_Lanes (Value : U16x8) return U16x8
Parameters
Value
Return value

Reverse_Lanes

function Reverse_Lanes (Value : U32x4) return U32x4
Parameters
Value
Return value

Reverse_Lanes

function Reverse_Lanes (Value : U64x2) return U64x2
Parameters
Value
Return value

Select_Value

function Select_Value (Mask : Mask_16x8; If_True, If_False : I16x8) return I16x8
Parameters
Mask
If_True
If_False
Return value

Select_Value

function Select_Value (Mask : Mask_16x8; If_True, If_False : U16x8) return U16x8
Parameters
Mask
If_True
If_False
Return value

Select_Value

function Select_Value (Mask : Mask_32x4; If_True, If_False : F32x4) return F32x4
Parameters
Mask
If_True
If_False
Return value

Select_Value

function Select_Value (Mask : Mask_32x4; If_True, If_False : I32x4) return I32x4
Parameters
Mask
If_True
If_False
Return value

Select_Value

function Select_Value (Mask : Mask_32x4; If_True, If_False : U32x4) return U32x4
Parameters
Mask
If_True
If_False
Return value

Select_Value

function Select_Value (Mask : Mask_64x2; If_True, If_False : F64x2) return F64x2
Parameters
Mask
If_True
If_False
Return value

Select_Value

function Select_Value (Mask : Mask_64x2; If_True, If_False : I64x2) return I64x2
Parameters
Mask
If_True
If_False
Return value

Select_Value

function Select_Value (Mask : Mask_64x2; If_True, If_False : U64x2) return U64x2
Parameters
Mask
If_True
If_False
Return value

Select_Value

function Select_Value (Mask : Mask_8x16; If_True, If_False : I8x16) return I8x16
Parameters
Mask
If_True
If_False
Return value

Select_Value

function Select_Value
  (Mask : Mask_8x16; If_True, If_False : U8x16) return U8x16
Parameters
Mask
If_True
If_False
Return value

Shift_Left_Logical

function Shift_Left_Logical (Value : I16x8; Count : Natural) return I16x8
Parameters
Value
Count
Return value

Shift_Left_Logical

function Shift_Left_Logical (Value : I32x4; Count : Natural) return I32x4
Parameters
Value
Count
Return value

Shift_Left_Logical

function Shift_Left_Logical (Value : I64x2; Count : Natural) return I64x2
Parameters
Value
Count
Return value

Shift_Left_Logical

function Shift_Left_Logical (Value : I8x16; Count : Natural) return I8x16
Parameters
Value
Count
Return value

Shift_Left_Logical

function Shift_Left_Logical (Value : U16x8; Count : Natural) return U16x8
Parameters
Value
Count
Return value

Shift_Left_Logical

function Shift_Left_Logical (Value : U32x4; Count : Natural) return U32x4
Parameters
Value
Count
Return value

Shift_Left_Logical

function Shift_Left_Logical (Value : U64x2; Count : Natural) return U64x2
Parameters
Value
Count
Return value

Shift_Left_Logical

function Shift_Left_Logical (Value : U8x16; Count : Natural) return U8x16
Parameters
Value
Count
Return value

Shift_Right_Arithmetic

function Shift_Right_Arithmetic (Value : I16x8; Count : Natural) return I16x8
Parameters
Value
Count
Return value

Shift_Right_Arithmetic

function Shift_Right_Arithmetic (Value : I32x4; Count : Natural) return I32x4
Parameters
Value
Count
Return value

Shift_Right_Arithmetic

function Shift_Right_Arithmetic (Value : I64x2; Count : Natural) return I64x2
Parameters
Value
Count
Return value

Shift_Right_Arithmetic

function Shift_Right_Arithmetic (Value : I8x16; Count : Natural) return I8x16
Parameters
Value
Count
Return value

Shift_Right_Logical

function Shift_Right_Logical (Value : I16x8; Count : Natural) return I16x8
Parameters
Value
Count
Return value

Shift_Right_Logical

function Shift_Right_Logical (Value : I32x4; Count : Natural) return I32x4
Parameters
Value
Count
Return value

Shift_Right_Logical

function Shift_Right_Logical (Value : I64x2; Count : Natural) return I64x2
Parameters
Value
Count
Return value

Shift_Right_Logical

function Shift_Right_Logical (Value : I8x16; Count : Natural) return I8x16
Parameters
Value
Count
Return value

Shift_Right_Logical

function Shift_Right_Logical (Value : U16x8; Count : Natural) return U16x8
Parameters
Value
Count
Return value

Shift_Right_Logical

function Shift_Right_Logical (Value : U32x4; Count : Natural) return U32x4
Parameters
Value
Count
Return value

Shift_Right_Logical

function Shift_Right_Logical (Value : U64x2; Count : Natural) return U64x2
Parameters
Value
Count
Return value

Shift_Right_Logical

function Shift_Right_Logical (Value : U8x16; Count : Natural) return U8x16
Parameters
Value
Count
Return value

Splat

function Splat (Value : F32) return F32x4
Parameters
Value
Return value

Splat

function Splat (Value : F64) return F64x2
Parameters
Value
Return value

Splat

function Splat (Value : I16) return I16x8
Parameters
Value
Return value

Splat

function Splat (Value : I32) return I32x4
Parameters
Value
Return value

Splat

function Splat (Value : I64) return I64x2
Parameters
Value
Return value

Splat

function Splat (Value : I8) return I8x16
Parameters
Value
Return value

Splat

function Splat (Value : U16) return U16x8
Parameters
Value
Return value

Splat

function Splat (Value : U32) return U32x4
Parameters
Value
Return value

Splat

function Splat (Value : U64) return U64x2
Parameters
Value
Return value

Splat

function Splat (Value : U8) return U8x16
Parameters
Value
Return value

Store

procedure Store (Data : in out Byte_Array; Start : Natural; Value : U8x16)
Parameters
Data
Start
Value

Store

procedure Store (Data : in out F32_Array; Start : Natural; Value : F32x4)
Parameters
Data
Start
Value

Store

procedure Store (Data : in out F64_Array; Start : Natural; Value : F64x2)
Parameters
Data
Start
Value

Store

procedure Store (Data : in out I16_Array; Start : Natural; Value : I16x8)
Parameters
Data
Start
Value

Store

procedure Store (Data : in out I32_Array; Start : Natural; Value : I32x4)
Parameters
Data
Start
Value

Store

procedure Store (Data : in out I64_Array; Start : Natural; Value : I64x2)
Parameters
Data
Start
Value

Store

procedure Store (Data : in out I8_Array; Start : Natural; Value : I8x16)
Parameters
Data
Start
Value

Store

procedure Store (Data : in out U16_Array; Start : Natural; Value : U16x8)
Parameters
Data
Start
Value

Store

procedure Store (Data : in out U32_Array; Start : Natural; Value : U32x4)
Parameters
Data
Start
Value

Store

procedure Store (Data : in out U64_Array; Start : Natural; Value : U64x2)
Parameters
Data
Start
Value

Store_Aligned

procedure Store_Aligned
  (Data : in out Byte_Array; Start : Natural; Value : U8x16)
Parameters
Data
Start
Value

Store_Aligned

procedure Store_Aligned (Data : in out F32_Array; Start : Natural; Value : F32x4)
Parameters
Data
Start
Value

Store_Aligned

procedure Store_Aligned (Data : in out F64_Array; Start : Natural; Value : F64x2)
Parameters
Data
Start
Value

Store_Aligned

procedure Store_Aligned (Data : in out I16_Array; Start : Natural; Value : I16x8)
Parameters
Data
Start
Value

Store_Aligned

procedure Store_Aligned (Data : in out I32_Array; Start : Natural; Value : I32x4)
Parameters
Data
Start
Value

Store_Aligned

procedure Store_Aligned (Data : in out I64_Array; Start : Natural; Value : I64x2)
Parameters
Data
Start
Value

Store_Aligned

procedure Store_Aligned (Data : in out I8_Array; Start : Natural; Value : I8x16)
Parameters
Data
Start
Value

Store_Aligned

procedure Store_Aligned (Data : in out U16_Array; Start : Natural; Value : U16x8)
Parameters
Data
Start
Value

Store_Aligned

procedure Store_Aligned (Data : in out U32_Array; Start : Natural; Value : U32x4)
Parameters
Data
Start
Value

Store_Aligned

procedure Store_Aligned (Data : in out U64_Array; Start : Natural; Value : U64x2)
Parameters
Data
Start
Value

Store_Partial

procedure Store_Partial
  (Data  : in out Byte_Array;
   Start : Natural;
   Count : Lane_Count_8x16;
   Value : U8x16)
Parameters
Data
Start
Count
Value

Store_Partial

procedure Store_Partial (Data : in out F32_Array; Start : Natural; Count : Lane_Count_32x4; Value : F32x4)
Parameters
Data
Start
Count
Value

Store_Partial

procedure Store_Partial (Data : in out F64_Array; Start : Natural; Count : Lane_Count_64x2; Value : F64x2)
Parameters
Data
Start
Count
Value

Store_Partial

procedure Store_Partial (Data : in out I16_Array; Start : Natural; Count : Lane_Count_16x8; Value : I16x8)
Parameters
Data
Start
Count
Value

Store_Partial

procedure Store_Partial (Data : in out I32_Array; Start : Natural; Count : Lane_Count_32x4; Value : I32x4)
Parameters
Data
Start
Count
Value

Store_Partial

procedure Store_Partial (Data : in out I64_Array; Start : Natural; Count : Lane_Count_64x2; Value : I64x2)
Parameters
Data
Start
Count
Value

Store_Partial

procedure Store_Partial (Data : in out I8_Array; Start : Natural; Count : Lane_Count_8x16; Value : I8x16)
Parameters
Data
Start
Count
Value

Store_Partial

procedure Store_Partial (Data : in out U16_Array; Start : Natural; Count : Lane_Count_16x8; Value : U16x8)
Parameters
Data
Start
Count
Value

Store_Partial

procedure Store_Partial (Data : in out U32_Array; Start : Natural; Count : Lane_Count_32x4; Value : U32x4)
Parameters
Data
Start
Count
Value

Store_Partial

procedure Store_Partial (Data : in out U64_Array; Start : Natural; Count : Lane_Count_64x2; Value : U64x2)
Parameters
Data
Start
Count
Value

Store_Unaligned

procedure Store_Unaligned
  (Data : in out Byte_Array; Start : Natural; Value : U8x16)
Parameters
Data
Start
Value

Store_Unaligned

procedure Store_Unaligned (Data : in out F32_Array; Start : Natural; Value : F32x4)
Parameters
Data
Start
Value

Store_Unaligned

procedure Store_Unaligned (Data : in out F64_Array; Start : Natural; Value : F64x2)
Parameters
Data
Start
Value

Store_Unaligned

procedure Store_Unaligned (Data : in out I16_Array; Start : Natural; Value : I16x8)
Parameters
Data
Start
Value

Store_Unaligned

procedure Store_Unaligned (Data : in out I32_Array; Start : Natural; Value : I32x4)
Parameters
Data
Start
Value

Store_Unaligned

procedure Store_Unaligned (Data : in out I64_Array; Start : Natural; Value : I64x2)
Parameters
Data
Start
Value

Store_Unaligned

procedure Store_Unaligned (Data : in out I8_Array; Start : Natural; Value : I8x16)
Parameters
Data
Start
Value

Store_Unaligned

procedure Store_Unaligned (Data : in out U16_Array; Start : Natural; Value : U16x8)
Parameters
Data
Start
Value

Store_Unaligned

procedure Store_Unaligned (Data : in out U32_Array; Start : Natural; Value : U32x4)
Parameters
Data
Start
Value

Store_Unaligned

procedure Store_Unaligned (Data : in out U64_Array; Start : Natural; Value : U64x2)
Parameters
Data
Start
Value

Subtract

function Subtract (Left, Right : F32x4) return F32x4
Parameters
Left
Right
Return value

Subtract

function Subtract (Left, Right : F64x2) return F64x2
Parameters
Left
Right
Return value

Subtract_Saturate

function Subtract_Saturate (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Subtract_Saturate

function Subtract_Saturate (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Subtract_Saturate

function Subtract_Saturate (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Subtract_Saturate

function Subtract_Saturate (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Subtract_Saturate

function Subtract_Saturate (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Subtract_Saturate

function Subtract_Saturate (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Subtract_Saturate

function Subtract_Saturate (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Subtract_Saturate

function Subtract_Saturate (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

Subtract_Wrap

function Subtract_Wrap (Left, Right : I16x8) return I16x8
Parameters
Left
Right
Return value

Subtract_Wrap

function Subtract_Wrap (Left, Right : I32x4) return I32x4
Parameters
Left
Right
Return value

Subtract_Wrap

function Subtract_Wrap (Left, Right : I64x2) return I64x2
Parameters
Left
Right
Return value

Subtract_Wrap

function Subtract_Wrap (Left, Right : I8x16) return I8x16
Parameters
Left
Right
Return value

Subtract_Wrap

function Subtract_Wrap (Left, Right : U16x8) return U16x8
Parameters
Left
Right
Return value

Subtract_Wrap

function Subtract_Wrap (Left, Right : U32x4) return U32x4
Parameters
Left
Right
Return value

Subtract_Wrap

function Subtract_Wrap (Left, Right : U64x2) return U64x2
Parameters
Left
Right
Return value

Subtract_Wrap

function Subtract_Wrap (Left, Right : U8x16) return U8x16
Parameters
Left
Right
Return value

Test

function Test (Mask : Mask_16x8; Lane : Lane_Index_16x8) return Boolean
Parameters
Mask
Lane
Return value

Test

function Test (Mask : Mask_32x4; Lane : Lane_Index_32x4) return Boolean
Parameters
Mask
Lane
Return value

Test

function Test (Mask : Mask_64x2; Lane : Lane_Index_64x2) return Boolean

END GENERATED FULL-FAMILY BACKEND CONTRACT

Parameters
Mask
Lane
Return value

Test

function Test (Mask : Mask_8x16; Lane : Lane_Index_8x16) return Boolean
Parameters
Mask
Lane
Return value

To_Bit_Mask

function To_Bit_Mask (Mask : Mask_16x8) return Interfaces.Unsigned_8
Parameters
Mask
Return value

To_Bit_Mask

function To_Bit_Mask (Mask : Mask_32x4) return Interfaces.Unsigned_8
Parameters
Mask
Return value

To_Bit_Mask

function To_Bit_Mask (Mask : Mask_64x2) return Interfaces.Unsigned_8

END GENERATED FULL-FAMILY BACKEND CONTRACT

Parameters
Mask
Return value

To_Bit_Mask

function To_Bit_Mask (Mask : Mask_8x16) return Interfaces.Unsigned_16
Parameters
Mask
Return value

To_Lanes

function To_Lanes (Value : F32x4) return Lane_Values_F32x4
Parameters
Value
Return value

To_Lanes

function To_Lanes (Value : F64x2) return Lane_Values_F64x2
Parameters
Value
Return value

To_Lanes

function To_Lanes (Value : I16x8) return Lane_Values_I16x8
Parameters
Value
Return value

To_Lanes

function To_Lanes (Value : I32x4) return Lane_Values_I32x4
Parameters
Value
Return value

To_Lanes

function To_Lanes (Value : I64x2) return Lane_Values_I64x2
Parameters
Value
Return value

To_Lanes

function To_Lanes (Value : I8x16) return Lane_Values_I8x16
Parameters
Value
Return value

To_Lanes

function To_Lanes (Value : U16x8) return Lane_Values_U16x8
Parameters
Value
Return value

To_Lanes

function To_Lanes (Value : U32x4) return Lane_Values_U32x4
Parameters
Value
Return value

To_Lanes

function To_Lanes (Value : U64x2) return Lane_Values_U64x2
Parameters
Value
Return value

To_Lanes

function To_Lanes (Value : U8x16) return Lane_Values_8x16
Parameters
Value
Return value

Unordered

function Unordered (Left, Right : F32x4) return Mask_32x4
Parameters
Left
Right
Return value

Unordered

function Unordered (Left, Right : F64x2) return Mask_64x2
Parameters
Left
Right
Return value

Zero

function Zero return F32x4
Return value

Zero

function Zero return F64x2
Return value

Zero

function Zero return I16x8
Return value

Zero

function Zero return I32x4
Return value

Zero

function Zero return I64x2
Return value

Zero

function Zero return I8x16
Return value

Zero

function Zero return U16x8
Return value

Zero

function Zero return U32x4
Return value

Zero

function Zero return U64x2
Return value

Zero

function Zero return U8x16
Return value