test_vsel128_1:
  #_ REGISTER_IN v6 [FFFFFFFF, 00000000, FFFFFFFF, 00000000]
  #_ REGISTER_IN v3 [11111111, 22222222, 33333333, 44444444]
  #_ REGISTER_IN v4 [AAAAAAAA, BBBBBBBB, CCCCCCCC, DDDDDDDD]
  vsel128 v6, v3, v4, v6
  blr
  #_ REGISTER_OUT v3 [11111111, 22222222, 33333333, 44444444]
  #_ REGISTER_OUT v4 [AAAAAAAA, BBBBBBBB, CCCCCCCC, DDDDDDDD]
  #_ REGISTER_OUT v6 [AAAAAAAA, 22222222, CCCCCCCC, 44444444]
