diff options
author | Alyssa Rosenzweig <[email protected]> | 2020-06-01 20:44:19 -0400 |
---|---|---|
committer | Marge Bot <[email protected]> | 2020-06-03 22:58:46 +0000 |
commit | 0ef527928c6acc63ce88a8df023b64d2a5c4468c (patch) | |
tree | 3186eb4845dc4333295f79731b9da3a1e7342023 /src | |
parent | 3f8abd867616fc4ceccb2877cd1e629232397fb4 (diff) |
panfrost: Fix gl_PointSize out of GL_POINTS
In this case, vs->writes_point_size is true as the VS writes
gl_PointSize, but panfrost_writes_points_size() is false as we are not
drawing points so the hardware doesn't process it. Thus the varying
descriptor is emitted but elements is never written. When the VS runs,
it will attempt to write to elements, a NULL pointer.
The behaviour is architecture-independent. On Midgard, the write
silently fails, hence why this bug was never noticed before. On Bifrost,
this raises an MMU fault.
The fix is to set the format to VARYING_DISCARD to ignore the write.
Noticed on Neverball.
Signed-off-by: Alyssa Rosenzweig <[email protected]>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/5290>
Diffstat (limited to 'src')
-rw-r--r-- | src/gallium/drivers/panfrost/pan_cmdstream.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/gallium/drivers/panfrost/pan_cmdstream.c b/src/gallium/drivers/panfrost/pan_cmdstream.c index a40a1505817..608d1799f97 100644 --- a/src/gallium/drivers/panfrost/pan_cmdstream.c +++ b/src/gallium/drivers/panfrost/pan_cmdstream.c @@ -1900,6 +1900,15 @@ panfrost_emit_varying_descriptor(struct panfrost_batch *batch, for (unsigned i = 0; i < vs->varying_count; i++) { gl_varying_slot loc = vs->varyings_loc[i]; + /* If we write gl_PointSize from the vertex shader but don't + * consume it, no memory will be allocated for it, so if we + * attempted to write anyway we would dereference a NULL + * pointer on the GPU. Midgard seems fine with this; Bifrost + * faults. */ + + if (loc == VARYING_SLOT_PSIZ && !panfrost_writes_point_size(ctx)) + ovs[i].format = MALI_VARYING_DISCARD; + bool captured = ((vs->so_mask & (1ll << loc)) ? true : false); if (!captured) continue; |