Reg->C: ALLOC_CONSTR_TUPLE calls are generated with the incorrect number of arguments

[paulcadman]

We wish to use the MemRepTuple constructor representation in the Nockma backend.

However the code emitted by the Reg->C translation is incorrect:

juvix/src/Juvix/Compiler/Backend/C/Translation/FromReg.hs

Lines 341 to 342 in 1147e1f

	Reg.MemRepTuple ->
	stmtsAllocConstr a "ALLOC_CONSTR_TUPLE" "FIELD"

Specifically an ALLOC_CONSTR_TUPLE call is generated with too many arguments.

/private/var/folders/z5/h_kmf4q1139f0gqhj1_hqd4w0000gn/T/tmp-b0a3b6f6c4b6a816/test055.c:56:48: error: too many arguments provided to function-like macro invocation
   56 |         ALLOC_CONSTR_TUPLE(juvix_temp_var, 11, 2);

[lukaszcz]

In general, only MemRepConstr is supported in C code generation. There are macros/functions in the C runtime that enable support for other representations, but they have not been tested and code generation with them has not been fully implemented.

To support MemRepTuple one needs to look at and modify C code generation for:

• constructor allocation,
• Case instruction (accesses the tag),
• MemRef and Field -- reading constructor arguments (we might need to shift the index by 1 for tuples without tag, or preferably use a different runtime macro).