test_vcfpuxws128_unsigned_edges:
  #_ REGISTER_IN v3 [3FC00000, BFC00000, 4F000000, 4F800000]
  vcfpuxws128 v4, v3, 0
  blr
  #_ REGISTER_OUT v3 [3FC00000, BFC00000, 4F000000, 4F800000]
  #_ REGISTER_OUT v4 [00000001, 00000000, 80000000, FFFFFFFF]