test_rldimix_1:
  #_ REGISTER_IN r3 0x0000000000000000
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  rldimi. r3, r4, 8, 48
  blr
  #_ REGISTER_OUT r3 0x000000000000F000
  #_ REGISTER_OUT r4 0x123456789ABCDEF0

test_rldimix_2:
  #_ REGISTER_IN r3 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  rldimi. r3, r4, 16, 40
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFFFFF0FFFF
  #_ REGISTER_OUT r4 0x123456789ABCDEF0

test_rldimix_3:
  #_ REGISTER_IN r3 0x0000000000000000
  #_ REGISTER_IN r4 0xFFFFFFFFFFFFFFFF
  rldimi. r3, r4, 4, 56
  blr
  #_ REGISTER_OUT r3 0x00000000000000F0
  #_ REGISTER_OUT r4 0xFFFFFFFFFFFFFFFF

test_rldimix_4:
  #_ REGISTER_IN r3 0xAAAAAAAAAAAAAAAA
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  rldimi. r3, r4, 0, 0
  blr
  #_ REGISTER_OUT r3 0x123456789ABCDEF0
  #_ REGISTER_OUT r4 0x123456789ABCDEF0
