Changeset 459 for trunk/hal/tsar_mips32/core/hal_context.c

Timestamp:

Aug 13, 2018, 1:43:20 PM (6 years ago)

Author:

alain

Message:

Introduce the math library, to support the floating point
data used by the multi-thread fft application.
Fix several bugs regarding the FPU context save/restore.
Introduce support for the %f format in printf.

File:

• trunk/hal/tsar_mips32/core/hal_context.c (modified) (5 diffs)

trunk/hal/tsar_mips32/core/hal_context.c

@@ -186 +186 @@
     // get remote child thread cluster and local pointer
     cxy_t      child_cxy = GET_CXY( child_xp );
-    thread_t * child_ptr = (thread_t *)GET_PTR( child_xp );
+    thread_t * child_ptr = GET_PTR( child_xp );
 
     // get remote child cpu_context local pointer
@@ -257 +257 @@
     // get thread cluster and local pointer
     cxy_t      cxy = GET_CXY( thread_xp );
-    thread_t * ptr = (thread_t *)GET_PTR( thread_xp );
+    thread_t * ptr = GET_PTR( thread_xp );
 
     // get context pointer
@@ -358 +358 @@
 {
     // allocate a local FPU context in kernel stack
-    hal_fpu_context_t  context;
+    hal_fpu_context_t  src_context;
 
     // get remote child cluster and local pointer
     cxy_t      thread_cxy = GET_CXY( thread_xp );
-    thread_t * thread_ptr = (thread_t *)GET_PTR( thread_xp );
+    thread_t * thread_ptr = GET_PTR( thread_xp );
 
     asm volatile(
@@ -399 +399 @@
     "swc1    $f31,  31*4(%0)  \n"   
     ".set reorder             \n"
-    : : "r"(&context) );
+    : : "r"(&src_context) );
+
+    // get local pointer on target thread FPU context
+    void * dst_context = hal_remote_lpt( XPTR( thread_cxy , &thread_ptr->fpu_context ) );
 
     // copy local context to remote child context)
-    hal_remote_memcpy( XPTR( thread_cxy , &thread_ptr->fpu_context ),
-                       XPTR( local_cxy  , &context ) , 
+    hal_remote_memcpy( XPTR( thread_cxy , dst_context ),
+                       XPTR( local_cxy  , &src_context ), 
                        sizeof( hal_fpu_context_t ) );
 
@@ -411 +414 @@
 void hal_fpu_context_restore( thread_t * thread )
 {
+    // get pointer on FPU context and cast to uint32_t
     uint32_t ctx = (uint32_t)thread->fpu_context;