Fill the function prologue and epilogue with less pushes and pops

[LFalch]

Pass function signature to register allocation so we don't have to pop all the arguments to then immediately save them to the stack.