[Test] Fix tests showing generation of already existent PHIs by GVN

This is a fix for tests added by 96591a14.
A function which was called in tests wasn't marked as 'readonly', and the
GVN performed PRE for the loads, but they were supposed to be non-local.
So added 'readonly' to the called function.