36 files changed, 72 insertions, 72 deletions
diff --git a/lib/absvti2.c b/lib/absvti2.c
index 8f2bddcb..c1c72779 100644
--- a/lib/absvti2.c
+++ b/lib/absvti2.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: absolute value */
 
 /* Effects: aborts if abs(x) < 0 */
diff --git a/lib/addvti3.c b/lib/addvti3.c
index 9105c178..2efcf3b4 100644
--- a/lib/addvti3.c
+++ b/lib/addvti3.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: a + b */
 
 /* Effects: aborts if a + b overflows */
diff --git a/lib/ashlti3.c b/lib/ashlti3.c
index 7042b53b..4bd8219b 100644
--- a/lib/ashlti3.c
+++ b/lib/ashlti3.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: a << b */
 
 /* Precondition:  0 <= b < bits_in_tword */
diff --git a/lib/ashrti3.c b/lib/ashrti3.c
index 4d162302..ed43641c 100644
--- a/lib/ashrti3.c
+++ b/lib/ashrti3.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: arithmetic a >> b */
 
 /* Precondition:  0 <= b < bits_in_tword */
diff --git a/lib/clzti2.c b/lib/clzti2.c
index 7a650eb4..355c20e4 100644
--- a/lib/clzti2.c
+++ b/lib/clzti2.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: the number of leading 0-bits */
 
 /* Precondition: a != 0 */
diff --git a/lib/cmpti2.c b/lib/cmpti2.c
index b156fce9..d0aec452 100644
--- a/lib/cmpti2.c
+++ b/lib/cmpti2.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns:  if (a <  b) returns 0
  *           if (a == b) returns 1
  *           if (a >  b) returns 2
diff --git a/lib/ctzti2.c b/lib/ctzti2.c
index 1c9508fd..66dc01b7 100644
--- a/lib/ctzti2.c
+++ b/lib/ctzti2.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: the number of trailing 0-bits */
 
 /* Precondition: a != 0 */
diff --git a/lib/divti3.c b/lib/divti3.c
index 4ec3fa35..0242c136 100644
--- a/lib/divti3.c
+++ b/lib/divti3.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 tu_int __udivmodti4(tu_int a, tu_int b, tu_int* rem);
 
 /* Returns: a / b */
diff --git a/lib/ffsti2.c b/lib/ffsti2.c
index 948c696b..27e15d58 100644
--- a/lib/ffsti2.c
+++ b/lib/ffsti2.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: the index of the least significant 1-bit in a, or
  * the value zero if a is zero. The least significant bit is index one.
  */
diff --git a/lib/fixdfti.c b/lib/fixdfti.c
index 4140d144..b110a94b 100644
--- a/lib/fixdfti.c
+++ b/lib/fixdfti.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: convert a to a signed long long, rounding toward zero. */
 
 /* Assumption: double is a IEEE 64 bit floating point type 
diff --git a/lib/fixsfti.c b/lib/fixsfti.c
index c64e5aea..c730ae04 100644
--- a/lib/fixsfti.c
+++ b/lib/fixsfti.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: convert a to a signed long long, rounding toward zero. */
 
 /* Assumption: float is a IEEE 32 bit floating point type 
diff --git a/lib/fixunsdfti.c b/lib/fixunsdfti.c
index 524a2078..fb0336f6 100644
--- a/lib/fixunsdfti.c
+++ b/lib/fixunsdfti.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: convert a to a unsigned long long, rounding toward zero.
  *          Negative values all become zero.
  */
diff --git a/lib/fixunssfti.c b/lib/fixunssfti.c
index b8079101..8f4c6262 100644
--- a/lib/fixunssfti.c
+++ b/lib/fixunssfti.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: convert a to a unsigned long long, rounding toward zero.
  *          Negative values all become zero.
  */
diff --git a/lib/fixunsxfti.c b/lib/fixunsxfti.c
index f0e16dbf..260bfc01 100644
--- a/lib/fixunsxfti.c
+++ b/lib/fixunsxfti.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: convert a to a unsigned long long, rounding toward zero.
  *          Negative values all become zero.
  */
