- Set up proper support for PPC32 archictecture
- Wrote the OR ops
git-svn-id: svn://svn.valgrind.org/vex/trunk@774 8f6e269a-dfd6-0310-a8e1-e2731360e62c
diff --git a/priv/main/vex_main.c b/priv/main/vex_main.c
index fcde081..43ac46d 100644
--- a/priv/main/vex_main.c
+++ b/priv/main/vex_main.c
@@ -38,6 +38,7 @@
#include "libvex_guest_x86.h"
#include "libvex_guest_amd64.h"
#include "libvex_guest_arm.h"
+#include "libvex_guest_ppc32.h"
#include "main/vex_globals.h"
#include "main/vex_util.h"
@@ -49,6 +50,7 @@
#include "guest-x86/gdefs.h"
#include "guest-amd64/gdefs.h"
#include "guest-arm/gdefs.h"
+#include "guest-ppc32/gdefs.h"
/* This file contains the top level interface to the library. */
@@ -302,6 +304,16 @@
vassert(subarch_guest == VexSubArchARM_v4);
break;
+ case VexArchPPC32:
+ preciseMemExnsFn = guest_ppc32_state_requires_precise_mem_exns;
+ bbToIR = bbToIR_PPC32;
+ specHelper = guest_ppc32_spechelper;
+ guest_sizeB = sizeof(VexGuestPPC32State);
+ guest_word_type = Ity_I32;
+ guest_layout = &ppc32Guest_layout;
+ vassert(subarch_guest == VexSubArchPPC32);
+ break;
+
default:
vpanic("LibVEX_Translate: unsupported guest insn set");
}