aboutsummaryrefslogtreecommitdiff
path: root/tests/conformance/3-expressions/int_compare_ge.zc
diff options
context:
space:
mode:
authorGravatar zinc <zinc@downsta.ir> 2026-10-14 15:37:28 +0330
committerGravatar zinc <zinc@downsta.ir> 2026-10-14 15:39:03 +0330
commita275919ea9141a9d8c966ccef040666d9bda3b60 (patch)
tree5de0bf209aba110f3c80499bb1ceaa5068089b0a /tests/conformance/3-expressions/int_compare_ge.zc
parenttodo: record each agent's state at the end of the session and the merge order (diff)
agent/spec-conformance: unmerged work from previous session
Diffstat (limited to 'tests/conformance/3-expressions/int_compare_ge.zc')
-rw-r--r--tests/conformance/3-expressions/int_compare_ge.zc17
1 files changed, 17 insertions, 0 deletions
diff --git a/tests/conformance/3-expressions/int_compare_ge.zc b/tests/conformance/3-expressions/int_compare_ge.zc
new file mode 100644
index 0000000..c8b886b
--- /dev/null
+++ b/tests/conformance/3-expressions/int_compare_ge.zc
@@ -0,0 +1,17 @@
+// expect: 0/0/0/0/1/1/1/1/1/1/
+// spec 3.4.5
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+ pn(-1 >= 0);
+ { int a = -1, b = 0; pn(a >= b); }
+ pn((-9223372036854775807 - 1) >= 9223372036854775807);
+ { int a = (-9223372036854775807 - 1), b = 9223372036854775807; pn(a >= b); }
+ pn(9223372036854775807 >= (-9223372036854775807 - 1));
+ { int a = 9223372036854775807, b = (-9223372036854775807 - 1); pn(a >= b); }
+ pn(0 >= 0);
+ { int a = 0, b = 0; pn(a >= b); }
+ pn(4 >= 3);
+ { int a = 4, b = 3; pn(a >= b); }
+ return 0;
+}