agent/spec-conformance: unmerged work from previous session

167 files changed, 2340 insertions, 0 deletions

diff --git a/tests/conformance/3-expressions/assign_target_address_first.zc b/tests/conformance/3-expressions/assign_target_address_first.zc
new file mode 100644
index 0000000..5fe6093
--- /dev/null
+++ b/tests/conformance/3-expressions/assign_target_address_first.zc
@@ -0,0 +1,11 @@
+// expect: 2/0/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int i = 0;
+	int[3] a = {0, 0, 0};
+	a[i] = i = 2;
+	pn(a[0]); pn(a[2]);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/assign_to_deref_and_field.zc b/tests/conformance/3-expressions/assign_to_deref_and_field.zc
new file mode 100644
index 0000000..c6af1ca
--- /dev/null
+++ b/tests/conformance/3-expressions/assign_to_deref_and_field.zc
@@ -0,0 +1,15 @@
+// expect: 5/6/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+struct pt { int x; int y; }
+fn main() {
+	int[2] a;
+	int* p = a;
+	*p = 5;
+	pt* q = rt.new(pt);
+	q.y = 6;
+	pn(a[0]); pn(q.y);
+	rt.free(q);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/assign_to_literal.zc b/tests/conformance/3-expressions/assign_to_literal.zc
new file mode 100644
index 0000000..d204ff3
--- /dev/null
+++ b/tests/conformance/3-expressions/assign_to_literal.zc
@@ -0,0 +1,6 @@
+// expect error: this can't be assigned to
+include rt;
+fn main() {
+	3 = 4;
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/assign_to_non_lvalue.zc b/tests/conformance/3-expressions/assign_to_non_lvalue.zc
new file mode 100644
index 0000000..7436a12
--- /dev/null
+++ b/tests/conformance/3-expressions/assign_to_non_lvalue.zc
@@ -0,0 +1,7 @@
+// expect error: this can't be assigned to
+include rt;
+fn main() {
+	int a = 1;
+	(a + 1) = 5;
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/assign_yields_value.zc b/tests/conformance/3-expressions/assign_yields_value.zc
new file mode 100644
index 0000000..9796283
--- /dev/null
+++ b/tests/conformance/3-expressions/assign_yields_value.zc
@@ -0,0 +1,11 @@
+// expect: 9/9/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a, b;
+	b = (a = 4) + 5;
+	pn(b);
+	int[2] arr;
+	pn(arr[1] = 9);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/block_expr_array_literal_vs_block.zc b/tests/conformance/3-expressions/block_expr_array_literal_vs_block.zc
new file mode 100644
index 0000000..7596210
--- /dev/null
+++ b/tests/conformance/3-expressions/block_expr_array_literal_vs_block.zc
@@ -0,0 +1,13 @@
+// expect: 3/5/0/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[] a = { 1, 2, 3 };
+	pn(len(a));
+	int[] b = { 5 };
+	pn(b[0]);
+	let c = { 5; };
+	pn(c);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/block_expr_break_rejected.zc b/tests/conformance/3-expressions/block_expr_break_rejected.zc
new file mode 100644
index 0000000..1cce727
--- /dev/null
+++ b/tests/conformance/3-expressions/block_expr_break_rejected.zc
@@ -0,0 +1,6 @@
+// expect error: break can't leave
+include rt;
+fn main() {
+	while (1) { let v = { break; 1 }; }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/block_expr_continue_rejected.zc b/tests/conformance/3-expressions/block_expr_continue_rejected.zc
new file mode 100644
index 0000000..6a4c27a
--- /dev/null
+++ b/tests/conformance/3-expressions/block_expr_continue_rejected.zc
@@ -0,0 +1,6 @@
+// expect error: continue can't leave
+include rt;
+fn main() {
+	while (1) { let v = { continue; 1 }; }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/block_expr_m_tail_rejected.zc b/tests/conformance/3-expressions/block_expr_m_tail_rejected.zc
new file mode 100644
index 0000000..9986568
--- /dev/null
+++ b/tests/conformance/3-expressions/block_expr_m_tail_rejected.zc
@@ -0,0 +1,6 @@
+// expect error: t: has to be u to be handed up as the block's value
+include rt;
+fn main() {
+	int* p = { int* t = rt.new(int); t };
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/block_expr_return_rejected.zc b/tests/conformance/3-expressions/block_expr_return_rejected.zc
new file mode 100644
index 0000000..4300368
--- /dev/null
+++ b/tests/conformance/3-expressions/block_expr_return_rejected.zc
@@ -0,0 +1,6 @@
+// expect error: return can't leave a block expression
+include rt;
+fn main() {
+	let v = { return 3; };
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/block_expr_scope.zc b/tests/conformance/3-expressions/block_expr_scope.zc
new file mode 100644
index 0000000..0ac644a
--- /dev/null
+++ b/tests/conformance/3-expressions/block_expr_scope.zc
@@ -0,0 +1,10 @@
+// expect: 8/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int t = 8;
+	let v = { int t = 100; t + 1 };
+	pn(t);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/block_expr_u_tail.zc b/tests/conformance/3-expressions/block_expr_u_tail.zc
new file mode 100644
index 0000000..61c4f03
--- /dev/null
+++ b/tests/conformance/3-expressions/block_expr_u_tail.zc
@@ -0,0 +1,9 @@
+// expect: 4/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int* p = { int* t = rt.new(int); *t = 4; u*t };
+	pn(*p);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/block_expr_value.zc b/tests/conformance/3-expressions/block_expr_value.zc
new file mode 100644
index 0000000..b6c973e
--- /dev/null
+++ b/tests/conformance/3-expressions/block_expr_value.zc
@@ -0,0 +1,11 @@
+// expect: 49/0/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	let sq = { let t = 3 + 4; t * t };
+	pn(sq);
+	let z = { let q = 1; q = q + 1; };
+	pn(z);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/bstr_compare.zc b/tests/conformance/3-expressions/bstr_compare.zc
new file mode 100644
index 0000000..de4abd3
--- /dev/null
+++ b/tests/conformance/3-expressions/bstr_compare.zc
@@ -0,0 +1,13 @@
+// expect: 1/1/0/1/1/0/1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(b"abc" < b"abd");
+	pn(b"ab" < b"abc");
+	pn(b"abc" < b"abc");
+	pn(b"abc" <= b"abc");
+	pn(b"abc" == b"abc");
+	pn(b"abc" != b"abc");
+	pn(b"b" > b"abc");
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/bstr_compare_unsigned.zc b/tests/conformance/3-expressions/bstr_compare_unsigned.zc
new file mode 100644
index 0000000..df936d6
--- /dev/null
+++ b/tests/conformance/3-expressions/bstr_compare_unsigned.zc
@@ -0,0 +1,8 @@
+// expect: 1/0/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(b"é" > b"z");
+	pn(b"é" < b"z");
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/bstr_concat_and_len.zc b/tests/conformance/3-expressions/bstr_concat_and_len.zc
new file mode 100644
index 0000000..4bdc8c5
--- /dev/null
+++ b/tests/conformance/3-expressions/bstr_concat_and_len.zc
@@ -0,0 +1,9 @@
+// expect: 5/abcde/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	bstr s = b"abc" + b"de";
+	pn(len(s));
+	rt.put_s(s); rt.put_c(10);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/bstr_index_and_range.zc b/tests/conformance/3-expressions/bstr_index_and_range.zc
new file mode 100644
index 0000000..84b1b83
--- /dev/null
+++ b/tests/conformance/3-expressions/bstr_index_and_range.zc
@@ -0,0 +1,11 @@
+// expect: 98/0/0/0/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	bstr s = b"abc";
+	pn(s[1]);
+	pn(s[3]);
+	pn(s[5]);
+	pn(s[-1]);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/bstr_index_not_lvalue.zc b/tests/conformance/3-expressions/bstr_index_not_lvalue.zc
new file mode 100644
index 0000000..71762e4
--- /dev/null
+++ b/tests/conformance/3-expressions/bstr_index_not_lvalue.zc
@@ -0,0 +1,7 @@
+// expect error: zc: line 5:
+include rt;
+fn main() {
+	bstr s = b"abc";
+	s[0] = 65;
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/bstr_mix_compare_error.zc b/tests/conformance/3-expressions/bstr_mix_compare_error.zc
new file mode 100644
index 0000000..e8acc38
--- /dev/null
+++ b/tests/conformance/3-expressions/bstr_mix_compare_error.zc
@@ -0,0 +1,6 @@
+// expect error: a byte string needs a byte string on the other side
+include rt;
+fn main() {
+	int x = (b"a" == 5);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/bstr_mix_error.zc b/tests/conformance/3-expressions/bstr_mix_error.zc
new file mode 100644
index 0000000..08daf37
--- /dev/null
+++ b/tests/conformance/3-expressions/bstr_mix_error.zc
@@ -0,0 +1,6 @@
+// expect error: a byte string needs a byte string on the other side
+include rt;
+fn main() {
+	bstr s = b"a" + "b";
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/bstr_put_s_writes_bytes.zc b/tests/conformance/3-expressions/bstr_put_s_writes_bytes.zc
new file mode 100644
index 0000000..bf36611
--- /dev/null
+++ b/tests/conformance/3-expressions/bstr_put_s_writes_bytes.zc
@@ -0,0 +1,7 @@
+// expect: hi there/
+include rt;
+fn main() {
+	rt.put_s(b"hi there");
+	rt.put_c(10);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/bstr_results_shared_not_freed.zc b/tests/conformance/3-expressions/bstr_results_shared_not_freed.zc
new file mode 100644
index 0000000..ef32171
--- /dev/null
+++ b/tests/conformance/3-expressions/bstr_results_shared_not_freed.zc
@@ -0,0 +1,9 @@
+// expect: 4/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	bstr s = b"ab" + b"cd";
+	rt.free(s);
+	pn(len(s));
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/bstr_slice.zc b/tests/conformance/3-expressions/bstr_slice.zc
new file mode 100644
index 0000000..5fa20e5
--- /dev/null
+++ b/tests/conformance/3-expressions/bstr_slice.zc
@@ -0,0 +1,14 @@
+// expect: el/he/lo//0//
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	bstr t = b"hello";
+	rt.put_s(t[1:3]); rt.put_c(10);
+	rt.put_s(t[-5:2]); rt.put_c(10);
+	rt.put_s(t[3:100]); rt.put_c(10);
+	bstr e = t[4:2];
+	rt.put_s(e); rt.put_c(10);
+	pn(len(e));
+	rt.put_s(t[2:2]); rt.put_c(10);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/call_23_parameters.zc b/tests/conformance/3-expressions/call_23_parameters.zc
new file mode 100644
index 0000000..d53d037
--- /dev/null
+++ b/tests/conformance/3-expressions/call_23_parameters.zc
@@ -0,0 +1,8 @@
+// expect: 276/
+// spec 3.11.3: at most 24 parameters (23 is under the limit)
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+int s23(int a1, int a2, int a3, int a4, int a5, int a6, int a7, int a8, int a9, int a10, int a11, int a12, int a13, int a14, int a15, int a16, int a17, int a18, int a19, int a20, int a21, int a22, int a23) {
+	return a1 + a2 + a3 + a4 + a5 + a6 + a7 + a8 + a9 + a10 + a11 + a12 + a13 + a14 + a15 + a16 + a17 + a18 + a19 + a20 + a21 + a22 + a23;
+}
+fn main() { pn(s23(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23)); return 0; }
diff --git a/tests/conformance/3-expressions/call_24_parameters.zc b/tests/conformance/3-expressions/call_24_parameters.zc
new file mode 100644
index 0000000..4ebe585
--- /dev/null
+++ b/tests/conformance/3-expressions/call_24_parameters.zc
@@ -0,0 +1,7 @@
+// expect: 300/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+int s24(int a1, int a2, int a3, int a4, int a5, int a6, int a7, int a8, int a9, int a10, int a11, int a12, int a13, int a14, int a15, int a16, int a17, int a18, int a19, int a20, int a21, int a22, int a23, int a24) {
+	return a1 + a2 + a3 + a4 + a5 + a6 + a7 + a8 + a9 + a10 + a11 + a12 + a13 + a14 + a15 + a16 + a17 + a18 + a19 + a20 + a21 + a22 + a23 + a24;
+}
+fn main() { pn(s24(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24)); return 0; }
diff --git a/tests/conformance/3-expressions/call_24_parameters_prototype.zc b/tests/conformance/3-expressions/call_24_parameters_prototype.zc
new file mode 100644
index 0000000..85542aa
--- /dev/null
+++ b/tests/conformance/3-expressions/call_24_parameters_prototype.zc
@@ -0,0 +1,6 @@
+// expect: 0/
+// spec 5.2.2: up to 24 parameters (a prototype)
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+int s24(int a1, int a2, int a3, int a4, int a5, int a6, int a7, int a8, int a9, int a10, int a11, int a12, int a13, int a14, int a15, int a16, int a17, int a18, int a19, int a20, int a21, int a22, int a23, int a24);
+fn main() { pn(0); return 0; }
diff --git a/tests/conformance/3-expressions/call_25_parameters_rejected.zc b/tests/conformance/3-expressions/call_25_parameters_rejected.zc
new file mode 100644
index 0000000..d8b8896
--- /dev/null
+++ b/tests/conformance/3-expressions/call_25_parameters_rejected.zc
@@ -0,0 +1,8 @@
+// expect error: too many parameters
+// spec 3.11.3 and 5.2.2: at most 24 parameters
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+int s25(int a1, int a2, int a3, int a4, int a5, int a6, int a7, int a8, int a9, int a10, int a11, int a12, int a13, int a14, int a15, int a16, int a17, int a18, int a19, int a20, int a21, int a22, int a23, int a24, int a25) {
+	return a1;
+}
+fn main() { return 0; }
diff --git a/tests/conformance/3-expressions/call_before_definition.zc b/tests/conformance/3-expressions/call_before_definition.zc
new file mode 100644
index 0000000..0442130
--- /dev/null
+++ b/tests/conformance/3-expressions/call_before_definition.zc
@@ -0,0 +1,5 @@
+// expect: 5/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() { pn(later(2, 3)); return 0; }
+int later(int a, int b) { return a + b; }
diff --git a/tests/conformance/3-expressions/call_new_without_rt.zc b/tests/conformance/3-expressions/call_new_without_rt.zc
new file mode 100644
index 0000000..397ba89
--- /dev/null
+++ b/tests/conformance/3-expressions/call_new_without_rt.zc
@@ -0,0 +1,10 @@
+// expect: 5/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int* p = new(int);
+	*p = 5;
+	pn(*p);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/call_params_converted_to_float.zc b/tests/conformance/3-expressions/call_params_converted_to_float.zc
new file mode 100644
index 0000000..04219a9
--- /dev/null
+++ b/tests/conformance/3-expressions/call_params_converted_to_float.zc
@@ -0,0 +1,5 @@
+// expect: 4.000000/
+include rt;
+fn pf(x) { asm { x @ #1220 } rt.put_c(10); return 0; }
+float dbl(float x) { return x * 2; }
+fn main() { pf(dbl(2)); return 0; }
diff --git a/tests/conformance/3-expressions/call_params_sized_cut.zc b/tests/conformance/3-expressions/call_params_sized_cut.zc
new file mode 100644
index 0000000..ed71cbe
--- /dev/null
+++ b/tests/conformance/3-expressions/call_params_sized_cut.zc
@@ -0,0 +1,6 @@
+// expect: 44/-56/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+int a(u8 x) { return x; }
+int b(i8 x) { return x; }
+fn main() { pn(a(300)); pn(b(200)); return 0; }
diff --git a/tests/conformance/3-expressions/call_static_and_const.zc b/tests/conformance/3-expressions/call_static_and_const.zc
new file mode 100644
index 0000000..d711488
--- /dev/null
+++ b/tests/conformance/3-expressions/call_static_and_const.zc
@@ -0,0 +1,6 @@
+// expect: 7/24/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+struct S { const MAX = 24; static fn seven() { return 7; } }
+fn main() { pn(S.seven()); pn(S.MAX); return 0; }
+// zc0: skip
diff --git a/tests/conformance/3-expressions/call_tag_limit.zc b/tests/conformance/3-expressions/call_tag_limit.zc
new file mode 100644
index 0000000..2ffd802
--- /dev/null
+++ b/tests/conformance/3-expressions/call_tag_limit.zc
@@ -0,0 +1,4 @@
+// expect error: only the first 12 parameters can be tagged
+include rt;
+void f(int*.m a1, int*.m a2, int*.m a3, int*.m a4, int*.m a5, int*.m a6, int*.m a7, int*.m a8, int*.m a9, int*.m a10, int*.m a11, int*.m a12, int*.m a13) { }
+fn main() { return 0; }
diff --git a/tests/conformance/3-expressions/call_through_value.zc b/tests/conformance/3-expressions/call_through_value.zc
new file mode 100644
index 0000000..98a5c34
--- /dev/null
+++ b/tests/conformance/3-expressions/call_through_value.zc
@@ -0,0 +1,5 @@
+// expect: 9/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+int sq(int x) { return x * x; }
+fn main() { int(int) f = sq; pn(f(3)); return 0; }
diff --git a/tests/conformance/3-expressions/call_type_name_as_value.zc b/tests/conformance/3-expressions/call_type_name_as_value.zc
new file mode 100644
index 0000000..75c50d0
--- /dev/null
+++ b/tests/conformance/3-expressions/call_type_name_as_value.zc
@@ -0,0 +1,4 @@
+// expect error: S: is a type, not a value
+include rt;
+struct S { int a; }
+fn main() { rt.put_n(S); return 0; }
diff --git a/tests/conformance/3-expressions/call_void_bare_return_value_zero.zc b/tests/conformance/3-expressions/call_void_bare_return_value_zero.zc
new file mode 100644
index 0000000..3a437c9
--- /dev/null
+++ b/tests/conformance/3-expressions/call_void_bare_return_value_zero.zc
@@ -0,0 +1,5 @@
+// expect: 0/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+void f() { return; }
+fn main() { pn(f()); return 0; }
diff --git a/tests/conformance/3-expressions/call_void_value_zero.zc b/tests/conformance/3-expressions/call_void_value_zero.zc
new file mode 100644
index 0000000..9fab2d4
--- /dev/null
+++ b/tests/conformance/3-expressions/call_void_value_zero.zc
@@ -0,0 +1,6 @@
+// expect: 0/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+int sink;
+void f() { sink = 1; }
+fn main() { pn(f()); return 0; }
diff --git a/tests/conformance/3-expressions/call_wrong_arg_count.zc b/tests/conformance/3-expressions/call_wrong_arg_count.zc
new file mode 100644
index 0000000..8c87e43
--- /dev/null
+++ b/tests/conformance/3-expressions/call_wrong_arg_count.zc
@@ -0,0 +1,4 @@
+// expect error: f: wrong number of arguments
+include rt;
+int f(int a, int b) { return a + b; }
+fn main() { rt.put_n(f(1, 2, 3)); return 0; }
diff --git a/tests/conformance/3-expressions/cast_as_char_unchanged.zc b/tests/conformance/3-expressions/cast_as_char_unchanged.zc
new file mode 100644
index 0000000..3b54628
--- /dev/null
+++ b/tests/conformance/3-expressions/cast_as_char_unchanged.zc
@@ -0,0 +1,9 @@
+// expect: 300/44/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int x = 300;
+	pn(x as char);
+	pn(x as u8);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/cast_forms.zc b/tests/conformance/3-expressions/cast_forms.zc
new file mode 100644
index 0000000..d8ef2bf
--- /dev/null
+++ b/tests/conformance/3-expressions/cast_forms.zc
@@ -0,0 +1,14 @@
+// expect: 2/3/44/3/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	float f = 2.9;
+	pn((int)f);
+	char* s = "abc";
+	pn(rt.len_w((char*)s));
+	pn((u8)300);
+	int myv = 3;
+	pn((myv));
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/cast_name_is_paren_expression.zc b/tests/conformance/3-expressions/cast_name_is_paren_expression.zc
new file mode 100644
index 0000000..de9b281
--- /dev/null
+++ b/tests/conformance/3-expressions/cast_name_is_paren_expression.zc
@@ -0,0 +1,8 @@
+// expect: 6/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int myv = 3;
+	pn((myv) * 2);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/closure_capture_by_reference.zc b/tests/conformance/3-expressions/closure_capture_by_reference.zc
new file mode 100644
index 0000000..3b4163f
--- /dev/null
+++ b/tests/conformance/3-expressions/closure_capture_by_reference.zc
@@ -0,0 +1,11 @@
+// expect: 21/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int k = 10;
+	let cl = fn(x) { return x + k; };
+	k = 20;
+	pn(cl(1));
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/closure_in_o3_rejected.zc b/tests/conformance/3-expressions/closure_in_o3_rejected.zc
new file mode 100644
index 0000000..66bb267
--- /dev/null
+++ b/tests/conformance/3-expressions/closure_in_o3_rejected.zc
@@ -0,0 +1,9 @@
+// expect error: closures can't be made inside an o3 region
+include rt;
+fn main() {
+	o3 {
+		int k = 1;
+		int(int) f = fn(int x) { return x + k; };
+	}
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/closure_outlives_creator.zc b/tests/conformance/3-expressions/closure_outlives_creator.zc
new file mode 100644
index 0000000..82e88d7
--- /dev/null
+++ b/tests/conformance/3-expressions/closure_outlives_creator.zc
@@ -0,0 +1,15 @@
+// expect: 11/12/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+.u counter() {
+	int c = 10;
+	let f = fn() { c++; return c; };
+	return u*f;
+}
+fn main() {
+	let ctr = counter();
+	pn(ctr());
+	pn(ctr());
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/closure_writes_visible_outside.zc b/tests/conformance/3-expressions/closure_writes_visible_outside.zc
new file mode 100644
index 0000000..aac5390
--- /dev/null
+++ b/tests/conformance/3-expressions/closure_writes_visible_outside.zc
@@ -0,0 +1,11 @@
+// expect: 3/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int n = 0;
+	let inc = fn() { n++; return n; };
+	inc(); inc(); inc();
+	pn(n);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/compound_assign_evaluates_once.zc b/tests/conformance/3-expressions/compound_assign_evaluates_once.zc
new file mode 100644
index 0000000..db8ebc5
--- /dev/null
+++ b/tests/conformance/3-expressions/compound_assign_evaluates_once.zc
@@ -0,0 +1,11 @@
+// expect: 1/15/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int i = 0;
+	int[3] a = {10, 20, 30};
+	a[i++] += 5;
+	pn(i); pn(a[0]);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/compound_assign_owner_rejected.zc b/tests/conformance/3-expressions/compound_assign_owner_rejected.zc
new file mode 100644
index 0000000..5c080dc
--- /dev/null
+++ b/tests/conformance/3-expressions/compound_assign_owner_rejected.zc
@@ -0,0 +1,7 @@
+// expect error: owns an object; compound assignment would lose it
+include rt;
+fn main() {
+	int* p = rt.new(int);
+	p += 1;
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/compound_assign_yields_value.zc b/tests/conformance/3-expressions/compound_assign_yields_value.zc
new file mode 100644
index 0000000..2bff56f
--- /dev/null
+++ b/tests/conformance/3-expressions/compound_assign_yields_value.zc
@@ -0,0 +1,9 @@
+// expect: 12/12/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a = 7;
+	pn(a += 5);
+	pn(a);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/const_expr_array_length.zc b/tests/conformance/3-expressions/const_expr_array_length.zc
new file mode 100644
index 0000000..07434a9
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_array_length.zc
@@ -0,0 +1,9 @@
+// expect: 10/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[2 + 3 * 2] a;
+	pn(sizeof(a));
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/const_expr_case_label.zc b/tests/conformance/3-expressions/const_expr_case_label.zc
new file mode 100644
index 0000000..3f1e781
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_case_label.zc
@@ -0,0 +1,12 @@
+// expect: nine/
+include rt;
+fn main() {
+	int k = 9;
+	switch (k) {
+	case 1 + 2 * 3: rt.put_s("nine");
+	default: rt.put_s("other");
+	}
+	rt.put_c(10);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/const_expr_compare_rejected.zc b/tests/conformance/3-expressions/const_expr_compare_rejected.zc
new file mode 100644
index 0000000..a37fb78
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_compare_rejected.zc
@@ -0,0 +1,4 @@
+// expect error: zc: line 3:
+include rt;
+const Z = 1 < 2;
+fn main() { return 0; }
diff --git a/tests/conformance/3-expressions/const_expr_division_rejected.zc b/tests/conformance/3-expressions/const_expr_division_rejected.zc
new file mode 100644
index 0000000..f095247
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_division_rejected.zc
@@ -0,0 +1,4 @@
+// expect error: expected ';', found '/'
+include rt;
+const Z = 6 / 2;
+fn main() { return 0; }
diff --git a/tests/conformance/3-expressions/const_expr_function_address.zc b/tests/conformance/3-expressions/const_expr_function_address.zc
new file mode 100644
index 0000000..b444722
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_function_address.zc
@@ -0,0 +1,7 @@
+// expect: 1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+int f() { return 1; }
+const FA = f;
+fn main() { fn() p = FA; pn(p()); return 0; }
+// zc0: skip
diff --git a/tests/conformance/3-expressions/const_expr_global_const_array_length.zc b/tests/conformance/3-expressions/const_expr_global_const_array_length.zc
new file mode 100644
index 0000000..1b918ed
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_global_const_array_length.zc
@@ -0,0 +1,7 @@
+// expect: 4/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+const N = 4;
+int[N] garr;
+fn main() { pn(sizeof(garr)); return 0; }
+// zc0: skip
diff --git a/tests/conformance/3-expressions/const_expr_left_to_right.zc b/tests/conformance/3-expressions/const_expr_left_to_right.zc
new file mode 100644
index 0000000..68e26ab
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_left_to_right.zc
@@ -0,0 +1,8 @@
+// expect: 9/5/7/255/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+const X = 1 + 2 * 3;
+const Y = 10 - 2 - 3;
+const V = 1 | 2 + 4;
+const W = ~0 & 255;
+fn main() { pn(X); pn(Y); pn(V); pn(W); return 0; }
diff --git a/tests/conformance/3-expressions/const_expr_local_const_rejected.zc b/tests/conformance/3-expressions/const_expr_local_const_rejected.zc
new file mode 100644
index 0000000..edab64e
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_local_const_rejected.zc
@@ -0,0 +1,7 @@
+// expect error: expected a constant
+include rt;
+fn main() {
+	const n = 5;
+	int[n] a;
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/const_expr_modulo_rejected.zc b/tests/conformance/3-expressions/const_expr_modulo_rejected.zc
new file mode 100644
index 0000000..4c54ffe
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_modulo_rejected.zc
@@ -0,0 +1,4 @@
+// expect error: zc: line 3:
+include rt;
+const Z = 7 % 2;
+fn main() { return 0; }
diff --git a/tests/conformance/3-expressions/const_expr_names.zc b/tests/conformance/3-expressions/const_expr_names.zc
new file mode 100644
index 0000000..b9fa851
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_names.zc
@@ -0,0 +1,8 @@
+// expect: 5/7/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+enum { EA = 2, EB };
+const K = EA + EB;
+const L = K + 2;
+fn main() { pn(K); pn(L); return 0; }
+// zc0: skip
diff --git a/tests/conformance/3-expressions/const_expr_neg_not_parens.zc b/tests/conformance/3-expressions/const_expr_neg_not_parens.zc
new file mode 100644
index 0000000..6e96bdc
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_neg_not_parens.zc
@@ -0,0 +1,8 @@
+// expect: -3/-6/-1/24/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+const A = -3;
+const B = -(1 + 2 * 3) + 3;
+const C = ~0;
+const D = (1 + 2) * (3 + 5);
+fn main() { pn(A); pn(B + 0); pn(C); pn(D); return 0; }
diff --git a/tests/conformance/3-expressions/const_expr_shift.zc b/tests/conformance/3-expressions/const_expr_shift.zc
new file mode 100644
index 0000000..6b7e056
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_shift.zc
@@ -0,0 +1,6 @@
+// expect: 16/1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+const S = 1 << 4;
+const T = 256 >> 8;
+fn main() { pn(S); pn(T); return 0; }
diff --git a/tests/conformance/3-expressions/const_expr_ternary_rejected.zc b/tests/conformance/3-expressions/const_expr_ternary_rejected.zc
new file mode 100644
index 0000000..81af58b
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_ternary_rejected.zc
@@ -0,0 +1,4 @@
+// expect error: zc: line 3:
+include rt;
+const Z = 1 ? 2 : 3;
+fn main() { return 0; }
diff --git a/tests/conformance/3-expressions/const_expr_xor_rejected.zc b/tests/conformance/3-expressions/const_expr_xor_rejected.zc
new file mode 100644
index 0000000..eb1ad25
--- /dev/null
+++ b/tests/conformance/3-expressions/const_expr_xor_rejected.zc
@@ -0,0 +1,4 @@
+// expect error: zc: line 3:
+include rt;
+const Z = 7 ^ 2;
+fn main() { return 0; }
diff --git a/tests/conformance/3-expressions/decr_prefix_postfix.zc b/tests/conformance/3-expressions/decr_prefix_postfix.zc
new file mode 100644
index 0000000..ba38935
--- /dev/null
+++ b/tests/conformance/3-expressions/decr_prefix_postfix.zc
@@ -0,0 +1,11 @@
+// expect: 4/3/2/2/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a = 4;
+	pn(a--);
+	pn(a);
+	pn(--a);
+	pn(a);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/dyn_array_array_len_cap_const.zc b/tests/conformance/3-expressions/dyn_array_array_len_cap_const.zc
new file mode 100644
index 0000000..d1bf61d
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_array_len_cap_const.zc
@@ -0,0 +1,9 @@
+// expect: 5/5/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[5] a;
+	pn(len(a)); pn(cap(a));
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/dyn_array_cap_at_least_doubles.zc b/tests/conformance/3-expressions/dyn_array_cap_at_least_doubles.zc
new file mode 100644
index 0000000..5a55545
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_cap_at_least_doubles.zc
@@ -0,0 +1,17 @@
+// expect: 1/1/10/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[?] a = rt.new(int[?]);
+	int c0 = cap(a);
+	int i = 0;
+	while (i < c0) { push(a, i); i++; }
+	pn(cap(a) == c0);
+	push(a, 99);
+	pn(cap(a) >= 2 * c0);
+	int j = 0;
+	while (j < 9) { push(a, j); j++; }
+	pn(len(a) - c0);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/dyn_array_const_index_warning.zc b/tests/conformance/3-expressions/dyn_array_const_index_warning.zc
new file mode 100644
index 0000000..36890d7
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_const_index_warning.zc
@@ -0,0 +1,8 @@
+// expect: zc: line 5: warning: out-of-bounds access: index 2 is outside length 2 (storage declared or allocated on line 4)/zy: index 2 out of range (length 2)/
+include rt;
+fn main() {
+	int[?] a = {1, 2};
+	rt.put_n(a[2]);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/dyn_array_index_negative.zc b/tests/conformance/3-expressions/dyn_array_index_negative.zc
new file mode 100644
index 0000000..c87e786
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_index_negative.zc
@@ -0,0 +1,11 @@
+// expect: zy: index -1 out of range (length 2)/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[?] a = {1, 2};
+	int i = 0 - 1;
+	pn(a[i]);
+	pn(99);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/dyn_array_index_out_of_range.zc b/tests/conformance/3-expressions/dyn_array_index_out_of_range.zc
new file mode 100644
index 0000000..eff8061
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_index_out_of_range.zc
@@ -0,0 +1,12 @@
+// expect: 2/zy: index 2 out of range (length 2)/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[?] a = {1, 2};
+	int i = 2;
+	pn(len(a));
+	pn(a[i]);
+	pn(99);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/dyn_array_intrinsics.zc b/tests/conformance/3-expressions/dyn_array_intrinsics.zc
new file mode 100644
index 0000000..6056423
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_intrinsics.zc
@@ -0,0 +1,11 @@
+// expect: 4/4/4/4/3/2/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[?] a = {1, 2};
+	push(a, 3); a.push(4);
+	pn(len(a)); pn(cap(a)); pn(a[3]);
+	pn(pop(a)); pn(a.pop()); pn(a.len());
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/dyn_array_len_of_pointer_typecheck.zc b/tests/conformance/3-expressions/dyn_array_len_of_pointer_typecheck.zc
new file mode 100644
index 0000000..4153ee4
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_len_of_pointer_typecheck.zc
@@ -0,0 +1,7 @@
+// expect error: len needs an array
+include rt;
+typecheck on;
+fn main() {
+	rt.put_n(len("text"));
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/dyn_array_new_len_cap.zc b/tests/conformance/3-expressions/dyn_array_new_len_cap.zc
new file mode 100644
index 0000000..b491d62
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_new_len_cap.zc
@@ -0,0 +1,13 @@
+// expect: 0/1/1/5/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[?] a = rt.new(int[?]);
+	pn(len(a)); pn(cap(a) >= 4);
+	int i = 0;
+	while (i < 5) { push(a, i); i++; }
+	pn(cap(a) >= 8);
+	pn(len(a));
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/dyn_array_pop_empty.zc b/tests/conformance/3-expressions/dyn_array_pop_empty.zc
new file mode 100644
index 0000000..6f5fdd0
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_pop_empty.zc
@@ -0,0 +1,10 @@
+// expect: zy: index -1 out of range (length 0)/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[?] a = rt.new(int[?]);
+	pn(pop(a));
+	pn(99);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/dyn_array_pop_returns_last.zc b/tests/conformance/3-expressions/dyn_array_pop_returns_last.zc
new file mode 100644
index 0000000..f3773bb
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_pop_returns_last.zc
@@ -0,0 +1,10 @@
+// expect: 3/2/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[?] a = {1, 2, 3};
+	pn(pop(a));
+	pn(a.pop());
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/dyn_array_push_aggregate.zc b/tests/conformance/3-expressions/dyn_array_push_aggregate.zc
new file mode 100644
index 0000000..5dce054
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_push_aggregate.zc
@@ -0,0 +1,9 @@
+// expect error: push takes scalar or reference elements
+include rt;
+struct pt { int x; int y; }
+fn main() {
+	pt[?] a = rt.new(pt[?]);
+	pt* p = rt.new(pt);
+	push(a, p);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/dyn_array_receiver_calls.zc b/tests/conformance/3-expressions/dyn_array_receiver_calls.zc
new file mode 100644
index 0000000..6290f13
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_receiver_calls.zc
@@ -0,0 +1,11 @@
+// expect: 3/4/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[?] a = {1, 2};
+	a.push(3);
+	pn(a.len());
+	pn(a.cap());
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/dyn_array_resize.zc b/tests/conformance/3-expressions/dyn_array_resize.zc
new file mode 100644
index 0000000..c0ae4f5
--- /dev/null
+++ b/tests/conformance/3-expressions/dyn_array_resize.zc
@@ -0,0 +1,16 @@
+// expect: 5/0/0/3/7/2/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[?] a = {7, 8, 9};
+	resize(a, 5);
+	pn(len(a)); pn(a[3]); pn(a[4]);
+	resize(a, 1);
+	a.resize(3);
+	pn(len(a));
+	pn(a[0]);
+	resize(a, 2);
+	pn(len(a));
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/eval_order_arguments.zc b/tests/conformance/3-expressions/eval_order_arguments.zc
new file mode 100644
index 0000000..d7bbb76
--- /dev/null
+++ b/tests/conformance/3-expressions/eval_order_arguments.zc
@@ -0,0 +1,9 @@
+// expect: 1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+void two(int a, int b) { pn(a * 10 + b); }
+fn main() {
+	int i = 0;
+	two(i++, i++);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/eval_order_binary_calls.zc b/tests/conformance/3-expressions/eval_order_binary_calls.zc
new file mode 100644
index 0000000..36b4c8a
--- /dev/null
+++ b/tests/conformance/3-expressions/eval_order_binary_calls.zc
@@ -0,0 +1,10 @@
+// expect: 12/
+include rt;
+int trace;
+int step(int v) { trace = trace * 10 + v; return v; }
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int r = step(1) - step(2) * 1;
+	pn(trace);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/eval_order_calls_left_to_right.zc b/tests/conformance/3-expressions/eval_order_calls_left_to_right.zc
new file mode 100644
index 0000000..9c7fed3
--- /dev/null
+++ b/tests/conformance/3-expressions/eval_order_calls_left_to_right.zc
@@ -0,0 +1,11 @@
+// expect: 123/
+include rt;
+int trace;
+int step(int v) { trace = trace * 10 + v; return v; }
+int add3(int a, int b, int c) { return a + b + c; }
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int r = add3(step(1), step(2), step(3));
+	pn(trace);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/eval_order_operands.zc b/tests/conformance/3-expressions/eval_order_operands.zc
new file mode 100644
index 0000000..a8f289c
--- /dev/null
+++ b/tests/conformance/3-expressions/eval_order_operands.zc
@@ -0,0 +1,10 @@
+// expect: 38/11/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a = 18;
+	pn(a++ + ++a);
+	int j = 1;
+	pn(j + (j = 5) * 2);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/float_as_keeps_bits.zc b/tests/conformance/3-expressions/float_as_keeps_bits.zc
new file mode 100644
index 0000000..69bf4c3
--- /dev/null
+++ b/tests/conformance/3-expressions/float_as_keeps_bits.zc
@@ -0,0 +1,10 @@
+// expect: 0.000000/4607182418800017408/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn pf(x) { asm { x @ #1220 } rt.put_c(10); return 0; }
+fn main() {
+	pf(3 as float);
+	float one = 1.0;
+	pn(one as int);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/float_basic_arith.zc b/tests/conformance/3-expressions/float_basic_arith.zc
new file mode 100644
index 0000000..caed2b2
--- /dev/null
+++ b/tests/conformance/3-expressions/float_basic_arith.zc
@@ -0,0 +1,12 @@
+// expect: 3.500000/inf/-inf/nan/3.000000/
+include rt;
+fn pf(x) { asm { x @ #1220 } rt.put_c(10); return 0; }
+fn main() {
+	pf(7 / 2.0);
+	pf(1.0 / 0.0);
+	pf(-1.0 / 0.0);
+	pf(0.0 / 0.0);
+	float r = 7 / 2;
+	pf(r);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/float_cast_value_and_bits.zc b/tests/conformance/3-expressions/float_cast_value_and_bits.zc
new file mode 100644
index 0000000..290263f
--- /dev/null
+++ b/tests/conformance/3-expressions/float_cast_value_and_bits.zc
@@ -0,0 +1,15 @@
+// expect: -2/3.000000/1/0/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn pf(x) { asm { x @ #1220 } rt.put_c(10); return 0; }
+fn main() {
+	float f = -2.9;
+	int i = 3;
+	pn((int)f);
+	pf((float)i);
+	word w = 4607182418800017408;
+	pn(w as float == 1.0);
+	pn((3 as float) == 3.0);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/float_division_int_stored.zc b/tests/conformance/3-expressions/float_division_int_stored.zc
new file mode 100644
index 0000000..c105e0b
--- /dev/null
+++ b/tests/conformance/3-expressions/float_division_int_stored.zc
@@ -0,0 +1,10 @@
+// expect: 3.000000/0.500000/
+include rt;
+fn pf(x) { asm { x @ #1220 } rt.put_c(10); return 0; }
+fn main() {
+	float r = 7 / 2;
+	pf(r);
+	float s = 1 / 2.0;
+	pf(s);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/float_int_ops_on_bits.zc b/tests/conformance/3-expressions/float_int_ops_on_bits.zc
new file mode 100644
index 0000000..38a45a8
--- /dev/null
+++ b/tests/conformance/3-expressions/float_int_ops_on_bits.zc
@@ -0,0 +1,12 @@
+// expect: 1/1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	float f = 1.0;
+	int bits = f as int;
+	word r = f & 4607182418800017408;
+	word r2 = f | 0;
+	pn(r == bits);
+	pn(r2 == bits);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/float_lit_exponent_arith.zc b/tests/conformance/3-expressions/float_lit_exponent_arith.zc
new file mode 100644
index 0000000..5b718c8
--- /dev/null
+++ b/tests/conformance/3-expressions/float_lit_exponent_arith.zc
@@ -0,0 +1,8 @@
+// expect: 1000.000000/0.001000/
+include rt;
+fn pf(x) { asm { x @ #1220 } rt.put_c(10); return 0; }
+fn main() {
+	pf(1e3);
+	pf(1e-3);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/float_mixed_comparisons.zc b/tests/conformance/3-expressions/float_mixed_comparisons.zc
new file mode 100644
index 0000000..b03394a
--- /dev/null
+++ b/tests/conformance/3-expressions/float_mixed_comparisons.zc
@@ -0,0 +1,8 @@
+// expect: 1/1/1/0/1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	float f = 2.5;
+	pn(1 < f); pn(f > 2); pn(2.0 == 2); pn(f == 2); pn(3 >= 2.5);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/float_negate_is_zero_minus.zc b/tests/conformance/3-expressions/float_negate_is_zero_minus.zc
new file mode 100644
index 0000000..5c673db
--- /dev/null
+++ b/tests/conformance/3-expressions/float_negate_is_zero_minus.zc
@@ -0,0 +1,14 @@
+// expect: -1.500000/0/0/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn pf(x) { asm { x @ #1220 } rt.put_c(10); return 0; }
+fn main() {
+	float f = 1.5;
+	pf(-f);
+	float z = -0.0;
+	pn(z as int);
+	float y = 0.0;
+	float ny = -y;
+	pn(ny as int);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/float_operand_conversion.zc b/tests/conformance/3-expressions/float_operand_conversion.zc
new file mode 100644
index 0000000..018a7c6
--- /dev/null
+++ b/tests/conformance/3-expressions/float_operand_conversion.zc
@@ -0,0 +1,12 @@
+// expect: 3.500000/0.500000/3.000000/2.000000/
+include rt;
+fn pf(x) { asm { x @ #1220 } rt.put_c(10); return 0; }
+fn main() {
+	float f = 1.5;
+	int i = 2;
+	pf(f + i);
+	pf(f - 1);
+	pf(f * i);
+	pf(i * 1.0);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/float_tracked_through_locals_fields_params.zc b/tests/conformance/3-expressions/float_tracked_through_locals_fields_params.zc
new file mode 100644
index 0000000..87f2c72
--- /dev/null
+++ b/tests/conformance/3-expressions/float_tracked_through_locals_fields_params.zc
@@ -0,0 +1,20 @@
+// expect: 2.500000/2.500000/2.500000/2.500000/
+include rt;
+fn pf(x) { asm { x @ #1220 } rt.put_c(10); return 0; }
+struct box { float v; }
+float g;
+float half(float x) { return x / 2; }
+float getg() { return g; }
+fn main() {
+	float a = 5;
+	pf(a / 2);
+	box* b = rt.new(box);
+	b.v = 5;
+	pf(b.v / 2);
+	pf(half(5));
+	g = 5;
+	pf(getg() / 2);
+	rt.free(b);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/incr_needs_lvalue.zc b/tests/conformance/3-expressions/incr_needs_lvalue.zc
new file mode 100644
index 0000000..69f84f8
--- /dev/null
+++ b/tests/conformance/3-expressions/incr_needs_lvalue.zc
@@ -0,0 +1,7 @@
+// expect error: ++ and -- need something to assign to
+include rt;
+fn main() {
+	int a = 1;
+	(a + 1)++;
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/incr_needs_lvalue_prefix.zc b/tests/conformance/3-expressions/incr_needs_lvalue_prefix.zc
new file mode 100644
index 0000000..c4f617f
--- /dev/null
+++ b/tests/conformance/3-expressions/incr_needs_lvalue_prefix.zc
@@ -0,0 +1,6 @@
+// expect error: ++ and -- need something to assign to
+include rt;
+fn main() {
+	++5;
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/incr_on_float_changes_bits.zc b/tests/conformance/3-expressions/incr_on_float_changes_bits.zc
new file mode 100644
index 0000000..7062daf
--- /dev/null
+++ b/tests/conformance/3-expressions/incr_on_float_changes_bits.zc
@@ -0,0 +1,10 @@
+// expect: 0/1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	float f = 1.5;
+	f++;
+	pn(f == 1.5);
+	pn(f as int == 4609434218613702657);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_add_wrap.zc b/tests/conformance/3-expressions/int_add_wrap.zc
new file mode 100644
index 0000000..8c4e0d2
--- /dev/null
+++ b/tests/conformance/3-expressions/int_add_wrap.zc
@@ -0,0 +1,15 @@
+// expect: -9223372036854775808/-9223372036854775808/9223372036854775807/9223372036854775807/-2/-2/3/3/
+// spec 3.4.1
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(9223372036854775807 + 1);
+	{ int a = 9223372036854775807, b = 1; pn(a + b); }
+	pn((-9223372036854775807 - 1) + -1);
+	{ int a = (-9223372036854775807 - 1), b = -1; pn(a + b); }
+	pn(9223372036854775807 + 9223372036854775807);
+	{ int a = 9223372036854775807, b = 9223372036854775807; pn(a + b); }
+	pn(1 + 2);
+	{ int a = 1, b = 2; pn(a + b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_bitwise_and.zc b/tests/conformance/3-expressions/int_bitwise_and.zc
new file mode 100644
index 0000000..5ce4641
--- /dev/null
+++ b/tests/conformance/3-expressions/int_bitwise_and.zc
@@ -0,0 +1,15 @@
+// expect: 255/255/2/2/-9223372036854775808/-9223372036854775808/0/0/
+// spec 3.4.5: bitwise on all 64 bits
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(-1 & 255);
+	{ int a = -1, b = 255; pn(a & b); }
+	pn(6 & 3);
+	{ int a = 6, b = 3; pn(a & b); }
+	pn((-9223372036854775807 - 1) & -1);
+	{ int a = (-9223372036854775807 - 1), b = -1; pn(a & b); }
+	pn(0 & -1);
+	{ int a = 0, b = -1; pn(a & b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_bitwise_or.zc b/tests/conformance/3-expressions/int_bitwise_or.zc
new file mode 100644
index 0000000..fc5cdc2
--- /dev/null
+++ b/tests/conformance/3-expressions/int_bitwise_or.zc
@@ -0,0 +1,13 @@
+// expect: -1/-1/7/7/-9223372036854775807/-9223372036854775807/
+// spec 3.4.5
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(-256 | 255);
+	{ int a = -256, b = 255; pn(a | b); }
+	pn(6 | 3);
+	{ int a = 6, b = 3; pn(a | b); }
+	pn((-9223372036854775807 - 1) | 1);
+	{ int a = (-9223372036854775807 - 1), b = 1; pn(a | b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_bitwise_xor.zc b/tests/conformance/3-expressions/int_bitwise_xor.zc
new file mode 100644
index 0000000..3aea716
--- /dev/null
+++ b/tests/conformance/3-expressions/int_bitwise_xor.zc
@@ -0,0 +1,15 @@
+// expect: -2/-2/5/5/0/0/-6/-6/
+// spec 3.4.5
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(-1 ^ 1);
+	{ int a = -1, b = 1; pn(a ^ b); }
+	pn(6 ^ 3);
+	{ int a = 6, b = 3; pn(a ^ b); }
+	pn((-9223372036854775807 - 1) ^ (-9223372036854775807 - 1));
+	{ int a = (-9223372036854775807 - 1), b = (-9223372036854775807 - 1); pn(a ^ b); }
+	pn(5 ^ -1);
+	{ int a = 5, b = -1; pn(a ^ b); }
+	return 0;
+}
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;
+}
diff --git a/tests/conformance/3-expressions/int_compare_signed.zc b/tests/conformance/3-expressions/int_compare_signed.zc
new file mode 100644
index 0000000..c09bedd
--- /dev/null
+++ b/tests/conformance/3-expressions/int_compare_signed.zc
@@ -0,0 +1,19 @@
+// expect: 1/1/1/1/1/1/0/0/0/0/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(-1 < 1);
+	{ int a = -1, b = 1; 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(3 < 4);
+	{ int a = 3, b = 4; pn(a < b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_div_signs.zc b/tests/conformance/3-expressions/int_div_signs.zc
new file mode 100644
index 0000000..c6bcdca
--- /dev/null
+++ b/tests/conformance/3-expressions/int_div_signs.zc
@@ -0,0 +1,19 @@
+// expect: 3/3/-3/-3/-3/-3/3/3/0/0/14/14/
+// spec 3.4.2
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(7 / 2);
+	{ int a = 7, b = 2; pn(a / b); }
+	pn(7 / -2);
+	{ int a = 7, b = -2; pn(a / b); }
+	pn(-7 / 2);
+	{ int a = -7, b = 2; pn(a / b); }
+	pn(-7 / -2);
+	{ int a = -7, b = -2; pn(a / b); }
+	pn(0 / 5);
+	{ int a = 0, b = 5; pn(a / b); }
+	pn(100 / 7);
+	{ int a = 100, b = 7; pn(a / b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_div_zero.zc b/tests/conformance/3-expressions/int_div_zero.zc
new file mode 100644
index 0000000..ee1eec5
--- /dev/null
+++ b/tests/conformance/3-expressions/int_div_zero.zc
@@ -0,0 +1,13 @@
+// expect: 0/0/0/0/0/0/
+// spec 3.4.3: division by zero gives 0
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(5 / 0);
+	{ int a = 5, b = 0; pn(a / b); }
+	pn(-5 / 0);
+	{ int a = -5, b = 0; pn(a / b); }
+	pn(0 / 0);
+	{ int a = 0, b = 0; pn(a / b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_logical_or_values.zc b/tests/conformance/3-expressions/int_logical_or_values.zc
new file mode 100644
index 0000000..ec84c41
--- /dev/null
+++ b/tests/conformance/3-expressions/int_logical_or_values.zc
@@ -0,0 +1,17 @@
+// expect: 1/1/1/1/0/0/1/1/1/1/
+// spec 3.4.6: || gives 0 or 1
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(0 || 9);
+	{ int a = 0, b = 9; pn(a || b); }
+	pn(5 || 0);
+	{ int a = 5, b = 0; pn(a || b); }
+	pn(0 || 0);
+	{ int a = 0, b = 0; pn(a || b); }
+	pn(-3 || -3);
+	{ int a = -3, b = -3; pn(a || b); }
+	pn((-9223372036854775807 - 1) || 0);
+	{ int a = (-9223372036854775807 - 1), b = 0; pn(a || b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_logical_values.zc b/tests/conformance/3-expressions/int_logical_values.zc
new file mode 100644
index 0000000..3382025
--- /dev/null
+++ b/tests/conformance/3-expressions/int_logical_values.zc
@@ -0,0 +1,17 @@
+// expect: 1/1/0/0/0/0/0/0/1/1/
+// spec 3.4.6: && gives 0 or 1
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(5 && 7);
+	{ int a = 5, b = 7; pn(a && b); }
+	pn(5 && 0);
+	{ int a = 5, b = 0; pn(a && b); }
+	pn(0 && 7);
+	{ int a = 0, b = 7; pn(a && b); }
+	pn(0 && 0);
+	{ int a = 0, b = 0; pn(a && b); }
+	pn(-1 && (-9223372036854775807 - 1));
+	{ int a = -1, b = (-9223372036854775807 - 1); pn(a && b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_min_div_minus1.zc b/tests/conformance/3-expressions/int_min_div_minus1.zc
new file mode 100644
index 0000000..8f13ef1
--- /dev/null
+++ b/tests/conformance/3-expressions/int_min_div_minus1.zc
@@ -0,0 +1,9 @@
+// expect: -9223372036854775808/-9223372036854775808/
+// spec 3.4.3
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn((-9223372036854775807 - 1) / -1);
+	{ int a = (-9223372036854775807 - 1), b = -1; pn(a / b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_min_mod_minus1.zc b/tests/conformance/3-expressions/int_min_mod_minus1.zc
new file mode 100644
index 0000000..bd8b36e
--- /dev/null
+++ b/tests/conformance/3-expressions/int_min_mod_minus1.zc
@@ -0,0 +1,9 @@
+// expect: 0/0/
+// spec 3.4.3
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn((-9223372036854775807 - 1) % -1);
+	{ int a = (-9223372036854775807 - 1), b = -1; pn(a % b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_mod_signs.zc b/tests/conformance/3-expressions/int_mod_signs.zc
new file mode 100644
index 0000000..4ed0c6f
--- /dev/null
+++ b/tests/conformance/3-expressions/int_mod_signs.zc
@@ -0,0 +1,19 @@
+// expect: 1/1/1/1/-1/-1/-1/-1/0/0/2/2/
+// spec 3.4.2
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(7 % 2);
+	{ int a = 7, b = 2; pn(a % b); }
+	pn(7 % -2);
+	{ int a = 7, b = -2; pn(a % b); }
+	pn(-7 % 2);
+	{ int a = -7, b = 2; pn(a % b); }
+	pn(-7 % -2);
+	{ int a = -7, b = -2; pn(a % b); }
+	pn(0 % 5);
+	{ int a = 0, b = 5; pn(a % b); }
+	pn(100 % 7);
+	{ int a = 100, b = 7; pn(a % b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_mod_zero.zc b/tests/conformance/3-expressions/int_mod_zero.zc
new file mode 100644
index 0000000..4a77a7b
--- /dev/null
+++ b/tests/conformance/3-expressions/int_mod_zero.zc
@@ -0,0 +1,13 @@
+// expect: 5/5/-5/-5/0/0/
+// spec 3.4.3: n % 0 is n
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(5 % 0);
+	{ int a = 5, b = 0; pn(a % b); }
+	pn(-5 % 0);
+	{ int a = -5, b = 0; pn(a % b); }
+	pn(0 % 0);
+	{ int a = 0, b = 0; pn(a % b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_mul_wrap.zc b/tests/conformance/3-expressions/int_mul_wrap.zc
new file mode 100644
index 0000000..66d9e3b
--- /dev/null
+++ b/tests/conformance/3-expressions/int_mul_wrap.zc
@@ -0,0 +1,15 @@
+// expect: -2/-2/-9223372036709301616/-9223372036709301616/-9223372036854775808/-9223372036854775808/-20/-20/
+// spec 3.4.1
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(9223372036854775807 * 2);
+	{ int a = 9223372036854775807, b = 2; pn(a * b); }
+	pn(3037000500 * 3037000500);
+	{ int a = 3037000500, b = 3037000500; pn(a * b); }
+	pn((-9223372036854775807 - 1) * -1);
+	{ int a = (-9223372036854775807 - 1), b = -1; pn(a * b); }
+	pn(-4 * 5);
+	{ int a = -4, b = 5; pn(a * b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_shl_count_mod64.zc b/tests/conformance/3-expressions/int_shl_count_mod64.zc
new file mode 100644
index 0000000..ed90516
--- /dev/null
+++ b/tests/conformance/3-expressions/int_shl_count_mod64.zc
@@ -0,0 +1,23 @@
+// expect: -9223372036854775808/-9223372036854775808/1/1/2/2/-9223372036854775808/-9223372036854775808/-4611686018427387904/-4611686018427387904/-2/-2/1/1/5/5/
+// spec 3.4.4
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(1 << 63);
+	{ int a = 1, b = 63; pn(a << b); }
+	pn(1 << 64);
+	{ int a = 1, b = 64; pn(a << b); }
+	pn(1 << 65);
+	{ int a = 1, b = 65; pn(a << b); }
+	pn(1 << -1);
+	{ int a = 1, b = -1; pn(a << b); }
+	pn(3 << 62);
+	{ int a = 3, b = 62; pn(a << b); }
+	pn(-1 << 1);
+	{ int a = -1, b = 1; pn(a << b); }
+	pn(1 << 128);
+	{ int a = 1, b = 128; pn(a << b); }
+	pn(5 << 0);
+	{ int a = 5, b = 0; pn(a << b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_shr_arith.zc b/tests/conformance/3-expressions/int_shr_arith.zc
new file mode 100644
index 0000000..8bd8de5
--- /dev/null
+++ b/tests/conformance/3-expressions/int_shr_arith.zc
@@ -0,0 +1,23 @@
+// expect: -4/-4/-1/-1/-1/-1/2/2/-1/-1/128/128/-1/-1/5/5/
+// spec 3.4.4
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(-8 >> 1);
+	{ int a = -8, b = 1; pn(a >> b); }
+	pn(-1 >> 63);
+	{ int a = -1, b = 63; pn(a >> b); }
+	pn(-1 >> 64);
+	{ int a = -1, b = 64; pn(a >> b); }
+	pn(5 >> -63);
+	{ int a = 5, b = -63; pn(a >> b); }
+	pn((-9223372036854775807 - 1) >> 63);
+	{ int a = (-9223372036854775807 - 1), b = 63; pn(a >> b); }
+	pn(1024 >> 3);
+	{ int a = 1024, b = 3; pn(a >> b); }
+	pn(-1 >> 1);
+	{ int a = -1, b = 1; pn(a >> b); }
+	pn(5 >> 64);
+	{ int a = 5, b = 64; pn(a >> b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/int_sub_wrap.zc b/tests/conformance/3-expressions/int_sub_wrap.zc
new file mode 100644
index 0000000..f906dd0
--- /dev/null
+++ b/tests/conformance/3-expressions/int_sub_wrap.zc
@@ -0,0 +1,13 @@
+// expect: 9223372036854775807/9223372036854775807/-9223372036854775808/-9223372036854775808/-2/-2/
+// spec 3.4.1
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn((-9223372036854775807 - 1) - 1);
+	{ int a = (-9223372036854775807 - 1), b = 1; pn(a - b); }
+	pn(0 - (-9223372036854775807 - 1));
+	{ int a = 0, b = (-9223372036854775807 - 1); pn(a - b); }
+	pn(5 - 7);
+	{ int a = 5, b = 7; pn(a - b); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/member_dot_arrow_same.zc b/tests/conformance/3-expressions/member_dot_arrow_same.zc
new file mode 100644
index 0000000..f900a1d
--- /dev/null
+++ b/tests/conformance/3-expressions/member_dot_arrow_same.zc
@@ -0,0 +1,14 @@
+// expect: 3/4/5/6/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+struct pt { int x; int y; }
+fn main() {
+	pt a;
+	a.x = 3; a->y = 4;
+	pt* p = &a;
+	pn(a.x); pn(a->y);
+	p.x = 5; p->y = 6;
+	pn(p.x); pn(p->y);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/member_field_wins_over_method.zc b/tests/conformance/3-expressions/member_field_wins_over_method.zc
new file mode 100644
index 0000000..34680a9
--- /dev/null
+++ b/tests/conformance/3-expressions/member_field_wins_over_method.zc
@@ -0,0 +1,12 @@
+// expect: 5/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+struct fw { int get; int get() { return 99; } }
+fn main() {
+	fw* a = rt.new(fw);
+	a.get = 5;
+	pn(a.get);
+	rt.free(a);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/member_method_call.zc b/tests/conformance/3-expressions/member_method_call.zc
new file mode 100644
index 0000000..cc44c62
--- /dev/null
+++ b/tests/conformance/3-expressions/member_method_call.zc
@@ -0,0 +1,12 @@
+// expect: 7/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+struct acc { int total; fn add(n) { this.total = this.total + n; return this.total; } }
+fn main() {
+	acc* a = rt.new(acc);
+	a.add(3);
+	pn(a.add(4));
+	rt.free(a);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/member_missing_field_suggestion.zc b/tests/conformance/3-expressions/member_missing_field_suggestion.zc
new file mode 100644
index 0000000..8713561
--- /dev/null
+++ b/tests/conformance/3-expressions/member_missing_field_suggestion.zc
@@ -0,0 +1,8 @@
+// expect error: pt has no field nmae; did you mean 'name'?
+include rt;
+struct pt { int name; int y; }
+fn main() {
+	pt* p = rt.new(pt);
+	rt.put_n(p.nmae);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/member_two_pointer_levels.zc b/tests/conformance/3-expressions/member_two_pointer_levels.zc
new file mode 100644
index 0000000..d1870f4
--- /dev/null
+++ b/tests/conformance/3-expressions/member_two_pointer_levels.zc
@@ -0,0 +1,9 @@
+// expect error: zc: line 7:
+include rt;
+struct pt { int x; int y; }
+fn main() {
+	pt* p = rt.new(pt);
+	pt** pp = &p;
+	rt.put_n(pp.x);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_as_binds_tight.zc b/tests/conformance/3-expressions/prec_as_binds_tight.zc
new file mode 100644
index 0000000..baf41e0
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_as_binds_tight.zc
@@ -0,0 +1,10 @@
+// expect: -1/260/45/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(-2 as int + 1);
+	pn(250 + 10 as u8);
+	int k = 1;
+	pn(k + 300 as u8);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_as_then_star.zc b/tests/conformance/3-expressions/prec_as_then_star.zc
new file mode 100644
index 0000000..046f069
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_as_then_star.zc
@@ -0,0 +1,7 @@
+// expect error: zc: line 5:
+include rt;
+fn main() {
+	int x = 3, y = 4;
+	rt.put_n(x as int * y);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_assign_lower_than_ternary.zc b/tests/conformance/3-expressions/prec_assign_lower_than_ternary.zc
new file mode 100644
index 0000000..9ca1541
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_assign_lower_than_ternary.zc
@@ -0,0 +1,12 @@
+// expect: 5/5/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a, c = 0;
+	a = 1 ? 5 : 6;
+	pn(a);
+	a = 0 ? 7 : 1 ? 5 : 9;
+	pn(a);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/prec_assign_right_assoc.zc b/tests/conformance/3-expressions/prec_assign_right_assoc.zc
new file mode 100644
index 0000000..4cb885e
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_assign_right_assoc.zc
@@ -0,0 +1,9 @@
+// expect: 7/7/7/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a, b;
+	pn(a = b = 7);
+	pn(a); pn(b);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_chains.zc b/tests/conformance/3-expressions/prec_chains.zc
new file mode 100644
index 0000000..c8cd31f
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_chains.zc
@@ -0,0 +1,55 @@
+// expect: 0/0/1/1/1/1/1/1/-1/-1/1/1/1/1/13/13/1/1/1/1/3/3/1/1/1/1/1/1/1/1/7/7/1/1/7/7/-1/-1/1/1/0/0/1/1/0/0/1/1/
+// random chains of binary operators of several levels (spec 3.2.1)
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(12 != 7 <= 1 & 9 + 7 && 2 << 0 & 7 | 4 > 3);
+	{ int v0 = 12, v1 = 7, v2 = 1, v3 = 9, v4 = 7, v5 = 2, v6 = 0, v7 = 7, v8 = 4, v9 = 3; pn(v0 != v1 <= v2 & v3 + v4 && v5 << v6 & v7 | v8 > v9); }
+	pn(3 >> 1 | 2 >> 1 == 9 * -1 | 0 >> 0 >= 7 <= -1);
+	{ int v0 = 3, v1 = 1, v2 = 2, v3 = 1, v4 = 9, v5 = -1, v6 = 0, v7 = 0, v8 = 7, v9 = -1; pn(v0 >> v1 | v2 >> v3 == v4 * v5 | v6 >> v7 >= v8 <= v9); }
+	pn(1 > -2 || -2 == 7 ^ 6 * 6 >> 6);
+	{ int v0 = 1, v1 = -2, v2 = -2, v3 = 7, v4 = 6, v5 = 6, v6 = 6; pn(v0 > v1 || v2 == v3 ^ v4 * v5 >> v6); }
+	pn(2 >= -2 << 4 && 12 && -2 << 7 <= -2 + 6);
+	{ int v0 = 2, v1 = -2, v2 = 4, v3 = 12, v4 = -2, v5 = 7, v6 = -2, v7 = 6; pn(v0 >= v1 << v2 && v3 && v4 << v5 <= v6 + v7); }
+	pn(5 + 0 * -2 > 4 | -2);
+	{ int v0 = 5, v1 = 0, v2 = -2, v3 = 4, v4 = -2; pn(v0 + v1 * v2 > v3 | v4); }
+	pn(7 && 6 <= 2 * 4 == -2 ^ 0 == 6 <= -1);
+	{ int v0 = 7, v1 = 6, v2 = 2, v3 = 4, v4 = -2, v5 = 0, v6 = 6, v7 = -1; pn(v0 && v1 <= v2 * v3 == v4 ^ v5 == v6 <= v7); }
+	pn(9 - -2 & 1 == -1 & 2 & -2 || 2 || 6 + 7 * -2);
+	{ int v0 = 9, v1 = -2, v2 = 1, v3 = -1, v4 = 2, v5 = -2, v6 = 2, v7 = 6, v8 = 7, v9 = -2; pn(v0 - v1 & v2 == v3 & v4 & v5 || v6 || v7 + v8 * v9); }
+	pn(12 >= -2 | 2 + 3 & 5 | 12);
+	{ int v0 = 12, v1 = -2, v2 = 2, v3 = 3, v4 = 5, v5 = 12; pn(v0 >= v1 | v2 + v3 & v4 | v5); }
+	pn(12 != -1 | 5 ^ 6 && 9 && 9 + 2);
+	{ int v0 = 12, v1 = -1, v2 = 5, v3 = 6, v4 = 9, v5 = 9, v6 = 2; pn(v0 != v1 | v2 ^ v3 && v4 && v5 + v6); }
+	pn(3 <= 7 || -1 - -2 != 12 < 4 & 6 >= 12 ^ 12);
+	{ int v0 = 3, v1 = 7, v2 = -1, v3 = -2, v4 = 12, v5 = 4, v6 = 6, v7 = 12, v8 = 12; pn(v0 <= v1 || v2 - v3 != v4 < v5 & v6 >= v7 ^ v8); }
+	pn(-1 == 3 * 2 | 3 | 2 << 2 <= 6);
+	{ int v0 = -1, v1 = 3, v2 = 2, v3 = 3, v4 = 2, v5 = 2, v6 = 6; pn(v0 == v1 * v2 | v3 | v4 << v5 <= v6); }
+	pn(5 < 1 << 7 | 6 * 1 == 0 << 2 + -1 + -1);
+	{ int v0 = 5, v1 = 1, v2 = 7, v3 = 6, v4 = 1, v5 = 0, v6 = 2, v7 = -1, v8 = -1; pn(v0 < v1 << v2 | v3 * v4 == v5 << v6 + v7 + v8); }
+	pn(-1 > 1 < 1 >> 3 - 7 << 7 == 6 | 3 < 5 + 7);
+	{ int v0 = -1, v1 = 1, v2 = 1, v3 = 3, v4 = 7, v5 = 7, v6 = 6, v7 = 3, v8 = 5, v9 = 7; pn(v0 > v1 < v2 >> v3 - v4 << v5 == v6 | v7 < v8 + v9); }
+	pn(7 * 1 < 3 ^ 3 != 9 < 4 >= 9);
+	{ int v0 = 7, v1 = 1, v2 = 3, v3 = 3, v4 = 9, v5 = 4, v6 = 9; pn(v0 * v1 < v2 ^ v3 != v4 < v5 >= v6); }
+	pn(2 <= 4 ^ 0 * 6 < 5 + 5 > 12);
+	{ int v0 = 2, v1 = 4, v2 = 0, v3 = 6, v4 = 5, v5 = 5, v6 = 12; pn(v0 <= v1 ^ v2 * v3 < v4 + v5 > v6); }
+	pn(-2 + 2 | 5 > -2 < 12 * 6 ^ 6);
+	{ int v0 = -2, v1 = 2, v2 = 5, v3 = -2, v4 = 12, v5 = 6, v6 = 6; pn(v0 + v1 | v2 > v3 < v4 * v5 ^ v6); }
+	pn(4 == 12 == 12 < 2 != -1 - 9);
+	{ int v0 = 4, v1 = 12, v2 = 12, v3 = 2, v4 = -1, v5 = 9; pn(v0 == v1 == v2 < v3 != v4 - v5); }
+	pn(5 | 3 - 12 & 6 | 1);
+	{ int v0 = 5, v1 = 3, v2 = 12, v3 = 6, v4 = 1; pn(v0 | v1 - v2 & v3 | v4); }
+	pn(-2 >> 3 | 9 & 12 < 6 < -1 ^ -1 + 2 << 4 < 7);
+	{ int v0 = -2, v1 = 3, v2 = 9, v3 = 12, v4 = 6, v5 = -1, v6 = -1, v7 = 2, v8 = 4, v9 = 7; pn(v0 >> v1 | v2 & v3 < v4 < v5 ^ v6 + v7 << v8 < v9); }
+	pn(6 && 2 + 9 < -1 > 12 | 3 <= 9 != 2 <= -1);
+	{ int v0 = 6, v1 = 2, v2 = 9, v3 = -1, v4 = 12, v5 = 3, v6 = 9, v7 = 2, v8 = -1; pn(v0 && v1 + v2 < v3 > v4 | v5 <= v6 != v7 <= v8); }
+	pn(2 & 1 * 2 - 1 | 0);
+	{ int v0 = 2, v1 = 1, v2 = 2, v3 = 1, v4 = 0; pn(v0 & v1 * v2 - v3 | v4); }
+	pn(3 ^ 2 - -2 || 2 != 9 && 12 + -1 > 5);
+	{ int v0 = 3, v1 = 2, v2 = -2, v3 = 2, v4 = 9, v5 = 12, v6 = -1, v7 = 5; pn(v0 ^ v1 - v2 || v3 != v4 && v5 + v6 > v7); }
+	pn(1 + 9 && 0 + 9 + 1 >= -2 << 6 == 5 - 2);
+	{ int v0 = 1, v1 = 9, v2 = 0, v3 = 9, v4 = 1, v5 = -2, v6 = 6, v7 = 5, v8 = 2; pn(v0 + v1 && v2 + v3 + v4 >= v5 << v6 == v7 - v8); }
+	pn(9 != 3 || 7 + 12 < 1 > 2);
+	{ int v0 = 9, v1 = 3, v2 = 7, v3 = 12, v4 = 1, v5 = 2; pn(v0 != v1 || v2 + v3 < v4 > v5); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_compound_assign_right.zc b/tests/conformance/3-expressions/prec_compound_assign_right.zc
new file mode 100644
index 0000000..3dee965
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_compound_assign_right.zc
@@ -0,0 +1,9 @@
+// expect: 12/3/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a = 2, b = 3;
+	a *= b += 3;
+	pn(a); pn(b - 3);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_deref_postfix.zc b/tests/conformance/3-expressions/prec_deref_postfix.zc
new file mode 100644
index 0000000..2a3355f
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_deref_postfix.zc
@@ -0,0 +1,12 @@
+// expect: 5/6/8/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[3] a = {5, 6, 7};
+	int* p = a;
+	pn(*p);
+	pn(*p + 1);
+	pn(*p++ + 3);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/prec_left_add.zc b/tests/conformance/3-expressions/prec_left_add.zc
new file mode 100644
index 0000000..f3c7da6
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_add.zc
@@ -0,0 +1,39 @@
+// expect: 1/1/1/1/101/101/3/3/4/4/0/0/1/1/0/0/1/1/1/1/1/1/872/872/-1/-1/76/76/-2/-2/-8/-8/
+// first operator + followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(2 + -8 || 100);
+	{ int a = 2, b = -8, c = 100; pn(a + b || c); }
+	pn(9 + 0 && -8);
+	{ int a = 9, b = 0, c = -8; pn(a + b && c); }
+	pn(100 + -3 | 5);
+	{ int a = 100, b = -3, c = 5; pn(a + b | c); }
+	pn(5 + -8 ^ -2);
+	{ int a = 5, b = -8, c = -2; pn(a + b ^ c); }
+	pn(5 + 0 & 6);
+	{ int a = 5, b = 0, c = 6; pn(a + b & c); }
+	pn(8 + 4 == -2);
+	{ int a = 8, b = 4, c = -2; pn(a + b == c); }
+	pn(5 + 6 != 100);
+	{ int a = 5, b = 6, c = 100; pn(a + b != c); }
+	pn(3 + 100 < 12);
+	{ int a = 3, b = 100, c = 12; pn(a + b < c); }
+	pn(6 + 4 > -8);
+	{ int a = 6, b = 4, c = -8; pn(a + b > c); }
+	pn(5 + -2 <= 100);
+	{ int a = 5, b = -2, c = 100; pn(a + b <= c); }
+	pn(6 + 7 >= 2);
+	{ int a = 6, b = 7, c = 2; pn(a + b >= c); }
+	pn(100 + 9 << 3);
+	{ int a = 100, b = 9, c = 3; pn(a + b << c); }
+	pn(4 + -8 >> 3);
+	{ int a = 4, b = -8, c = 3; pn(a + b >> c); }
+	pn(100 + 12 * -2);
+	{ int a = 100, b = 12, c = -2; pn(a + b * c); }
+	pn(-2 + 3 / 12);
+	{ int a = -2, b = 3, c = 12; pn(a + b / c); }
+	pn(-8 + 3 % 1);
+	{ int a = -8, b = 3, c = 1; pn(a + b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_and.zc b/tests/conformance/3-expressions/prec_left_and.zc
new file mode 100644
index 0000000..32a00cc
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_and.zc
@@ -0,0 +1,41 @@
+// expect: 1/1/1/1/7/7/-6/-6/1/1/0/0/0/0/1/1/0/0/0/0/12/12/5/5/0/0/4/4/0/0/0/0/0/0/
+// first operator & followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(-2 & 3 || 4);
+	{ int a = -2, b = 3, c = 4; pn(a & b || c); }
+	pn(4 & -1 && 12);
+	{ int a = 4, b = -1, c = 12; pn(a & b && c); }
+	pn(4 & 2 | 7);
+	{ int a = 4, b = 2, c = 7; pn(a & b | c); }
+	pn(4 & 100 ^ -2);
+	{ int a = 4, b = 100, c = -2; pn(a & b ^ c); }
+	pn(9 & 12 == 12);
+	{ int a = 9, b = 12, c = 12; pn(a & b == c); }
+	pn(100 & 8 != -2);
+	{ int a = 100, b = 8, c = -2; pn(a & b != c); }
+	pn(0 & 8 < 1);
+	{ int a = 0, b = 8, c = 1; pn(a & b < c); }
+	pn(5 & 8 > 4);
+	{ int a = 5, b = 8, c = 4; pn(a & b > c); }
+	pn(4 & 8 <= 2);
+	{ int a = 4, b = 8, c = 2; pn(a & b <= c); }
+	pn(4 & -2 >= -1);
+	{ int a = 4, b = -2, c = -1; pn(a & b >= c); }
+	pn(-3 & 3 << 2);
+	{ int a = -3, b = 3, c = 2; pn(a & b << c); }
+	pn(5 & -1 >> 2);
+	{ int a = 5, b = -1, c = 2; pn(a & b >> c); }
+	pn(0 & 9 + 2);
+	{ int a = 0, b = 9, c = 2; pn(a & b + c); }
+	pn(5 & 4 - 6);
+	{ int a = 5, b = 4, c = 6; pn(a & b - c); }
+	pn(1 & 5 * 2);
+	{ int a = 1, b = 5, c = 2; pn(a & b * c); }
+	pn(12 & 9 / 3);
+	{ int a = 12, b = 9, c = 3; pn(a & b / c); }
+	pn(12 & 5 % 5);
+	{ int a = 12, b = 5, c = 5; pn(a & b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_andand.zc b/tests/conformance/3-expressions/prec_left_andand.zc
new file mode 100644
index 0000000..3e7a456
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_andand.zc
@@ -0,0 +1,41 @@
+// expect: 1/1/1/1/0/0/1/1/0/0/0/0/0/0/0/0/0/0/1/1/1/1/1/1/1/1/1/1/1/1/1/1/0/0/
+// first operator && followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(0 && 6 || 8);
+	{ int a = 0, b = 6, c = 8; pn(a && b || c); }
+	pn(5 && 4 | 4);
+	{ int a = 5, b = 4, c = 4; pn(a && b | c); }
+	pn(3 && 7 ^ 7);
+	{ int a = 3, b = 7, c = 7; pn(a && b ^ c); }
+	pn(-2 && 12 & 6);
+	{ int a = -2, b = 12, c = 6; pn(a && b & c); }
+	pn(-2 && 6 == 1);
+	{ int a = -2, b = 6, c = 1; pn(a && b == c); }
+	pn(0 && 8 != 8);
+	{ int a = 0, b = 8, c = 8; pn(a && b != c); }
+	pn(7 && 9 < 5);
+	{ int a = 7, b = 9, c = 5; pn(a && b < c); }
+	pn(3 && -3 > -2);
+	{ int a = 3, b = -3, c = -2; pn(a && b > c); }
+	pn(1 && 12 <= 4);
+	{ int a = 1, b = 12, c = 4; pn(a && b <= c); }
+	pn(7 && 4 >= 2);
+	{ int a = 7, b = 4, c = 2; pn(a && b >= c); }
+	pn(-2 && 2 << 4);
+	{ int a = -2, b = 2, c = 4; pn(a && b << c); }
+	pn(-3 && 9 >> 3);
+	{ int a = -3, b = 9, c = 3; pn(a && b >> c); }
+	pn(5 && -3 + 4);
+	{ int a = 5, b = -3, c = 4; pn(a && b + c); }
+	pn(8 && -1 - 6);
+	{ int a = 8, b = -1, c = 6; pn(a && b - c); }
+	pn(-2 && 3 * 7);
+	{ int a = -2, b = 3, c = 7; pn(a && b * c); }
+	pn(-2 && 3 / -1);
+	{ int a = -2, b = 3, c = -1; pn(a && b / c); }
+	pn(9 && 100 % 5);
+	{ int a = 9, b = 100, c = 5; pn(a && b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_div.zc b/tests/conformance/3-expressions/prec_left_div.zc
new file mode 100644
index 0000000..d2c30b1
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_div.zc
@@ -0,0 +1,43 @@
+// expect: 1/1/1/1/7/7/8/8/12/12/1/1/1/1/0/0/0/0/1/1/1/1/48/48/0/0/-8/-8/-7/-7/3/3/0/0/1/1/
+// first operator / followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(-2 / -8 || 5);
+	{ int a = -2, b = -8, c = 5; pn(a / b || c); }
+	pn(-2 / -1 && 1);
+	{ int a = -2, b = -1, c = 1; pn(a / b && c); }
+	pn(3 / 6 | 7);
+	{ int a = 3, b = 6, c = 7; pn(a / b | c); }
+	pn(-1 / -1 ^ 9);
+	{ int a = -1, b = -1, c = 9; pn(a / b ^ c); }
+	pn(12 / 1 & -2);
+	{ int a = 12, b = 1, c = -2; pn(a / b & c); }
+	pn(-1 / 9 == 0);
+	{ int a = -1, b = 9, c = 0; pn(a / b == c); }
+	pn(100 / 0 != 6);
+	{ int a = 100, b = 0, c = 6; pn(a / b != c); }
+	pn(7 / -3 < -2);
+	{ int a = 7, b = -3, c = -2; pn(a / b < c); }
+	pn(4 / 7 > 6);
+	{ int a = 4, b = 7, c = 6; pn(a / b > c); }
+	pn(-8 / 5 <= -1);
+	{ int a = -8, b = 5, c = -1; pn(a / b <= c); }
+	pn(100 / 0 >= -3);
+	{ int a = 100, b = 0, c = -3; pn(a / b >= c); }
+	pn(100 / 8 << 2);
+	{ int a = 100, b = 8, c = 2; pn(a / b << c); }
+	pn(7 / 12 >> 2);
+	{ int a = 7, b = 12, c = 2; pn(a / b >> c); }
+	pn(8 / 12 + -8);
+	{ int a = 8, b = 12, c = -8; pn(a / b + c); }
+	pn(4 / 7 - 7);
+	{ int a = 4, b = 7, c = 7; pn(a / b - c); }
+	pn(12 / 12 * 3);
+	{ int a = 12, b = 12, c = 3; pn(a / b * c); }
+	pn(1 / 8 / -8);
+	{ int a = 1, b = 8, c = -8; pn(a / b / c); }
+	pn(9 / 1 % -2);
+	{ int a = 9, b = 1, c = -2; pn(a / b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_eq.zc b/tests/conformance/3-expressions/prec_left_eq.zc
new file mode 100644
index 0000000..2a436e6
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_eq.zc
@@ -0,0 +1,43 @@
+// expect: 1/1/0/0/-7/-7/6/6/0/0/1/1/1/1/0/0/0/0/0/0/0/0/0/0/1/1/0/0/0/0/0/0/0/0/1/1/
+// first operator == followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(6 == 100 || 7);
+	{ int a = 6, b = 100, c = 7; pn(a == b || c); }
+	pn(1 == 8 && 7);
+	{ int a = 1, b = 8, c = 7; pn(a == b && c); }
+	pn(-2 == -2 | -8);
+	{ int a = -2, b = -2, c = -8; pn(a == b | c); }
+	pn(5 == 5 ^ 7);
+	{ int a = 5, b = 5, c = 7; pn(a == b ^ c); }
+	pn(4 == 4 & 100);
+	{ int a = 4, b = 4, c = 100; pn(a == b & c); }
+	pn(4 == 4 == 1);
+	{ int a = 4, b = 4, c = 1; pn(a == b == c); }
+	pn(7 == -1 != -1);
+	{ int a = 7, b = -1, c = -1; pn(a == b != c); }
+	pn(100 == 0 < 8);
+	{ int a = 100, b = 0, c = 8; pn(a == b < c); }
+	pn(5 == -8 > -2);
+	{ int a = 5, b = -8, c = -2; pn(a == b > c); }
+	pn(6 == 1 <= 3);
+	{ int a = 6, b = 1, c = 3; pn(a == b <= c); }
+	pn(100 == 2 >= -8);
+	{ int a = 100, b = 2, c = -8; pn(a == b >= c); }
+	pn(9 == 9 << 5);
+	{ int a = 9, b = 9, c = 5; pn(a == b << c); }
+	pn(2 == 8 >> 2);
+	{ int a = 2, b = 8, c = 2; pn(a == b >> c); }
+	pn(2 == 6 + -2);
+	{ int a = 2, b = 6, c = -2; pn(a == b + c); }
+	pn(9 == 12 - -8);
+	{ int a = 9, b = 12, c = -8; pn(a == b - c); }
+	pn(1 == 1 * -2);
+	{ int a = 1, b = 1, c = -2; pn(a == b * c); }
+	pn(-8 == -8 / -1);
+	{ int a = -8, b = -8, c = -1; pn(a == b / c); }
+	pn(0 == 9 % 9);
+	{ int a = 0, b = 9, c = 9; pn(a == b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_ge.zc b/tests/conformance/3-expressions/prec_left_ge.zc
new file mode 100644
index 0000000..c5b2d73
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_ge.zc
@@ -0,0 +1,43 @@
+// expect: 1/1/0/0/5/5/-3/-3/0/0/0/0/1/1/0/0/0/0/0/0/0/0/1/1/1/1/0/0/0/0/0/0/1/1/1/1/
+// first operator >= followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(-8 >= 8 || 7);
+	{ int a = -8, b = 8, c = 7; pn(a >= b || c); }
+	pn(5 >= 12 && 2);
+	{ int a = 5, b = 12, c = 2; pn(a >= b && c); }
+	pn(6 >= 7 | 5);
+	{ int a = 6, b = 7, c = 5; pn(a >= b | c); }
+	pn(-1 >= 5 ^ -3);
+	{ int a = -1, b = 5, c = -3; pn(a >= b ^ c); }
+	pn(9 >= 12 & 8);
+	{ int a = 9, b = 12, c = 8; pn(a >= b & c); }
+	pn(1 >= 12 == 12);
+	{ int a = 1, b = 12, c = 12; pn(a >= b == c); }
+	pn(-3 >= -2 != 5);
+	{ int a = -3, b = -2, c = 5; pn(a >= b != c); }
+	pn(0 >= 1 < 0);
+	{ int a = 0, b = 1, c = 0; pn(a >= b < c); }
+	pn(5 >= 100 > 5);
+	{ int a = 5, b = 100, c = 5; pn(a >= b > c); }
+	pn(12 >= 12 <= -1);
+	{ int a = 12, b = 12, c = -1; pn(a >= b <= c); }
+	pn(1 >= 9 >= 7);
+	{ int a = 1, b = 9, c = 7; pn(a >= b >= c); }
+	pn(6 >= -1 << 7);
+	{ int a = 6, b = -1, c = 7; pn(a >= b << c); }
+	pn(6 >= 100 >> 5);
+	{ int a = 6, b = 100, c = 5; pn(a >= b >> c); }
+	pn(4 >= 1 + 8);
+	{ int a = 4, b = 1, c = 8; pn(a >= b + c); }
+	pn(-1 >= 9 - -8);
+	{ int a = -1, b = 9, c = -8; pn(a >= b - c); }
+	pn(7 >= 4 * 5);
+	{ int a = 7, b = 4, c = 5; pn(a >= b * c); }
+	pn(2 >= 8 / 0);
+	{ int a = 2, b = 8, c = 0; pn(a >= b / c); }
+	pn(7 >= 9 % 5);
+	{ int a = 7, b = 9, c = 5; pn(a >= b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_gt.zc b/tests/conformance/3-expressions/prec_left_gt.zc
new file mode 100644
index 0000000..138989c
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_gt.zc
@@ -0,0 +1,43 @@
+// expect: 1/1/0/0/-1/-1/-8/-8/0/0/0/0/1/1/1/1/0/0/0/0/1/1/0/0/1/1/0/0/0/0/0/0/1/1/1/1/
+// first operator > followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(0 > 2 || 2);
+	{ int a = 0, b = 2, c = 2; pn(a > b || c); }
+	pn(5 > 7 && 3);
+	{ int a = 5, b = 7, c = 3; pn(a > b && c); }
+	pn(-1 > 5 | -1);
+	{ int a = -1, b = 5, c = -1; pn(a > b | c); }
+	pn(7 > 8 ^ -8);
+	{ int a = 7, b = 8, c = -8; pn(a > b ^ c); }
+	pn(12 > 1 & 12);
+	{ int a = 12, b = 1, c = 12; pn(a > b & c); }
+	pn(3 > 8 == 4);
+	{ int a = 3, b = 8, c = 4; pn(a > b == c); }
+	pn(-8 > 1 != 8);
+	{ int a = -8, b = 1, c = 8; pn(a > b != c); }
+	pn(-3 > 7 < 1);
+	{ int a = -3, b = 7, c = 1; pn(a > b < c); }
+	pn(100 > 9 > 3);
+	{ int a = 100, b = 9, c = 3; pn(a > b > c); }
+	pn(3 > -3 <= -8);
+	{ int a = 3, b = -3, c = -8; pn(a > b <= c); }
+	pn(-1 > 100 >= -8);
+	{ int a = -1, b = 100, c = -8; pn(a > b >= c); }
+	pn(9 > 4 << 2);
+	{ int a = 9, b = 4, c = 2; pn(a > b << c); }
+	pn(3 > -1 >> 5);
+	{ int a = 3, b = -1, c = 5; pn(a > b >> c); }
+	pn(-3 > 7 + 9);
+	{ int a = -3, b = 7, c = 9; pn(a > b + c); }
+	pn(-2 > 2 - -2);
+	{ int a = -2, b = 2, c = -2; pn(a > b - c); }
+	pn(0 > -3 * -8);
+	{ int a = 0, b = -3, c = -8; pn(a > b * c); }
+	pn(1 > 8 / -1);
+	{ int a = 1, b = 8, c = -1; pn(a > b / c); }
+	pn(4 > 4 % 1);
+	{ int a = 4, b = 4, c = 1; pn(a > b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_le.zc b/tests/conformance/3-expressions/prec_left_le.zc
new file mode 100644
index 0000000..e204439
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_le.zc
@@ -0,0 +1,43 @@
+// expect: 1/1/1/1/-7/-7/7/7/0/0/0/0/1/1/1/1/0/0/0/0/0/0/1/1/1/1/0/0/0/0/0/0/1/1/0/0/
+// first operator <= followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(12 <= 0 || 4);
+	{ int a = 12, b = 0, c = 4; pn(a <= b || c); }
+	pn(3 <= 7 && -1);
+	{ int a = 3, b = 7, c = -1; pn(a <= b && c); }
+	pn(4 <= 6 | -8);
+	{ int a = 4, b = 6, c = -8; pn(a <= b | c); }
+	pn(0 <= 8 ^ 6);
+	{ int a = 0, b = 8, c = 6; pn(a <= b ^ c); }
+	pn(-8 <= 12 & 4);
+	{ int a = -8, b = 12, c = 4; pn(a <= b & c); }
+	pn(-3 <= -2 == 6);
+	{ int a = -3, b = -2, c = 6; pn(a <= b == c); }
+	pn(6 <= 3 != -2);
+	{ int a = 6, b = 3, c = -2; pn(a <= b != c); }
+	pn(9 <= -8 < 1);
+	{ int a = 9, b = -8, c = 1; pn(a <= b < c); }
+	pn(-3 <= -1 > 9);
+	{ int a = -3, b = -1, c = 9; pn(a <= b > c); }
+	pn(-8 <= 9 <= 0);
+	{ int a = -8, b = 9, c = 0; pn(a <= b <= c); }
+	pn(-8 <= 9 >= 6);
+	{ int a = -8, b = 9, c = 6; pn(a <= b >= c); }
+	pn(-3 <= 3 << 2);
+	{ int a = -3, b = 3, c = 2; pn(a <= b << c); }
+	pn(-2 <= 3 >> 1);
+	{ int a = -2, b = 3, c = 1; pn(a <= b >> c); }
+	pn(4 <= -2 + -3);
+	{ int a = 4, b = -2, c = -3; pn(a <= b + c); }
+	pn(6 <= -3 - 3);
+	{ int a = 6, b = -3, c = 3; pn(a <= b - c); }
+	pn(-3 <= -2 * 3);
+	{ int a = -3, b = -2, c = 3; pn(a <= b * c); }
+	pn(0 <= 9 / 2);
+	{ int a = 0, b = 9, c = 2; pn(a <= b / c); }
+	pn(3 <= 8 % 7);
+	{ int a = 3, b = 8, c = 7; pn(a <= b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_lt.zc b/tests/conformance/3-expressions/prec_left_lt.zc
new file mode 100644
index 0000000..36a0c5f
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_lt.zc
@@ -0,0 +1,43 @@
+// expect: 1/1/1/1/-7/-7/6/6/0/0/1/1/1/1/1/1/0/0/1/1/0/0/1/1/1/1/0/0/1/1/1/1/1/1/1/1/
+// first operator < followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(6 < 9 || 7);
+	{ int a = 6, b = 9, c = 7; pn(a < b || c); }
+	pn(1 < 7 && -2);
+	{ int a = 1, b = 7, c = -2; pn(a < b && c); }
+	pn(3 < 12 | -8);
+	{ int a = 3, b = 12, c = -8; pn(a < b | c); }
+	pn(7 < 12 ^ 7);
+	{ int a = 7, b = 12, c = 7; pn(a < b ^ c); }
+	pn(7 < -3 & 9);
+	{ int a = 7, b = -3, c = 9; pn(a < b & c); }
+	pn(7 < 7 == 0);
+	{ int a = 7, b = 7, c = 0; pn(a < b == c); }
+	pn(3 < 2 != 1);
+	{ int a = 3, b = 2, c = 1; pn(a < b != c); }
+	pn(4 < 100 < 4);
+	{ int a = 4, b = 100, c = 4; pn(a < b < c); }
+	pn(-1 < 8 > 6);
+	{ int a = -1, b = 8, c = 6; pn(a < b > c); }
+	pn(6 < 7 <= 9);
+	{ int a = 6, b = 7, c = 9; pn(a < b <= c); }
+	pn(-1 < 0 >= 8);
+	{ int a = -1, b = 0, c = 8; pn(a < b >= c); }
+	pn(9 < 12 << 6);
+	{ int a = 9, b = 12, c = 6; pn(a < b << c); }
+	pn(-3 < 0 >> 4);
+	{ int a = -3, b = 0, c = 4; pn(a < b >> c); }
+	pn(4 < -2 + 1);
+	{ int a = 4, b = -2, c = 1; pn(a < b + c); }
+	pn(-8 < 4 - 2);
+	{ int a = -8, b = 4, c = 2; pn(a < b - c); }
+	pn(6 < 3 * 3);
+	{ int a = 6, b = 3, c = 3; pn(a < b * c); }
+	pn(-1 < 100 / 6);
+	{ int a = -1, b = 100, c = 6; pn(a < b / c); }
+	pn(-2 < -8 % -2);
+	{ int a = -2, b = -8, c = -2; pn(a < b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_mod.zc b/tests/conformance/3-expressions/prec_left_mod.zc
new file mode 100644
index 0000000..a69cf77
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_mod.zc
@@ -0,0 +1,43 @@
+// expect: 1/1/1/1/-7/-7/1/1/-4/-4/0/0/1/1/1/1/0/0/1/1/0/0/0/0/-2/-2/-2/-2/-9/-9/4/4/0/0/1/1/
+// first operator % followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(2 % 5 || 2);
+	{ int a = 2, b = 5, c = 2; pn(a % b || c); }
+	pn(-1 % 100 && 100);
+	{ int a = -1, b = 100, c = 100; pn(a % b && c); }
+	pn(7 % 6 | -8);
+	{ int a = 7, b = 6, c = -8; pn(a % b | c); }
+	pn(3 % 100 ^ 2);
+	{ int a = 3, b = 100, c = 2; pn(a % b ^ c); }
+	pn(-2 % -8 & -3);
+	{ int a = -2, b = -8, c = -3; pn(a % b & c); }
+	pn(9 % 6 == 2);
+	{ int a = 9, b = 6, c = 2; pn(a % b == c); }
+	pn(7 % 8 != -8);
+	{ int a = 7, b = 8, c = -8; pn(a % b != c); }
+	pn(9 % 9 < 3);
+	{ int a = 9, b = 9, c = 3; pn(a % b < c); }
+	pn(5 % -8 > 100);
+	{ int a = 5, b = -8, c = 100; pn(a % b > c); }
+	pn(8 % -8 <= 0);
+	{ int a = 8, b = -8, c = 0; pn(a % b <= c); }
+	pn(-1 % -2 >= 5);
+	{ int a = -1, b = -2, c = 5; pn(a % b >= c); }
+	pn(100 % 5 << 6);
+	{ int a = 100, b = 5, c = 6; pn(a % b << c); }
+	pn(-8 % 0 >> 2);
+	{ int a = -8, b = 0, c = 2; pn(a % b >> c); }
+	pn(-1 % 0 + -1);
+	{ int a = -1, b = 0, c = -1; pn(a % b + c); }
+	pn(-3 % 3 - 9);
+	{ int a = -3, b = 3, c = 9; pn(a % b - c); }
+	pn(5 % 2 * 4);
+	{ int a = 5, b = 2, c = 4; pn(a % b * c); }
+	pn(-8 % 5 / 100);
+	{ int a = -8, b = 5, c = 100; pn(a % b / c); }
+	pn(5 % 4 % 2);
+	{ int a = 5, b = 4, c = 2; pn(a % b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_mul.zc b/tests/conformance/3-expressions/prec_left_mul.zc
new file mode 100644
index 0000000..4e2dacc
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_mul.zc
@@ -0,0 +1,39 @@
+// expect: 1/1/1/1/-2/-2/27/27/0/0/0/0/1/1/1/1/1/1/1/1/1/1/4/4/106/106/7/7/-36/-36/0/0/
+// first operator * followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(4 * -2 || -8);
+	{ int a = 4, b = -2, c = -8; pn(a * b || c); }
+	pn(4 * 12 && 100);
+	{ int a = 4, b = 12, c = 100; pn(a * b && c); }
+	pn(-2 * 5 | -2);
+	{ int a = -2, b = 5, c = -2; pn(a * b | c); }
+	pn(4 * 7 ^ 7);
+	{ int a = 4, b = 7, c = 7; pn(a * b ^ c); }
+	pn(6 * 8 & 9);
+	{ int a = 6, b = 8, c = 9; pn(a * b & c); }
+	pn(-3 * 8 == 8);
+	{ int a = -3, b = 8, c = 8; pn(a * b == c); }
+	pn(6 * 5 != -2);
+	{ int a = 6, b = 5, c = -2; pn(a * b != c); }
+	pn(8 * -2 < -3);
+	{ int a = 8, b = -2, c = -3; pn(a * b < c); }
+	pn(-2 * -3 > 3);
+	{ int a = -2, b = -3, c = 3; pn(a * b > c); }
+	pn(-3 * 9 <= 2);
+	{ int a = -3, b = 9, c = 2; pn(a * b <= c); }
+	pn(2 * 12 >= 9);
+	{ int a = 2, b = 12, c = 9; pn(a * b >= c); }
+	pn(3 * 100 >> 6);
+	{ int a = 3, b = 100, c = 6; pn(a * b >> c); }
+	pn(-3 * -2 + 100);
+	{ int a = -3, b = -2, c = 100; pn(a * b + c); }
+	pn(-2 * -2 - -3);
+	{ int a = -2, b = -2, c = -3; pn(a * b - c); }
+	pn(-8 * 9 / 2);
+	{ int a = -8, b = 9, c = 2; pn(a * b / c); }
+	pn(6 * 9 % 6);
+	{ int a = 6, b = 9, c = 6; pn(a * b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_ne.zc b/tests/conformance/3-expressions/prec_left_ne.zc
new file mode 100644
index 0000000..e14991f
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_ne.zc
@@ -0,0 +1,43 @@
+// expect: 1/1/1/1/5/5/8/8/0/0/0/0/0/0/1/1/0/0/1/1/1/1/1/1/1/1/1/1/0/0/1/1/1/1/1/1/
+// first operator != followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(1 != 12 || -1);
+	{ int a = 1, b = 12, c = -1; pn(a != b || c); }
+	pn(1 != 5 && -8);
+	{ int a = 1, b = 5, c = -8; pn(a != b && c); }
+	pn(1 != -3 | 5);
+	{ int a = 1, b = -3, c = 5; pn(a != b | c); }
+	pn(2 != 6 ^ 9);
+	{ int a = 2, b = 6, c = 9; pn(a != b ^ c); }
+	pn(6 != -3 & -8);
+	{ int a = 6, b = -3, c = -8; pn(a != b & c); }
+	pn(2 != -8 == -1);
+	{ int a = 2, b = -8, c = -1; pn(a != b == c); }
+	pn(7 != 0 != 1);
+	{ int a = 7, b = 0, c = 1; pn(a != b != c); }
+	pn(4 != -1 < -3);
+	{ int a = 4, b = -1, c = -3; pn(a != b < c); }
+	pn(1 != 2 > -2);
+	{ int a = 1, b = 2, c = -2; pn(a != b > c); }
+	pn(8 != -8 <= -3);
+	{ int a = 8, b = -8, c = -3; pn(a != b <= c); }
+	pn(3 != 6 >= 100);
+	{ int a = 3, b = 6, c = 100; pn(a != b >= c); }
+	pn(2 != 4 << 7);
+	{ int a = 2, b = 4, c = 7; pn(a != b << c); }
+	pn(4 != 12 >> 1);
+	{ int a = 4, b = 12, c = 1; pn(a != b >> c); }
+	pn(1 != 4 + -2);
+	{ int a = 1, b = 4, c = -2; pn(a != b + c); }
+	pn(-2 != 1 - 3);
+	{ int a = -2, b = 1, c = 3; pn(a != b - c); }
+	pn(3 != 8 * -2);
+	{ int a = 3, b = 8, c = -2; pn(a != b * c); }
+	pn(4 != 2 / 4);
+	{ int a = 4, b = 2, c = 4; pn(a != b / c); }
+	pn(12 != 7 % 1);
+	{ int a = 12, b = 7, c = 1; pn(a != b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_or.zc b/tests/conformance/3-expressions/prec_left_or.zc
new file mode 100644
index 0000000..85b7181
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_or.zc
@@ -0,0 +1,41 @@
+// expect: 1/1/1/1/-2/-2/13/13/1/1/5/5/-1/-1/9/9/101/101/-3/-3/-186/-186/101/101/-7/-7/-3/-3/-1/-1/-1/-1/11/11/
+// first operator | followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(-1 | 0 || 1);
+	{ int a = -1, b = 0, c = 1; pn(a | b || c); }
+	pn(3 | 0 && 7);
+	{ int a = 3, b = 0, c = 7; pn(a | b && c); }
+	pn(-2 | 0 ^ -2);
+	{ int a = -2, b = 0, c = -2; pn(a | b ^ c); }
+	pn(12 | 7 & 1);
+	{ int a = 12, b = 7, c = 1; pn(a | b & c); }
+	pn(1 | -3 == 2);
+	{ int a = 1, b = -3, c = 2; pn(a | b == c); }
+	pn(5 | 5 != -8);
+	{ int a = 5, b = 5, c = -8; pn(a | b != c); }
+	pn(-1 | 100 < 12);
+	{ int a = -1, b = 100, c = 12; pn(a | b < c); }
+	pn(9 | -1 > 1);
+	{ int a = 9, b = -1, c = 1; pn(a | b > c); }
+	pn(100 | 0 <= 4);
+	{ int a = 100, b = 0, c = 4; pn(a | b <= c); }
+	pn(-3 | 6 >= 6);
+	{ int a = -3, b = 6, c = 6; pn(a | b >= c); }
+	pn(6 | -3 << 6);
+	{ int a = 6, b = -3, c = 6; pn(a | b << c); }
+	pn(100 | 7 >> 2);
+	{ int a = 100, b = 7, c = 2; pn(a | b >> c); }
+	pn(-8 | 8 + 9);
+	{ int a = -8, b = 8, c = 9; pn(a | b + c); }
+	pn(-3 | 1 - -3);
+	{ int a = -3, b = 1, c = -3; pn(a | b - c); }
+	pn(-2 | -3 * 7);
+	{ int a = -2, b = -3, c = 7; pn(a | b * c); }
+	pn(-3 | -2 / 2);
+	{ int a = -3, b = -2, c = 2; pn(a | b / c); }
+	pn(9 | 2 % -8);
+	{ int a = 9, b = 2, c = -8; pn(a | b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_oror.zc b/tests/conformance/3-expressions/prec_left_oror.zc
new file mode 100644
index 0000000..5a70617
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_oror.zc
@@ -0,0 +1,41 @@
+// expect: 1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/1/
+// first operator || followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(12 || 9 && 0);
+	{ int a = 12, b = 9, c = 0; pn(a || b && c); }
+	pn(7 || 0 | 4);
+	{ int a = 7, b = 0, c = 4; pn(a || b | c); }
+	pn(4 || -1 ^ 7);
+	{ int a = 4, b = -1, c = 7; pn(a || b ^ c); }
+	pn(3 || -8 & 100);
+	{ int a = 3, b = -8, c = 100; pn(a || b & c); }
+	pn(4 || 100 == -8);
+	{ int a = 4, b = 100, c = -8; pn(a || b == c); }
+	pn(100 || -3 != 1);
+	{ int a = 100, b = -3, c = 1; pn(a || b != c); }
+	pn(7 || 2 < -2);
+	{ int a = 7, b = 2, c = -2; pn(a || b < c); }
+	pn(-1 || 0 > 4);
+	{ int a = -1, b = 0, c = 4; pn(a || b > c); }
+	pn(100 || -3 <= -1);
+	{ int a = 100, b = -3, c = -1; pn(a || b <= c); }
+	pn(1 || 8 >= 12);
+	{ int a = 1, b = 8, c = 12; pn(a || b >= c); }
+	pn(-8 || 100 << 3);
+	{ int a = -8, b = 100, c = 3; pn(a || b << c); }
+	pn(9 || 12 >> 2);
+	{ int a = 9, b = 12, c = 2; pn(a || b >> c); }
+	pn(1 || -1 + 8);
+	{ int a = 1, b = -1, c = 8; pn(a || b + c); }
+	pn(-3 || 100 - 100);
+	{ int a = -3, b = 100, c = 100; pn(a || b - c); }
+	pn(12 || -2 * -3);
+	{ int a = 12, b = -2, c = -3; pn(a || b * c); }
+	pn(-8 || 0 / -2);
+	{ int a = -8, b = 0, c = -2; pn(a || b / c); }
+	pn(-1 || 4 % -1);
+	{ int a = -1, b = 4, c = -1; pn(a || b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_shl.zc b/tests/conformance/3-expressions/prec_left_shl.zc
new file mode 100644
index 0000000..78eef19
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_shl.zc
@@ -0,0 +1,43 @@
+// expect: 1/1/0/0/72/72/36/36/0/0/0/0/1/1/0/0/1/1/1/1/1/1/-64/-64/32/32/2594073385365405696/2594073385365405696/900719925474099200/900719925474099200/-144115188075855872/-144115188075855872/2/2/-1/-1/
+// first operator << followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(3 << 3 || 2);
+	{ int a = 3, b = 3, c = 2; pn(a << b || c); }
+	pn(-8 << 7 && 0);
+	{ int a = -8, b = 7, c = 0; pn(a << b && c); }
+	pn(4 << 4 | 8);
+	{ int a = 4, b = 4, c = 8; pn(a << b | c); }
+	pn(1 << 6 ^ 100);
+	{ int a = 1, b = 6, c = 100; pn(a << b ^ c); }
+	pn(3 << 5 & 1);
+	{ int a = 3, b = 5, c = 1; pn(a << b & c); }
+	pn(2 << 3 == 6);
+	{ int a = 2, b = 3, c = 6; pn(a << b == c); }
+	pn(-3 << 6 != 100);
+	{ int a = -3, b = 6, c = 100; pn(a << b != c); }
+	pn(5 << 6 < 9);
+	{ int a = 5, b = 6, c = 9; pn(a << b < c); }
+	pn(7 << 0 > 3);
+	{ int a = 7, b = 0, c = 3; pn(a << b > c); }
+	pn(0 << 1 <= 3);
+	{ int a = 0, b = 1, c = 3; pn(a << b <= c); }
+	pn(8 << 0 >= 3);
+	{ int a = 8, b = 0, c = 3; pn(a << b >= c); }
+	pn(-1 << 1 << 5);
+	{ int a = -1, b = 1, c = 5; pn(a << b << c); }
+	pn(4 << 5 >> 2);
+	{ int a = 4, b = 5, c = 2; pn(a << b >> c); }
+	pn(9 << 2 + -8);
+	{ int a = 9, b = 2, c = -8; pn(a << b + c); }
+	pn(100 << 1 - 12);
+	{ int a = 100, b = 1, c = 12; pn(a << b - c); }
+	pn(-8 << 6 * 9);
+	{ int a = -8, b = 6, c = 9; pn(a << b * c); }
+	pn(2 << 0 / 7);
+	{ int a = 2, b = 0, c = 7; pn(a << b / c); }
+	pn(-1 << 5 % 5);
+	{ int a = -1, b = 5, c = 5; pn(a << b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_shr.zc b/tests/conformance/3-expressions/prec_left_shr.zc
new file mode 100644
index 0000000..e3de1cd
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_shr.zc
@@ -0,0 +1,43 @@
+// expect: 1/1/1/1/-4/-4/-6/-6/0/0/0/0/1/1/1/1/1/1/1/1/0/0/-128/-128/0/0/0/0/-1/-1/0/0/4/4/7/7/
+// first operator >> followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(9 >> 5 || 9);
+	{ int a = 9, b = 5, c = 9; pn(a >> b || c); }
+	pn(100 >> 6 && -1);
+	{ int a = 100, b = 6, c = -1; pn(a >> b && c); }
+	pn(4 >> 0 | -8);
+	{ int a = 4, b = 0, c = -8; pn(a >> b | c); }
+	pn(-3 >> 1 ^ 4);
+	{ int a = -3, b = 1, c = 4; pn(a >> b ^ c); }
+	pn(8 >> 3 & 0);
+	{ int a = 8, b = 3, c = 0; pn(a >> b & c); }
+	pn(5 >> 2 == 9);
+	{ int a = 5, b = 2, c = 9; pn(a >> b == c); }
+	pn(5 >> 7 != 1);
+	{ int a = 5, b = 7, c = 1; pn(a >> b != c); }
+	pn(-3 >> 0 < -2);
+	{ int a = -3, b = 0, c = -2; pn(a >> b < c); }
+	pn(100 >> 6 > -2);
+	{ int a = 100, b = 6, c = -2; pn(a >> b > c); }
+	pn(-8 >> 0 <= -3);
+	{ int a = -8, b = 0, c = -3; pn(a >> b <= c); }
+	pn(8 >> 7 >= 100);
+	{ int a = 8, b = 7, c = 100; pn(a >> b >= c); }
+	pn(-3 >> 3 << 7);
+	{ int a = -3, b = 3, c = 7; pn(a >> b << c); }
+	pn(6 >> 6 >> 5);
+	{ int a = 6, b = 6, c = 5; pn(a >> b >> c); }
+	pn(0 >> 2 + 8);
+	{ int a = 0, b = 2, c = 8; pn(a >> b + c); }
+	pn(-2 >> 0 - 4);
+	{ int a = -2, b = 0, c = 4; pn(a >> b - c); }
+	pn(9 >> 3 * 8);
+	{ int a = 9, b = 3, c = 8; pn(a >> b * c); }
+	pn(4 >> 0 / 4);
+	{ int a = 4, b = 0, c = 4; pn(a >> b / c); }
+	pn(7 >> 7 % 1);
+	{ int a = 7, b = 7, c = 1; pn(a >> b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_sub.zc b/tests/conformance/3-expressions/prec_left_sub.zc
new file mode 100644
index 0000000..6cdb21d
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_sub.zc
@@ -0,0 +1,43 @@
+// expect: 1/1/1/1/-1/-1/-13/-13/0/0/0/0/1/1/1/1/0/0/1/1/0/0/768/768/-3/-3/6/6/-16/-16/-28/-28/7/7/8/8/
+// first operator - followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(5 - 6 || -1);
+	{ int a = 5, b = 6, c = -1; pn(a - b || c); }
+	pn(-1 - 12 && -2);
+	{ int a = -1, b = 12, c = -2; pn(a - b && c); }
+	pn(4 - 7 | -1);
+	{ int a = 4, b = 7, c = -1; pn(a - b | c); }
+	pn(12 - -2 ^ -3);
+	{ int a = 12, b = -2, c = -3; pn(a - b ^ c); }
+	pn(4 - 1 & 4);
+	{ int a = 4, b = 1, c = 4; pn(a - b & c); }
+	pn(12 - 1 == 12);
+	{ int a = 12, b = 1, c = 12; pn(a - b == c); }
+	pn(100 - 1 != 7);
+	{ int a = 100, b = 1, c = 7; pn(a - b != c); }
+	pn(8 - -3 < 100);
+	{ int a = 8, b = -3, c = 100; pn(a - b < c); }
+	pn(-1 - -3 > 2);
+	{ int a = -1, b = -3, c = 2; pn(a - b > c); }
+	pn(1 - -2 <= 9);
+	{ int a = 1, b = -2, c = 9; pn(a - b <= c); }
+	pn(8 - 9 >= 7);
+	{ int a = 8, b = 9, c = 7; pn(a - b >= c); }
+	pn(7 - 1 << 7);
+	{ int a = 7, b = 1, c = 7; pn(a - b << c); }
+	pn(0 - 9 >> 2);
+	{ int a = 0, b = 9, c = 2; pn(a - b >> c); }
+	pn(5 - 7 + 8);
+	{ int a = 5, b = 7, c = 8; pn(a - b + c); }
+	pn(-2 - 8 - 6);
+	{ int a = -2, b = 8, c = 6; pn(a - b - c); }
+	pn(-8 - 5 * 4);
+	{ int a = -8, b = 5, c = 4; pn(a - b * c); }
+	pn(7 - 5 / 6);
+	{ int a = 7, b = 5, c = 6; pn(a - b / c); }
+	pn(6 - -2 % 6);
+	{ int a = 6, b = -2, c = 6; pn(a - b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_left_xor.zc b/tests/conformance/3-expressions/prec_left_xor.zc
new file mode 100644
index 0000000..a977688
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_left_xor.zc
@@ -0,0 +1,41 @@
+// expect: 1/1/1/1/7/7/2/2/4/4/7/7/8/8/4/4/-3/-3/-2/-2/3/3/-3/-3/12/12/-8/-8/87/87/-2/-2/3/3/
+// first operator ^ followed by each other binary operator; operands chosen so that the two groupings differ
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(5 ^ -8 || 9);
+	{ int a = 5, b = -8, c = 9; pn(a ^ b || c); }
+	pn(-2 ^ 5 && -3);
+	{ int a = -2, b = 5, c = -3; pn(a ^ b && c); }
+	pn(7 ^ 4 | 4);
+	{ int a = 7, b = 4, c = 4; pn(a ^ b | c); }
+	pn(7 ^ -1 & 5);
+	{ int a = 7, b = -1, c = 5; pn(a ^ b & c); }
+	pn(4 ^ 4 == 6);
+	{ int a = 4, b = 4, c = 6; pn(a ^ b == c); }
+	pn(6 ^ -8 != 12);
+	{ int a = 6, b = -8, c = 12; pn(a ^ b != c); }
+	pn(8 ^ -1 < -1);
+	{ int a = 8, b = -1, c = -1; pn(a ^ b < c); }
+	pn(4 ^ 2 > 5);
+	{ int a = 4, b = 2, c = 5; pn(a ^ b > c); }
+	pn(-3 ^ 8 <= 6);
+	{ int a = -3, b = 8, c = 6; pn(a ^ b <= c); }
+	pn(-2 ^ -8 >= 1);
+	{ int a = -2, b = -8, c = 1; pn(a ^ b >= c); }
+	pn(3 ^ 0 << 2);
+	{ int a = 3, b = 0, c = 2; pn(a ^ b << c); }
+	pn(2 ^ -2 >> 2);
+	{ int a = 2, b = -2, c = 2; pn(a ^ b >> c); }
+	pn(9 ^ -2 + 7);
+	{ int a = 9, b = -2, c = 7; pn(a ^ b + c); }
+	pn(3 ^ -8 - -3);
+	{ int a = 3, b = -8, c = -3; pn(a ^ b - c); }
+	pn(6 ^ 9 * 9);
+	{ int a = 6, b = 9, c = 9; pn(a ^ b * c); }
+	pn(-2 ^ -2 / -8);
+	{ int a = -2, b = -2, c = -8; pn(a ^ b / c); }
+	pn(3 ^ 12 % -3);
+	{ int a = 3, b = 12, c = -3; pn(a ^ b % c); }
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_postfix_incr_value.zc b/tests/conformance/3-expressions/prec_postfix_incr_value.zc
new file mode 100644
index 0000000..b5ad819
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_postfix_incr_value.zc
@@ -0,0 +1,11 @@
+// expect: 5/6/7/7/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a = 5;
+	pn(a++);
+	pn(a);
+	pn(++a);
+	pn(a);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/prec_postfix_tighter_than_prefix.zc b/tests/conformance/3-expressions/prec_postfix_tighter_than_prefix.zc
new file mode 100644
index 0000000..36cccf5
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_postfix_tighter_than_prefix.zc
@@ -0,0 +1,12 @@
+// expect: -6/6/-5/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[3] a = {5, 6, 7};
+	int i = 1;
+	pn(-a[i]);
+	pn(- -a[i]);
+	pn(-a[i - 1]);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/prec_table_examples.zc b/tests/conformance/3-expressions/prec_table_examples.zc
new file mode 100644
index 0000000..f78562d
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_table_examples.zc
@@ -0,0 +1,24 @@
+// expect: 1/1/0/3/0/6/8/1/1/3/10/5/2/1/0/3/-1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(1 || 0 && 0);
+	pn(0 && 0 || 1);
+	pn(1 | 2 && 0);
+	pn(0 == 0 | 2);
+	pn(6 & 3 == 3);
+	pn(1 + 2 << 1);
+	pn(1 << 2 + 1);
+	pn(2 < 3 == 1);
+	pn(1 < 2 < 3 ? 1 : 0);
+	pn(1 ^ 3 & 2);
+	pn(7 & 3 ^ 1 | 8);
+	pn(10 - 3 - 2);
+	pn(100 / 10 / 5);
+	pn(1 < 2 < 3);
+	pn(3 > 2 > 1);
+	pn(0 ? 1 : 0 ? 2 : 3);
+	pn(-2 as int + 1);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/prec_ternary_cond_is_binary.zc b/tests/conformance/3-expressions/prec_ternary_cond_is_binary.zc
new file mode 100644
index 0000000..2890f6e
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_ternary_cond_is_binary.zc
@@ -0,0 +1,12 @@
+// expect: 3/8/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a, b = 3;
+	a = b == 3 ? 3 : 4;
+	pn(a);
+	a = b + 1 > 3 && b ? 8 : 9;
+	pn(a);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/prec_ternary_else_assign.zc b/tests/conformance/3-expressions/prec_ternary_else_assign.zc
new file mode 100644
index 0000000..400e780
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_ternary_else_assign.zc
@@ -0,0 +1,13 @@
+// expect: 0/5/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a = 1, c = 0;
+	a ? 1 : c = 5;
+	pn(c);
+	a = 0;
+	a ? 1 : c = 5;
+	pn(c);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/prec_ternary_middle_full_expr.zc b/tests/conformance/3-expressions/prec_ternary_middle_full_expr.zc
new file mode 100644
index 0000000..21ac07c
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_ternary_middle_full_expr.zc
@@ -0,0 +1,10 @@
+// expect: 4/4/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a = 1, b = 0;
+	int r = a ? b = 4 : 7;
+	pn(r); pn(b);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/prec_unary_vs_binary.zc b/tests/conformance/3-expressions/prec_unary_vs_binary.zc
new file mode 100644
index 0000000..a7b7e48
--- /dev/null
+++ b/tests/conformance/3-expressions/prec_unary_vs_binary.zc
@@ -0,0 +1,12 @@
+// expect: -6/-6/6/-9/1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a = 2, b = 3;
+	pn(-a * b);
+	pn(- a * b);
+	pn(-(-a) * b);
+	pn(~a * 3 + 0);
+	pn(!a + 1 == 1);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/ptr_add_words.zc b/tests/conformance/3-expressions/ptr_add_words.zc
new file mode 100644
index 0000000..6b869f6
--- /dev/null
+++ b/tests/conformance/3-expressions/ptr_add_words.zc
@@ -0,0 +1,14 @@
+// expect: 5/1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+struct point { int x; int y; }
+fn main() {
+	point* p = rt.new(point, 3);
+	p[1].x = 5;
+	int* q = (int*)p;
+	pn(q[2]);
+	pn((int)(p + 1) - (int)p);
+	rt.free(p);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/ptr_addr_of_forms.zc b/tests/conformance/3-expressions/ptr_addr_of_forms.zc
new file mode 100644
index 0000000..4bcf8cf
--- /dev/null
+++ b/tests/conformance/3-expressions/ptr_addr_of_forms.zc
@@ -0,0 +1,24 @@
+// expect: 1/1/1/1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+struct pt { int x; int y; }
+int gv;
+fn main() {
+	int a = 3;
+	int* pa = &a;
+	*pa = 4;
+	pn(a == 4);
+	*(&gv) = 8;
+	pn(gv == 8);
+	pt* q = rt.new(pt);
+	int* py = &q.y;
+	*py = 6;
+	pn(q.y == 6);
+	int[3] arr;
+	int* pe = &arr[2];
+	*pe = 1;
+	pn(arr[2]);
+	rt.free(q);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/ptr_deref_struct_is_address.zc b/tests/conformance/3-expressions/ptr_deref_struct_is_address.zc
new file mode 100644
index 0000000..f495fc5
--- /dev/null
+++ b/tests/conformance/3-expressions/ptr_deref_struct_is_address.zc
@@ -0,0 +1,11 @@
+// expect: 1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+struct point { int x; int y; }
+fn main() {
+	point* p = rt.new(point, 4);
+	pn((int)(*(p + 2)) == (int)(p + 2));
+	rt.free(p);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/ptr_difference.zc b/tests/conformance/3-expressions/ptr_difference.zc
new file mode 100644
index 0000000..ea5eb15
--- /dev/null
+++ b/tests/conformance/3-expressions/ptr_difference.zc
@@ -0,0 +1,12 @@
+// expect: 3/-3/2/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int[8] a;
+	int* p = a;
+	int* q = p + 3;
+	pn(q - p);
+	pn(p - q);
+	pn((q - 1) - p);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/ptr_field_of_new_object.zc b/tests/conformance/3-expressions/ptr_field_of_new_object.zc
new file mode 100644
index 0000000..3d01581
--- /dev/null
+++ b/tests/conformance/3-expressions/ptr_field_of_new_object.zc
@@ -0,0 +1,7 @@
+// expect error: use a field of a new object only after binding it to a name
+include rt;
+struct pt { int x; int y; }
+fn main() {
+	rt.put_n(rt.new(pt).x);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/ptr_index_must_be_number.zc b/tests/conformance/3-expressions/ptr_index_must_be_number.zc
new file mode 100644
index 0000000..766e348
--- /dev/null
+++ b/tests/conformance/3-expressions/ptr_index_must_be_number.zc
@@ -0,0 +1,8 @@
+// expect error: type error
+include rt;
+typecheck on;
+fn main() {
+	int[2] a; int* p = a;
+	rt.put_n(a[p]);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/ptr_index_new_object.zc b/tests/conformance/3-expressions/ptr_index_new_object.zc
new file mode 100644
index 0000000..7f729fa
--- /dev/null
+++ b/tests/conformance/3-expressions/ptr_index_new_object.zc
@@ -0,0 +1,6 @@
+// expect error: index a new object only after binding it to a name
+include rt;
+fn main() {
+	rt.put_n(rt.new(int)[0]);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/ptr_index_scaled.zc b/tests/conformance/3-expressions/ptr_index_scaled.zc
new file mode 100644
index 0000000..fd61dd9
--- /dev/null
+++ b/tests/conformance/3-expressions/ptr_index_scaled.zc
@@ -0,0 +1,13 @@
+// expect: 7/9/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+struct trip { int a; int b; int c; }
+fn main() {
+	trip* t = rt.new(trip, 2);
+	int* w = (int*)t;
+	w[3] = 7; w[5] = 9;
+	pn(t[1].a); pn(t[1].c);
+	rt.free(t);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/short_circuit.zc b/tests/conformance/3-expressions/short_circuit.zc
new file mode 100644
index 0000000..ac23ade
--- /dev/null
+++ b/tests/conformance/3-expressions/short_circuit.zc
@@ -0,0 +1,15 @@
+// expect: 1/1/0/1/
+include rt;
+int calls;
+int seen(int v) { calls++; return v; }
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	calls = 0;
+	int r = seen(1) || seen(0) && seen(1);
+	pn(r); pn(calls);
+	calls = 0;
+	r = seen(0) && seen(1);
+	pn(r);
+	pn(calls);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/short_circuit_and_evaluates_right.zc b/tests/conformance/3-expressions/short_circuit_and_evaluates_right.zc
new file mode 100644
index 0000000..ae3e774
--- /dev/null
+++ b/tests/conformance/3-expressions/short_circuit_and_evaluates_right.zc
@@ -0,0 +1,10 @@
+// expect: 1/2/
+include rt;
+int calls;
+int seen(int v) { calls++; return v; }
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int r = seen(7) && seen(9);
+	pn(r); pn(calls);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/short_circuit_or_evaluates_right_when_zero.zc b/tests/conformance/3-expressions/short_circuit_or_evaluates_right_when_zero.zc
new file mode 100644
index 0000000..056159a
--- /dev/null
+++ b/tests/conformance/3-expressions/short_circuit_or_evaluates_right_when_zero.zc
@@ -0,0 +1,10 @@
+// expect: 1/2/
+include rt;
+int calls;
+int seen(int v) { calls++; return v; }
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int r = seen(0) || seen(3);
+	pn(r); pn(calls);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/short_circuit_or_skips_right.zc b/tests/conformance/3-expressions/short_circuit_or_skips_right.zc
new file mode 100644
index 0000000..1e573ee
--- /dev/null
+++ b/tests/conformance/3-expressions/short_circuit_or_skips_right.zc
@@ -0,0 +1,10 @@
+// expect: 1/1/
+include rt;
+int calls;
+int seen(int v) { calls++; return v; }
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int r = seen(7) || seen(0);
+	pn(r); pn(calls);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/sizeof_expr_not_run.zc b/tests/conformance/3-expressions/sizeof_expr_not_run.zc
new file mode 100644
index 0000000..1714a38
--- /dev/null
+++ b/tests/conformance/3-expressions/sizeof_expr_not_run.zc
@@ -0,0 +1,10 @@
+// expect: 0/1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int i = 0;
+	int n = sizeof(i++);
+	pn(i); pn(n);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/sizeof_packed.zc b/tests/conformance/3-expressions/sizeof_packed.zc
new file mode 100644
index 0000000..86df5b1
--- /dev/null
+++ b/tests/conformance/3-expressions/sizeof_packed.zc
@@ -0,0 +1,6 @@
+// expect: 13/1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+struct four { u8 a, b, c, d; }
+fn main() { pn(sizeof(u8[100])); pn(sizeof(four)); return 0; }
+// zc0: skip
diff --git a/tests/conformance/3-expressions/ternary_nests_right.zc b/tests/conformance/3-expressions/ternary_nests_right.zc
new file mode 100644
index 0000000..1b61fef
--- /dev/null
+++ b/tests/conformance/3-expressions/ternary_nests_right.zc
@@ -0,0 +1,10 @@
+// expect: 3/2/1/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	pn(0 ? 1 : 0 ? 2 : 3);
+	pn(0 ? 1 : 1 ? 2 : 3);
+	pn(1 ? 1 : 1 ? 2 : 3);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/ternary_one_branch_only.zc b/tests/conformance/3-expressions/ternary_one_branch_only.zc
new file mode 100644
index 0000000..b0a423f
--- /dev/null
+++ b/tests/conformance/3-expressions/ternary_one_branch_only.zc
@@ -0,0 +1,14 @@
+// expect: 1/1/0/
+include rt;
+int calls;
+int seen(int v) { calls++; return v; }
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int r = 1 ? seen(1) : seen(2);
+	pn(r);
+	pn(calls);
+	r = 0 ? seen(5) : 0;
+	pn(calls - 1);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/typeof_print.zc b/tests/conformance/3-expressions/typeof_print.zc
new file mode 100644
index 0000000..b003572
--- /dev/null
+++ b/tests/conformance/3-expressions/typeof_print.zc
@@ -0,0 +1,9 @@
+// expect: int(int, char*)/fixed u8[?]/
+include rt;
+include run;
+fn main() {
+	run.tprint(typeof(int(int, char*))); rt.put_c(10);
+	run.tprint(typeof(fixed u8[?])); rt.put_c(10);
+	return 0;
+}
+// zc0: skip
diff --git a/tests/conformance/3-expressions/unary_minus_wraps.zc b/tests/conformance/3-expressions/unary_minus_wraps.zc
new file mode 100644
index 0000000..aba1c47
--- /dev/null
+++ b/tests/conformance/3-expressions/unary_minus_wraps.zc
@@ -0,0 +1,9 @@
+// expect: -9223372036854775808/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a = 0x7fffffffffffffff;
+	a = a + 1;
+	pn(-a);
+	return 0;
+}
diff --git a/tests/conformance/3-expressions/unary_ops_values.zc b/tests/conformance/3-expressions/unary_ops_values.zc
new file mode 100644
index 0000000..c477efe
--- /dev/null
+++ b/tests/conformance/3-expressions/unary_ops_values.zc
@@ -0,0 +1,8 @@
+// expect: 0/1/-1/-6/5/-5/1/0/
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int a = 5, z = 0;
+	pn(!a); pn(!z); pn(~z); pn(~a); pn(-(-a)); pn(-a); pn(!!a); pn(!!z);
+	return 0;
+}