This is the revised version. RTX_UNCHANGING_P is only accessed for MEMs in loop.c and unroll.c so I think clearing it for REG givs should work. I guess I'm going to reask the question I saw asked but not answered before: how in the world can a giv be /u?