test_vrlh_1:
  #_ REGISTER_IN v3 [12345678, 87654321, 11223344, 55667788]
  #_ REGISTER_IN v4 [000D000D, 000D000D, 000D000D, 000D000D]
  vrlh v5, v3, v4
  blr
  #_ REGISTER_OUT v3 [12345678, 87654321, 11223344, 55667788]
  #_ REGISTER_OUT v4 [000D000D, 000D000D, 000D000D, 000D000D]
  #_ REGISTER_OUT v5 [82460ACF, B0EC2864, 42248668, CAAC0EF1]