Merge "Fix cases where RSInvariant pass might miss marking some loads as invariant."