test_stvr_1:
  #_ MEMORY_IN 10001040 BE74FCBD BD912ABA BF317BBB BF2D135F
  #_ MEMORY_IN 10001050 00000000 00000000 00000000 00000000
  #_ REGISTER_IN r4 0x10001040
  #_ REGISTER_IN r5 0x10
  #_ REGISTER_IN v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  stvrx v3, r4, r5
  blr
  #_ REGISTER_OUT r4 0x10001040
  #_ REGISTER_OUT r5 0x10
  #_ REGISTER_OUT v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  #_ MEMORY_OUT 10001040 BE74FCBD BD912ABA BF317BBB BF2D135F
  #_ MEMORY_OUT 10001050 00000000 00000000 00000000 00000000

test_stvr_1_constant:
  #_ MEMORY_IN 10001040 BE74FCBD BD912ABA BF317BBB BF2D135F
  #_ MEMORY_IN 10001050 00000000 00000000 00000000 00000000
  lis r4, 0x1000
  ori r4, r4, 0x1040
  li r5, 0x10
  #_ REGISTER_IN v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  stvrx v3, r4, r5
  blr
  #_ REGISTER_OUT r4 0x10001040
  #_ REGISTER_OUT r5 0x10
  #_ REGISTER_OUT v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  #_ MEMORY_OUT 10001040 BE74FCBD BD912ABA BF317BBB BF2D135F
  #_ MEMORY_OUT 10001050 00000000 00000000 00000000 00000000

test_stvr_2:
  #_ MEMORY_IN 10001040 00010203 04050607 08090A0B 0C0D0E0F
  #_ REGISTER_IN r4 0x10001044
  #_ REGISTER_IN v3 [F0F1F2F3, F4F5F6F7, F8F9FAFB, FCFDFEFF]
  stvrx v3, r4, r0
  blr
  #_ REGISTER_OUT r4 0x10001044
  #_ REGISTER_OUT v3 [F0F1F2F3, F4F5F6F7, F8F9FAFB, FCFDFEFF]
  #_ MEMORY_OUT 10001040 FCFDFEFF 04050607 08090A0B 0C0D0E0F

test_stvr_2_constant:
  #_ MEMORY_IN 10001040 00010203 04050607 08090A0B 0C0D0E0F
  lis r4, 0x1000
  ori r4, r4, 0x1044
  #_ REGISTER_IN v3 [F0F1F2F3, F4F5F6F7, F8F9FAFB, FCFDFEFF]
  stvrx v3, r4, r0
  blr
  #_ REGISTER_OUT r4 0x10001044
  #_ REGISTER_OUT v3 [F0F1F2F3, F4F5F6F7, F8F9FAFB, FCFDFEFF]
  #_ MEMORY_OUT 10001040 FCFDFEFF 04050607 08090A0B 0C0D0E0F

test_stvr_3:
  #_ REGISTER_IN r4 0x10010000
  #_ REGISTER_IN r5 0x0
  #_ REGISTER_IN v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  stvrx v3, r4, r5
  blr
  #_ REGISTER_OUT r4 0x10010000
  #_ REGISTER_OUT r5 0x0
  #_ REGISTER_OUT v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]

test_stvr_3_constant:
  #_ REGISTER_IN v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  lis r4, 0x1001
  stvrx v3, r4, r0
  blr
  #_ REGISTER_OUT r4 0x10010000
  #_ REGISTER_OUT v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
