test_vaddshs_1:
  #_ REGISTER_IN v3 [7FFF8001, 7FFF8003, 7FFF8005, 80068007]
  #_ REGISTER_IN v4 [00018001, 10000000, 42568124, 00000000]
  vaddshs v3, v3, v4
  blr
  #_ REGISTER_OUT v3 [7fff8000, 7fff8003, 7fff8000, 80068007]
  #_ REGISTER_OUT v4 [00018001, 10000000, 42568124, 00000000]