Change tabbing for everything....

[IRC.git] / Robust / src / Runtime / multicoreruntime.c

diff --git a/Robust/src/Runtime/multicoreruntime.c b/Robust/src/Runtime/multicoreruntime.c
index a65f8c087fa8ad11a510947eb37f27edbc143e94..47a42648837882a91c0413866d2c56413c1460df 100644 (file)
--- a/Robust/src/Runtime/multicoreruntime.c
+++ b/Robust/src/Runtime/multicoreruntime.c
@@ -2,11 +2,11 @@
 #include "structdefs.h"
 #include <signal.h>
 #include "mem.h"
-#include<fcntl.h>
-#include<errno.h>
-#include<signal.h>
+#include <fcntl.h>
+#include <errno.h>
+#include <signal.h>
 #ifndef RAW
-#include<stdio.h>
+#include <stdio.h>
 #endif
 //#include "option.h"
 
@@ -28,11 +28,12 @@ int instaccum=0;
 #endif
 
 #ifdef RAW
-void initializeexithandler() {}
+void initializeexithandler() {
+}
 #else
 void exithandler(int sig, siginfo_t *info, void * uap) {
 #ifdef DEBUG
-       printf("exit in exithandler\n");
+  printf("exit in exithandler\n");
 #endif
   exit(0);
 }
@@ -50,14 +51,14 @@ void initializeexithandler() {
 
 void injectinstructionfailure() {
 #ifdef RAW
-       // not supported in RAW version
-       return;
+  // not supported in RAW version
+  return;
 #else
 #ifdef TASK
   if (injectinstructionfailures) {
     if (numfailures==0)
       return;
-    instructioncount=failurecount;    
+    instructioncount=failurecount;
     instaccum+=failurecount;
     if ((((double)random())/RAND_MAX)<instfailurechance) {
       if (numfailures>0)
@@ -86,10 +87,10 @@ void injectinstructionfailure() {
 
 void CALL11(___System______exit____I,int ___status___, int ___status___) {
 #ifdef DEBUG
-       printf("exit in CALL11\n");
+  printf("exit in CALL11\n");
 #endif
 #ifdef RAW
-       raw_test_done(___status___);
+  raw_test_done(___status___);
 #else
   exit(___status___);
 #endif
@@ -97,20 +98,20 @@ void CALL11(___System______exit____I,int ___status___, int ___status___) {
 
 void CALL11(___System______printI____I,int ___status___, int ___status___) {
 #ifdef DEBUG
-       printf("printI in CALL11\n");
+  printf("printI in CALL11\n");
 #endif
 #ifdef RAW
-       raw_test_pass(0x1111);
-       raw_test_pass_reg(___status___);
+  raw_test_pass(0x1111);
+  raw_test_pass_reg(___status___);
 #else
-       printf("%d\n", ___status___);
+  printf("%d\n", ___status___);
 #endif
 }
 
 long CALL00(___System______currentTimeMillis____) {
 #ifdef RAW
-       // not supported in RAW version
-       return -1;
+  // not supported in RAW version
+  return -1;
 #else
   struct timeval tv; long long retval;
   gettimeofday(&tv, NULL);
@@ -124,13 +125,13 @@ long CALL00(___System______currentTimeMillis____) {
 void CALL01(___System______printString____L___String___,struct ___String___ * ___s___) {
 #ifdef RAW
 #else
-    struct ArrayObject * chararray=VAR(___s___)->___value___;
-    int i;
-    int offset=VAR(___s___)->___offset___;
-    for(i=0;i<VAR(___s___)->___count___;i++) {
-       short sc=((short *)(((char *)& chararray->___length___)+sizeof(int)))[i+offset];
-       putchar(sc);
-    }
+  struct ArrayObject * chararray=VAR(___s___)->___value___;
+  int i;
+  int offset=VAR(___s___)->___offset___;
+  for(i=0; i<VAR(___s___)->___count___; i++) {
+    short sc=((short *)(((char *)&chararray->___length___)+sizeof(int)))[i+offset];
+    putchar(sc);
+  }
 #endif
 }
 
@@ -214,8 +215,9 @@ struct ___String___ * NewString(const char *str,int length) {
   strobj->___count___=length;
   strobj->___offset___=0;
 
-  for(i=0;i<length;i++) {
-    ((short *)(((char *)& chararray->___length___)+sizeof(int)))[i]=(short)str[i];  }
+  for(i=0; i<length; i++) {
+    ((short *)(((char *)&chararray->___length___)+sizeof(int)))[i]=(short)str[i];
+  }
   return strobj;
 }