search for: _must_not_

...gically equivalent to and could benefit from being transformed to, %coord = select i1 %cond, cType %coord0, %coord1 %v = texelFetch(%sampler, %coord) but on the other hand %v1 = texelFetch(%sampler0, %coord) %v2 = texelFetch(%sampler1, %coord) %v = select i1 %cond, vType %v1, %v2 _must_not_ be transformed to %s = select i1 %cond, sType %sampler0, %sampler1 %v = texelFetch(%s, %coord) because of uniformity restrictions on the first argument of texelFetch. We currently have a shader that is mis-compiled in the wild because something much like the latter transform is done by Si...

...%coord = select i1 %cond, cType %coord0, %coord1 >> %v = texelFetch(%sampler, %coord) >> >> but on the other hand >> >> %v1 = texelFetch(%sampler0, %coord) >> %v2 = texelFetch(%sampler1, %coord) >> %v = select i1 %cond, vType %v1, %v2 >> >> _must_not_ be transformed to >> >> %s = select i1 %cond, sType %sampler0, %sampler1 >> %v = texelFetch(%s, %coord) >> >> because of uniformity restrictions on the first argument of texelFetch. >> >> We currently have a shader that is mis-compiled in the wild because...

...texelFetch(%sampler, %coord) >>>> >>>> but on the other hand >>>> >>>> %v1 = texelFetch(%sampler0, %coord) >>>> %v2 = texelFetch(%sampler1, %coord) >>>> %v = select i1 %cond, vType %v1, %v2 >>>> >>>> _must_not_ be transformed to >>>> >>>> %s = select i1 %cond, sType %sampler0, %sampler1 >>>> %v = texelFetch(%s, %coord) >>>> >>>> because of uniformity restrictions on the first argument of texelFetch. >>>> >>>> We current...