A VMOVhr of a VMOVrh can be simply folded to the original HPR value.
Isn't VMOVrh (VMOVhr (X)) equivalent to X & 65535?
Oh right. Yeah. My bad. I guess that's why we add tests for things.
I've removed that untested half of the patch, leaving only VMOVhr(VMOVrh(..))