test_vcmpxxfp_1:
  #_ REGISTER_IN v4 [3f800000, 3f800000, 3f800000, 3f800000]
  #_ REGISTER_IN v5 [3f800000, 3f800000, 3f800000, 3f800000]
  vcmpeqfp. v3, v4, v5
  mfocrf  r3, 2  # cr6
  blr
  #_ REGISTER_OUT v3 [ffffffff, ffffffff, ffffffff, ffffffff]
  #_ REGISTER_OUT v4 [3f800000, 3f800000, 3f800000, 3f800000]
  #_ REGISTER_OUT v5 [3f800000, 3f800000, 3f800000, 3f800000]
  #_ REGISTER_OUT r3 0x00000080

test_vcmpxxfp_2:
  #_ REGISTER_IN v4 [3f800000, 3f800000, 3f800000, 3f800000]
  #_ REGISTER_IN v5 [3f800001, 3f800000, 3f800000, 3f800000]
  vcmpeqfp. v3, v4, v5
  mfocrf  r3, 2  # cr6
  blr
  #_ REGISTER_OUT v3 [00000000, ffffffff, ffffffff, ffffffff]
  #_ REGISTER_OUT v4 [3f800000, 3f800000, 3f800000, 3f800000]
  #_ REGISTER_OUT v5 [3f800001, 3f800000, 3f800000, 3f800000]
  #_ REGISTER_OUT r3 0x00000000

test_vcmpxxfp_3:
  #_ REGISTER_IN v4 [3f800000, 3f800000, 3f800000, 3f800000]
  #_ REGISTER_IN v5 [3f800001, 3f800001, 3f800001, 3f800001]
  vcmpeqfp. v3, v4, v5
  mfocrf  r3, 2  # cr6
  blr
  #_ REGISTER_OUT v3 [00000000, 00000000, 00000000, 00000000]
  #_ REGISTER_OUT v4 [3f800000, 3f800000, 3f800000, 3f800000]
  #_ REGISTER_OUT v5 [3f800001, 3f800001, 3f800001, 3f800001]
  #_ REGISTER_OUT r3 0x00000020

test_vcmpbfp_1:
  # [5.0, 5.0, 5.0, 5.0]
  #_ REGISTER_IN v4 [40A00000, 40A00000, 40A00000, 40A00000]
  #_ REGISTER_IN v5 [40A00000, 40A00000, 40A00000, 40A00000]
  vcmpbfp. v3, v4, v5
  mfocrf r3, 2 # cr6
  blr
  #_ REGISTER_OUT v4 [40A00000, 40A00000, 40A00000, 40A00000]
  #_ REGISTER_OUT v5 [40A00000, 40A00000, 40A00000, 40A00000]
  #_ REGISTER_OUT v3 [00000000, 00000000, 00000000, 00000000]
  #_ REGISTER_OUT r3 0x00000020

test_vcmpbfp_2:
  # [-5.0, -5.0, -5.0, -5.0]
  #_ REGISTER_IN v4 [C0A00000, C0A00000, C0A00000, C0A00000]
  #_ REGISTER_IN v5 [40A00000, 40A00000, 40A00000, 40A00000]
  vcmpbfp. v3, v4, v5
  mfocrf r3, 2 # cr6
  blr
  #_ REGISTER_OUT v4 [C0A00000, C0A00000, C0A00000, C0A00000]
  #_ REGISTER_OUT v5 [40A00000, 40A00000, 40A00000, 40A00000]
  #_ REGISTER_OUT v3 [00000000, 00000000, 00000000, 00000000]
  #_ REGISTER_OUT r3 0x00000020

test_vcmpbfp_3:
  # [7.0, -7.0, 5.0, 5.0]
  #_ REGISTER_IN v4 [40E00000, C0E00000, 40A00000, 40A00000]
  #_ REGISTER_IN v5 [40A00000, 40A00000, 40A00000, 40A00000]
  vcmpbfp. v3, v4, v5
  mfocrf r3, 2 # cr6
  blr
  #_ REGISTER_OUT v4 [40E00000, C0E00000, 40A00000, 40A00000]
  #_ REGISTER_OUT v5 [40A00000, 40A00000, 40A00000, 40A00000]
  #_ REGISTER_OUT v3 [80000000, 40000000, 00000000, 00000000]
  #_ REGISTER_OUT r3 0x00000000