test_stvrx128_1:
  # Store vector right 128 - stores from EA to low bytes
  # EA=0x10001077, aligns to 0x10001070, offset=7
  #_ MEMORY_IN 0x0000000010001070 [CC, CC, CC, CC, CC, CC, CC, CC, CC, CC, CC, CC, CC, CC, CC, CC]
  #_ REGISTER_IN r4 0x0000000010001077
  #_ REGISTER_IN v3 [01020304, 05060708, 090A0B0C, 0D0E0F10]
  stvrx128 v3, r4, r0
  blr
  #_ REGISTER_OUT r4 0x0000000010001077
  #_ REGISTER_OUT v3 [01020304, 05060708, 090A0B0C, 0D0E0F10]
  #_ MEMORY_OUT 10001070 0A0B0C0D0E0F10

test_stvrx128_2:
  # Test aligned address (stores nothing per AltiVec spec)
  #_ MEMORY_IN 0x0000000010001000 [CC, CC, CC, CC, CC, CC, CC, CC, CC, CC, CC, CC, CC, CC, CC, CC]
  #_ REGISTER_IN r4 0x0000000010001000
  #_ REGISTER_IN v3 [AABBCCDD, EEFF0011, 22334455, 66778899]
  stvrx128 v3, r4, r0
  blr
  #_ REGISTER_OUT r4 0x0000000010001000
  #_ REGISTER_OUT v3 [AABBCCDD, EEFF0011, 22334455, 66778899]
