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

test_orc_1_constant:
  li r4, -1
  li r5, 0
  orc r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_OUT r4 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_OUT r5 0x0000000000000000

test_orc_2:
  #_ REGISTER_IN r4 0xFFFFFFFFFFFFFFFE
  #_ REGISTER_IN r5 0xFFFFFFFFFFFFFFFF
  orc r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFFFFFFFFFE
  #_ REGISTER_OUT r4 0xFFFFFFFFFFFFFFFE
  #_ REGISTER_OUT r5 0xFFFFFFFFFFFFFFFF

test_orc_2_constant:
  li r4, -1
  srdi r4, r4, 1
  sldi r4, r4, 1
  li r5, -1
  orc r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFFFFFFFFFE
  #_ REGISTER_OUT r4 0xFFFFFFFFFFFFFFFE
  #_ REGISTER_OUT r5 0xFFFFFFFFFFFFFFFF

test_orc_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_orc_3_constant:
  li r4, 0
  li r5, -1
  orc r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0x0000000000000000
  #_ REGISTER_OUT r4 0x0000000000000000
  #_ REGISTER_OUT r5 0xFFFFFFFFFFFFFFFF

test_orc_4:
  #_ REGISTER_IN r4 0xFFFFFFFF00000000
  #_ REGISTER_IN r5 0xFFFFFFFF00000000
  orc r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_OUT r4 0xFFFFFFFF00000000
  #_ REGISTER_OUT r5 0xFFFFFFFF00000000

test_orc_4_constant:
  li r4, -1
  clrldi r4, r4, 32
  sldi r4, r4, 32
  mr r5, r4
  orc r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_OUT r4 0xFFFFFFFF00000000
  #_ REGISTER_OUT r5 0xFFFFFFFF00000000

test_orc_5:
  #_ REGISTER_IN r4 0xF0F0F0F0F0F0F0F0
  #_ REGISTER_IN r5 0x0F0F0F0F0F0F0F0F
  orc r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xF0F0F0F0F0F0F0F0
  #_ REGISTER_OUT r4 0xF0F0F0F0F0F0F0F0
  #_ REGISTER_OUT r5 0x0F0F0F0F0F0F0F0F

test_orc_5_constant:
  lis r4, 0xF0F0
  ori r4, r4, 0xF0F0
  sldi r4, r4, 32
  oris r4, r4, 0xF0F0
  ori r4, r4, 0xF0F0
  lis r5, 0x0F0F
  ori r5, r5, 0x0F0F
  sldi r5, r5, 32
  oris r5, r5, 0x0F0F
  ori r5, r5, 0x0F0F
  orc r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xF0F0F0F0F0F0F0F0
  #_ REGISTER_OUT r4 0xF0F0F0F0F0F0F0F0
  #_ REGISTER_OUT r5 0x0F0F0F0F0F0F0F0F
