1 files changed, 26 insertions, 0 deletions
diff --git a/tests/extr_d_f.c b/tests/extr_d_f.c
new file mode 100644
index 0000000..87ad4a8
--- /dev/null
+++ b/tests/extr_d_f.c
@@ -0,0 +1,26 @@
+#include "test.h"
+
+static void
+run_test(jit_state_t *j, uint8_t *arena_base, size_t arena_size)
+{
+	jit_begin(j, arena_base, arena_size);
+	size_t align = jit_enter_jit_abi(j, 0, 0, 0);
+	jit_load_args_1(j, jit_operand_fpr (JIT_OPERAND_ABI_DOUBLE, JIT_F0));
+
+	jit_extr_d_f(j, JIT_F0, JIT_F0);
+	jit_leave_jit_abi(j, 0, 0, align);
+	jit_retr_f(j, JIT_F0);
+
+	float (*f)(double) = jit_end(j, NULL);
+
+	ASSERT(f(0.0) == 0.0f);
+	ASSERT(f(0.5) == 0.5f);
+	ASSERT(f(1.0 / 0.0) == 1.0f / 0.0f);
+	ASSERT(f(1.25) == 1.25f);
+}
+
+int
+main (int argc, char *argv[])
+{
+	return main_helper(argc, argv, run_test);
+}