Primitive value multiargs

PalumboN commented 5 months ago

Support meta-compilation of primitives with variadic args (multiargs):

Using the pragma like this:

<numberOfArguments: #(0 1)>

Druid will compile a generator with the pattern:

    s1 := self methodNumArgs.
    s1 = 0 ifTrue: [ ... ]

    s2 := self methodNumArgs.
    s2 = 1 ifTrue: [ ... ]

        ^ 0

And also leave the entry in the primitiveTable without arguments (-1 at the end).

In this PR I also:

Removed the <argumentCountCheck> customization -> we can have the same behaviour with these changes
Fix some cases of Phi Functions with Null due to bad selection of the possible new operands under block splitting.
Fix many tests, I left skipped the more complicated (I'll open issues for that).

PalumboN commented 5 months ago

Some related tests are broken, I'll check them.

PalumboN commented 5 months ago

Tests are fixed (or most of them). We need to merge VM: https://github.com/pharo-project/pharo-vm/pull/763 before.

Alamvic / druid