Fix deterministic loops within conditional blocks, again.
Deterministic loops use the first scalar of the SIMD register used as
the loop index, for addressing arrays. This means that operations on the
index register should not be masked (i.e. it should be treated as a
scalar).
Previously we were still masking it based on conditional statements, and
we didn't disable the masking altogether for the loop initialization and
initial test. A new shader assembly instruction 'SCALAR' was added for
doing this.
Previously this was conflated with the 'TEST' instruction, which should
independently disable/restore the 'continue' mask.
Bug swiftshader:93
Bug b/118009174
Change-Id: I4add1a6d74231f463217e57adfabdc81faf489ae
Reviewed-on: https://swiftshader-review.googlesource.com/c/22348
Tested-by: Nicolas Capens <nicolascapens@google.com>
Reviewed-by: Alexis Hétu <sugoi@google.com>
diff --git a/src/OpenGL/compiler/OutputASM.cpp b/src/OpenGL/compiler/OutputASM.cpp
index 5a8bcdf..308da1a 100644
--- a/src/OpenGL/compiler/OutputASM.cpp
+++ b/src/OpenGL/compiler/OutputASM.cpp
@@ -1859,6 +1859,11 @@
if(loop.isDeterministic())
{
deterministicVariables.insert(loop.index->getId());
+
+ if(!unroll)
+ {
+ emit(sw::Shader::OPCODE_SCALAR); // Unrolled loops don't have an ENDWHILE to disable scalar mode.
+ }
}
if(node->getType() == ELoopDoWhile)
@@ -1926,6 +1931,11 @@
emit(sw::Shader::OPCODE_TEST);
+ if(loop.isDeterministic())
+ {
+ emit(sw::Shader::OPCODE_SCALAR);
+ }
+
if(expression)
{
expression->traverse(this);
