summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/shader_recompiler/backend/spirv/emit_spirv.h6
-rw-r--r--src/shader_recompiler/backend/spirv/emit_spirv_integer.cpp56
-rw-r--r--src/shader_recompiler/frontend/maxwell/translate/impl/integer_to_integer_conversion.cpp7
3 files changed, 45 insertions, 24 deletions
diff --git a/src/shader_recompiler/backend/spirv/emit_spirv.h b/src/shader_recompiler/backend/spirv/emit_spirv.h
index af6b8a68f..204c5f9e0 100644
--- a/src/shader_recompiler/backend/spirv/emit_spirv.h
+++ b/src/shader_recompiler/backend/spirv/emit_spirv.h
@@ -276,7 +276,7 @@ Id EmitBitwiseAnd32(EmitContext& ctx, Id a, Id b);
276Id EmitBitwiseOr32(EmitContext& ctx, Id a, Id b); 276Id EmitBitwiseOr32(EmitContext& ctx, Id a, Id b);
277Id EmitBitwiseXor32(EmitContext& ctx, Id a, Id b); 277Id EmitBitwiseXor32(EmitContext& ctx, Id a, Id b);
278Id EmitBitFieldInsert(EmitContext& ctx, Id base, Id insert, Id offset, Id count); 278Id EmitBitFieldInsert(EmitContext& ctx, Id base, Id insert, Id offset, Id count);
279Id EmitBitFieldSExtract(EmitContext& ctx, Id base, Id offset, Id count); 279Id EmitBitFieldSExtract(EmitContext& ctx, IR::Inst* inst, Id base, Id offset, Id count);
280Id EmitBitFieldUExtract(EmitContext& ctx, IR::Inst* inst, Id base, Id offset, Id count); 280Id EmitBitFieldUExtract(EmitContext& ctx, IR::Inst* inst, Id base, Id offset, Id count);
281Id EmitBitReverse32(EmitContext& ctx, Id value); 281Id EmitBitReverse32(EmitContext& ctx, Id value);
282Id EmitBitCount32(EmitContext& ctx, Id value); 282Id EmitBitCount32(EmitContext& ctx, Id value);
@@ -287,8 +287,8 @@ Id EmitSMin32(EmitContext& ctx, Id a, Id b);
287Id EmitUMin32(EmitContext& ctx, Id a, Id b); 287Id EmitUMin32(EmitContext& ctx, Id a, Id b);
288Id EmitSMax32(EmitContext& ctx, Id a, Id b); 288Id EmitSMax32(EmitContext& ctx, Id a, Id b);
289Id EmitUMax32(EmitContext& ctx, Id a, Id b); 289Id EmitUMax32(EmitContext& ctx, Id a, Id b);
290Id EmitSClamp32(EmitContext& ctx, Id value, Id min, Id max); 290Id EmitSClamp32(EmitContext& ctx, IR::Inst* inst, Id value, Id min, Id max);
291Id EmitUClamp32(EmitContext& ctx, Id value, Id min, Id max); 291Id EmitUClamp32(EmitContext& ctx, IR::Inst* inst, Id value, Id min, Id max);
292Id EmitSLessThan(EmitContext& ctx, Id lhs, Id rhs); 292Id EmitSLessThan(EmitContext& ctx, Id lhs, Id rhs);
293Id EmitULessThan(EmitContext& ctx, Id lhs, Id rhs); 293Id EmitULessThan(EmitContext& ctx, Id lhs, Id rhs);
294Id EmitIEqual(EmitContext& ctx, Id lhs, Id rhs); 294Id EmitIEqual(EmitContext& ctx, Id lhs, Id rhs);
diff --git a/src/shader_recompiler/backend/spirv/emit_spirv_integer.cpp b/src/shader_recompiler/backend/spirv/emit_spirv_integer.cpp
index 37fc7c7a2..8bf43b91d 100644
--- a/src/shader_recompiler/backend/spirv/emit_spirv_integer.cpp
+++ b/src/shader_recompiler/backend/spirv/emit_spirv_integer.cpp
@@ -5,6 +5,25 @@
5#include "shader_recompiler/backend/spirv/emit_spirv.h" 5#include "shader_recompiler/backend/spirv/emit_spirv.h"
6 6
7namespace Shader::Backend::SPIRV { 7namespace Shader::Backend::SPIRV {
8namespace {
9void SetZeroFlag(EmitContext& ctx, IR::Inst* inst, Id result) {
10 IR::Inst* const zero{inst->GetAssociatedPseudoOperation(IR::Opcode::GetZeroFromOp)};
11 if (!zero) {
12 return;
13 }
14 zero->SetDefinition(ctx.OpIEqual(ctx.U1, result, ctx.u32_zero_value));
15 zero->Invalidate();
16}
17
18void SetSignFlag(EmitContext& ctx, IR::Inst* inst, Id result) {
19 IR::Inst* const sign{inst->GetAssociatedPseudoOperation(IR::Opcode::GetSignFromOp)};
20 if (!sign) {
21 return;
22 }
23 sign->SetDefinition(ctx.OpSLessThan(ctx.U1, result, ctx.u32_zero_value));
24 sign->Invalidate();
25}
26} // Anonymous namespace
8 27
9Id EmitIAdd32(EmitContext& ctx, IR::Inst* inst, Id a, Id b) { 28Id EmitIAdd32(EmitContext& ctx, IR::Inst* inst, Id a, Id b) {
10 Id result{}; 29 Id result{};
@@ -19,14 +38,8 @@ Id EmitIAdd32(EmitContext& ctx, IR::Inst* inst, Id a, Id b) {
19 } else { 38 } else {
20 result = ctx.OpIAdd(ctx.U32[1], a, b); 39 result = ctx.OpIAdd(ctx.U32[1], a, b);
21 } 40 }
22 if (IR::Inst* const zero{inst->GetAssociatedPseudoOperation(IR::Opcode::GetZeroFromOp)}) { 41 SetZeroFlag(ctx, inst, result);
23 zero->SetDefinition(ctx.OpIEqual(ctx.U1, result, ctx.u32_zero_value)); 42 SetSignFlag(ctx, inst, result);
24 zero->Invalidate();
25 }
26 if (IR::Inst* const sign{inst->GetAssociatedPseudoOperation(IR::Opcode::GetSignFromOp)}) {
27 sign->SetDefinition(ctx.OpSLessThan(ctx.U1, result, ctx.u32_zero_value));
28 sign->Invalidate();
29 }
30 if (IR::Inst * overflow{inst->GetAssociatedPseudoOperation(IR::Opcode::GetOverflowFromOp)}) { 43 if (IR::Inst * overflow{inst->GetAssociatedPseudoOperation(IR::Opcode::GetOverflowFromOp)}) {
31 // https://stackoverflow.com/questions/55468823/how-to-detect-integer-overflow-in-c 44 // https://stackoverflow.com/questions/55468823/how-to-detect-integer-overflow-in-c
32 constexpr u32 s32_max{static_cast<u32>(std::numeric_limits<s32>::max())}; 45 constexpr u32 s32_max{static_cast<u32>(std::numeric_limits<s32>::max())};
@@ -114,16 +127,17 @@ Id EmitBitFieldInsert(EmitContext& ctx, Id base, Id insert, Id offset, Id count)
114 return ctx.OpBitFieldInsert(ctx.U32[1], base, insert, offset, count); 127 return ctx.OpBitFieldInsert(ctx.U32[1], base, insert, offset, count);
115} 128}
116 129
117Id EmitBitFieldSExtract(EmitContext& ctx, Id base, Id offset, Id count) { 130Id EmitBitFieldSExtract(EmitContext& ctx, IR::Inst* inst, Id base, Id offset, Id count) {
118 return ctx.OpBitFieldSExtract(ctx.U32[1], base, offset, count); 131 const Id result{ctx.OpBitFieldSExtract(ctx.U32[1], base, offset, count)};
132 SetZeroFlag(ctx, inst, result);
133 SetSignFlag(ctx, inst, result);
134 return result;
119} 135}
120 136
121Id EmitBitFieldUExtract(EmitContext& ctx, IR::Inst* inst, Id base, Id offset, Id count) { 137Id EmitBitFieldUExtract(EmitContext& ctx, IR::Inst* inst, Id base, Id offset, Id count) {
122 const Id result{ctx.OpBitFieldUExtract(ctx.U32[1], base, offset, count)}; 138 const Id result{ctx.OpBitFieldUExtract(ctx.U32[1], base, offset, count)};
123 if (IR::Inst* const zero{inst->GetAssociatedPseudoOperation(IR::Opcode::GetZeroFromOp)}) { 139 SetZeroFlag(ctx, inst, result);
124 zero->SetDefinition(ctx.OpIEqual(ctx.U1, result, ctx.u32_zero_value)); 140 SetSignFlag(ctx, inst, result);
125 zero->Invalidate();
126 }
127 return result; 141 return result;
128} 142}
129 143
@@ -163,12 +177,18 @@ Id EmitUMax32(EmitContext& ctx, Id a, Id b) {
163 return ctx.OpUMax(ctx.U32[1], a, b); 177 return ctx.OpUMax(ctx.U32[1], a, b);
164} 178}
165 179
166Id EmitSClamp32(EmitContext& ctx, Id value, Id min, Id max) { 180Id EmitSClamp32(EmitContext& ctx, IR::Inst* inst, Id value, Id min, Id max) {
167 return ctx.OpSClamp(ctx.U32[1], value, min, max); 181 const Id result{ctx.OpSClamp(ctx.U32[1], value, min, max)};
182 SetZeroFlag(ctx, inst, result);
183 SetSignFlag(ctx, inst, result);
184 return result;
168} 185}
169 186
170Id EmitUClamp32(EmitContext& ctx, Id value, Id min, Id max) { 187Id EmitUClamp32(EmitContext& ctx, IR::Inst* inst, Id value, Id min, Id max) {
171 return ctx.OpUClamp(ctx.U32[1], value, min, max); 188 const Id result{ctx.OpUClamp(ctx.U32[1], value, min, max)};
189 SetZeroFlag(ctx, inst, result);
190 SetSignFlag(ctx, inst, result);
191 return result;
172} 192}
173 193
174Id EmitSLessThan(EmitContext& ctx, Id lhs, Id rhs) { 194Id EmitSLessThan(EmitContext& ctx, Id lhs, Id rhs) {
diff --git a/src/shader_recompiler/frontend/maxwell/translate/impl/integer_to_integer_conversion.cpp b/src/shader_recompiler/frontend/maxwell/translate/impl/integer_to_integer_conversion.cpp
index 98b7f59f7..2f1a58805 100644
--- a/src/shader_recompiler/frontend/maxwell/translate/impl/integer_to_integer_conversion.cpp
+++ b/src/shader_recompiler/frontend/maxwell/translate/impl/integer_to_integer_conversion.cpp
@@ -74,9 +74,6 @@ void I2I(TranslatorVisitor& v, u64 insn, const IR::U32& src_a) {
74 BitField<50, 1, u64> sat; 74 BitField<50, 1, u64> sat;
75 } const i2i{insn}; 75 } const i2i{insn};
76 76
77 if (i2i.cc != 0) {
78 throw NotImplementedException("I2I CC");
79 }
80 if (i2i.src_fmt == IntegerWidth::Short && (i2i.selector == 1 || i2i.selector == 3)) { 77 if (i2i.src_fmt == IntegerWidth::Short && (i2i.selector == 1 || i2i.selector == 3)) {
81 throw NotImplementedException("16-bit source format incompatible with selector {}", 78 throw NotImplementedException("16-bit source format incompatible with selector {}",
82 i2i.selector); 79 i2i.selector);
@@ -105,6 +102,10 @@ void I2I(TranslatorVisitor& v, u64 insn, const IR::U32& src_a) {
105 : ConvertInteger(v.ir, src_values, i2i.dst_fmt)}; 102 : ConvertInteger(v.ir, src_values, i2i.dst_fmt)};
106 103
107 v.X(i2i.dest_reg, result); 104 v.X(i2i.dest_reg, result);
105 if (i2i.cc != 0) {
106 v.SetZFlag(v.ir.GetZeroFromOp(result));
107 v.SetSFlag(v.ir.GetSignFromOp(result));
108 }
108} 109}
109} // Anonymous namespace 110} // Anonymous namespace
110 111