test_srawix_1:
  #_ REGISTER_IN r4 0x0000000000000010
  srawi. r3, r4, 4
  blr
  #_ REGISTER_OUT r3 0x0000000000000001
  #_ REGISTER_OUT r4 0x0000000000000010

test_srawix_2:
  #_ REGISTER_IN r4 0x0000000080000000
  srawi. r3, r4, 8
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFFFF800000
  #_ REGISTER_OUT r4 0x0000000080000000

test_srawix_3:
  #_ REGISTER_IN r4 0x00000000FFFFFFFF
  srawi. r3, r4, 16
  blr
  #_ REGISTER_OUT r3 0xFFFFFFFFFFFFFFFF
  #_ REGISTER_OUT r4 0x00000000FFFFFFFF

test_srawix_4:
  #_ REGISTER_IN r4 0x0000000000000001
  srawi. r3, r4, 0
  blr
  #_ REGISTER_OUT r3 0x0000000000000001
  #_ REGISTER_OUT r4 0x0000000000000001
