This has been suggested, including by the proposed mill and forwardcom architectures. It's also the programming model used by stack-based languages such as for

This has been suggested, including by the proposed mill and forwardcom architectures. It's also the programming model used by stack-based languages such as forth. Another nice side effect aside from security is that it simplifies the return predictor.