test_vcfpsxws128_signed_edges:
  #_ REGISTER_IN v3 [3FC00000, BFC00000, 4F000000, CF000000]
  vcfpsxws128 v4, v3, 0
  blr
  #_ REGISTER_OUT v3 [3FC00000, BFC00000, 4F000000, CF000000]
  #_ REGISTER_OUT v4 [00000001, FFFFFFFF, 7FFFFFFF, 80000000]