Add additional tests for icmp-i128. Fixes
Tests added:
* eq with nonzero values
* gt with nonzero values
* ge with nonzero values
@@ -50,3 +50,45 @@ block0:
}
; run
+
+function %test_icmp_nz_eq_i128() -> b1 {
+block0:
+ v11 = iconst.i64 0x1
+ v12 = iconst.i64 0x1
+ v1 = iconcat v11, v12
+ v21 = iconst.i64 0x1
+ v22 = iconst.i64 0x1
+ v2 = iconcat v21, v22
+ v10 = icmp.i128 eq v1, v2
+ return v10
+}
+
+; run
+
+function %test_icmp_nz_gt_i128() -> b1 {
+block0:
+ v11 = iconst.i64 0x1
+ v12 = iconst.i64 0x1
+ v1 = iconcat v11, v12
+ v21 = iconst.i64 0x1
+ v22 = iconst.i64 0x2
+ v2 = iconcat v21, v22
+ v10 = icmp.i128 ugt v2, v1
+ return v10
+}
+
+; run
+
+function %test_icmp_nz_ge_i128() -> b1 {
+block0:
+ v11 = iconst.i64 0x1
+ v12 = iconst.i64 0x1
+ v1 = iconcat v11, v12
+ v21 = iconst.i64 0x1
+ v22 = iconst.i64 0x1
+ v2 = iconcat v21, v22
+ v10 = icmp.i128 uge v1, v2
+ return v10
+}
+
+; run
