Sure. To be more precise: you can prove this to yourself by contriving a function that has more live variables/values than there are machine registers.