# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1396311292 -32400
# Node ID 11add95679720b8dc76d401be127fbc1174d83e0
# Parent  c55337499f96792016d58ae37111626399d3898b
adhoc fix on builtin_inff etc.

diff -r c55337499f96 -r 11add9567972 mc-code-i64.c
--- a/mc-code-i64.c	Tue Apr 01 02:42:22 2014 +0900
+++ b/mc-code-i64.c	Tue Apr 01 09:14:52 2014 +0900
@@ -3957,18 +3957,26 @@
 void
 code_builtin_fabsf(int e)
 {
+    int e1 = USE_CREG;
+    use_float(0,e1);
 }
 void
 code_builtin_fabs(int e)
 {
+    int e1 = USE_CREG;
+    use_float(1,e1);
 }
 void
 code_builtin_inff()
 {
+    int e1 = USE_CREG;
+    use_float(0,e1);
 }
 void
 code_builtin_inf()
 {
+    int e1 = USE_CREG;
+    use_float(1,e1);
 }
 
 void code_dneg(int freg,int d)
diff -r c55337499f96 -r 11add9567972 mc-code-ia32.c
--- a/mc-code-ia32.c	Tue Apr 01 02:42:22 2014 +0900
+++ b/mc-code-ia32.c	Tue Apr 01 09:14:52 2014 +0900
@@ -3193,22 +3193,29 @@
 #endif
 }
 
-
 void
 code_builtin_fabsf(int e)
 {
+    int e1 = USE_CREG;
+    use_float(0,e1);
 }
 void
 code_builtin_fabs(int e)
 {
+    int e1 = USE_CREG;
+    use_float(1,e1);
 }
 void
 code_builtin_inff()
 {
+    int e1 = USE_CREG;
+    use_float(0,e1);
 }
 void
 code_builtin_inf()
 {
+    int e1 = USE_CREG;
+    use_float(1,e1);
 }
 
 void code_dneg(int freg,int d)