save $P1 restore $P2
[ ... ]
$P2 = $P1
or even removed entirely, rewriting everything after the "...." to refer to $P1 instead of $P2. Does imcc do anything like this?
Not yet. But it will do, at least for Parrot calling conventions, where register moves should be optimized.
leo