test_stvlx_1:
  #_ MEMORY_IN 10001040 00000000 00000000 00000000 3F800000
  #_ REGISTER_IN r4 0x10001040
  #_ REGISTER_IN v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  stvlx v3, r4, r0
  blr
  #_ REGISTER_OUT r4 0x10001040
  #_ REGISTER_OUT v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  #_ MEMORY_OUT 10001040 BE74FCBD BD912ABA BF317BBB BF2D135F

test_stvlx_1_constant:
  #_ MEMORY_IN 10001040 00000000 00000000 00000000 3F800000
  lis r4, 0x1000
  ori r4, r4, 0x1040
  #_ REGISTER_IN v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  stvlx v3, r4, r0
  blr
  #_ REGISTER_OUT r4 0x10001040
  #_ REGISTER_OUT v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  #_ MEMORY_OUT 10001040 BE74FCBD BD912ABA BF317BBB BF2D135F

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

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