On Mon Jan 22 20:31:31 2024 +0000, Francisco Casas wrote:
It is necessary to remove `dcl_temps_found`? It may still be useful to detect duplicated DCL_TEMPS instructions.
In theory yes, but for the moment I mostly see the validator as a device to ease development (by providing a reference on the VSIR syntax and therefore an interface between frontend, passes and backend) rather than a picky language checker for the sake of adhering to a specific standard. Since basically developing passes and backends is much easier using `temp_count`, I currently see checking specifically that DCL_TEMPS is not duplicate as out of scope.