2022-04-23 04:59:50 -04:00
|
|
|
// SPDX-FileCopyrightText: Copyright 2021 yuzu Emulator Project
|
|
|
|
// SPDX-License-Identifier: GPL-2.0-or-later
|
2021-02-19 18:10:18 -03:00
|
|
|
|
2021-05-03 20:53:00 -03:00
|
|
|
#include "shader_recompiler/backend/spirv/emit_spirv_instructions.h"
|
2021-12-05 17:24:54 -05:00
|
|
|
#include "shader_recompiler/backend/spirv/spirv_emit_context.h"
|
2021-02-19 18:10:18 -03:00
|
|
|
|
|
|
|
namespace Shader::Backend::SPIRV {
|
2021-05-23 04:08:58 -03:00
|
|
|
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) {
|
2021-06-11 01:11:59 -04:00
|
|
|
return ctx.OpSConvert(ctx.S16, value);
|
2021-05-23 04:08:58 -03:00
|
|
|
} else {
|
|
|
|
return ctx.OpBitFieldSExtract(ctx.U32[1], value, ctx.u32_zero_value, ctx.Const(16u));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Id ExtractU8(EmitContext& ctx, Id value) {
|
2021-06-11 01:11:59 -04:00
|
|
|
if (ctx.profile.support_int8) {
|
2021-05-23 04:08:58 -03:00
|
|
|
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
|
2021-02-19 18:10:18 -03:00
|
|
|
|
|
|
|
Id EmitConvertS16F16(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
if (ctx.profile.support_int16) {
|
2021-06-11 01:11:59 -04:00
|
|
|
return ctx.OpSConvert(ctx.U32[1], ctx.OpConvertFToS(ctx.U16, value));
|
2021-05-23 04:08:58 -03:00
|
|
|
} else {
|
|
|
|
return ExtractS16(ctx, ctx.OpConvertFToS(ctx.U32[1], value));
|
|
|
|
}
|
2021-02-19 18:10:18 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertS16F32(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
if (ctx.profile.support_int16) {
|
2021-06-11 01:11:59 -04:00
|
|
|
return ctx.OpSConvert(ctx.U32[1], ctx.OpConvertFToS(ctx.U16, value));
|
2021-05-23 04:08:58 -03:00
|
|
|
} else {
|
|
|
|
return ExtractS16(ctx, ctx.OpConvertFToS(ctx.U32[1], value));
|
|
|
|
}
|
2021-02-19 18:10:18 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertS16F64(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
if (ctx.profile.support_int16) {
|
2021-06-11 01:11:59 -04:00
|
|
|
return ctx.OpSConvert(ctx.U32[1], ctx.OpConvertFToS(ctx.U16, value));
|
2021-05-23 04:08:58 -03:00
|
|
|
} else {
|
|
|
|
return ExtractS16(ctx, ctx.OpConvertFToS(ctx.U32[1], value));
|
|
|
|
}
|
2021-02-19 18:10:18 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertS32F16(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertFToS(ctx.U32[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertS32F32(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
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);
|
|
|
|
}
|
2021-02-19 18:10:18 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertS32F64(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertFToS(ctx.U32[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertS64F16(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertFToS(ctx.U64, value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertS64F32(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertFToS(ctx.U64, value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertS64F64(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertFToS(ctx.U64, value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU16F16(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
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));
|
|
|
|
}
|
2021-02-19 18:10:18 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU16F32(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
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));
|
|
|
|
}
|
2021-02-19 18:10:18 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU16F64(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
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));
|
|
|
|
}
|
2021-02-19 18:10:18 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU32F16(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertFToU(ctx.U32[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU32F32(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertFToU(ctx.U32[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU32F64(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertFToU(ctx.U32[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU64F16(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertFToU(ctx.U64, value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU64F32(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertFToU(ctx.U64, value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU64F64(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertFToU(ctx.U64, value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU64U32(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpUConvert(ctx.U64, value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU32U64(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpUConvert(ctx.U32[1], value);
|
|
|
|
}
|
|
|
|
|
2021-03-03 03:07:19 -03:00
|
|
|
Id EmitConvertF16F32(EmitContext& ctx, Id value) {
|
2025-06-29 17:15:46 +00:00
|
|
|
const auto result = ctx.OpFConvert(ctx.F16[1], value);
|
|
|
|
const auto isOverflowing = ctx.OpIsNan(ctx.U1, result);
|
|
|
|
return ctx.OpSelect(ctx.F16[1], isOverflowing, ctx.Constant(ctx.F16[1], 0), result);
|
|
|
|
//return ctx.OpFConvert(ctx.F16[1], value);
|
2021-03-03 03:07:19 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF32F16(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpFConvert(ctx.F32[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF32F64(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpFConvert(ctx.F32[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF64F32(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpFConvert(ctx.F64[1], value);
|
|
|
|
}
|
|
|
|
|
2021-03-20 05:04:12 -03:00
|
|
|
Id EmitConvertF16S8(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
return ctx.OpConvertSToF(ctx.F16[1], ExtractS8(ctx, value));
|
2021-03-20 05:04:12 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF16S16(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
return ctx.OpConvertSToF(ctx.F16[1], ExtractS16(ctx, value));
|
2021-03-20 05:04:12 -03:00
|
|
|
}
|
|
|
|
|
2021-03-08 18:31:53 -03:00
|
|
|
Id EmitConvertF16S32(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertSToF(ctx.F16[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF16S64(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertSToF(ctx.F16[1], value);
|
|
|
|
}
|
|
|
|
|
2021-03-20 05:04:12 -03:00
|
|
|
Id EmitConvertF16U8(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
return ctx.OpConvertUToF(ctx.F16[1], ExtractU8(ctx, value));
|
2021-03-20 05:04:12 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF16U16(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
return ctx.OpConvertUToF(ctx.F16[1], ExtractU16(ctx, value));
|
2021-03-20 05:04:12 -03:00
|
|
|
}
|
|
|
|
|
2021-03-08 18:31:53 -03:00
|
|
|
Id EmitConvertF16U32(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertUToF(ctx.F16[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF16U64(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertUToF(ctx.F16[1], value);
|
|
|
|
}
|
|
|
|
|
2021-03-20 05:04:12 -03:00
|
|
|
Id EmitConvertF32S8(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
return ctx.OpConvertSToF(ctx.F32[1], ExtractS8(ctx, value));
|
2021-03-20 05:04:12 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF32S16(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
return ctx.OpConvertSToF(ctx.F32[1], ExtractS16(ctx, value));
|
2021-03-20 05:04:12 -03:00
|
|
|
}
|
|
|
|
|
2021-03-08 18:31:53 -03:00
|
|
|
Id EmitConvertF32S32(EmitContext& ctx, Id value) {
|
2021-06-11 00:18:24 -03:00
|
|
|
if (ctx.profile.has_broken_signed_operations) {
|
|
|
|
value = ctx.OpBitcast(ctx.S32[1], value);
|
|
|
|
}
|
2021-03-08 18:31:53 -03:00
|
|
|
return ctx.OpConvertSToF(ctx.F32[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF32S64(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertSToF(ctx.F32[1], value);
|
|
|
|
}
|
|
|
|
|
2021-03-20 05:04:12 -03:00
|
|
|
Id EmitConvertF32U8(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
return ctx.OpConvertUToF(ctx.F32[1], ExtractU8(ctx, value));
|
2021-03-20 05:04:12 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF32U16(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
return ctx.OpConvertUToF(ctx.F32[1], ExtractU16(ctx, value));
|
2021-03-20 05:04:12 -03:00
|
|
|
}
|
|
|
|
|
2021-03-08 18:31:53 -03:00
|
|
|
Id EmitConvertF32U32(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertUToF(ctx.F32[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF32U64(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertUToF(ctx.F32[1], value);
|
|
|
|
}
|
|
|
|
|
2021-03-20 05:04:12 -03:00
|
|
|
Id EmitConvertF64S8(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
return ctx.OpConvertSToF(ctx.F64[1], ExtractS8(ctx, value));
|
2021-03-20 05:04:12 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF64S16(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
return ctx.OpConvertSToF(ctx.F64[1], ExtractS16(ctx, value));
|
2021-03-20 05:04:12 -03:00
|
|
|
}
|
|
|
|
|
2021-03-08 18:31:53 -03:00
|
|
|
Id EmitConvertF64S32(EmitContext& ctx, Id value) {
|
2021-06-11 00:18:24 -03:00
|
|
|
if (ctx.profile.has_broken_signed_operations) {
|
|
|
|
value = ctx.OpBitcast(ctx.S32[1], value);
|
|
|
|
}
|
2021-03-08 18:31:53 -03:00
|
|
|
return ctx.OpConvertSToF(ctx.F64[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF64S64(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertSToF(ctx.F64[1], value);
|
|
|
|
}
|
|
|
|
|
2021-03-20 05:04:12 -03:00
|
|
|
Id EmitConvertF64U8(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
return ctx.OpConvertUToF(ctx.F64[1], ExtractU8(ctx, value));
|
2021-03-20 05:04:12 -03:00
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF64U16(EmitContext& ctx, Id value) {
|
2021-05-23 04:08:58 -03:00
|
|
|
return ctx.OpConvertUToF(ctx.F64[1], ExtractU16(ctx, value));
|
2021-03-20 05:04:12 -03:00
|
|
|
}
|
|
|
|
|
2021-03-08 18:31:53 -03:00
|
|
|
Id EmitConvertF64U32(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertUToF(ctx.F64[1], value);
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertF64U64(EmitContext& ctx, Id value) {
|
|
|
|
return ctx.OpConvertUToF(ctx.F64[1], value);
|
|
|
|
}
|
|
|
|
|
2025-07-23 01:02:10 +02:00
|
|
|
Id EmitConvertU16U32(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 EmitConvertU32U16(EmitContext& ctx, Id value) {
|
|
|
|
if (ctx.profile.support_int16) {
|
|
|
|
return ctx.OpUConvert(ctx.U32[1], value);
|
|
|
|
} else {
|
|
|
|
return ExtractU16(ctx, value);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU8U32(EmitContext& ctx, Id value) {
|
|
|
|
if (ctx.profile.support_int8) {
|
|
|
|
return ctx.OpUConvert(ctx.U8, value);
|
|
|
|
} else {
|
|
|
|
return ExtractU8(ctx, value);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertU32U8(EmitContext& ctx, Id value) {
|
|
|
|
if (ctx.profile.support_int8) {
|
|
|
|
return ctx.OpUConvert(ctx.U32[1], value);
|
|
|
|
} else {
|
|
|
|
return ctx.OpBitFieldUExtract(ctx.U32[1], value, ctx.u32_zero_value, ctx.Const(8u));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// in signed
|
|
|
|
Id EmitConvertS32S8(EmitContext& ctx, Id value) {
|
|
|
|
if (ctx.profile.support_int8) {
|
|
|
|
return ctx.OpSConvert(ctx.U32[1], value);
|
|
|
|
} else {
|
|
|
|
return ctx.OpBitFieldSExtract(ctx.U32[1], value, ctx.u32_zero_value, ctx.Const(8u));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
Id EmitConvertS32S16(EmitContext& ctx, Id value) {
|
|
|
|
if (ctx.profile.support_int16) {
|
|
|
|
return ctx.OpSConvert(ctx.U32[1], value);
|
|
|
|
} else {
|
|
|
|
return ctx.OpBitFieldSExtract(ctx.U32[1], value, ctx.u32_zero_value, ctx.Const(16u));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-02-19 18:10:18 -03:00
|
|
|
} // namespace Shader::Backend::SPIRV
|