Merge pull request #113 from XavierAubert/cv32e40p/dev_dd_pgo

Temporary workaround for GNU GCC issue #36

cv32e40p/tests/programs/custom/pulp_hardware_loop_interrupt_test/pulp_hardware_loop_interrupt_test.c

@@ -216,9 +216,29 @@ __attribute__((interrupt ("machine"))) void u_sw_direct_irq_handler(void)  {
 	    "j u_sw_irq_handler\n"	
     );
 
+#ifdef FPU
+#define MSTATUS_FS_INITIAL 0x00002000
+
+void fp_enable ()
+{
+  unsigned int fs = MSTATUS_FS_INITIAL;
+
+  asm volatile("csrs mstatus, %0;"
+               "csrwi fcsr, 0;"
+               "csrs mstatus, %0;"
+               : : "r"(fs)
+              );
+}
+#endif
+
 int main(int argc, char *argv[]) {
     int retval;
 
+#ifdef FPU
+    // Floating Point enable
+    fp_enable();
+#endif
+
     // Test 1
     retval = test1();
     if (retval != EXIT_SUCCESS)