egraphs: Add comutative versions of the icmp ne thruthy rules

Author: afonso360

cranelift/codegen/src/opts/bitops.isle

@@ -120,12 +120,14 @@
 (rule (truthy (rotr _ x _)) x)
 (rule (truthy (select _ x (iconst _ (u64_from_imm64 (u64_nonzero _))) (iconst _ (u64_from_imm64 0)))) x)
 (rule (truthy (ne _ x (iconst _ (u64_from_imm64 0)))) x)
+(rule (truthy (ne _ (iconst _ (u64_from_imm64 0)) x)) x)
 
 ;; All of these expressions don't care about their input as long as it is truthy.
 ;; so we can remove expressions that preserve that property from the input.
 (rule (simplify (bmask ty v)) (if-let x (truthy v)) (bmask ty x))
 (rule (simplify (select ty v lhs rhs)) (if-let c (truthy v)) (select ty c lhs rhs))
 (rule (simplify (ne ty v zero @ (iconst _ (u64_from_imm64 0)))) (if-let c (truthy v)) (ne ty c zero))
+(rule (simplify (ne ty zero @ (iconst _ (u64_from_imm64 0)) v)) (if-let c (truthy v)) (ne ty c zero))
 
 
 ;; (sextend (bmask x)) can be replaced with (bmask x) since bmask