test_fcfid_1_GEN:
  #_ REGISTER_IN f1 0x0000000000000000
  fcfid f2, f1
  blr
  #_ REGISTER_OUT f1 0x0000000000000000
  #_ REGISTER_OUT f2 0x0000000000000000

test_fcfid_1_cr_GEN:
  #_ REGISTER_IN f1 0x0000000000000000
  fcfid. f2, f1
  blr
  #_ REGISTER_OUT f1 0x0000000000000000
  #_ REGISTER_OUT f2 0x0000000000000000
  #_ REGISTER_OUT cr 0x00000000

test_fcfid_2_GEN:
  #_ REGISTER_IN f1 0x8000000000000000
  fcfid f2, f1
  blr
  #_ REGISTER_OUT f1 0x8000000000000000
  #_ REGISTER_OUT f2 0xC3E0000000000000

test_fcfid_2_cr_GEN:
  #_ REGISTER_IN f1 0x8000000000000000
  fcfid. f2, f1
  blr
  #_ REGISTER_OUT f1 0x8000000000000000
  #_ REGISTER_OUT f2 0xC3E0000000000000
  #_ REGISTER_OUT cr 0x00000000

test_fcfid_3_GEN:
  #_ REGISTER_IN f1 0x0000000000000001
  fcfid f2, f1
  blr
  #_ REGISTER_OUT f1 0x0000000000000001
  #_ REGISTER_OUT f2 0x3FF0000000000000

test_fcfid_3_cr_GEN:
  #_ REGISTER_IN f1 0x0000000000000001
  fcfid. f2, f1
  blr
  #_ REGISTER_OUT f1 0x0000000000000001
  #_ REGISTER_OUT f2 0x3FF0000000000000
  #_ REGISTER_OUT cr 0x00000000

test_fcfid_4_GEN:
  #_ REGISTER_IN f1 0x000FFFFFFFFFFFFF
  fcfid f2, f1
  blr
  #_ REGISTER_OUT f1 0x000FFFFFFFFFFFFF
  #_ REGISTER_OUT f2 0x432FFFFFFFFFFFFE

test_fcfid_4_cr_GEN:
  #_ REGISTER_IN f1 0x000FFFFFFFFFFFFF
  fcfid. f2, f1
  blr
  #_ REGISTER_OUT f1 0x000FFFFFFFFFFFFF
  #_ REGISTER_OUT f2 0x432FFFFFFFFFFFFE
  #_ REGISTER_OUT cr 0x00000000

test_fcfid_5_GEN:
  #_ REGISTER_IN f1 0x3FF0000000000000
  fcfid f2, f1
  blr
  #_ REGISTER_OUT f1 0x3FF0000000000000
  #_ REGISTER_OUT f2 0x43CFF80000000000

test_fcfid_5_cr_GEN:
  #_ REGISTER_IN f1 0x3FF0000000000000
  fcfid. f2, f1
  blr
  #_ REGISTER_OUT f1 0x3FF0000000000000
  #_ REGISTER_OUT f2 0x43CFF80000000000
  #_ REGISTER_OUT cr 0x00000000

test_fcfid_6_GEN:
  #_ REGISTER_IN f1 0xBFF0000000000000
  fcfid f2, f1
  blr
  #_ REGISTER_OUT f1 0xBFF0000000000000
  #_ REGISTER_OUT f2 0xC3D0040000000000

test_fcfid_6_cr_GEN:
  #_ REGISTER_IN f1 0xBFF0000000000000
  fcfid. f2, f1
  blr
  #_ REGISTER_OUT f1 0xBFF0000000000000
  #_ REGISTER_OUT f2 0xC3D0040000000000
  #_ REGISTER_OUT cr 0x00000000

test_fcfid_7_GEN:
  #_ REGISTER_IN f1 0xC1E0000000000000
  fcfid f2, f1
  blr
  #_ REGISTER_OUT f1 0xC1E0000000000000
  #_ REGISTER_OUT f2 0xC3CF100000000000

test_fcfid_7_cr_GEN:
  #_ REGISTER_IN f1 0xC1E0000000000000
  fcfid. f2, f1
  blr
  #_ REGISTER_OUT f1 0xC1E0000000000000
  #_ REGISTER_OUT f2 0xC3CF100000000000
  #_ REGISTER_OUT cr 0x00000000

test_fcfid_8_GEN:
  #_ REGISTER_IN f1 0x41DFFFFFFFC00000
  fcfid f2, f1
  blr
  #_ REGISTER_OUT f1 0x41DFFFFFFFC00000
  #_ REGISTER_OUT f2 0x43D077FFFFFFF000

test_fcfid_8_cr_GEN:
  #_ REGISTER_IN f1 0x41DFFFFFFFC00000
  fcfid. f2, f1
  blr
  #_ REGISTER_OUT f1 0x41DFFFFFFFC00000
  #_ REGISTER_OUT f2 0x43D077FFFFFFF000
  #_ REGISTER_OUT cr 0x00000000

test_fcfid_9_GEN:
  #_ REGISTER_IN f1 0x7FF0000000000000
  fcfid f2, f1
  blr
  #_ REGISTER_OUT f1 0x7FF0000000000000
  #_ REGISTER_OUT f2 0x43DFFC0000000000

test_fcfid_9_cr_GEN:
  #_ REGISTER_IN f1 0x7FF0000000000000
  fcfid. f2, f1
  blr
  #_ REGISTER_OUT f1 0x7FF0000000000000
  #_ REGISTER_OUT f2 0x43DFFC0000000000
  #_ REGISTER_OUT cr 0x00000000

test_fcfid_10_GEN:
  #_ REGISTER_IN f1 0xFFF0000000000000
  fcfid f2, f1
  blr
  #_ REGISTER_OUT f1 0xFFF0000000000000
  #_ REGISTER_OUT f2 0xC330000000000000

test_fcfid_10_cr_GEN:
  #_ REGISTER_IN f1 0xFFF0000000000000
  fcfid. f2, f1
  blr
  #_ REGISTER_OUT f1 0xFFF0000000000000
  #_ REGISTER_OUT f2 0xC330000000000000
  #_ REGISTER_OUT cr 0x00000000

test_fcfid_11_GEN:
  #_ REGISTER_IN f1 0xFFF8000000000000
  fcfid f2, f1
  blr
  #_ REGISTER_OUT f1 0xFFF8000000000000
  #_ REGISTER_OUT f2 0xC320000000000000

test_fcfid_11_cr_GEN:
  #_ REGISTER_IN f1 0xFFF8000000000000
  fcfid. f2, f1
  blr
  #_ REGISTER_OUT f1 0xFFF8000000000000
  #_ REGISTER_OUT f2 0xC320000000000000
  #_ REGISTER_OUT cr 0x00000000

test_fcfid_12_GEN:
  #_ REGISTER_IN f1 0xFFF4000000000000
  fcfid f2, f1
  blr
  #_ REGISTER_OUT f1 0xFFF4000000000000
  #_ REGISTER_OUT f2 0xC328000000000000

test_fcfid_12_cr_GEN:
  #_ REGISTER_IN f1 0xFFF4000000000000
  fcfid. f2, f1
  blr
  #_ REGISTER_OUT f1 0xFFF4000000000000
  #_ REGISTER_OUT f2 0xC328000000000000
  #_ REGISTER_OUT cr 0x00000000

