Non-portable use of va_args

[ioquake]

Non-portable use of va_args

[tkoeppe]

Or perhaps we could have a "strict" mode:

#if defined(PORTABLE_VA_ARGS)
#define VM_Call(VM, ...) VM_Call_Impl(VM, &(int[13]){__VA_ARGS__})
#elif defined(CLANG_ABI)
#define VM_Call(VM, ...) VM_Call_Clang(VM, __VA_ARGS__)
#else
#define VM_Call(VM, ...) VM_Call_Hackish(VM, __VA_ARGS__)
#endif

That way you could remove all the compile-time branching from the individual functions, too.

[ensiform]

Invoking C99 makes ioquake3 and forks impossible to compile with MSVC < 2015.

[tkoeppe]

I understand, that would be a deal breaker.

Are you still interested in a conditionally-compiled version (like with PORTABLE_VA_ARGS above), or should we just close this?

[timangus]

I would be mildly surprised if you needed 2015 for VA_ARGS. In any case, we don't actually even officially support VS so that shouldn't really be a gate, and requiring 2015 is no bad thing anyway since it's the first compiler they've come up with since the mid 90s that is actually quite good.

[tkoeppe]

@timangus: No, sorry, to be clear here, the crucial feature from C99 is the compound literal:

   &(int[13]){__VA_ARGS__}
// ^^^^^^^^^^

The __VA_ARGS__ aren't a big issue.

[timangus]

Yeah, github seems to have stripped my leading and trailing underscores. Not very helpful.

[timangus]

TEST_COMMENT "TEST_COMMENT"

[timangus]

Well that's stupid.

[tkoeppe]

@timangus: That's markdown, baby :-)

[timangus]

D'oh.

[tkoeppe]

By the way, there's a "preview" tab when you write a comment, so you can check before submitting what it will look like. And you can also edit comments if you discover a problem only after submission. :-)

[timangus]

Yeah, but none of the subsequent comments would make any sense if I edited it now ;). Annnyway, if __VA_ARGS__ works, I don't have a problem with it (even if that means needing VS2015.)

[NuclearMonster]

VS2015 community works? that's fine.

[tkoeppe]

So... would you be interested in a patch along those lines? The key features would be:

• VM_Call becomes a macro.
• The default implementation of the macro would use a C99 compound literal.

We can also keep other code branches around that use the two existing versions of va_arg abuse, both as an alternative for non-C99 compilers and in case someone derives a genuine performance advantage from that.

[wtfbbqhax]

Opened the debugger- I observe that every invocations (in Tremulous at least) VM_Call() results in leaking at least the callers stack frame, but often several frames to the vm 😈

Also, don't forget about VM_DllSyscall in the fix.

[tkoeppe]

Another interesting tidbit: Every instance of vmMain actually declares thirteen int parameters, and never an ellipsis. So I'm very tempted to also change the definition of entryPoint, because that's another abuse of va-args at the moment.

[tkoeppe]

Here is a tentative change: tkoeppe@9719411

This is just a rough skeleton; it has issues:

• Missing fall-back for non-C99 compilers
• Magic numbers 13 and 16 appear, which should really use the macros MAX_VM{MAIN,SYSCALL}_ARGS...
• ... although those macros are a bit silly now given that we have fixed parameter lists and there's nothing to "max" here.
• There should probably be typedefs for some of the more arcane function types.

[wtfbbqhax]

@tkoeppe I've never seen &(int[13]){__VA_ARGS__} before..

Let me know if I'm reading this correctly, __VA_ARGS__ populates elements of a temporary array which cast to an array of 13 integers. Is & actually needed?

Assuming this is true have you verified with -O0 and -O3 that optimization doesn't break anything?

[tkoeppe]

