more comparisons .ses

5 files changed, 503 insertions, 2 deletions

diff --git a/auto_update_tests.py b/auto_update_tests.py
index 9ea22dac7..55fba2044 100755
--- a/auto_update_tests.py
+++ b/auto_update_tests.py
@@ -32,7 +32,7 @@ for t in sorted(os.listdir('test')):
 
     open(t, 'w').write(actual)
 
-for s in ['minimal.s', 'basics.s', 'call.s', 'cfg-stackify.s', 'comparisons_f32.s']:
+for s in ['minimal.s', 'basics.s', 'call.s', 'cfg-stackify.s', 'comparisons_f32.s', 'comparisons_f64.s', 'comparisons_i32.s', 'comparisons_i64.s']:
   print '..', s
   wasm = s.replace('.s', '.wast')
   full = os.path.join('test', 'dot_s', s)
diff --git a/check.py b/check.py
index 8388d5343..ac0acc315 100755
--- a/check.py
+++ b/check.py
@@ -214,7 +214,7 @@ for t in spec_tests:
 
 print '\n[ checking .s testcases... ]\n'
 
-for s in ['minimal.s', 'basics.s', 'call.s', 'cfg-stackify.s', 'comparisons_f32.s']:
+for s in ['minimal.s', 'basics.s', 'call.s', 'cfg-stackify.s', 'comparisons_f32.s', 'comparisons_f64.s', 'comparisons_i32.s', 'comparisons_i64.s']:
   print '..', s
   wasm = s.replace('.s', '.wast')
   full = os.path.join('test', 'dot_s', s)
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)
+          )
+        )
+      )
+    )
+  )
+)