On Wed Jun 21 07:27:42 2023 +0000, Francisco Casas wrote:
Approving. However, we still may want a better criteria for a variable begin used that `var->last_read`, probably something regset-wise. This compiles in native (ps_5_0), yet we would be detecting overlaps:
struct { Texture2D tex; sampler sam; } a : register(s0); sampler sam_alone : register(s0); float4 main() : sv_target { return a.tex.Sample(sam_alone, float2(0, 0)); }
Does that mean you can have only one object of distinct type in a structure, when register() is used? Or it will implicitly reserve a range [s0,s0+n)?
How do we currently track unused object in struct members?