Fix bug with mask used for gather/scatter code generation.

We should always use the full mask for this, never the internal mask.
Added tests for this.
This commit is contained in:
Matt Pharr
2011-12-06 15:51:56 -08:00
parent 27c53a3c25
commit 198aa9620e
3 changed files with 36 additions and 2 deletions

View File

@@ -1691,7 +1691,7 @@ FunctionEmitContext::LoadInst(llvm::Value *ptr, llvm::Value *mask,
else {
// Otherwise we should have a varying ptr and it's time for a
// gather.
return gather(ptr, ptrType, mask, name);
return gather(ptr, ptrType, GetFullMask(), name);
}
}
@@ -2055,7 +2055,7 @@ FunctionEmitContext::StoreInst(llvm::Value *value, llvm::Value *ptr,
assert(ptrType->IsVaryingType());
// We have a varying ptr (an array of pointers), so it's time to
// scatter
scatter(value, ptr, ptrType, mask);
scatter(value, ptr, ptrType, GetFullMask());
}
}

15
tests/scatter-mask-1.ispc Normal file
View File

@@ -0,0 +1,15 @@
export uniform int width() { return programCount; }
uniform float a[programCount];
export void f_f(uniform float RET[], uniform float aFOO[]) {
int index = aFOO[programIndex]-1;
if (index & 1)
a[index] = 1;
RET[programIndex] = a[programIndex];
}
export void result(uniform float RET[]) {
RET[programIndex] = (programIndex & 1) ? 1 : 0;
}

19
tests/scatter-mask-2.ispc Normal file
View File

@@ -0,0 +1,19 @@
export uniform int width() { return programCount; }
uniform float a[programCount];
static void foo(int index) {
a[index] = 1;
}
export void f_f(uniform float RET[], uniform float aFOO[]) {
int index = aFOO[programIndex]-1;
if (index & 1)
foo(index);
RET[programIndex] = a[programIndex];
}
export void result(uniform float RET[]) {
RET[programIndex] = (programIndex & 1) ? 1 : 0;
}