Implemented Float <-> Half conversion. The conversion is copied from
Half.cpp and is the same as the C++ code, converted to Reactor code.
The conversion is NOT optimized. Optimizing this code path will be
done later, this cl only cares about correctness.
Passes all conversion tests to and from half float in the following
patterns:
[dEQP-VK.api.copy_and_blit.core.blit_image]
.all_formats.color.[supported format].r16_sfloat.*
.all_formats.color.[supported format].r16g16_sfloat.*
.all_formats.color.[supported format].r16g16b16a16_sfloat.*
.all_formats.color.r16_sfloat.*
.all_formats.color.r16g16_sfloat.*
.all_formats.color.r16g16b16a16_sfloat.*
Bug b/
119620767
Change-Id: Icd725dcd2ddd8c54e6657a2c3210da270210a149
Reviewed-on: https://swiftshader-review.googlesource.com/c/23329
Tested-by: Alexis Hétu <sugoi@google.com>
Reviewed-by: Chris Forbes <chrisforbes@google.com>
case VK_FORMAT_R32_SFLOAT:
c.x = *Pointer<Float>(element);
break;
+ case VK_FORMAT_R16G16B16A16_SFLOAT:\r
+ c.w = Float(*Pointer<Half>(element + 6));\r
+ case VK_FORMAT_R16G16B16_SFLOAT:\r
+ c.z = Float(*Pointer<Half>(element + 4));\r
+ case VK_FORMAT_R16G16_SFLOAT:\r
+ c.y = Float(*Pointer<Half>(element + 2));\r
+ case VK_FORMAT_R16_SFLOAT:\r
+ c.x = Float(*Pointer<Half>(element));\r
+ break;
case VK_FORMAT_R5G6B5_UNORM_PACK16:
c.x = Float(Int((*Pointer<UShort>(element) & UShort(0xF800)) >> UShort(11)));
c.y = Float(Int((*Pointer<UShort>(element) & UShort(0x07E0)) >> UShort(5)));
case VK_FORMAT_R32_SFLOAT:
if(writeR) { *Pointer<Float>(element) = c.x; }
break;
+ case VK_FORMAT_R16G16B16A16_SFLOAT:\r
+ if(writeA) { *Pointer<Half>(element + 6) = Half(c.w); }\r
+ case VK_FORMAT_R16G16B16_SFLOAT:\r
+ if(writeB) { *Pointer<Half>(element + 4) = Half(c.z); }\r
+ case VK_FORMAT_R16G16_SFLOAT:\r
+ if(writeG) { *Pointer<Half>(element + 2) = Half(c.y); }\r
+ case VK_FORMAT_R16_SFLOAT:\r
+ if(writeR) { *Pointer<Half>(element) = Half(c.x); }\r
+ break;
case VK_FORMAT_A8B8G8R8_SINT_PACK32:
case VK_FORMAT_R8G8B8A8_SINT:
case VK_FORMAT_A8B8G8R8_SNORM_PACK32:
case VK_FORMAT_R32G32B32A32_SFLOAT:
case VK_FORMAT_R32G32_SFLOAT:
case VK_FORMAT_R32_SFLOAT:
+ case VK_FORMAT_R16G16B16A16_SFLOAT:\r
+ case VK_FORMAT_R16G16B16_SFLOAT:\r
+ case VK_FORMAT_R16G16_SFLOAT:\r
+ case VK_FORMAT_R16_SFLOAT:
case VK_FORMAT_A2B10G10R10_UINT_PACK32:
scale = vector(1.0f, 1.0f, 1.0f, 1.0f);
break;
return T(llvm::VectorType::get(T(UInt::getType()), 4));
}
+ Half::Half(RValue<Float> cast)
+ {
+ UInt fp32i = As<UInt>(cast);
+ UInt abs = fp32i & 0x7FFFFFFF;
+ UShort fp16i((fp32i & 0x80000000) >> 16); // sign
+
+ If(abs > 0x47FFEFFF) // Infinity
+ {
+ fp16i |= UShort(0x7FFF);
+ }
+ Else
+ {
+ If(abs < 0x38800000) // Denormal
+ {
+ Int mantissa = (abs & 0x007FFFFF) | 0x00800000;
+ Int e = 113 - (abs >> 23);
+ abs = IfThenElse(e < 24, mantissa >> e, Int(0));
+ fp16i |= UShort((abs + 0x00000FFF + ((abs >> 13) & 1)) >> 13);
+ }
+ Else
+ {
+ fp16i |= UShort((abs + 0xC8000000 + 0x00000FFF + ((abs >> 13) & 1)) >> 13);
+ }
+ }
+
+ storeValue(fp16i.loadValue());
+ }
+
+ Type *Half::getType()
+ {
+ return T(llvm::Type::getInt16Ty(*::context));
+ }
+
Float::Float(RValue<Int> cast)
{
Value *integer = Nucleus::createSIToFP(cast.value, Float::getType());
storeValue(result.value);
}
+ Float::Float(RValue<Half> cast)
+ {
+ Int fp16i(As<UShort>(cast));
+
+ Int s = (fp16i >> 15) & 0x00000001;
+ Int e = (fp16i >> 10) & 0x0000001F;
+ Int m = fp16i & 0x000003FF;
+
+ UInt fp32i(s << 31);
+ If(e == 0)
+ {
+ If(m != 0)
+ {
+ While((m & 0x00000400) == 0)
+ {
+ m <<= 1;
+ e -= 1;
+ }
+
+ fp32i |= As<UInt>(((e + (127 - 15) + 1) << 23) | ((m & ~0x00000400) << 13));
+ }
+ }
+ Else
+ {
+ fp32i |= As<UInt>(((e + (127 - 15)) << 23) | (m << 13));
+ }
+
+ storeValue(As<Float>(fp32i).value);
+ }
+
Float::Float(float x)
{
storeValue(Nucleus::createConstantFloat(x));
class Int4;
class UInt4;
class Long;
+ class Half;
class Float;
class Float2;
class Float4;
RValue<UInt4> Min(RValue<UInt4> x, RValue<UInt4> y);
// RValue<UInt4> RoundInt(RValue<Float4> cast);
+ class Half : public LValue<Half>
+ {
+ public:
+ explicit Half(RValue<Float> cast);
+
+ static Type *getType();
+ };
+
class Float : public LValue<Float>
{
public:
explicit Float(RValue<Int> cast);
explicit Float(RValue<UInt> cast);
+ explicit Float(RValue<Half> cast);
Float() = default;
Float(float x);
return T(Ice::IceType_v4i32);
}
+ Half::Half(RValue<Float> cast)\r
+ {\r
+ UInt fp32i = As<UInt>(cast);\r
+ UInt abs = fp32i & 0x7FFFFFFF;\r
+ UShort fp16i((fp32i & 0x80000000) >> 16); // sign\r
+\r
+ If(abs > 0x47FFEFFF) // Infinity\r
+ {\r
+ fp16i |= UShort(0x7FFF);\r
+ }\r
+ Else\r
+ {\r
+ If(abs < 0x38800000) // Denormal\r
+ {\r
+ Int mantissa = (abs & 0x007FFFFF) | 0x00800000;\r
+ Int e = 113 - (abs >> 23);\r
+ abs = IfThenElse(e < 24, mantissa >> e, Int(0));\r
+ fp16i |= UShort((abs + 0x00000FFF + ((abs >> 13) & 1)) >> 13);\r
+ }\r
+ Else\r
+ {\r
+ fp16i |= UShort((abs + 0xC8000000 + 0x00000FFF + ((abs >> 13) & 1)) >> 13);\r
+ }\r
+ }\r
+\r
+ storeValue(fp16i.loadValue());\r
+ }\r
+\r
+ Type *Half::getType()\r
+ {\r
+ return T(Ice::IceType_i16);\r
+ }\r
+
Float::Float(RValue<Int> cast)
{
Value *integer = Nucleus::createSIToFP(cast.value, Float::getType());
storeValue(result.value);
}
+ Float::Float(RValue<Half> cast)\r
+ {\r
+ Int fp16i(As<UShort>(cast));\r
+\r
+ Int s = (fp16i >> 15) & 0x00000001;\r
+ Int e = (fp16i >> 10) & 0x0000001F;\r
+ Int m = fp16i & 0x000003FF;\r
+\r
+ UInt fp32i(s << 31);\r
+ If(e == 0)\r
+ {\r
+ If(m != 0)\r
+ {\r
+ While((m & 0x00000400) == 0)\r
+ {\r
+ m <<= 1;\r
+ e -= 1;\r
+ }\r
+\r
+ fp32i |= As<UInt>(((e + (127 - 15) + 1) << 23) | ((m & ~0x00000400) << 13));\r
+ }\r
+ }\r
+ Else\r
+ {\r
+ fp32i |= As<UInt>(((e + (127 - 15)) << 23) | (m << 13));\r
+ }\r
+\r
+ storeValue(As<Float>(fp32i).value);\r
+ }
+
Float::Float(float x)
{
storeValue(Nucleus::createConstantFloat(x));