Fixing symbolic compare for test_gruntz.py

anutosh491 · anutosh491 · commit 3d3266c20fb5 · 2024-02-06T14:37:51.000+05:30
diff --git a/src/libasr/pass/replace_symbolic.cpp b/src/libasr/pass/replace_symbolic.cpp
@@ -609,6 +609,15 @@ class ReplaceSymbolicVisitor : public PassUtils::PassVisitor<ReplaceSymbolicVisi
                     xx.m_test = new_logical_not;
                 }
             }
+        } else if (ASR::is_a<ASR::SymbolicCompare_t>(*xx.m_test)) {
+            ASR::SymbolicCompare_t *s = ASR::down_cast<ASR::SymbolicCompare_t>(xx.m_test);
+            ASR::expr_t* function_call = nullptr;
+            if (s->m_op == ASR::cmpopType::Eq) {
+                function_call = basic_compare(xx.base.base.loc, "basic_eq", s->m_left, s->m_right);
+            } else {
+                function_call = basic_compare(xx.base.base.loc, "basic_neq", s->m_left, s->m_right);
+            }
+            xx.m_test = function_call;
         }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -609,6 +609,15 @@ class ReplaceSymbolicVisitor : public PassUtils::PassVisitor<ReplaceSymbolicVisi`
`609`	`609`	`xx.m_test = new_logical_not;`
`610`	`610`	`}`
`611`	`611`	`}`
	`612`	`+ } else if (ASR::is_a<ASR::SymbolicCompare_t>(*xx.m_test)) {`
	`613`	`+ ASR::SymbolicCompare_t *s = ASR::down_cast<ASR::SymbolicCompare_t>(xx.m_test);`
	`614`	`+ ASR::expr_t* function_call = nullptr;`
	`615`	`+ if (s->m_op == ASR::cmpopType::Eq) {`
	`616`	`+ function_call = basic_compare(xx.base.base.loc, "basic_eq", s->m_left, s->m_right);`
	`617`	`+ } else {`
	`618`	`+ function_call = basic_compare(xx.base.base.loc, "basic_neq", s->m_left, s->m_right);`
	`619`	`+ }`
	`620`	`+ xx.m_test = function_call;`
`612`	`621`	`}`
`613`	`622`	`}`
`614`	`623`