test_orcx_1:
  #_ REGISTER_IN r4 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_IN r5 0xAAAAAAAAAAAAAAAA
  orc. r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_OUT r4 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_OUT r5 0xAAAAAAAAAAAAAAAA

test_orcx_2:
  #_ REGISTER_IN r4 0xAAAAAAAAAAAAAAAA
  #_ REGISTER_IN r5 0x5555555555555555
  orc. r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xAAAAAAAAAAAAAAAA
  #_ REGISTER_OUT r4 0xAAAAAAAAAAAAAAAA
  #_ REGISTER_OUT r5 0x5555555555555555

test_orcx_3:
  #_ REGISTER_IN r4 0x0000000000000000
  #_ REGISTER_IN r5 0xFFFFFFFFFFFFFFFF
  orc. r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0x0000000000000000
  #_ REGISTER_OUT r4 0x0000000000000000
  #_ REGISTER_OUT r5 0xFFFFFFFFFFFFFFFF

test_orcx_4:
  #_ REGISTER_IN r4 0x123456789ABCDEF0
  #_ REGISTER_IN r5 0x0F0F0F0F0F0F0F0F
  orc. r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xF2F4F6F8FAFCFEF0
  #_ REGISTER_OUT r4 0x123456789ABCDEF0
  #_ REGISTER_OUT r5 0x0F0F0F0F0F0F0F0F
