ppc guest_state vector regs must be 16byte aligned for loads/stores

git-svn-id: svn://svn.valgrind.org/vex/trunk@1387

diff --git a/VEX/pub/libvex_guest_ppc32.h b/VEX/pub/libvex_guest_ppc32.h
index 179377424ab0e7bd671c0b9c6354c3329e18abbc..529eaec7c0c92194e3690f86e4dc230bc9d3a2ac 100644 (file)
--- a/VEX/pub/libvex_guest_ppc32.h
+++ b/VEX/pub/libvex_guest_ppc32.h
@@ -126,38 +126,38 @@ typedef
       /* 376 */ ULong guest_FPR31;
 
       // Vector Registers
-      /* 384 */ U128 guest_VR0;
-      /* 400 */ U128 guest_VR1;
-      /* 416 */ U128 guest_VR2;
-      /* 432 */ U128 guest_VR3;
-      /* 448 */ U128 guest_VR4;
-      /* 464 */ U128 guest_VR5;
-      /* 480 */ U128 guest_VR6;
-      /* 496 */ U128 guest_VR7;
-      /* 512 */ U128 guest_VR8;
-      /* 528 */ U128 guest_VR9;
-      /* 544 */ U128 guest_VR10;
-      /* 560 */ U128 guest_VR11;
-      /* 576 */ U128 guest_VR12;
-      /* 592 */ U128 guest_VR13;
-      /* 608 */ U128 guest_VR14;
-      /* 624 */ U128 guest_VR15;
-      /* 640 */ U128 guest_VR16;
-      /* 656 */ U128 guest_VR17;
-      /* 672 */ U128 guest_VR18;
-      /* 688 */ U128 guest_VR19;
-      /* 704 */ U128 guest_VR20;
-      /* 720 */ U128 guest_VR21;
-      /* 736 */ U128 guest_VR22;
-      /* 752 */ U128 guest_VR23;
-      /* 768 */ U128 guest_VR24;
-      /* 784 */ U128 guest_VR25;
-      /* 800 */ U128 guest_VR26;
-      /* 816 */ U128 guest_VR27;
-      /* 832 */ U128 guest_VR28;
-      /* 848 */ U128 guest_VR29;
-      /* 864 */ U128 guest_VR30;
-      /* 880 */ U128 guest_VR31;
+      /* 384 */ U128 guest_VR0 __attribute__ ((aligned (16)));
+      /* 400 */ U128 guest_VR1 __attribute__ ((aligned (16)));
+      /* 416 */ U128 guest_VR2 __attribute__ ((aligned (16)));
+      /* 432 */ U128 guest_VR3 __attribute__ ((aligned (16)));
+      /* 448 */ U128 guest_VR4 __attribute__ ((aligned (16)));
+      /* 464 */ U128 guest_VR5 __attribute__ ((aligned (16)));
+      /* 480 */ U128 guest_VR6 __attribute__ ((aligned (16)));
+      /* 496 */ U128 guest_VR7 __attribute__ ((aligned (16)));
+      /* 512 */ U128 guest_VR8 __attribute__ ((aligned (16)));
+      /* 528 */ U128 guest_VR9 __attribute__ ((aligned (16)));
+      /* 544 */ U128 guest_VR10 __attribute__ ((aligned (16)));
+      /* 560 */ U128 guest_VR11 __attribute__ ((aligned (16)));
+      /* 576 */ U128 guest_VR12 __attribute__ ((aligned (16)));
+      /* 592 */ U128 guest_VR13 __attribute__ ((aligned (16)));
+      /* 608 */ U128 guest_VR14 __attribute__ ((aligned (16)));
+      /* 624 */ U128 guest_VR15 __attribute__ ((aligned (16)));
+      /* 640 */ U128 guest_VR16 __attribute__ ((aligned (16)));
+      /* 656 */ U128 guest_VR17 __attribute__ ((aligned (16)));
+      /* 672 */ U128 guest_VR18 __attribute__ ((aligned (16)));
+      /* 688 */ U128 guest_VR19 __attribute__ ((aligned (16)));
+      /* 704 */ U128 guest_VR20 __attribute__ ((aligned (16)));
+      /* 720 */ U128 guest_VR21 __attribute__ ((aligned (16)));
+      /* 736 */ U128 guest_VR22 __attribute__ ((aligned (16)));
+      /* 752 */ U128 guest_VR23 __attribute__ ((aligned (16)));
+      /* 768 */ U128 guest_VR24 __attribute__ ((aligned (16)));
+      /* 784 */ U128 guest_VR25 __attribute__ ((aligned (16)));
+      /* 800 */ U128 guest_VR26 __attribute__ ((aligned (16)));
+      /* 816 */ U128 guest_VR27 __attribute__ ((aligned (16)));
+      /* 832 */ U128 guest_VR28 __attribute__ ((aligned (16)));
+      /* 848 */ U128 guest_VR29 __attribute__ ((aligned (16)));
+      /* 864 */ U128 guest_VR30 __attribute__ ((aligned (16)));
+      /* 880 */ U128 guest_VR31 __attribute__ ((aligned (16)));
 
       /* 896 */ UInt guest_CIA;    // IP (no arch visible register)
       /* 900 */ UInt guest_LR;     // Link Register