test_vmaxsh_1:
  #_ REGISTER_IN v3 [00000001, 00020003, 00040005, 80060007]
  #_ REGISTER_IN v4 [00080009, 000A000B, 000C000D, 000E000F]
  vmaxsh v5, v3, v4
  blr
  #_ REGISTER_OUT v3 [00000001, 00020003, 00040005, 80060007]
  #_ REGISTER_OUT v4 [00080009, 000A000B, 000C000D, 000E000F]
  #_ REGISTER_OUT v5 [00080009, 000A000B, 000C000D, 000E000F]

test_vmaxsh_2:
  #_ REGISTER_IN v3 [00000009, 0002000B, 0004000D, 0006000F]
  #_ REGISTER_IN v4 [00080001, 000A0003, 000C0005, 000E0007]
  vmaxsh v5, v3, v4
  blr
  #_ REGISTER_OUT v3 [00000009, 0002000B, 0004000D, 0006000F]
  #_ REGISTER_OUT v4 [00080001, 000A0003, 000C0005, 000E0007]
  #_ REGISTER_OUT v5 [00080009, 000A000B, 000C000D, 000E000F]