SPIRV-Cross/reference/shaders/comp
Hans-Kristian Arntzen 461f1506e7 Do not eagerly invalidate all active variables on a branch.
This is not necessary, as we must emit an invalidating store before we
potentially consume an invalid expression. In fact, we're a bit
conservative here in this case for example:

int tmp = variable;
if (...)
{
    variable = 10;
}
else
{
    // Consuming tmp here is fine, but it was
    // invalidated while emitting other branch.
    // Technically, we need to study if there is an invalidating store
    // in the CFG between the loading block and this block, and the other
    // branch will not be a part of that analysis.
    int tmp2 = tmp * tmp;
}

Fixing this case means complex CFG traversal *everywhere*, and it feels like overkill.

Fixing this exposed a bug with access chains, so fix a bug where expression dependencies were not
inherited properly in access chains. Access chains are now considered forwarded if there
is at least one dependency which is also forwarded.
2019-07-24 11:17:30 +02:00
..
atomic.comp Do not add dependencies for variables loaded from UniformConstant. 2016-04-01 19:58:26 +02:00
bake_gradient.comp Fix declaration of coherent images. 2017-08-29 15:52:59 +02:00
barriers.comp Add more exhaustive test for barrier handling. 2018-01-09 12:26:46 +01:00
basic.comp Emit readonly, writeonly for SSBOs. 2017-01-21 10:08:27 +01:00
bitcast-16bit-1.invalid.comp Always value-cast FP16 constants instead of using literals. 2019-02-20 12:30:01 +01:00
bitcast-16bit-2.invalid.comp GLSL/MSL: Implement 8-bit part of VK_KHR_shader_float16_int8. 2019-01-30 15:45:24 +01:00
casts.comp Implement more correct integer op handling. 2016-05-13 15:23:33 +02:00
cfg-preserve-parameter.comp Analyze parameter preservation for functions. 2017-03-25 16:25:30 +01:00
cfg.comp Fix edge-case where do/while body is a dominator. 2017-08-02 11:58:24 +02:00
coherent-block.comp Add test shader for coherent SSBO. 2017-08-28 09:02:08 +02:00
coherent-image.comp Add restrict qualifier for images. 2017-08-29 15:54:22 +02:00
composite-array-initialization.comp Rewrite how IDs are iterated over. 2019-01-10 12:52:56 +01:00
composite-construct.comp Rewrite how IDs are iterated over. 2019-01-10 12:52:56 +01:00
culling.comp Emit readonly, writeonly for SSBOs. 2017-01-21 10:08:27 +01:00
defer-parens.comp Add more dedicated test shader for defer-parens. 2016-12-08 09:05:30 +01:00
dowhile.comp Emit readonly, writeonly for SSBOs. 2017-01-21 10:08:27 +01:00
generate_height.comp Do not eagerly invalidate all active variables on a branch. 2019-07-24 11:17:30 +02:00
image.comp Fix declaration of coherent images. 2017-08-29 15:52:59 +02:00
inout-struct.invalid.comp Preserve arguments with inout unless complete writes are made. 2017-08-09 17:06:41 +02:00
insert.comp Emit readonly, writeonly for SSBOs. 2017-01-21 10:08:27 +01:00
mat3.comp Emit readonly, writeonly for SSBOs. 2017-01-21 10:08:27 +01:00
mod.comp Emit readonly, writeonly for SSBOs. 2017-01-21 10:08:27 +01:00
modf.comp Emit readonly, writeonly for SSBOs. 2017-01-21 10:08:27 +01:00
outer-product.comp MSL/HLSL: Support OpOuterProduct. 2019-07-01 10:57:27 +02:00
read-write-only.comp Emit readonly, writeonly for SSBOs. 2017-01-21 10:08:27 +01:00
rmw-matrix.comp Do not use RMW rewrite for matrices. 2018-05-04 10:35:56 +02:00
rmw-opt.comp Add regression test for RMW optimizations. 2017-09-06 09:20:55 +02:00
scalar-std450-distance-length-normalize.comp Deal with scalar input values for distance/length/normalize. 2019-06-28 11:20:14 +02:00
shared.comp Optimize away redundant barriers. 2018-01-09 12:17:38 +01:00
ssbo-array-length.comp GLSL: Return correct sign for OpArrayLength. 2019-05-07 19:02:32 +02:00
ssbo-array.comp Add array-of-SSBO test. 2016-03-22 14:49:43 +01:00
struct-layout.comp Emit readonly, writeonly for SSBOs. 2017-01-21 10:08:27 +01:00
struct-packing.comp Handle inout properly with split access chains. 2018-05-11 10:15:42 +02:00
torture-loop.comp Emit readonly, writeonly for SSBOs. 2017-01-21 10:08:27 +01:00
type-alias.comp Defer parenthesis generation until needed. 2016-12-05 10:56:54 +01:00
udiv.comp Defer parenthesis generation until needed. 2016-12-05 10:56:54 +01:00