aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlyssa Rosenzweig <[email protected]>2020-06-01 20:44:19 -0400
committerMarge Bot <[email protected]>2020-06-03 22:58:46 +0000
commit0ef527928c6acc63ce88a8df023b64d2a5c4468c (patch)
tree3186eb4845dc4333295f79731b9da3a1e7342023 /src
parent3f8abd867616fc4ceccb2877cd1e629232397fb4 (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.c9
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;