From a4f6a42d8f76a34b58d7b8d8963cb268c8962489 Mon Sep 17 00:00:00 2001
From: WormHeamer
Date: Tue, 5 Aug 2025 01:02:45 -0400
Subject: known-not-equivalent identities: a [+/-] lit[x, x =/= 0]

---
 test.lang | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test.lang')

diff --git a/test.lang b/test.lang
index 1d84f4b..1eee23a 100644
--- a/test.lang
+++ b/test.lang
@@ -11,5 +11,5 @@
 proc main(a i64) {
 	let x = (a + -a) = (a xor a)
 	let y = (a + a) = (a * 2)
-	return x & y & (a = a) & ((a + 2) <> a) & (a = ~a)
+	return (x & y & (a = a) & (a = ~a)) | ((a + 2) <> a)
 }
-- 
cgit v1.2.3