Vincent Laporte
Vincent Laporte
Can you please elaborate on what the issue is?
I think the rationale is to be consistent with the “high-level” syntax `_, lo = x * y;`
The documentation about the `UMULL` intrinsic is there: https://github.com/jasmin-lang/jasmin/blob/v2023.06.1/proofs/compiler/arm_instr_decl.v#L870-L891
Related: #958.
Fixed in #958.
Here is a variant: the unused arguments are not removed. ~~~ fn id2(reg u32 x y) -> reg u32, reg u32 { return x, y; } export fn main(reg u32...
Right, expansion of array copy or lowering could be enhanced.
PR #735 should fix the issue with `#copy`.
So the motivation for this restriction is to be able to simply relate the source and assembly arguments & returned values (using `take` and `drop`). It might feel restrictive when...
Future work: safety checker.