test_rldcrx_1:
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  #_ REGISTER_IN r5 0x0000000000000008
  rldcr. r3, r4, r5, 55
  blr
  #_ REGISTER_OUT r3 0x3456789ABCDEF000
  #_ REGISTER_OUT r4 0x123456789ABCDEF0
  #_ REGISTER_OUT r5 0x0000000000000008

test_rldcrx_2:
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  #_ REGISTER_IN r5 0x0000000000000010
  rldcr. r3, r4, r5, 47
  blr
  #_ REGISTER_OUT r3 0x56789ABCDEF00000
  #_ REGISTER_OUT r4 0x123456789ABCDEF0
  #_ REGISTER_OUT r5 0x0000000000000010

test_rldcrx_3:
  #_ REGISTER_IN r4 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_IN r5 0x0000000000000000
  rldcr. r3, r4, r5, 31
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFF00000000
  #_ REGISTER_OUT r4 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_OUT r5 0x0000000000000000

test_rldcrx_4:
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  #_ REGISTER_IN r5 0x0000000000000020
  rldcr. r3, r4, r5, 31
  blr
  #_ REGISTER_OUT r3 0x9ABCDEF000000000
  #_ REGISTER_OUT r4 0x123456789ABCDEF0
  #_ REGISTER_OUT r5 0x0000000000000020
