test_vperm128_ignores_control_high_bits:
  #_ REGISTER_IN v0 [00010203, 10111213, 20212F3F, 0F1F0414]
  #_ REGISTER_IN v3 [00010203, 04050607, 08090A0B, 0C0D0E0F]
  #_ REGISTER_IN v4 [10111213, 14151617, 18191A1B, 1C1D1E1F]
  vperm128 v6, v3, v4, v0
  blr
  #_ REGISTER_OUT v0 [00010203, 10111213, 20212F3F, 0F1F0414]
  #_ REGISTER_OUT v3 [00010203, 04050607, 08090A0B, 0C0D0E0F]
  #_ REGISTER_OUT v4 [10111213, 14151617, 18191A1B, 1C1D1E1F]
  #_ REGISTER_OUT v6 [00010203, 10111213, 00010F1F, 0F1F0414]