Merge branch 'master' into gdbgdb

2 files changed, 92 insertions, 0 deletions

diff --git a/ocaml_emulator/platform.ml b/ocaml_emulator/platform.ml
index b2a19fe..9996268 100644
--- a/ocaml_emulator/platform.ml
+++ b/ocaml_emulator/platform.ml
@@ -75,6 +75,7 @@ let make_rom arch start_pc =
 
 let enable_writable_misa ()          = !config_enable_writable_misa
 let enable_rvc ()                    = !config_enable_rvc
+let enable_fdext ()                  = false
 let enable_dirty_update ()           = !config_enable_dirty_update
 let enable_misaligned_access ()      = !config_enable_misaligned_access
 let mtval_has_illegal_inst_bits ()   = !config_mtval_has_illegal_inst_bits
diff --git a/ocaml_emulator/softfloat.ml b/ocaml_emulator/softfloat.ml
new file mode 100644
index 0000000..ef84185
--- /dev/null
+++ b/ocaml_emulator/softfloat.ml
@@ -0,0 +1,91 @@
+
+let f32_add rm v1 v2 =
+  ()
+
+let f32_sub rm v1 v2 =
+  ()
+
+let f32_mul rm v1 v2 =
+  ()
+
+let f32_div rm v1 v2 =
+  ()
+
+let f64_add rm v1 v2 =
+  ()
+
+let f64_sub rm v1 v2 =
+  ()
+
+let f64_mul rm v1 v2 =
+  ()
+
+let f64_div rm v1 v2 =
+  ()
+
+let f32_muladd rm v1 v2 v3 =
+  ()
+
+let f64_muladd rm v1 v2 v3 =
+  ()
+
+let f32_sqrt rm v =
+  ()
+
+let f64_sqrt rm v =
+  ()
+
+let f32_to_i32 rm v =
+  ()
+
+let f32_to_ui32 rm v =
+  ()
+
+let i32_to_f32 rm v =
+  ()
+
+let ui32_to_f32 rm v =
+  ()
+
+let f32_to_i64 rm v =
+  ()
+
+let f32_to_ui64 rm v =
+  ()
+
+let i64_to_f32 rm v =
+  ()
+
+let ui64_to_f32 rm v =
+  ()
+
+let f64_to_i32 rm v =
+  ()
+
+let f64_to_ui32 rm v =
+  ()
+
+let i32_to_f64 rm v =
+  ()
+
+let ui32_to_f64 rm v =
+  ()
+
+let f64_to_i64 rm v =
+  ()
+
+let f64_to_ui64 rm v =
+  ()
+
+let i64_to_f64 rm v =
+  ()
+
+let ui64_to_f64 rm v =
+  ()
+
+let f32_to_f64 rm v =
+  ()
+
+let f64_to_f32 rm v =
+  ()
+