Conversions Between Fvec and Ivec

int F64vec2ToInt(F64vec42 A)

Convert the lower double-precision floating-point value of A to a 32-bit integer with truncation.

r := (int)A0

F64vec2 F32vec4ToF64vec2(F32vec4 A)

Convert the four floating-point values of A to two the tow least significant double-precision floating-point values.

r0 := (double)A0;

r1 := (double)A1;

F32vec4 F64vec2ToF32vec4(F64vec2 A)

Convert the two double-precision floating-point values of A to two single-precision floating-point values.

r0 := (float)A0;

r1 := (float)A1;

F64vec2 InttoF64vec2(F64vec2 A, int B)

Convert the signed int in B  to a double-precision floating-point value and pass the upper double-precision. value from A through to the result.

r0 := (double)B;

r1 := A1;

int F32vec4ToInt(F32vec4 A)

Convert the lower floating-point value of A to a 32-bit integer with truncation.

r := (int)A0

Is32vec2 F32vec4ToIs32vec2 (F32vec4 A)

Convert the two lower floating-point values of A to two 32-bit integer with truncation, returning the integers in packed form.

r0 := (int)A0

r1 := (int)A1

F32vec4 IntToF32vec4(F32vec4 A, int B)

Convert the 32-bit integer value B to a floating-point value; the upper three floating-point values are passed through from A.

r0 := (float)B

r1 := A1;

r2 := A2 ;

r3 := A3

F32vec4 Is32vec2ToF32vec4(F32vec4 A, Is32vec2 B)

Convert the two 32-bit integer values in packed form in B to two floating-point values; the upper two floating-point values are passed through from A.

r0 := (float)B0

r1 := (float)B1

r2 := A2

r3 := A3