diff --git a/filetests/wasm/i64-arith.cton b/filetests/wasm/i64-arith.cton
new file mode 100644
index 0000000000..a7cce18d3c
--- /dev/null
+++ b/filetests/wasm/i64-arith.cton
@@ -0,0 +1,105 @@
+; Test basic code generation for i64 arithmetic WebAssembly instructions.
+test compile
+
+set is_64bit=1
+isa intel haswell
+
+; Constants.
+
+function %i64_const() -> i64 {
+ebb0:
+    v0 = iconst.i64 0x8765_4321
+    return v0
+}
+
+; Unary operations.
+
+function %i64_clz(i64) -> i64 {
+ebb0(v0: i64):
+    v1 = clz v0
+    return v1
+}
+
+function %i64_ctz(i64) -> i64 {
+ebb0(v0: i64):
+    v1 = ctz v0
+    return v1
+}
+
+function %i64_popcnt(i64) -> i64 {
+ebb0(v0: i64):
+    v1 = popcnt v0
+    return v1
+}
+
+; Binary operations.
+
+function %i64_add(i64, i64) -> i64 {
+ebb0(v0: i64, v1: i64):
+    v2 = iadd v0, v1
+    return v2
+}
+
+function %i64_sub(i64, i64) -> i64 {
+ebb0(v0: i64, v1: i64):
+    v2 = isub v0, v1
+    return v2
+}
+
+function %i64_mul(i64, i64) -> i64 {
+ebb0(v0: i64, v1: i64):
+    v2 = imul v0, v1
+    return v2
+}
+
+; function %i64_div(i64, i64) -> i64
+; function %i64_rem_s(i64, i64) -> i64
+; function %i64_rem_u(i64, i64) -> i64
+
+function %i64_and(i64, i64) -> i64 {
+ebb0(v0: i64, v1: i64):
+    v2 = band v0, v1
+    return v2
+}
+
+function %i64_or(i64, i64) -> i64 {
+ebb0(v0: i64, v1: i64):
+    v2 = bor v0, v1
+    return v2
+}
+
+function %i64_xor(i64, i64) -> i64 {
+ebb0(v0: i64, v1: i64):
+    v2 = bxor v0, v1
+    return v2
+}
+
+function %i64_shl(i64, i64) -> i64 {
+ebb0(v0: i64, v1: i64):
+    v2 = ishl v0, v1
+    return v2
+}
+
+function %i64_shr_s(i64, i64) -> i64 {
+ebb0(v0: i64, v1: i64):
+    v2 = sshr v0, v1
+    return v2
+}
+
+function %i64_shr_u(i64, i64) -> i64 {
+ebb0(v0: i64, v1: i64):
+    v2 = ushr v0, v1
+    return v2
+}
+
+function %i64_rotl(i64, i64) -> i64 {
+ebb0(v0: i64, v1: i64):
+    v2 = rotl v0, v1
+    return v2
+}
+
+function %i64_rotr(i64, i64) -> i64 {
+ebb0(v0: i64, v1: i64):
+    v2 = rotr v0, v1
+    return v2
+}
diff --git a/filetests/wasm/i64-compares.cton b/filetests/wasm/i64-compares.cton
new file mode 100644
index 0000000000..3406463f0d
--- /dev/null
+++ b/filetests/wasm/i64-compares.cton
@@ -0,0 +1,82 @@
+; Test code generation for WebAssembly i64 comparison operators.
+test compile
+
+set is_64bit=1
+isa intel haswell
+
+function %i64_eqz(i64) -> i32 {
+ebb0(v0: i64):
+    v1 = icmp_imm eq v0, 0
+    v2 = bint.i32 v1
+    return v2
+}
+
+function %i64_eq(i64, i64) -> i32 {
+ebb0(v0: i64, v1: i64):
+    v2 = icmp eq v0, v1
+    v3 = bint.i32 v2
+    return v3
+}
+
+function %i64_ne(i64, i64) -> i32 {
+ebb0(v0: i64, v1: i64):
+    v2 = icmp ne v0, v1
+    v3 = bint.i32 v2
+    return v3
+}
+
+function %i64_lt_s(i64, i64) -> i32 {
+ebb0(v0: i64, v1: i64):
+    v2 = icmp slt v0, v1
+    v3 = bint.i32 v2
+    return v3
+}
+
+function %i64_lt_u(i64, i64) -> i32 {
+ebb0(v0: i64, v1: i64):
+    v2 = icmp ult v0, v1
+    v3 = bint.i32 v2
+    return v3
+}
+
+function %i64_gt_s(i64, i64) -> i32 {
+ebb0(v0: i64, v1: i64):
+    v2 = icmp sgt v0, v1
+    v3 = bint.i32 v2
+    return v3
+}
+
+function %i64_gt_u(i64, i64) -> i32 {
+ebb0(v0: i64, v1: i64):
+    v2 = icmp ugt v0, v1
+    v3 = bint.i32 v2
+    return v3
+}
+
+function %i64_le_s(i64, i64) -> i32 {
+ebb0(v0: i64, v1: i64):
+    v2 = icmp sle v0, v1
+    v3 = bint.i32 v2
+    return v3
+}
+
+function %i64_le_u(i64, i64) -> i32 {
+ebb0(v0: i64, v1: i64):
+    v2 = icmp ule v0, v1
+    v3 = bint.i32 v2
+    return v3
+}
+
+function %i64_ge_s(i64, i64) -> i32 {
+ebb0(v0: i64, v1: i64):
+    v2 = icmp sge v0, v1
+    v3 = bint.i32 v2
+    return v3
+}
+
+function %i64_ge_u(i64, i64) -> i32 {
+ebb0(v0: i64, v1: i64):
+    v2 = icmp uge v0, v1
+    v3 = bint.i32 v2
+    return v3
+}