diff --git a/lib/fixxfti.c b/lib/fixxfti.c
index 1022770f..973dc31b 100644
--- a/lib/fixxfti.c
+++ b/lib/fixxfti.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: convert a to a signed long long, rounding toward zero. */
 
 /* Assumption: long double is an intel 80 bit floating point type padded with 6 bytes
diff --git a/lib/floattidf.c b/lib/floattidf.c
index 3cafea8a..77749f8d 100644
--- a/lib/floattidf.c
+++ b/lib/floattidf.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */ 
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: convert a to a double, rounding toward even.*/
 
 /* Assumption: double is a IEEE 64 bit floating point type 
diff --git a/lib/floattisf.c b/lib/floattisf.c
index ab33e4aa..4776125d 100644
--- a/lib/floattisf.c
+++ b/lib/floattisf.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: convert a to a float, rounding toward even. */
 
 /* Assumption: float is a IEEE 32 bit floating point type 
diff --git a/lib/floattixf.c b/lib/floattixf.c
index 852acc70..3813dc6b 100644
--- a/lib/floattixf.c
+++ b/lib/floattixf.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: convert a to a long double, rounding toward even. */
 
 /* Assumption: long double is a IEEE 80 bit floating point type padded to 128 bits
diff --git a/lib/floatuntidf.c b/lib/floatuntidf.c
index d0889a07..4c1d3289 100644
--- a/lib/floatuntidf.c
+++ b/lib/floatuntidf.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: convert a to a double, rounding toward even. */
 
 /* Assumption: double is a IEEE 64 bit floating point type 
diff --git a/lib/floatuntisf.c b/lib/floatuntisf.c
index f5527583..c8da2601 100644
--- a/lib/floatuntisf.c
+++ b/lib/floatuntisf.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: convert a to a float, rounding toward even. */
 
 /* Assumption: float is a IEEE 32 bit floating point type 
diff --git a/lib/floatuntixf.c b/lib/floatuntixf.c
index 00c07d8e..dbce80f1 100644
--- a/lib/floatuntixf.c
+++ b/lib/floatuntixf.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: convert a to a long double, rounding toward even. */
 
 /* Assumption: long double is a IEEE 80 bit floating point type padded to 128 bits
diff --git a/lib/lshrti3.c b/lib/lshrti3.c
index 5fdd99eb..be768143 100644
--- a/lib/lshrti3.c
+++ b/lib/lshrti3.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: logical a >> b */
 
 /* Precondition:  0 <= b < bits_in_tword */
diff --git a/lib/modti3.c b/lib/modti3.c
index dbe5e949..752202d4 100644
--- a/lib/modti3.c
+++ b/lib/modti3.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 tu_int __udivmodti4(tu_int a, tu_int b, tu_int* rem);
 
 /*Returns: a % b */
diff --git a/lib/muloti4.c b/lib/muloti4.c
index 1fcd0baf..f58dd074 100644
--- a/lib/muloti4.c
+++ b/lib/muloti4.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: a * b */
 
 /* Effects: sets *overflow to 1  if a * b overflows */
diff --git a/lib/multi3.c b/lib/multi3.c
index ad8ab3fc..0b8730f0 100644
--- a/lib/multi3.c
+++ b/lib/multi3.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: a * b */
 
 static
diff --git a/lib/mulvti3.c b/lib/mulvti3.c
index ae65cf8f..31f7d2fd 100644
--- a/lib/mulvti3.c
+++ b/lib/mulvti3.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: a * b */
 
 /* Effects: aborts if a * b overflows */
diff --git a/lib/negti2.c b/lib/negti2.c
index 774e8082..f7e4ad3b 100644
--- a/lib/negti2.c
+++ b/lib/negti2.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: -a */
 
 ti_int
diff --git a/lib/negvti2.c b/lib/negvti2.c
index ef766bb4..05df6152 100644
--- a/lib/negvti2.c
+++ b/lib/negvti2.c
@@ -12,10 +12,10 @@
  *===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: -a */
 
 /* Effects: aborts if -a overflows */
diff --git a/lib/parityti2.c b/lib/parityti2.c
index 8f857455..a1f47b1d 100644
--- a/lib/parityti2.c
+++ b/lib/parityti2.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */ 
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: 1 if number of bits is odd else returns 0 */
 
 si_int __paritydi2(di_int a);
diff --git a/lib/popcountti2.c b/lib/popcountti2.c
index 68d94270..95666738 100644
--- a/lib/popcountti2.c
+++ b/lib/popcountti2.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: count of 1 bits */
 
 si_int
diff --git a/lib/powitf2.c b/lib/powitf2.c
index 189632cf..d3b93492 100644
--- a/lib/powitf2.c
+++ b/lib/powitf2.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if _ARCH_PPC
-
 #include "int_lib.h"
 
+#if _ARCH_PPC
+
 /* Returns: a ^ b */
 
 long double
diff --git a/lib/subvti3.c b/lib/subvti3.c
index 44127b73..b32df5e6 100644
--- a/lib/subvti3.c
+++ b/lib/subvti3.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns: a - b */
 
 /* Effects: aborts if a - b overflows */
diff --git a/lib/ucmpti2.c b/lib/ucmpti2.c
index 11137c5a..5466d217 100644
--- a/lib/ucmpti2.c
+++ b/lib/ucmpti2.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Returns:  if (a <  b) returns 0
  *           if (a == b) returns 1
  *           if (a >  b) returns 2
diff --git a/lib/udivmodti4.c b/lib/udivmodti4.c
index 427861b1..f619c749 100644
--- a/lib/udivmodti4.c
+++ b/lib/udivmodti4.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */ 
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 /* Effects: if rem != 0, *rem = a % b 
  * Returns: a / b 
  */
diff --git a/lib/udivti3.c b/lib/udivti3.c
index 7405a0f9..d9e1bb46 100644
--- a/lib/udivti3.c
+++ b/lib/udivti3.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 tu_int __udivmodti4(tu_int a, tu_int b, tu_int* rem);
 
 /* Returns: a / b */
diff --git a/lib/umodti3.c b/lib/umodti3.c
index 8f20c5fe..8ebe7f0d 100644
--- a/lib/umodti3.c
+++ b/lib/umodti3.c
@@ -12,10 +12,10 @@
  * ===----------------------------------------------------------------------===
  */
 
-#if __x86_64
-
 #include "int_lib.h"
 
+#if __x86_64
+
 tu_int __udivmodti4(tu_int a, tu_int b, tu_int* rem);
 
 /* Returns: a % b */