This is simply performing a scalar value transfer between registers without conversions, so this is trivial to handle as-is.