test_vspltw128_1:
  #_ REGISTER_IN v3 [11111111, 22222222, 33333333, 44444444]
  vspltw128 v4, v3, 0
  blr
  #_ REGISTER_OUT v3 [11111111, 22222222, 33333333, 44444444]
  #_ REGISTER_OUT v4 [11111111, 11111111, 11111111, 11111111]

test_vspltw128_2:
  #_ REGISTER_IN v3 [AAAAAAAA, BBBBBBBB, CCCCCCCC, DDDDDDDD]
  vspltw128 v4, v3, 2
  blr
  #_ REGISTER_OUT v3 [AAAAAAAA, BBBBBBBB, CCCCCCCC, DDDDDDDD]
  #_ REGISTER_OUT v4 [CCCCCCCC, CCCCCCCC, CCCCCCCC, CCCCCCCC]
