It appears that GCSE considers "read only memory" as call clobbered, which is not the case in CSE. I have took the test for read-only memory from CSE and add it to GCSE where we compute the transparency.
My wild guess is that this was not possible when MEM_READONLY_P was RTX_UNCHANGING_P, and now it is.
Paolo
