test_vcmpbfp_1:
  #_ REGISTER_IN v3 [00000000, 00000000, 00000000, 00000000]
  #_ REGISTER_IN v4 [3F800000, 3F800000, 3F800000, 3F800000]
  vcmpbfp v5, v3, v4
  blr
  #_ REGISTER_OUT v3 [00000000, 00000000, 00000000, 00000000]
  #_ REGISTER_OUT v4 [3F800000, 3F800000, 3F800000, 3F800000]
  #_ REGISTER_OUT v5 [00000000, 00000000, 00000000, 00000000]

test_vcmpbfp_2:
  #_ REGISTER_IN v3 [3F800000, 3F800000, 3F800000, 3F800000]
  #_ REGISTER_IN v4 [40000000, 40000000, 40000000, 40000000]
  vcmpbfp v5, v3, v4
  blr
  #_ REGISTER_OUT v3 [3F800000, 3F800000, 3F800000, 3F800000]
  #_ REGISTER_OUT v4 [40000000, 40000000, 40000000, 40000000]
  #_ REGISTER_OUT v5 [00000000, 00000000, 00000000, 00000000]

test_vcmpbfp_3:
  #_ REGISTER_IN v3 [40400000, 40400000, 40400000, 40400000]
  #_ REGISTER_IN v4 [40000000, 40000000, 40000000, 40000000]
  vcmpbfp v5, v3, v4
  blr
  #_ REGISTER_OUT v3 [40400000, 40400000, 40400000, 40400000]
  #_ REGISTER_OUT v4 [40000000, 40000000, 40000000, 40000000]
  #_ REGISTER_OUT v5 [80000000, 80000000, 80000000, 80000000]

test_vcmpbfp_4:
  #_ REGISTER_IN v3 [C0400000, C0400000, C0400000, C0400000]
  #_ REGISTER_IN v4 [40000000, 40000000, 40000000, 40000000]
  vcmpbfp v5, v3, v4
  blr
  #_ REGISTER_OUT v3 [C0400000, C0400000, C0400000, C0400000]
  #_ REGISTER_OUT v4 [40000000, 40000000, 40000000, 40000000]
  #_ REGISTER_OUT v5 [40000000, 40000000, 40000000, 40000000]

test_vcmpbfp_5:
  #_ REGISTER_IN v3 [3F800000, C0000000, 40400000, 00000000]
  #_ REGISTER_IN v4 [40000000, 40000000, 40000000, 40000000]
  vcmpbfp v5, v3, v4
  blr
  #_ REGISTER_OUT v3 [3F800000, C0000000, 40400000, 00000000]
  #_ REGISTER_OUT v4 [40000000, 40000000, 40000000, 40000000]
  #_ REGISTER_OUT v5 [00000000, 00000000, 80000000, 00000000]

test_vcmpbfp_6:
  #_ REGISTER_IN v3 [BF800000, BF800000, BF800000, BF800000]
  #_ REGISTER_IN v4 [40000000, 40000000, 40000000, 40000000]
  vcmpbfp v5, v3, v4
  blr
  #_ REGISTER_OUT v3 [BF800000, BF800000, BF800000, BF800000]
  #_ REGISTER_OUT v4 [40000000, 40000000, 40000000, 40000000]
  #_ REGISTER_OUT v5 [00000000, 00000000, 00000000, 00000000]