Fix significant bug in mask management in code generated for 'foreach'.
In particular, we 1. weren't setting the function mask to 'all on', such that any mixed function mask would in turn apply inside the foreach loop, and 2. weren't always setting the internal mask to 'all on' before doing any additional masking based on the iteration variables.
This commit is contained in:
6
stmt.cpp
6
stmt.cpp
@@ -1336,10 +1336,14 @@ ForeachStmt::EmitCode(FunctionEmitContext *ctx) const {
|
||||
llvm::BasicBlock *bbExit = ctx->CreateBasicBlock("foreach_exit");
|
||||
|
||||
llvm::Value *oldMask = ctx->GetInternalMask();
|
||||
llvm::Value *oldFunctionMask = ctx->GetFunctionMask();
|
||||
|
||||
ctx->SetDebugPos(pos);
|
||||
ctx->StartScope();
|
||||
|
||||
ctx->SetInternalMask(LLVMMaskAllOn);
|
||||
ctx->SetFunctionMask(LLVMMaskAllOn);
|
||||
|
||||
// This should be caught during typechecking
|
||||
Assert(startExprs.size() == dimVariables.size() &&
|
||||
endExprs.size() == dimVariables.size());
|
||||
@@ -1765,7 +1769,9 @@ ForeachStmt::EmitCode(FunctionEmitContext *ctx) const {
|
||||
///////////////////////////////////////////////////////////////////////////
|
||||
// foreach_exit: All done. Restore the old mask and clean up
|
||||
ctx->SetCurrentBasicBlock(bbExit);
|
||||
|
||||
ctx->SetInternalMask(oldMask);
|
||||
ctx->SetFunctionMask(oldFunctionMask);
|
||||
|
||||
ctx->EndForeach();
|
||||
ctx->EndScope();
|
||||
|
||||
21
tests/foreach-mask-1.ispc
Normal file
21
tests/foreach-mask-1.ispc
Normal file
@@ -0,0 +1,21 @@
|
||||
|
||||
export uniform int width() { return programCount; }
|
||||
|
||||
|
||||
|
||||
export void f_f(uniform float RET[], uniform float aFOO[]) {
|
||||
uniform float val[programCount+3];
|
||||
for (uniform int i = 0; i < programCount+3; ++i)
|
||||
val[i] = 0;
|
||||
|
||||
// make sure we reset the func mask in the foreach loop...
|
||||
if ((int)aFOO[programIndex] & 1)
|
||||
foreach (i = 0 ... programCount+3)
|
||||
val[i] += aFOO[i] - 1;
|
||||
|
||||
RET[programIndex] = val[3+programIndex];
|
||||
}
|
||||
|
||||
export void result(uniform float RET[]) {
|
||||
RET[programIndex] = programIndex+3;
|
||||
}
|
||||
25
tests/foreach-mask.ispc
Normal file
25
tests/foreach-mask.ispc
Normal file
@@ -0,0 +1,25 @@
|
||||
|
||||
export uniform int width() { return programCount; }
|
||||
|
||||
|
||||
// make sure we reset the func mask in the foreach loop...
|
||||
|
||||
void update(uniform float val[], const uniform float a[]) {
|
||||
foreach (i = 0 ... programCount+3)
|
||||
val[i] += a[i] - 1;
|
||||
}
|
||||
|
||||
export void f_f(uniform float RET[], uniform float aFOO[]) {
|
||||
uniform float val[programCount+3];
|
||||
for (uniform int i = 0; i < programCount+3; ++i)
|
||||
val[i] = 0;
|
||||
|
||||
if ((int)aFOO[programIndex] & 1)
|
||||
update(val, aFOO);
|
||||
|
||||
RET[programIndex] = val[3+programIndex];
|
||||
}
|
||||
|
||||
export void result(uniform float RET[]) {
|
||||
RET[programIndex] = programIndex+3;
|
||||
}
|
||||
Reference in New Issue
Block a user