This is well known and I thought GCC did it already. This is a form of ipcp with cloning. Whether it is worth it is hard to determine without profiling info, except in the case where an argument is always constant vs partially constant