test_rldicrx_1:
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  rldicr. r3, r4, 8, 55
  blr
  #_ REGISTER_OUT r3 0x3456789ABCDEF000
  #_ REGISTER_OUT r4 0x123456789ABCDEF0

test_rldicrx_2:
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  rldicr. r3, r4, 16, 47
  blr
  #_ REGISTER_OUT r3 0x56789ABCDEF00000
  #_ REGISTER_OUT r4 0x123456789ABCDEF0

test_rldicrx_3:
  #_ REGISTER_IN r4 0xFFFFFFFFFFFFFFFF
  rldicr. r3, r4, 0, 31
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFF00000000
  #_ REGISTER_OUT r4 0xFFFFFFFFFFFFFFFF

test_rldicrx_4:
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  rldicr. r3, r4, 32, 31
  blr
  #_ REGISTER_OUT r3 0x9ABCDEF000000000
  #_ REGISTER_OUT r4 0x123456789ABCDEF0
