test_vpermwi128_1:
  #_ REGISTER_IN v3 [00010203, 04050607, 08090A0B, 0C0D0E0F]
  # to 0,1,2,3
  vpermwi128 v4, v3, 0x1B
  blr
  #_ REGISTER_OUT v3 [00010203, 04050607, 08090A0B, 0C0D0E0F]
  #_ REGISTER_OUT v4 [00010203, 04050607, 08090A0B, 0C0D0E0F]

test_vpermwi128_2:
  #_ REGISTER_IN v3 [00010203, 04050607, 08090A0B, 0C0D0E0F]
  # to 3,2,1,0
  vpermwi128 v4, v3, 0xE4
  blr
  #_ REGISTER_OUT v3 [00010203, 04050607, 08090A0B, 0C0D0E0F]
  #_ REGISTER_OUT v4 [0C0D0E0F, 08090A0B, 04050607, 00010203]

test_vpermwi128_3:
  #_ REGISTER_IN v3 [00010203, 04050607, 08090A0B, 0C0D0E0F]
  # to 0,0,0,0
  vpermwi128 v4, v3, 0
  blr
  #_ REGISTER_OUT v3 [00010203, 04050607, 08090A0B, 0C0D0E0F]
  #_ REGISTER_OUT v4 [00010203, 00010203, 00010203, 00010203]

test_vpermwi128_4:
  #_ REGISTER_IN v3 [00010203, 04050607, 08090A0B, 0C0D0E0F]
  # to 3,3,3,3
  vpermwi128 v4, v3, 0xFF
  blr
  #_ REGISTER_OUT v3 [00010203, 04050607, 08090A0B, 0C0D0E0F]
  #_ REGISTER_OUT v4 [0C0D0E0F, 0C0D0E0F, 0C0D0E0F, 0C0D0E0F]