test_rldicx_1:
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  rldic. r3, r4, 8, 48
  blr
  #_ REGISTER_OUT r3 0x000000000000F000
  #_ REGISTER_OUT r4 0x123456789ABCDEF0

test_rldicx_2:
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  rldic. r3, r4, 16, 40
  blr
  #_ REGISTER_OUT r3 0x0000000000F00000
  #_ REGISTER_OUT r4 0x123456789ABCDEF0

test_rldicx_3:
  #_ REGISTER_IN r4 0xFFFFFFFFFFFFFFFF
  rldic. r3, r4, 4, 56
  blr
  #_ REGISTER_OUT r3 0x00000000000000F0
  #_ REGISTER_OUT r4 0xFFFFFFFFFFFFFFFF

test_rldicx_4:
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  rldic. r3, r4, 0, 0
  blr
  #_ REGISTER_OUT r3 0x123456789ABCDEF0
  #_ REGISTER_OUT r4 0x123456789ABCDEF0
