1 files changed, 53 insertions, 0 deletions
diff --git a/test/12-flt.c b/test/12-flt.c
new file mode 100644
index 0000000..295e40f
--- /dev/null
+++ b/test/12-flt.c
@@ -0,0 +1,53 @@
+/* EXPECT:
+ok
+*/
+typedef unsigned u32;
+typedef signed s32;
+typedef float f32;
+typedef double f64;
+typedef unsigned long long u64;
+typedef signed long long s64;
+
+f32 s32_to_f32(s32 x) { return x; }
+f32 u32_to_f32(u32 x) { return x; }
+f64 s32_to_f64(s32 x) { return x; }
+f64 u32_to_f64(u32 x) { return x; }
+f32 s64_to_f32(s64 x) { return x; }
+f32 u64_to_f32(u64 x) { return x; }
+f64 s64_to_f64(s64 x) { return x; }
+f64 u64_to_f64(u64 x) { return x; }
+s32 f32_to_s32(f32 x) { return x; }
+u32 f32_to_u32(f32 x) { return x; }
+s32 f64_to_s32(f64 x) { return x; }
+u32 f64_to_u32(f64 x) { return x; }
+s64 f32_to_s64(f32 x) { return x; }
+u64 f32_to_u64(f32 x) { return x; }
+s64 f64_to_s64(f64 x) { return x; }
+u64 f64_to_u64(f64 x) { return x; }
+f32 f64_to_f32(f64 x) { return x; }
+f64 f32_to_f64(f32 x) { return x; }
+
+#include <stdio.h>
+#include <assert.h>
+
+double NAN = 0.0;
+double _(double x) { return x; }
+
+int main() {
+   NAN/=0.0;
+   assert(_(1.0) < _(2.0));
+   assert(_(1.0) >= _(1.0));
+   assert(_(1.0) >= _(-1.0));
+   assert(_(1.0) != _(2.0));
+   assert(_(1.0) - 1.0 == 0.0);
+   assert(-_(0.0) == 0.0);
+   assert(!(NAN < 2.0));
+   assert(!(NAN > NAN));
+   assert(!(NAN >= NAN));
+   assert(!(NAN <= NAN));
+   assert(!(NAN < NAN));
+   assert(!(NAN == NAN));
+   assert(NAN != NAN);
+   assert(NAN != 0.0);
+   printf("ok\n");
+}