@wtfbbqhax: ish. The compound literal is an lvalue, initialized from the given initializer (which means that array elements that aren't mentioned are zero-intialized. We then take the address of that array. Yes, I do want to take the address of the array rather than decay the array so as to retain a semblance of type safety here; that way we can at least check that the number of array elements is the same everywhere.

[zturtleman]

I named MAX_VM{MAIN,SYSCALL}_ARGS and I don't think this changes the meaning of them. It's not a "max" in the sense that arrays might have less elements, it's that less might actually be used and that more can't be used. It makes it easier and more obvious to increase the max number of syscall arguments compared to magic numbers and non-looped array access. My engine fork uses MAX_VMSYSCALL_ARGS = 17. Historical reference: f7a2006, c5af65f.

[tkoeppe]

@zturtleman: OK, sure, my main issue with those macros in the light of this change is that you can't tie the macro value to the function signature easily. That is, I can't generate f(int, int, int) from a macro #define NUM_ARGS 3. (At least not without some heavy preprocessor lifting.) So we'd still need to keep the function signatures and forwarding calls in sync manually.

[zturtleman]

Yeah, it requires additional code changes to actually get more args to (DLL) vmMain now as well. This isn't really much different.

[tkoeppe]

I updated the commit, it's now: tkoeppe@614848a

This one includes changes to the three *_syscall.c DLL implementations. The changes follow the same pattern: the syscall function is replaced by a macro that creates an array as a compound literal, and passes the (decayed) array to the syscall function pointer. That function pointer now actually matches the function signature of the various syscall implementations (e.g. CL_CgameSystemCalls).

[wtfbbqhax]

Can you please make the VM_Call require an actual call number i.e.,

#define VM_Call( VM, CALL, ... ) VM_Call_Impl( VM, CALL, &(int[12]){__VA_ARGS__})
intptr_t QDECL VM_Call_Impl( vm_t *vm, int callnum, int (*arg)[12] )

[zturtleman]

This one includes changes to the three *_syscall.c DLL implementations.

Doesn't that break compatibility with existing DLLs?

[tkoeppe]

This one includes changes to the three *_syscall.c DLL implementations.

Doesn't that break compatibility with existing DLLs?

Hm, only if the name mangling includes the function signature. This isn't the case on Linux, but I don't know about Windows. I doubt it, though, because you don't include the signature in Sys_LoadFunction, so I think it cannot be part of the mangling on any ABI. Moreover, the function signature changes from a function taking one parameter of one function pointer type to a function with one parameter taking a different function pointer type, so even if the size of the parameters is part of the mangling, it shouldn't change.

[zturtleman]

Sorry, I should of been more specific. I meant when calling syscall in a DLL as it use to be multiple arguments read using va_args in the engine and now it's takes a pointer to an array. So existing DLLs give engine a syscall number value which the engine with this patch thinks is a pointer. Engine will probably SEGFAULT when trying to read syscall number and arguments. Using new DLLs on old engine would likely error about unknown syscall number because it's actually passing a pointer address.

[tkoeppe]

@wtfbbqhax: Unfortunately no, because you cannot portably have zero variadic arguments in a variadic macro.

[tkoeppe]

@zturtleman: Yes, you're right. Previously compiled DLLs will pass the arguments as if to an ellipsis, but new client code would treat it as a pointer to the first element of an array, and that would break. So this change would require recompiling DLLs.

[zturtleman]

Rocket Arena 3 uses a game DLL with no source release so it can't be recompiled. It seems like a bad idea to change the DLL-VM API in general.

[tkoeppe]

OK, so we should leave the DLLs alone then.

Are you still interested in the change to VM_Call?

[tkoeppe]

(Note that DeepMind Lab uses the C99 compound literal: https://github.com/deepmind/lab/blob/master/engine/code/qcommon/qcommon.h#L369)

[ensiform]

Presumably they're using MSVC 2015/17 rather than mingw/make or extremely old msvc

[tkoeppe]

No, neither, we're using Clang and GCC only -- I just wanted to show how the proposed change looks in a real fork.

Any progress on this? QuakeJS -s SAFE_HEAP=1 errors out on this kind of stuff. I don't mind only supporting mods with source/reverse engineering just to recompile if someone can point me towards a good implementation like Daemon or or one of the other off-shoots?