test_nandx_1:
  #_ REGISTER_IN r4 0xFFFFFFFF
  #_ REGISTER_IN r5 0xFFFFFFFF
  nand. r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFF00000000
  #_ REGISTER_OUT r4 0xFFFFFFFF
  #_ REGISTER_OUT r5 0xFFFFFFFF

test_nandx_2:
  #_ REGISTER_IN r4 0xAAAAAAAA
  #_ REGISTER_IN r5 0x55555555
  nand. r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_OUT r4 0xAAAAAAAA
  #_ REGISTER_OUT r5 0x55555555

test_nandx_3:
  #_ REGISTER_IN r4 0xFFFF0000
  #_ REGISTER_IN r5 0xFFFF0000
  nand. r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFF0000FFFF
  #_ REGISTER_OUT r4 0xFFFF0000
  #_ REGISTER_OUT r5 0xFFFF0000

test_nandx_4:
  #_ REGISTER_IN r4 0x00000000
  #_ REGISTER_IN r5 0xFFFFFFFF
  nand. r3, r4, r5
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_OUT r4 0x00000000
  #_ REGISTER_OUT r5 0xFFFFFFFF
