From: Julian Seward <jseward@acm.org>
Date: Thu, 17 Feb 2005 18:07:56 +0000 (+0000)
Subject: Advance ppc32 to the point where we can hope to start the program.
X-Git-Tag: svn/VALGRIND_3_0_1^2~407
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6115012787121a50d2b5f6662dd38bcfa744d237;p=thirdparty%2Fvalgrind.git

Advance ppc32 to the point where we can hope to start the program.


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

diff --git a/VEX/switchback/switchback.c b/VEX/switchback/switchback.c
index 0ef08d8d80..8d4fe5c293 100644
--- a/VEX/switchback/switchback.c
+++ b/VEX/switchback/switchback.c
@@ -171,7 +171,7 @@ void switchback ( void )
 
 #elif defined(__powerpc__)
 
-static void flush_cache(void *ptr, int nbytes)
+static void invalidate_icache(void *ptr, int nbytes)
 {
    unsigned long startaddr = (unsigned long) ptr;
    unsigned long endaddr = startaddr + nbytes;
@@ -271,6 +271,7 @@ void switchback ( void )
 
    if (diff < -0x2000000 || diff >= 0x2000000) {
      // we're hosed.  Give up
+     assert(0);
    }
 
    sb_helper1 = (HWord)&gst;
@@ -282,7 +283,7 @@ void switchback ( void )
    /* branch to diff */
    p[0] = ((18<<26) | (diff & 0x3FFFFFC) | (0<<1) | (0<<0));
 
-   flush_cache( &p[0], sizeof(UInt) );
+   invalidate_icache( &p[0], sizeof(UInt) );
 
    switchback_asm(); // never returns
 }
@@ -358,10 +359,11 @@ asm(
 // CAB: todo
 
 // store registers to stack
-// load new stack pointer
-// call translation address
-// save return value
+// r31 (guest state ptr) := global var "gp"
+// call translation address in global var "f"
+// save return value (in r3) into global var "res"
 // reload registers from stack
+// return in usual way
 
 "   "
 );
@@ -421,7 +423,7 @@ void make_translation ( Addr64 guest_addr, Bool verbose )
            NULL,          /* instrument2 */
            False,         /* cleanup after instrument */
            NULL, /* access checker */
-           verbose ? TEST_FLAGS : 0//(1<<3)|(1<<2) //0
+           verbose ? TEST_FLAGS : (1<<7)|(1<<3) //0
         );
    assert(tres == VexTransOK);
    ws_needed = (trans_used+7) / 8;
@@ -429,11 +431,15 @@ void make_translation ( Addr64 guest_addr, Bool verbose )
    assert(trans_cache_used + ws_needed < N_TRANS_CACHE);
 
    for (i = 0; i < trans_used; i++) {
-     HChar* dst = ((HChar*)(&trans_cache[trans_cache_used])) + i;
-     HChar* src = (HChar*)(&transbuf[i]);
-     *dst = *src;
+      HChar* dst = ((HChar*)(&trans_cache[trans_cache_used])) + i;
+      HChar* src = (HChar*)(&transbuf[i]);
+      *dst = *src;
    }
 
+#if defined(__powerpc__)
+   invalidate_icache( &trans_cache[trans_cache_used], trans_used );
+#endif
+
    trans_tableP[trans_table_used] = &trans_cache[trans_cache_used];
    trans_table_used++;
    trans_cache_used += ws_needed;
@@ -556,7 +562,7 @@ int main ( Int argc, HChar** argv )
    }
 
    LibVEX_default_VexControl(&vcon);
-   vcon.guest_max_insns=50;
+   vcon.guest_max_insns=1;
    vcon.guest_chase_thresh=0;
 
    LibVEX_Init( failure_exit, log_bytes, 1, False, &vcon );
@@ -575,18 +581,17 @@ int main ( Int argc, HChar** argv )
    gst.guest_RDI = (ULong)serviceFn;
    *(ULong*)(gst.guest_RSP+0) = 0x12345678AABBCCDDULL;
 #  elif defined(__powerpc__)
-// CAB: ?
    gst.guest_CIA  = (UInt)entry;
-   gst.guest_GPR1 = (UInt)&gstack[25000];
-   gst.guest_GPR2 = (UInt)serviceFn;
-   gst.guest_GPR1 = 0x12345678;
+   gst.guest_GPR1 = (UInt)&gstack[25000]; /* stack pointer */
+   gst.guest_GPR3 = (UInt)serviceFn; /* param to entry */
+   gst.guest_LR = 0x12345678; /* bogus return address */
 #  else
 #  error "Unknown arch"
 #  endif
 
    printf("\n---START---\n");
 
-#if 1
+#if 0
    run_simulator();
 #else
    ( (void(*)(HWord(*)(HWord,HWord))) entry ) (serviceFn);
diff --git a/VEX/switchback/test_hello.c b/VEX/switchback/test_hello.c
index 9fa15f8b2d..d4318d0281 100644
--- a/VEX/switchback/test_hello.c
+++ b/VEX/switchback/test_hello.c
@@ -12,25 +12,6 @@ static void bar ( void*(*service)(int,int) )
   service(1, '\n');
 }
 
-asm(
-"nop\n"
-"nop\n"
-"nop\n"
-"nop\n"
-"nop\n"
-"nop\n"
-"nop\n"
-"nop\n"
-".align 8\n"
-".byte 0x11\n"
-".byte 0x22\n"
-".byte 0x33\n"
-".byte 0x44\n"
-".byte 0x55\n"
-".byte 0x66\n"
-".byte 0x77\n"
-".byte 0x88\n"
-);
 void entry ( void*(*service)(int,int) )
 {
   bar(service);