test_stvl_1:
  #_ MEMORY_IN 00001040 00000000 00000000 00000000 3F800000
  #_ REGISTER_IN r4 0x1040
  #_ REGISTER_IN v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  stvlx v3, r4, r0
  blr
  #_ REGISTER_OUT r4 0x1040
  #_ REGISTER_OUT v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  #_ MEMORY_OUT 00001040 BE74FCBD BD912ABA BF317BBB BF2D135F

test_stvl_1_constant:
  #_ MEMORY_IN 00001040 00000000 00000000 00000000 3F800000
  li r4, 0x1040
  #_ REGISTER_IN v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  stvlx v3, r4, r0
  blr
  #_ REGISTER_OUT r4 0x1040
  #_ REGISTER_OUT v3 [BE74FCBD, BD912ABA, BF317BBB, BF2D135F]
  #_ MEMORY_OUT 00001040 BE74FCBD BD912ABA BF317BBB BF2D135F

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

test_stvl_2_constant:
  #_ MEMORY_IN 00001040 00010203 04050607 08090A0B 0C0D0E0F
  li r4, 0x1044
  #_ REGISTER_IN v3 [F0F1F2F3, F4F5F6F7, F8F9FAFB, FCFDFEFF]
  stvlx v3, r4, r0
  blr
  #_ REGISTER_OUT r4 0x1044
  #_ REGISTER_OUT v3 [F0F1F2F3, F4F5F6F7, F8F9FAFB, FCFDFEFF]
  #_ MEMORY_OUT 00001040 00010203 F0F1F2F3 F4F5F6F7 F8F9FAFB