spirv: Implement int8 and int16 conversion fallbacks

1 files changed, 80 insertions, 19 deletions

diff --git a/src/shader_recompiler/backend/spirv/emit_spirv_convert.cpp b/src/shader_recompiler/backend/spirv/emit_spirv_convert.cpp
index 757165626..acb8957fe 100644
--- a/src/shader_recompiler/backend/spirv/emit_spirv_convert.cpp
+++ b/src/shader_recompiler/backend/spirv/emit_spirv_convert.cpp
@@ -5,17 +5,62 @@
 #include "shader_recompiler/backend/spirv/emit_spirv.h"
 
 namespace Shader::Backend::SPIRV {
+namespace {
+Id ExtractU16(EmitContext& ctx, Id value) {
+    if (ctx.profile.support_int16) {
+        return ctx.OpUConvert(ctx.U16, value);
+    } else {
+        return ctx.OpBitFieldUExtract(ctx.U32[1], value, ctx.u32_zero_value, ctx.Const(16u));
+    }
+}
+
+Id ExtractS16(EmitContext& ctx, Id value) {
+    if (ctx.profile.support_int16) {
+        return ctx.OpUConvert(ctx.S16, value);
+    } else {
+        return ctx.OpBitFieldSExtract(ctx.U32[1], value, ctx.u32_zero_value, ctx.Const(16u));
+    }
+}
+
+Id ExtractU8(EmitContext& ctx, Id value) {
+    if (ctx.profile.support_int16) {
+        return ctx.OpUConvert(ctx.U8, value);
+    } else {
+        return ctx.OpBitFieldUExtract(ctx.U32[1], value, ctx.u32_zero_value, ctx.Const(8u));
+    }
+}
+
+Id ExtractS8(EmitContext& ctx, Id value) {
+    if (ctx.profile.support_int8) {
+        return ctx.OpSConvert(ctx.S8, value);
+    } else {
+        return ctx.OpBitFieldSExtract(ctx.U32[1], value, ctx.u32_zero_value, ctx.Const(8u));
+    }
+}
+} // Anonymous namespace
 
 Id EmitConvertS16F16(EmitContext& ctx, Id value) {
-    return ctx.OpUConvert(ctx.U32[1], ctx.OpConvertFToS(ctx.U16, value));
+    if (ctx.profile.support_int16) {
+        return ctx.OpUConvert(ctx.U32[1], ctx.OpConvertFToS(ctx.U16, value));
+    } else {
+        return ExtractS16(ctx, ctx.OpConvertFToS(ctx.U32[1], value));
+    }
 }
 
 Id EmitConvertS16F32(EmitContext& ctx, Id value) {
-    return ctx.OpUConvert(ctx.U32[1], ctx.OpConvertFToS(ctx.U16, value));
+    if (ctx.profile.support_int16) {
+        return ctx.OpUConvert(ctx.U32[1], ctx.OpConvertFToS(ctx.U16, value));
+    } else {
+        return ExtractS16(ctx, ctx.OpConvertFToS(ctx.U32[1], value));
+    }
 }
 
 Id EmitConvertS16F64(EmitContext& ctx, Id value) {
-    return ctx.OpUConvert(ctx.U32[1], ctx.OpConvertFToS(ctx.U16, value));
+    if (ctx.profile.support_int16) {
+        return ctx.OpUConvert(ctx.U32[1], ctx.OpConvertFToS(ctx.U16, value));
+    } else {
+        return ExtractS16(ctx, ctx.OpConvertFToS(ctx.U32[1], value));
+    }
 }
 
 Id EmitConvertS32F16(EmitContext& ctx, Id value) {
@@ -23,7 +68,11 @@ Id EmitConvertS32F16(EmitContext& ctx, Id value) {
 }
 
 Id EmitConvertS32F32(EmitContext& ctx, Id value) {
-    return ctx.OpConvertFToS(ctx.U32[1], value);
+    if (ctx.profile.has_broken_signed_operations) {
+        return ctx.OpBitcast(ctx.U32[1], ctx.OpConvertFToS(ctx.S32[1], value));
+    } else {
+        return ctx.OpConvertFToS(ctx.U32[1], value);
+    }
 }
 
 Id EmitConvertS32F64(EmitContext& ctx, Id value) {
@@ -43,15 +92,27 @@ Id EmitConvertS64F64(EmitContext& ctx, Id value) {
 }
 
 Id EmitConvertU16F16(EmitContext& ctx, Id value) {
-    return ctx.OpUConvert(ctx.U32[1], ctx.OpConvertFToU(ctx.U16, value));
+    if (ctx.profile.support_int16) {
+        return ctx.OpUConvert(ctx.U32[1], ctx.OpConvertFToU(ctx.U16, value));
+    } else {
+        return ExtractU16(ctx, ctx.OpConvertFToU(ctx.U32[1], value));
+    }
 }
 
 Id EmitConvertU16F32(EmitContext& ctx, Id value) {
-    return ctx.OpUConvert(ctx.U32[1], ctx.OpConvertFToU(ctx.U16, value));
+    if (ctx.profile.support_int16) {
+        return ctx.OpUConvert(ctx.U32[1], ctx.OpConvertFToU(ctx.U16, value));
+    } else {
+        return ExtractU16(ctx, ctx.OpConvertFToU(ctx.U32[1], value));
+    }
 }
 
 Id EmitConvertU16F64(EmitContext& ctx, Id value) {
-    return ctx.OpUConvert(ctx.U32[1], ctx.OpConvertFToU(ctx.U16, value));
+    if (ctx.profile.support_int16) {
+        return ctx.OpUConvert(ctx.U32[1], ctx.OpConvertFToU(ctx.U16, value));
+    } else {
+        return ExtractU16(ctx, ctx.OpConvertFToU(ctx.U32[1], value));
+    }
 }
 
 Id EmitConvertU32F16(EmitContext& ctx, Id value) {
@@ -103,11 +164,11 @@ Id EmitConvertF64F32(EmitContext& ctx, Id value) {
 }
 
 Id EmitConvertF16S8(EmitContext& ctx, Id value) {
-    return ctx.OpConvertSToF(ctx.F16[1], value);
+    return ctx.OpConvertSToF(ctx.F16[1], ExtractS8(ctx, value));
 }
 
 Id EmitConvertF16S16(EmitContext& ctx, Id value) {
-    return ctx.OpConvertSToF(ctx.F16[1], value);
+    return ctx.OpConvertSToF(ctx.F16[1], ExtractS16(ctx, value));
 }
 
 Id EmitConvertF16S32(EmitContext& ctx, Id value) {
@@ -119,11 +180,11 @@ Id EmitConvertF16S64(EmitContext& ctx, Id value) {
 }
 
 Id EmitConvertF16U8(EmitContext& ctx, Id value) {
-    return ctx.OpConvertUToF(ctx.F16[1], value);
+    return ctx.OpConvertUToF(ctx.F16[1], ExtractU8(ctx, value));
 }
 
 Id EmitConvertF16U16(EmitContext& ctx, Id value) {
-    return ctx.OpConvertUToF(ctx.F16[1], value);
+    return ctx.OpConvertUToF(ctx.F16[1], ExtractU16(ctx, value));
 }
 
 Id EmitConvertF16U32(EmitContext& ctx, Id value) {
@@ -135,11 +196,11 @@ Id EmitConvertF16U64(EmitContext& ctx, Id value) {
 }
 
 Id EmitConvertF32S8(EmitContext& ctx, Id value) {
-    return ctx.OpConvertSToF(ctx.F32[1], ctx.OpUConvert(ctx.U8, value));
+    return ctx.OpConvertSToF(ctx.F32[1], ExtractS8(ctx, value));
 }
 
 Id EmitConvertF32S16(EmitContext& ctx, Id value) {
-    return ctx.OpConvertSToF(ctx.F32[1], ctx.OpUConvert(ctx.U16, value));
+    return ctx.OpConvertSToF(ctx.F32[1], ExtractS16(ctx, value));
 }
 
 Id EmitConvertF32S32(EmitContext& ctx, Id value) {
@@ -151,11 +212,11 @@ Id EmitConvertF32S64(EmitContext& ctx, Id value) {
 }
 
 Id EmitConvertF32U8(EmitContext& ctx, Id value) {
-    return ctx.OpConvertUToF(ctx.F32[1], ctx.OpUConvert(ctx.U8, value));
+    return ctx.OpConvertUToF(ctx.F32[1], ExtractU8(ctx, value));
 }
 
 Id EmitConvertF32U16(EmitContext& ctx, Id value) {
-    return ctx.OpConvertUToF(ctx.F32[1], ctx.OpUConvert(ctx.U16, value));
+    return ctx.OpConvertUToF(ctx.F32[1], ExtractU16(ctx, value));
 }
 
 Id EmitConvertF32U32(EmitContext& ctx, Id value) {
@@ -167,11 +228,11 @@ Id EmitConvertF32U64(EmitContext& ctx, Id value) {
 }
 
 Id EmitConvertF64S8(EmitContext& ctx, Id value) {
-    return ctx.OpConvertSToF(ctx.F64[1], ctx.OpUConvert(ctx.U8, value));
+    return ctx.OpConvertSToF(ctx.F64[1], ExtractS8(ctx, value));
 }
 
 Id EmitConvertF64S16(EmitContext& ctx, Id value) {
-    return ctx.OpConvertSToF(ctx.F64[1], ctx.OpUConvert(ctx.U16, value));
+    return ctx.OpConvertSToF(ctx.F64[1], ExtractS16(ctx, value));
 }
 
 Id EmitConvertF64S32(EmitContext& ctx, Id value) {
@@ -183,11 +244,11 @@ Id EmitConvertF64S64(EmitContext& ctx, Id value) {
 }
 
 Id EmitConvertF64U8(EmitContext& ctx, Id value) {
-    return ctx.OpConvertUToF(ctx.F64[1], ctx.OpUConvert(ctx.U8, value));
+    return ctx.OpConvertUToF(ctx.F64[1], ExtractU8(ctx, value));
 }
 
 Id EmitConvertF64U16(EmitContext& ctx, Id value) {
-    return ctx.OpConvertUToF(ctx.F64[1], ctx.OpUConvert(ctx.U16, value));
+    return ctx.OpConvertUToF(ctx.F64[1], ExtractU16(ctx, value));
 }
 
 Id EmitConvertF64U32(EmitContext& ctx, Id value) {