more comparisons .ses

3 files changed, 501 insertions, 0 deletions

diff --git a/test/dot_s/comparisons_f64.wast b/test/dot_s/comparisons_f64.wast
new file mode 100644
index 000000000..18a7b422c
--- /dev/null
+++ b/test/dot_s/comparisons_f64.wast
@@ -0,0 +1,255 @@
+(module
+  (memory 0 4294967295)
+  (func $ord_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.and
+            (f64.eq
+              (get_local $$0)
+              (get_local $$0)
+            )
+            (f64.eq
+              (get_local $$1)
+              (get_local $$1)
+            )
+          )
+        )
+      )
+    )
+  )
+  (func $uno_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.or
+            (f64.ne
+              (get_local $$0)
+              (get_local $$0)
+            )
+            (f64.ne
+              (get_local $$1)
+              (get_local $$1)
+            )
+          )
+        )
+      )
+    )
+  )
+  (func $oeq_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (f64.eq
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $une_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (f64.ne
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $olt_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (f64.lt
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $ole_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (f64.le
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $ogt_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (f64.gt
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $oge_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (f64.ge
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $ueq_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.or
+            (f64.eq
+              (get_local $$1)
+              (get_local $$0)
+            )
+            (i32.or
+              (f64.ne
+                (get_local $$0)
+                (get_local $$0)
+              )
+              (f64.ne
+                (get_local $$1)
+                (get_local $$1)
+              )
+            )
+          )
+        )
+      )
+    )
+  )
+  (func $one_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.and
+            (f64.ne
+              (get_local $$1)
+              (get_local $$0)
+            )
+            (i32.and
+              (f64.eq
+                (get_local $$0)
+                (get_local $$0)
+              )
+              (f64.eq
+                (get_local $$1)
+                (get_local $$1)
+              )
+            )
+          )
+        )
+      )
+    )
+  )
+  (func $ult_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.or
+            (f64.lt
+              (get_local $$1)
+              (get_local $$0)
+            )
+            (i32.or
+              (f64.ne
+                (get_local $$0)
+                (get_local $$0)
+              )
+              (f64.ne
+                (get_local $$1)
+                (get_local $$1)
+              )
+            )
+          )
+        )
+      )
+    )
+  )
+  (func $ule_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.or
+            (f64.le
+              (get_local $$1)
+              (get_local $$0)
+            )
+            (i32.or
+              (f64.ne
+                (get_local $$0)
+                (get_local $$0)
+              )
+              (f64.ne
+                (get_local $$1)
+                (get_local $$1)
+              )
+            )
+          )
+        )
+      )
+    )
+  )
+  (func $ugt_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.or
+            (f64.gt
+              (get_local $$1)
+              (get_local $$0)
+            )
+            (i32.or
+              (f64.ne
+                (get_local $$0)
+                (get_local $$0)
+              )
+              (f64.ne
+                (get_local $$1)
+                (get_local $$1)
+              )
+            )
+          )
+        )
+      )
+    )
+  )
+  (func $uge_f64 (param $$0 f64) (param $$1 f64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.or
+            (f64.ge
+              (get_local $$1)
+              (get_local $$0)
+            )
+            (i32.or
+              (f64.ne
+                (get_local $$0)
+                (get_local $$0)
+              )
+              (f64.ne
+                (get_local $$1)
+                (get_local $$1)
+              )
+            )
+          )
+        )
+      )
+    )
+  )
+)
diff --git a/test/dot_s/comparisons_i32.wast b/test/dot_s/comparisons_i32.wast
new file mode 100644
index 000000000..7155132d9
--- /dev/null
+++ b/test/dot_s/comparisons_i32.wast
@@ -0,0 +1,123 @@
+(module
+  (memory 0 4294967295)
+  (func $eq_i32 (param $$0 i32) (param $$1 i32) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.eq
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $ne_i32 (param $$0 i32) (param $$1 i32) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.ne
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $slt_i32 (param $$0 i32) (param $$1 i32) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.lt_s
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $sle_i32 (param $$0 i32) (param $$1 i32) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.le_s
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $ult_i32 (param $$0 i32) (param $$1 i32) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.lt_u
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $ule_i32 (param $$0 i32) (param $$1 i32) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.le_u
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $sgt_i32 (param $$0 i32) (param $$1 i32) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.gt_s
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $sge_i32 (param $$0 i32) (param $$1 i32) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.ge_s
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $ugt_i32 (param $$0 i32) (param $$1 i32) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.gt_u
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $uge_i32 (param $$0 i32) (param $$1 i32) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i32.ge_u
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+)
diff --git a/test/dot_s/comparisons_i64.wast b/test/dot_s/comparisons_i64.wast
new file mode 100644
index 000000000..743eb1e89
--- /dev/null
+++ b/test/dot_s/comparisons_i64.wast
@@ -0,0 +1,123 @@
+(module
+  (memory 0 4294967295)
+  (func $eq_i64 (param $$0 i64) (param $$1 i64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i64.eq
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $ne_i64 (param $$0 i64) (param $$1 i64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i64.ne
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $slt_i64 (param $$0 i64) (param $$1 i64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i64.lt_s
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $sle_i64 (param $$0 i64) (param $$1 i64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i64.le_s
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $ult_i64 (param $$0 i64) (param $$1 i64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i64.lt_u
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $ule_i64 (param $$0 i64) (param $$1 i64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i64.le_u
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $sgt_i64 (param $$0 i64) (param $$1 i64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i64.gt_s
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $sge_i64 (param $$0 i64) (param $$1 i64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i64.ge_s
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $ugt_i64 (param $$0 i64) (param $$1 i64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i64.gt_u
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+  (func $uge_i64 (param $$0 i64) (param $$1 i64) (result i32)
+    (block $fake_return_waka123
+      (block
+        (br $fake_return_waka123
+          (i64.ge_u
+            (get_local $$1)
+            (get_local $$0)
+          )
+        )
+      )
+    )
+  )
+)