test_vmaddfp128_accumulates_vd:
  #_ REGISTER_IN v3 [40000000, 40400000, 40800000, 40A00000]
  #_ REGISTER_IN v4 [41200000, 41A00000, 41F00000, 42200000]
  #_ REGISTER_IN v5 [3F800000, 3F800000, 3F800000, 3F800000]
  vmaddfp128 v5, v3, v4, v5
  blr
  #_ REGISTER_OUT v3 [40000000, 40400000, 40800000, 40A00000]
  #_ REGISTER_OUT v4 [41200000, 41A00000, 41F00000, 42200000]
  #_ REGISTER_OUT v5 [41A80000, 42740000, 42F20000, 43490000]

test_vmaddcfp128_accumulates_vb:
  #_ REGISTER_IN v3 [41200000, 41A00000, 41F00000, 42200000]
  #_ REGISTER_IN v4 [3F800000, 3F800000, 3F800000, 3F800000]
  #_ REGISTER_IN v5 [40000000, 40400000, 40800000, 40A00000]
  vmaddcfp128 v5, v3, v5, v4
  blr
  #_ REGISTER_OUT v3 [41200000, 41A00000, 41F00000, 42200000]
  #_ REGISTER_OUT v4 [3F800000, 3F800000, 3F800000, 3F800000]
  #_ REGISTER_OUT v5 [41A80000, 42740000, 42F20000, 43490000]