test_vsrw128_variable:
  #_ REGISTER_IN v3 [80000000, 80000000, FFFFFFFF, FFFFFFFF]
  #_ REGISTER_IN v4 [00000000, 00000001, 0000001F, 00000020]
  vsrw128 v5, v3, v4
  blr
  #_ REGISTER_OUT v3 [80000000, 80000000, FFFFFFFF, FFFFFFFF]
  #_ REGISTER_OUT v4 [00000000, 00000001, 0000001F, 00000020]
  #_ REGISTER_OUT v5 [80000000, 40000000, 00000001, FFFFFFFF]