test_faddsx_1:
  #_ REGISTER_IN f4 [3FF0000000000000]
  #_ REGISTER_IN f5 [4000000000000000]
  fadds. f3, f4, f5
  blr
  #_ REGISTER_OUT f3 [4008000000000000]
  #_ REGISTER_OUT f4 [3FF0000000000000]
  #_ REGISTER_OUT f5 [4000000000000000]

test_faddsx_2:
  #_ REGISTER_IN f4 [3FF0000000000000]
  #_ REGISTER_IN f5 [BFF0000000000000]
  fadds. f3, f4, f5
  blr
  #_ REGISTER_OUT f3 [0000000000000000]
  #_ REGISTER_OUT f4 [3FF0000000000000]
  #_ REGISTER_OUT f5 [BFF0000000000000]

test_faddsx_3:
  #_ REGISTER_IN f4 [4000000000000000]
  #_ REGISTER_IN f5 [4008000000000000]
  fadds. f3, f4, f5
  blr
  #_ REGISTER_OUT f3 [4010000000000000]
  #_ REGISTER_OUT f4 [4000000000000000]
  #_ REGISTER_OUT f5 [4008000000000000]

test_faddsx_4:
  #_ REGISTER_IN f4 [0000000000000000]
  #_ REGISTER_IN f5 [0000000000000000]
  fadds. f3, f4, f5
  blr
  #_ REGISTER_OUT f3 [0000000000000000]
  #_ REGISTER_OUT f4 [0000000000000000]
  #_ REGISTER_OUT f5 [0000000000000000]