<html>
<head>
<base href="https://bugs.freedesktop.org/" />
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - [llvmpipe] [softpipe] piglit fs-ldexp-dvec4 regression"
href="https://bugs.freedesktop.org/show_bug.cgi?id=92945">92945</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>[llvmpipe] [softpipe] piglit fs-ldexp-dvec4 regression
</td>
</tr>
<tr>
<th>Product</th>
<td>Mesa
</td>
</tr>
<tr>
<th>Version</th>
<td>git
</td>
</tr>
<tr>
<th>Hardware</th>
<td>x86-64 (AMD64)
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux (All)
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Keywords</th>
<td>bisected, regression
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>medium
</td>
</tr>
<tr>
<th>Component</th>
<td>Mesa core
</td>
</tr>
<tr>
<th>Assignee</th>
<td>mesa-dev@lists.freedesktop.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>vlee@freedesktop.org
</td>
</tr>
<tr>
<th>QA Contact</th>
<td>mesa-dev@lists.freedesktop.org
</td>
</tr>
<tr>
<th>CC</th>
<td>jljusten@gmail.com, krh@bitplanet.net
</td>
</tr></table>
<p>
<div>
<pre>mesa: 3694d58e6c4a39bd84e8aef0d8e67c3ae9447f33 (master 11.1.0-devel)
$ ./bin/shader_runner
tests/spec/arb_gpu_shader_fp64/execution/built-in-functions/fs-ldexp-dvec4.shader_t$
ir_dereference_variable @ 0xfe9b90 specifies undeclared variable `color' @
0xfee5f0
Aborted (core dumped)
(gdb) bt
#0 0x00007f721d432267 in __GI_raise (sig=sig@entry=6) at
../sysdeps/unix/sysv/linux/raise.c:55
#1 0x00007f721d433eca in __GI_abort () at abort.c:89
#2 0x00007f721baefee1 in (anonymous namespace)::ir_validate::visit
(this=0x7ffe25e692b0, ir=0xfe9b90) at$
#3 0x00007f721baebc7e in ir_dereference_variable::accept (this=0xfe9b90,
v=0x7ffe25e692b0) at src/glsl/i$
#4 0x00007f721baebeaa in ir_assignment::accept (this=0xfea070,
v=0x7ffe25e692b0) at src/glsl/ir_hv_accep$
#5 0x00007f721baeb40a in visit_list_elements (v=0x7ffe25e692b0, l=0xf90548,
statement_list=true) at src/$
#6 0x00007f721baeb60f in ir_function_signature::accept (this=0xf90500,
v=0x7ffe25e692b0) at src/glsl/ir_$
#7 0x00007f721baeb40a in visit_list_elements (v=0x7ffe25e692b0, l=0xfee3e8,
statement_list=false) at src$
#8 0x00007f721baeb6a3 in ir_function::accept (this=0xfee3c0, v=0x7ffe25e692b0)
at src/glsl/ir_hv_accept.$
#9 0x00007f721baeb40a in visit_list_elements (v=0x7ffe25e692b0, l=0xfe7d90,
statement_list=true) at src/$
#10 0x00007f721baeb2dc in ir_hierarchical_visitor::run (this=0x7ffe25e692b0,
instructions=0xfe7d90)
at src/glsl/ir_hierarchical_visitor.cpp:364
#11 0x00007f721baf3885 in validate_ir_tree (instructions=0xfe7d90) at
src/glsl/ir_validate.cpp:939
#12 0x00007f721bafd2e0 in link_shaders (ctx=0x7f721df9c010, prog=0xf87fc0) at
src/glsl/linker.cpp:4467
#13 0x00007f721b93405f in _mesa_glsl_link_shader (ctx=0x7f721df9c010,
prog=0xf87fc0) at src/mesa/program/$
#14 0x00007f721b887345 in link_program (ctx=0x7f721df9c010, program=3) at
src/mesa/main/shaderapi.c:1047
#15 0x00007f721b8884fb in _mesa_LinkProgram (programObj=3) at
src/mesa/main/shaderapi.c:1517
#16 0x00007f721da964cc in stub_glLinkProgram (program=3) at
piglit/tests/util/piglit-dispatch-gen.c:32599
#17 0x0000000000406f81 in link_and_use_shaders () at
piglit/tests/shaders/shader_runner.c:965
#18 0x000000000040d471 in piglit_init (argc=2, argv=0x7ffe25e69748) at
piglit/tests/shaders/shader_runner$
#19 0x00007f721db04f84 in run_test (gl_fw=0x7f721dda00e0 <glut_fw>, argc=2,
argv=0x7ffe25e69748)
at piglit/tests/util/piglit-framework-gl/piglit_glut_framework.c:285
#20 0x00007f721daeb014 in piglit_gl_test_run (argc=2, argv=0x7ffe25e69748,
config=0x7ffe25e69600)
at piglit/tests/util/piglit-framework-gl.c:199
#21 0x0000000000405630 in main (argc=2, argv=0x7ffe25e69748) at
piglit/tests/shaders/shader_runner.c:54
(gdb) frame 2
#2 0x00007f721baefee1 in (anonymous namespace)::ir_validate::visit
(this=0x7ffe25e692b0, ir=0xfe9b90) at$
102 abort();
(gdb) l
97
98 if (_mesa_set_search(ir_set, ir->var) == NULL) {
99 printf("ir_dereference_variable @ %p specifies undeclared
variable "
100 "`%s' @ %p\n",
101 (void *) ir, ir->var->name, (void *) ir->var);
102 abort();
103 }
104
105 this->validate_ir(ir, this->data_enter);
106
96b22fb080894ba1840af2372f28a46cc0f40c76 is the first bad commit
commit 96b22fb080894ba1840af2372f28a46cc0f40c76
Author: Kristian Høgsberg Kristensen <<a href="mailto:krh@bitplanet.net">krh@bitplanet.net</a>>
Date: Wed Nov 4 14:58:54 2015 -0800
glsl: Use array deref for access to vector components
We've assumed that we could lower per-component vector access from
vec[i] = scalar
to
vec = ir_triop_vector_insert(vec, scalar, i)
but with SSBOs (and compute shader SLM and tesselation outputs) this is
no longer valid. If a vector is "externally visible", multiple threads
can write independent components simultaneously. With lowering to
ir_triop_vector_insert, each thread read the entire vector, changes one
component, then writes out the entire vector. This is racy.
Instead of generating a ir_binop_vector_extract when we see v[i], we
generate ir_dereference_array. We then add a lowering pass to lower the
ir_dereference_array to ir_binop_vector_extract for rvalues and for to
vector_insert for lvalues in a separate lowering pass.
The resulting IR is the same as before, but we now have a window between
ast->ir conversion and the lowering pass where v[i] appears in the IR as
an array deref. This lets us run lowering passes that lower the vector
access to I/O (eg for SSBO load/store) before we lower the per-component
access to full vector writes.
Reviewed-by: Jordan Justen <<a href="mailto:jordan.l.justen@intel.com">jordan.l.justen@intel.com</a>>
Signed-off-by: Kristian Høgsberg Kristensen <<a href="mailto:krh@bitplanet.net">krh@bitplanet.net</a>>
:040000 040000 e2df93f05e94cac81ae3222837a463d7bcb41cc8
e4f382406684faa0fcafea9e9c293ef0ccffdd96 M src
bisect run success</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are the QA Contact for the bug.</li>
<li>You are the assignee for the bug.</li>
</ul>
</body>
</html>