test_mtcrf_1:
  #_ REGISTER_IN r3 0x0000000012345678
  mtcrf 0xFF, r3
  mfcr r4
  blr
  #_ REGISTER_OUT r3 0x0000000012345678
  #_ REGISTER_OUT r4 0x0000000012345678

test_mtcrf_2:
  #_ REGISTER_IN r3 0x00000000ABCDEF01
  mtcrf 0x0F, r3
  mfcr r4
  blr
  #_ REGISTER_OUT r3 0x00000000ABCDEF01
  #_ REGISTER_OUT r4 0x000000000000EF01

test_mtcrf_3:
  #_ REGISTER_IN r3 0x00000000F0F0F0F0
  mtcrf 0xAA, r3
  mfcr r4
  blr
  #_ REGISTER_OUT r3 0x00000000F0F0F0F0
  #_ REGISTER_OUT r4 0x00000000F0F0F0F0
