I just switched from a OnePlus 5 to a 9 Pro a few weeks back, and it is a noticable improvement. But you are right, while I was on the 5 I thought performance isn't a problem.